runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inesct-1.0/rand2d2fd0.cudf.difficult.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/difficult//rand2d2fd0.cudf /home/misc2010/tmp/201007051419/inesct-1.0/rand2d2fd0.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.05 1.03 1.02 2/95 644 /proc/meminfo: memFree=1232176/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=3280 CPUtime=0 /proc/645/stat : 645 (cudf-solver.py) R 644 644 13759 34823 13904 4202496 437 0 0 0 0 0 0 0 18 0 1 0 415862448 3358720 353 1283457024 134512640 135539072 4290425936 18446744073709551615 134800287 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/645/statm: 823 356 253 251 0 124 0 [startup+0.144194 s] /proc/loadavg: 1.05 1.03 1.02 2/95 644 /proc/meminfo: memFree=1232176/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=0.01 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 755 0 0 0 0 1 0 0 17 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6380 [startup+0.204286 s] /proc/loadavg: 1.05 1.03 1.02 2/95 644 /proc/meminfo: memFree=1232176/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=0.01 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 755 0 0 0 0 1 0 0 17 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6380 [startup+0.30432 s] /proc/loadavg: 1.05 1.03 1.02 2/95 644 /proc/meminfo: memFree=1232176/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=0.01 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 755 0 0 0 0 1 0 0 17 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6380 [startup+0.707018 s] /proc/loadavg: 1.05 1.03 1.02 2/95 644 /proc/meminfo: memFree=1232176/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=0.01 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 755 0 0 0 0 1 0 0 17 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6380 [startup+1.50706 s] /proc/loadavg: 1.05 1.03 1.02 2/109 658 /proc/meminfo: memFree=1154596/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=0.01 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 755 0 0 0 0 1 0 0 17 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 [pid=647] ppid=645 vsize=868972 CPUtime=2.25 /proc/647/stat : 647 (java) S 645 644 13759 34823 13904 4202496 28611 0 0 0 213 12 0 0 18 0 12 0 415862450 889827328 24889 1283457024 134512640 134550932 4291040304 18446744073709551615 4160496786 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/647/statm: 217243 24891 1744 10 0 214330 0 [pid=647/tid=648] ppid=645 vsize=868972 CPUtime=1.12 /proc/647/task/648/stat : 648 (java) R 645 644 13759 34823 13904 4202560 10755 0 0 0 106 6 0 0 16 0 12 0 415862451 889827328 24893 1283457024 134512640 134550932 4291040304 18446744073709551615 4096138210 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=647/tid=649] ppid=645 vsize=868972 CPUtime=0.18 /proc/647/task/649/stat : 649 (java) S 645 644 13759 34823 13904 4202560 5928 0 0 0 16 2 0 0 15 0 12 0 415862452 889827328 24895 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510192 0 4 0 16800975 18446612132635822016 0 0 -1 0 0 0 0 [pid=647/tid=650] ppid=645 vsize=868972 CPUtime=0.11 /proc/647/task/650/stat : 650 (java) S 645 644 13759 34823 13904 4202560 5109 0 0 0 9 2 0 0 16 0 12 0 415862452 889827328 24895 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510192 0 4 0 16800975 18446612132635822016 0 0 -1 1 0 0 0 [pid=647/tid=651] ppid=645 vsize=868972 CPUtime=0.1 /proc/647/task/651/stat : 651 (java) S 645 644 13759 34823 13904 4202560 155 0 0 0 10 0 0 0 15 0 12 0 415862453 889827328 24895 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510984 0 0 0 16800975 18446612132635822016 0 0 -1 1 0 0 0 [pid=647/tid=652] ppid=645 vsize=868972 CPUtime=0 /proc/647/task/652/stat : 652 (java) S 645 644 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 15 0 12 0 415862454 889827328 24896 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510192 0 4 0 16800975 18446612132635822016 0 0 -1 0 0 0 0 [pid=647/tid=653] ppid=645 vsize=868972 CPUtime=0 /proc/647/task/653/stat : 653 (java) S 645 644 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 18 0 12 0 415862454 889827328 24897 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510192 0 4 0 16800975 18446612132635822016 0 0 -1 1 0 0 0 [pid=647/tid=654] ppid=645 vsize=868972 CPUtime=0 /proc/647/task/654/stat : 654 (java) S 645 644 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415862457 889827328 24898 1283457024 134512640 134550932 4291040304 18446744073709551615 4160518480 0 4 0 16800975 18446612132635822016 0 0 -1 0 0 0 0 [pid=647/tid=655] ppid=645 vsize=868972 CPUtime=0.21 /proc/647/task/655/stat : 655 (java) S 645 644 13759 34823 13904 4202560 1430 0 0 0 21 0 0 0 15 0 12 0 415862457 889827328 24900 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510192 0 4 0 16800975 18446612132635822016 0 0 -1 0 0 0 0 [pid=647/tid=656] ppid=645 vsize=868972 CPUtime=0.5 /proc/647/task/656/stat : 656 (java) S 645 644 13759 34823 13904 4202560 3832 0 0 0 50 0 0 0 16 0 12 0 415862457 889827328 24902 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510192 0 4 0 16800975 18446612132635822016 0 0 -1 1 0 0 0 [pid=647/tid=657] ppid=645 vsize=868972 CPUtime=0 /proc/647/task/657/stat : 657 (java) S 645 644 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415862457 889827328 24904 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510192 0 4 0 16800975 18446612132635822016 0 0 -1 0 0 0 0 [pid=647/tid=658] ppid=645 vsize=868972 CPUtime=0 /proc/647/task/658/stat : 658 (java) S 645 644 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 415862457 889827328 24905 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510984 0 4 0 16800975 18446612132635822016 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 875352 [startup+3.10738 s] /proc/loadavg: 1.05 1.03 1.02 5/109 658 /proc/meminfo: memFree=1089248/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=0.01 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 755 0 0 0 0 1 0 0 17 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 [pid=647] ppid=645 vsize=879280 CPUtime=5.09 /proc/647/stat : 647 (java) S 645 644 13759 34823 13904 4202496 51423 0 0 0 492 17 0 0 18 0 12 0 415862450 900382720 44696 1283457024 134512640 134550932 4291040304 18446744073709551615 4160496786 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/647/statm: 219820 44696 1770 10 0 216907 0 [pid=647/tid=648] ppid=645 vsize=879280 CPUtime=2.38 /proc/647/task/648/stat : 648 (java) R 645 644 13759 34823 13904 4202560 15897 0 0 0 232 6 0 0 17 0 12 0 415862451 900382720 44696 1283457024 134512640 134550932 4291040304 18446744073709551615 4159657713 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=647/tid=649] ppid=645 vsize=879280 CPUtime=0.32 /proc/647/task/649/stat : 649 (java) S 645 644 13759 34823 13904 4202560 11238 0 0 0 28 4 0 0 15 0 12 0 415862452 900382720 44696 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510192 0 4 0 16800975 18446612132635822016 0 0 -1 0 0 0 0 [pid=647/tid=650] ppid=645 vsize=879280 CPUtime=0.28 /proc/647/task/650/stat : 650 (java) S 645 644 13759 34823 13904 4202560 10649 0 0 0 24 4 0 0 15 0 12 0 415862452 900382720 44696 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510192 0 4 0 16800975 18446612132635822016 0 0 -1 1 0 0 0 [pid=647/tid=651] ppid=645 vsize=879280 CPUtime=0.27 /proc/647/task/651/stat : 651 (java) S 645 644 13759 34823 13904 4202560 2294 0 0 0 27 0 0 0 16 0 12 0 415862453 900382720 44696 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510984 0 0 0 16800975 18446612132635822016 0 0 -1 1 0 0 0 [pid=647/tid=652] ppid=645 vsize=879280 CPUtime=0 /proc/647/task/652/stat : 652 (java) S 645 644 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 15 0 12 0 415862454 900382720 44696 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510192 0 4 0 16800975 18446612132635822016 0 0 -1 1 0 0 0 [pid=647/tid=653] ppid=645 vsize=879280 CPUtime=0 /proc/647/task/653/stat : 653 (java) S 645 644 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 18 0 12 0 415862454 900382720 44696 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510192 0 4 0 16800975 18446612132635822016 0 0 -1 1 0 0 0 [pid=647/tid=654] ppid=645 vsize=879280 CPUtime=0 /proc/647/task/654/stat : 654 (java) S 645 644 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415862457 900382720 44696 1283457024 134512640 134550932 4291040304 18446744073709551615 4160518480 0 4 0 16800975 18446612132635822016 0 0 -1 0 0 0 0 [pid=647/tid=655] ppid=645 vsize=879280 CPUtime=0.82 /proc/647/task/655/stat : 655 (java) R 645 644 13759 34823 13904 4202560 2925 0 0 0 82 0 0 0 16 0 12 0 415862457 900382720 44696 1283457024 134512640 134550932 4291040304 18446744073709551615 4149369648 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=647/tid=656] ppid=645 vsize=879280 CPUtime=0.98 /proc/647/task/656/stat : 656 (java) R 645 644 13759 34823 13904 4202560 7015 0 0 0 96 2 0 0 16 0 12 0 415862457 900382720 44696 1283457024 134512640 134550932 4291040304 18446744073709551615 4148553548 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=647/tid=657] ppid=645 vsize=879280 CPUtime=0 /proc/647/task/657/stat : 657 (java) S 645 644 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415862457 900382720 44696 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510192 0 4 0 16800975 18446612132635822016 0 0 -1 0 0 0 0 [pid=647/tid=658] ppid=645 vsize=879280 CPUtime=0 /proc/647/task/658/stat : 658 (java) S 645 644 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 415862457 900382720 44696 1283457024 134512640 134550932 4291040304 18446744073709551615 4160510984 0 4 0 16800975 18446612132635822016 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.1 Current children cumulated vsize (KiB) 885660 [startup+6.30738 s] /proc/loadavg: 1.29 1.08 1.03 2/99 663 /proc/meminfo: memFree=1186784/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=6.79 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 813 52531 0 0 0 1 648 30 15 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 [pid=662] ppid=645 vsize=2884 CPUtime=0 /proc/662/stat : 662 (sh) S 645 644 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415862878 2953216 320 1283457024 134512640 135191968 4292228720 18446744073709551615 4159380110 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/662/statm: 721 320 219 166 0 153 0 [pid=663] ppid=662 vsize=40468 CPUtime=1.99 /proc/663/stat : 663 (msuncore) R 662 644 13759 34823 13904 4202496 10718 0 0 0 193 6 0 0 20 0 1 0 415862879 41439232 9900 1283457024 134512640 135858300 4294164576 18446744073709551615 135401313 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/663/statm: 10117 9900 137 329 0 9786 0 Current children cumulated CPU time (s) 8.78 Current children cumulated vsize (KiB) 49732 [startup+12.7075 s] /proc/loadavg: 1.26 1.08 1.03 2/99 1152 /proc/meminfo: memFree=1185008/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=6.79 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 813 52531 0 0 0 1 648 30 15 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 [pid=662] ppid=645 vsize=2884 CPUtime=0 /proc/662/stat : 662 (sh) S 645 644 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415862878 2953216 320 1283457024 134512640 135191968 4292228720 18446744073709551615 4159380110 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/662/statm: 721 320 219 166 0 153 0 [pid=663] ppid=662 vsize=40912 CPUtime=8.02 /proc/663/stat : 663 (msuncore) R 662 644 13759 34823 13904 4202496 11384 0 0 0 796 6 0 0 25 0 1 0 415862879 41893888 10005 1283457024 134512640 135858300 4294164576 18446744073709551615 134620115 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/663/statm: 10228 10005 137 329 0 9897 0 Current children cumulated CPU time (s) 14.81 Current children cumulated vsize (KiB) 50176 [startup+25.5041 s] /proc/loadavg: 1.27 1.09 1.04 2/99 1153 /proc/meminfo: memFree=1185312/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=6.79 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 813 52531 0 0 0 1 648 30 15 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 [pid=662] ppid=645 vsize=2884 CPUtime=0 /proc/662/stat : 662 (sh) S 645 644 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415862878 2953216 320 1283457024 134512640 135191968 4292228720 18446744073709551615 4159380110 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/662/statm: 721 320 219 166 0 153 0 [pid=663] ppid=662 vsize=40912 CPUtime=20.8 /proc/663/stat : 663 (msuncore) R 662 644 13759 34823 13904 4202496 11384 0 0 0 2071 9 0 0 25 0 1 0 415862879 41893888 10005 1283457024 134512640 135858300 4294164576 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/663/statm: 10228 10005 137 329 0 9897 0 Current children cumulated CPU time (s) 27.59 Current children cumulated vsize (KiB) 50176 [startup+51.1053 s] /proc/loadavg: 1.18 1.08 1.03 2/99 1155 /proc/meminfo: memFree=1179872/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=6.79 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 813 52531 0 0 0 1 648 30 15 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 [pid=662] ppid=645 vsize=2884 CPUtime=0 /proc/662/stat : 662 (sh) S 645 644 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415862878 2953216 320 1283457024 134512640 135191968 4292228720 18446744073709551615 4159380110 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/662/statm: 721 320 219 166 0 153 0 [pid=663] ppid=662 vsize=46776 CPUtime=46.4 /proc/663/stat : 663 (msuncore) R 662 644 13759 34823 13904 4202496 13303 0 0 0 4627 13 0 0 25 0 1 0 415862879 47898624 11491 1283457024 134512640 135858300 4294164576 18446744073709551615 134658415 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/663/statm: 11694 11491 137 329 0 11363 0 Current children cumulated CPU time (s) 53.19 Current children cumulated vsize (KiB) 56040 Solver just ended. Dumping a history of the last processes samples [startup+51.2053 s] /proc/loadavg: 1.18 1.08 1.03 2/99 1155 /proc/meminfo: memFree=1179872/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=6.79 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 813 52531 0 0 0 1 648 30 15 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 [pid=662] ppid=645 vsize=2884 CPUtime=0 /proc/662/stat : 662 (sh) S 645 644 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415862878 2953216 320 1283457024 134512640 135191968 4292228720 18446744073709551615 4159380110 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/662/statm: 721 320 219 166 0 153 0 [pid=663] ppid=662 vsize=46776 CPUtime=46.5 /proc/663/stat : 663 (msuncore) R 662 644 13759 34823 13904 4202496 13303 0 0 0 4637 13 0 0 25 0 1 0 415862879 47898624 11491 1283457024 134512640 135858300 4294164576 18446744073709551615 134620125 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/663/statm: 11694 11491 137 329 0 11363 0 Current children cumulated CPU time (s) 53.29 Current children cumulated vsize (KiB) 56040 [startup+64.0058 s] /proc/loadavg: 1.14 1.08 1.03 2/99 1156 /proc/meminfo: memFree=1179812/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=6.79 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 813 52531 0 0 0 1 648 30 15 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 [pid=662] ppid=645 vsize=2884 CPUtime=0 /proc/662/stat : 662 (sh) S 645 644 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415862878 2953216 320 1283457024 134512640 135191968 4292228720 18446744073709551615 4159380110 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/662/statm: 721 320 219 166 0 153 0 [pid=663] ppid=662 vsize=46776 CPUtime=59.31 /proc/663/stat : 663 (msuncore) R 662 644 13759 34823 13904 4202496 13303 0 0 0 5917 14 0 0 25 0 1 0 415862879 47898624 11491 1283457024 134512640 135858300 4294164576 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/663/statm: 11694 11491 137 329 0 11363 0 Current children cumulated CPU time (s) 66.1 Current children cumulated vsize (KiB) 56040 [startup+67.2059 s] /proc/loadavg: 1.14 1.08 1.03 2/98 1156 /proc/meminfo: memFree=1179820/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=6.79 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 813 52531 0 0 0 1 648 30 15 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 [pid=662] ppid=645 vsize=2884 CPUtime=0 /proc/662/stat : 662 (sh) S 645 644 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415862878 2953216 320 1283457024 134512640 135191968 4292228720 18446744073709551615 4159380110 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/662/statm: 721 320 219 166 0 153 0 [pid=663] ppid=662 vsize=46776 CPUtime=62.51 /proc/663/stat : 663 (msuncore) R 662 644 13759 34823 13904 4202496 13303 0 0 0 6237 14 0 0 25 0 1 0 415862879 47898624 11491 1283457024 134512640 135858300 4294164576 18446744073709551615 134679124 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/663/statm: 11694 11491 137 329 0 11363 0 Current children cumulated CPU time (s) 69.3 Current children cumulated vsize (KiB) 56040 [startup+68.806 s] /proc/loadavg: 1.13 1.08 1.03 2/98 1156 /proc/meminfo: memFree=1179820/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=6.79 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 813 52531 0 0 0 1 648 30 15 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 [pid=662] ppid=645 vsize=2884 CPUtime=0 /proc/662/stat : 662 (sh) S 645 644 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415862878 2953216 320 1283457024 134512640 135191968 4292228720 18446744073709551615 4159380110 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/662/statm: 721 320 219 166 0 153 0 [pid=663] ppid=662 vsize=46776 CPUtime=64.11 /proc/663/stat : 663 (msuncore) R 662 644 13759 34823 13904 4202496 13303 0 0 0 6397 14 0 0 25 0 1 0 415862879 47898624 11491 1283457024 134512640 135858300 4294164576 18446744073709551615 134626604 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/663/statm: 11694 11491 137 329 0 11363 0 Current children cumulated CPU time (s) 70.9 Current children cumulated vsize (KiB) 56040 [startup+69.6061 s] /proc/loadavg: 1.13 1.08 1.03 2/98 1156 /proc/meminfo: memFree=1179820/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=6.79 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 813 52531 0 0 0 1 648 30 15 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 [pid=662] ppid=645 vsize=2884 CPUtime=0 /proc/662/stat : 662 (sh) S 645 644 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415862878 2953216 320 1283457024 134512640 135191968 4292228720 18446744073709551615 4159380110 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/662/statm: 721 320 219 166 0 153 0 [pid=663] ppid=662 vsize=46776 CPUtime=64.91 /proc/663/stat : 663 (msuncore) R 662 644 13759 34823 13904 4202496 13303 0 0 0 6477 14 0 0 25 0 1 0 415862879 47898624 11491 1283457024 134512640 135858300 4294164576 18446744073709551615 134625893 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/663/statm: 11694 11491 137 329 0 11363 0 Current children cumulated CPU time (s) 71.7 Current children cumulated vsize (KiB) 56040 [startup+70.0061 s] /proc/loadavg: 1.13 1.08 1.03 2/98 1156 /proc/meminfo: memFree=1179820/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=6.79 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 813 52531 0 0 0 1 648 30 15 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 [pid=662] ppid=645 vsize=2884 CPUtime=0 /proc/662/stat : 662 (sh) S 645 644 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415862878 2953216 320 1283457024 134512640 135191968 4292228720 18446744073709551615 4159380110 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/662/statm: 721 320 219 166 0 153 0 [pid=663] ppid=662 vsize=46776 CPUtime=65.31 /proc/663/stat : 663 (msuncore) R 662 644 13759 34823 13904 4202496 13303 0 0 0 6517 14 0 0 25 0 1 0 415862879 47898624 11491 1283457024 134512640 135858300 4294164576 18446744073709551615 134626649 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/663/statm: 11694 11491 137 329 0 11363 0 Current children cumulated CPU time (s) 72.1 Current children cumulated vsize (KiB) 56040 [startup+70.2061 s] /proc/loadavg: 1.13 1.08 1.03 2/98 1156 /proc/meminfo: memFree=1179820/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=4000 CPUtime=6.79 /proc/645/stat : 645 (cudf-solver.py) S 644 644 13759 34823 13904 4202496 813 52531 0 0 0 1 648 30 15 0 1 0 415862448 4096000 642 1283457024 134512640 135539072 4290425936 18446744073709551615 4159601294 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/645/statm: 1000 642 346 251 0 301 0 [pid=662] ppid=645 vsize=2884 CPUtime=0 /proc/662/stat : 662 (sh) S 645 644 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415862878 2953216 320 1283457024 134512640 135191968 4292228720 18446744073709551615 4159380110 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/662/statm: 721 320 219 166 0 153 0 [pid=663] ppid=662 vsize=46776 CPUtime=65.51 /proc/663/stat : 663 (msuncore) R 662 644 13759 34823 13904 4202496 13303 0 0 0 6537 14 0 0 25 0 1 0 415862879 47898624 11491 1283457024 134512640 135858300 4294164576 18446744073709551615 134691173 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/663/statm: 11694 11491 137 329 0 11363 0 Current children cumulated CPU time (s) 72.3 Current children cumulated vsize (KiB) 56040 [startup+70.3101 s] /proc/loadavg: 1.13 1.08 1.03 2/98 1156 /proc/meminfo: memFree=1179820/2097152 swapFree=2055676/2097144 [pid=644] ppid=643 vsize=2380 CPUtime=0 /proc/644/stat : 644 (inesct-1.0) S 643 644 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 415862448 2437120 259 1283457024 134512640 135191968 4288612992 18446744073709551615 4159502990 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/644/statm: 595 259 221 166 0 27 0 [pid=645] ppid=644 vsize=7888 CPUtime=72.39 /proc/645/stat : 645 (cudf-solver.py) R 644 644 13759 34823 13904 4202496 1965 66214 0 0 6 2 7186 45 16 0 1 0 415862448 8077312 1586 1283457024 134512640 135539072 4290425936 18446744073709551615 134775104 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/645/statm: 1972 1586 346 251 0 1273 0 Current children cumulated CPU time (s) 72.39 Current children cumulated vsize (KiB) 10268 Child status: 0 Real time (s): 70.3534 CPU time (s): 72.4485 CPU user time (s): 71.9565 CPU system time (s): 0.49203 CPU usage (%): 102.978 Max. virtual memory (cumulated for all children) (KiB): 887424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 71.9565 system time used= 0.49203 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69964 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 479 involuntary context switches= 970 runsolver used 0.012 second user time and 0.024001 second system time The end