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/inescp-1.0/rand7902a8.cudf.impossible.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/impossible//rand7902a8.cudf /home/misc2010/tmp/201007051419/inescp-1.0/rand7902a8.cudf.impossible.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: 0.87 1.00 1.00 2/95 18624 /proc/meminfo: memFree=1016716/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=3272 CPUtime=0 /proc/18625/stat : 18625 (cudf-solver.py) R 18624 18624 13759 34823 13904 4194304 306 0 0 0 0 0 0 0 25 0 1 0 416648534 3350528 231 1283457024 134512640 135539072 4293601104 18446744073709551615 134909542 0 0 0 0 0 0 0 17 1 0 0 0 /proc/18625/statm: 818 232 184 251 0 119 0 [startup+0.186367 s] /proc/loadavg: 0.87 1.00 1.00 2/95 18624 /proc/meminfo: memFree=1016716/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=4000 CPUtime=0 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 416648534 4096000 642 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18625/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+0.217326 s] /proc/loadavg: 0.87 1.00 1.00 2/95 18624 /proc/meminfo: memFree=1016716/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=4000 CPUtime=0 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 416648534 4096000 642 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18625/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+0.311859 s] /proc/loadavg: 0.87 1.00 1.00 2/95 18624 /proc/meminfo: memFree=1016716/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=4000 CPUtime=0 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 416648534 4096000 642 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18625/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+0.755542 s] /proc/loadavg: 0.87 1.00 1.00 2/95 18624 /proc/meminfo: memFree=1016716/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=4000 CPUtime=0 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 416648534 4096000 642 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18625/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+1.51624 s] /proc/loadavg: 0.87 1.00 1.00 6/109 18639 /proc/meminfo: memFree=946684/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=4000 CPUtime=0 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 416648534 4096000 642 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18625/statm: 1000 642 346 251 0 301 0 [pid=18627] ppid=18625 vsize=888288 CPUtime=2.72 /proc/18627/stat : 18627 (java) S 18625 18624 13759 34823 13904 4202496 24193 0 0 0 243 29 0 0 25 0 12 0 416648536 909606912 19019 1283457024 134512640 134550932 4287451328 18446744073709551615 4159833234 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18627/statm: 222072 19019 1740 10 0 219159 0 [pid=18627/tid=18628] ppid=18625 vsize=888288 CPUtime=0.88 /proc/18627/task/18628/stat : 18628 (java) R 18625 18624 13759 34823 13904 4202560 5885 0 0 0 83 5 0 0 15 0 12 0 416648538 909606912 19019 1283457024 134512640 134550932 4287451328 18446744073709551615 4095208067 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18627/tid=18629] ppid=18625 vsize=888288 CPUtime=0.07 /proc/18627/task/18629/stat : 18629 (java) S 18625 18624 13759 34823 13904 4202560 2707 0 0 0 7 0 0 0 15 0 12 0 416648539 909606912 19019 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 1 0 0 0 [pid=18627/tid=18630] ppid=18625 vsize=888288 CPUtime=0.06 /proc/18627/task/18630/stat : 18630 (java) S 18625 18624 13759 34823 13904 4202560 2521 0 0 0 6 0 0 0 15 0 12 0 416648539 909606912 19019 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18631] ppid=18625 vsize=888288 CPUtime=0.3 /proc/18627/task/18631/stat : 18631 (java) S 18625 18624 13759 34823 13904 4202560 16 0 0 0 12 18 0 0 15 0 12 0 416648540 909606912 19019 1283457024 134512640 134550932 4287451328 18446744073709551615 4159847432 0 0 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18632] ppid=18625 vsize=888288 CPUtime=0 /proc/18627/task/18632/stat : 18632 (java) S 18625 18624 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 20 0 12 0 416648540 909606912 19019 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18633] ppid=18625 vsize=888288 CPUtime=0 /proc/18627/task/18633/stat : 18633 (java) S 18625 18624 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 18 0 12 0 416648540 909606912 19019 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18634] ppid=18625 vsize=888288 CPUtime=0 /proc/18627/task/18634/stat : 18634 (java) S 18625 18624 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 416648543 909606912 19019 1283457024 134512640 134550932 4287451328 18446744073709551615 4159854928 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18635] ppid=18625 vsize=888288 CPUtime=0.21 /proc/18627/task/18635/stat : 18635 (java) R 18625 18624 13759 34823 13904 4202560 341 0 0 0 21 0 0 0 15 0 12 0 416648543 909606912 19019 1283457024 134512640 134550932 4287451328 18446744073709551615 4152391910 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18627/tid=18636] ppid=18625 vsize=888288 CPUtime=1.16 /proc/18627/task/18636/stat : 18636 (java) S 18625 18624 13759 34823 13904 4202560 11316 0 0 0 112 4 0 0 17 0 12 0 416648543 909606912 19019 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18637] ppid=18625 vsize=888288 CPUtime=0 /proc/18627/task/18637/stat : 18637 (java) S 18625 18624 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416648544 909606912 19019 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18638] ppid=18625 vsize=888288 CPUtime=0 /proc/18627/task/18638/stat : 18638 (java) R 18625 18624 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 15 0 12 0 416648544 909606912 19019 1283457024 134512640 134550932 4287451328 18446744073709551615 4159847432 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.72 Current children cumulated vsize (KiB) 894664 [startup+3.10603 s] /proc/loadavg: 0.88 1.00 1.00 2/109 18639 /proc/meminfo: memFree=856040/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=4000 CPUtime=0 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 416648534 4096000 642 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18625/statm: 1000 642 346 251 0 301 0 [pid=18627] ppid=18625 vsize=888288 CPUtime=4.65 /proc/18627/stat : 18627 (java) S 18625 18624 13759 34823 13904 4202496 55454 0 0 0 421 44 0 0 25 0 12 0 416648536 909606912 48525 1283457024 134512640 134550932 4287451328 18446744073709551615 4159833234 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18627/statm: 222072 48525 1745 10 0 219159 0 [pid=18627/tid=18628] ppid=18625 vsize=888288 CPUtime=1.91 /proc/18627/task/18628/stat : 18628 (java) R 18625 18624 13759 34823 13904 4202560 15767 0 0 0 179 12 0 0 16 0 12 0 416648538 909606912 48525 1283457024 134512640 134550932 4287451328 18446744073709551615 4159858033 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18627/tid=18629] ppid=18625 vsize=888288 CPUtime=0.35 /proc/18627/task/18629/stat : 18629 (java) S 18625 18624 13759 34823 13904 4202560 12558 0 0 0 29 6 0 0 16 0 12 0 416648539 909606912 48525 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 1 0 0 0 [pid=18627/tid=18630] ppid=18625 vsize=888288 CPUtime=0.32 /proc/18627/task/18630/stat : 18630 (java) S 18625 18624 13759 34823 13904 4202560 11914 0 0 0 30 2 0 0 16 0 12 0 416648539 909606912 48525 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18631] ppid=18625 vsize=888288 CPUtime=0.56 /proc/18627/task/18631/stat : 18631 (java) S 18625 18624 13759 34823 13904 4202560 2129 0 0 0 37 19 0 0 15 0 12 0 416648540 909606912 48525 1283457024 134512640 134550932 4287451328 18446744073709551615 4159847432 0 0 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18632] ppid=18625 vsize=888288 CPUtime=0 /proc/18627/task/18632/stat : 18632 (java) S 18625 18624 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 20 0 12 0 416648540 909606912 48525 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18633] ppid=18625 vsize=888288 CPUtime=0 /proc/18627/task/18633/stat : 18633 (java) S 18625 18624 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 18 0 12 0 416648540 909606912 48525 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18634] ppid=18625 vsize=888288 CPUtime=0 /proc/18627/task/18634/stat : 18634 (java) S 18625 18624 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 416648543 909606912 48525 1283457024 134512640 134550932 4287451328 18446744073709551615 4159854928 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18635] ppid=18625 vsize=888288 CPUtime=0.31 /proc/18627/task/18635/stat : 18635 (java) S 18625 18624 13759 34823 13904 4202560 362 0 0 0 31 0 0 0 15 0 12 0 416648543 909606912 48525 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18636] ppid=18625 vsize=888288 CPUtime=1.17 /proc/18627/task/18636/stat : 18636 (java) S 18625 18624 13759 34823 13904 4202560 11317 0 0 0 113 4 0 0 15 0 12 0 416648543 909606912 48525 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18637] ppid=18625 vsize=888288 CPUtime=0 /proc/18627/task/18637/stat : 18637 (java) S 18625 18624 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416648544 909606912 48525 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18638] ppid=18625 vsize=888288 CPUtime=0 /proc/18627/task/18638/stat : 18638 (java) S 18625 18624 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 15 0 12 0 416648544 909606912 48525 1283457024 134512640 134550932 4287451328 18446744073709551615 4159847432 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.65 Current children cumulated vsize (KiB) 894664 [startup+6.30711 s] /proc/loadavg: 0.88 1.00 1.00 3/109 18639 /proc/meminfo: memFree=666568/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=4000 CPUtime=0 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 416648534 4096000 642 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18625/statm: 1000 642 346 251 0 301 0 [pid=18627] ppid=18625 vsize=887976 CPUtime=9.63 /proc/18627/stat : 18627 (java) S 18625 18624 13759 34823 13904 4202496 98546 0 0 0 899 64 0 0 25 0 13 0 416648536 909287424 88859 1283457024 134512640 134550932 4287451328 18446744073709551615 4159833234 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18627/statm: 221994 88859 1782 10 0 219081 0 [pid=18627/tid=18628] ppid=18625 vsize=887976 CPUtime=3.56 /proc/18627/task/18628/stat : 18628 (java) S 18625 18624 13759 34823 13904 4202560 17978 0 0 0 340 16 0 0 17 0 13 0 416648538 909287424 88859 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18629] ppid=18625 vsize=887976 CPUtime=0.92 /proc/18627/task/18629/stat : 18629 (java) S 18625 18624 13759 34823 13904 4202560 32823 0 0 0 82 10 0 0 16 0 13 0 416648539 909287424 88859 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18630] ppid=18625 vsize=887976 CPUtime=0.87 /proc/18627/task/18630/stat : 18630 (java) S 18625 18624 13759 34823 13904 4202560 29487 0 0 0 75 12 0 0 15 0 13 0 416648539 909287424 88859 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 1 0 0 0 [pid=18627/tid=18631] ppid=18625 vsize=887976 CPUtime=0.88 /proc/18627/task/18631/stat : 18631 (java) S 18625 18624 13759 34823 13904 4202560 3999 0 0 0 68 20 0 0 15 0 13 0 416648540 909287424 88859 1283457024 134512640 134550932 4287451328 18446744073709551615 4159847432 0 0 0 16800975 18446612133914178496 0 0 -1 1 0 0 0 [pid=18627/tid=18632] ppid=18625 vsize=887976 CPUtime=0 /proc/18627/task/18632/stat : 18632 (java) S 18625 18624 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 18 0 13 0 416648540 909287424 88859 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 1 0 0 0 [pid=18627/tid=18633] ppid=18625 vsize=887976 CPUtime=0 /proc/18627/task/18633/stat : 18633 (java) S 18625 18624 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 18 0 13 0 416648540 909287424 88859 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 1 0 0 0 [pid=18627/tid=18634] ppid=18625 vsize=887976 CPUtime=0 /proc/18627/task/18634/stat : 18634 (java) S 18625 18624 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 13 0 416648543 909287424 88859 1283457024 134512640 134550932 4287451328 18446744073709551615 4159854928 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18635] ppid=18625 vsize=887976 CPUtime=1.44 /proc/18627/task/18635/stat : 18635 (java) S 18625 18624 13759 34823 13904 4202560 1336 0 0 0 144 0 0 0 15 0 13 0 416648543 909287424 88859 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 1 0 0 0 [pid=18627/tid=18636] ppid=18625 vsize=887976 CPUtime=1.9 /proc/18627/task/18636/stat : 18636 (java) R 18625 18624 13759 34823 13904 4202560 11505 0 0 0 186 4 0 0 16 0 13 0 416648543 909287424 88859 1283457024 134512640 134550932 4287451328 18446744073709551615 4152781073 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18627/tid=18637] ppid=18625 vsize=887976 CPUtime=0 /proc/18627/task/18637/stat : 18637 (java) S 18625 18624 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 13 0 416648544 909287424 88859 1283457024 134512640 134550932 4287451328 18446744073709551615 4159846640 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=18627/tid=18638] ppid=18625 vsize=887976 CPUtime=0 /proc/18627/task/18638/stat : 18638 (java) S 18625 18624 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 15 0 13 0 416648544 909287424 88859 1283457024 134512640 134550932 4287451328 18446744073709551615 4159847432 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.63 Current children cumulated vsize (KiB) 894352 [startup+12.7065 s] /proc/loadavg: 0.90 1.00 1.00 2/99 18644 /proc/meminfo: memFree=956568/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=4000 CPUtime=12.56 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 813 110546 0 0 0 0 1154 102 18 0 1 0 416648534 4096000 642 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/18625/statm: 1000 642 346 251 0 301 0 [pid=18643] ppid=18625 vsize=2888 CPUtime=0 /proc/18643/stat : 18643 (sh) S 18625 18624 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 19 0 1 0 416649506 2957312 321 1283457024 134512640 135191968 4294555808 18446744073709551615 4159261326 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18643/statm: 722 321 219 166 0 154 0 [pid=18644] ppid=18643 vsize=45580 CPUtime=2.96 /proc/18644/stat : 18644 (msuncore) R 18643 18624 13759 34823 13904 4202496 46427 0 0 0 281 15 0 0 25 0 1 0 416649506 46673920 11103 1283457024 134512640 135858300 4290249888 18446744073709551615 134620125 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18644/statm: 11395 11103 133 329 0 11064 0 Current children cumulated CPU time (s) 15.52 Current children cumulated vsize (KiB) 54844 [startup+25.5071 s] /proc/loadavg: 0.91 1.00 1.00 2/99 18645 /proc/meminfo: memFree=898428/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=4000 CPUtime=12.56 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 813 110546 0 0 0 0 1154 102 18 0 1 0 416648534 4096000 642 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/18625/statm: 1000 642 346 251 0 301 0 [pid=18643] ppid=18625 vsize=2888 CPUtime=0 /proc/18643/stat : 18643 (sh) S 18625 18624 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 19 0 1 0 416649506 2957312 321 1283457024 134512640 135191968 4294555808 18446744073709551615 4159261326 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18643/statm: 722 321 219 166 0 154 0 [pid=18644] ppid=18643 vsize=103156 CPUtime=15.73 /proc/18644/stat : 18644 (msuncore) R 18643 18624 13759 34823 13904 4202496 60804 0 0 0 1554 19 0 0 25 0 1 0 416649506 105631744 25480 1283457024 134512640 135858300 4290249888 18446744073709551615 134658441 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18644/statm: 25789 25480 137 329 0 25458 0 Current children cumulated CPU time (s) 28.29 Current children cumulated vsize (KiB) 112420 Solver just ended. Dumping a history of the last processes samples [startup+25.907 s] /proc/loadavg: 0.91 1.00 1.00 2/99 18645 /proc/meminfo: memFree=898428/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=4000 CPUtime=12.56 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 813 110546 0 0 0 0 1154 102 18 0 1 0 416648534 4096000 642 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/18625/statm: 1000 642 346 251 0 301 0 [pid=18643] ppid=18625 vsize=2888 CPUtime=0 /proc/18643/stat : 18643 (sh) S 18625 18624 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 19 0 1 0 416649506 2957312 321 1283457024 134512640 135191968 4294555808 18446744073709551615 4159261326 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18643/statm: 722 321 219 166 0 154 0 [pid=18644] ppid=18643 vsize=103156 CPUtime=16.13 /proc/18644/stat : 18644 (msuncore) R 18643 18624 13759 34823 13904 4202496 60804 0 0 0 1594 19 0 0 25 0 1 0 416649506 105631744 25480 1283457024 134512640 135858300 4290249888 18446744073709551615 134620125 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18644/statm: 25789 25480 137 329 0 25458 0 Current children cumulated CPU time (s) 28.69 Current children cumulated vsize (KiB) 112420 [startup+38.7076 s] /proc/loadavg: 0.93 1.00 1.00 2/98 18646 /proc/meminfo: memFree=898428/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=4000 CPUtime=12.56 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 813 110546 0 0 0 0 1154 102 18 0 1 0 416648534 4096000 642 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/18625/statm: 1000 642 346 251 0 301 0 [pid=18643] ppid=18625 vsize=2888 CPUtime=0 /proc/18643/stat : 18643 (sh) S 18625 18624 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 19 0 1 0 416649506 2957312 321 1283457024 134512640 135191968 4294555808 18446744073709551615 4159261326 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18643/statm: 722 321 219 166 0 154 0 [pid=18644] ppid=18643 vsize=103156 CPUtime=28.93 /proc/18644/stat : 18644 (msuncore) R 18643 18624 13759 34823 13904 4202496 60804 0 0 0 2874 19 0 0 25 0 1 0 416649506 105631744 25480 1283457024 134512640 135858300 4290249888 18446744073709551615 134626649 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18644/statm: 25789 25480 137 329 0 25458 0 Current children cumulated CPU time (s) 41.49 Current children cumulated vsize (KiB) 112420 [startup+41.9078 s] /proc/loadavg: 0.93 1.00 1.00 2/98 18646 /proc/meminfo: memFree=898428/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=4000 CPUtime=12.56 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 813 110546 0 0 0 0 1154 102 18 0 1 0 416648534 4096000 642 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/18625/statm: 1000 642 346 251 0 301 0 [pid=18643] ppid=18625 vsize=2888 CPUtime=0 /proc/18643/stat : 18643 (sh) S 18625 18624 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 19 0 1 0 416649506 2957312 321 1283457024 134512640 135191968 4294555808 18446744073709551615 4159261326 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18643/statm: 722 321 219 166 0 154 0 [pid=18644] ppid=18643 vsize=103156 CPUtime=32.14 /proc/18644/stat : 18644 (msuncore) R 18643 18624 13759 34823 13904 4202496 60804 0 0 0 3195 19 0 0 25 0 1 0 416649506 105631744 25480 1283457024 134512640 135858300 4290249888 18446744073709551615 134620125 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18644/statm: 25789 25480 137 329 0 25458 0 Current children cumulated CPU time (s) 44.7 Current children cumulated vsize (KiB) 112420 [startup+45.1039 s] /proc/loadavg: 0.94 1.00 1.00 2/98 18646 /proc/meminfo: memFree=898428/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=4000 CPUtime=12.56 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 813 110546 0 0 0 0 1154 102 18 0 1 0 416648534 4096000 642 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/18625/statm: 1000 642 346 251 0 301 0 [pid=18643] ppid=18625 vsize=2888 CPUtime=0 /proc/18643/stat : 18643 (sh) S 18625 18624 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 19 0 1 0 416649506 2957312 321 1283457024 134512640 135191968 4294555808 18446744073709551615 4159261326 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18643/statm: 722 321 219 166 0 154 0 [pid=18644] ppid=18643 vsize=103156 CPUtime=35.34 /proc/18644/stat : 18644 (msuncore) R 18643 18624 13759 34823 13904 4202496 60804 0 0 0 3515 19 0 0 25 0 1 0 416649506 105631744 25480 1283457024 134512640 135858300 4290249888 18446744073709551615 134620115 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18644/statm: 25789 25480 137 329 0 25458 0 Current children cumulated CPU time (s) 47.9 Current children cumulated vsize (KiB) 112420 [startup+46.708 s] /proc/loadavg: 0.94 1.00 1.00 2/98 18647 /proc/meminfo: memFree=898428/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=4000 CPUtime=12.56 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 813 110546 0 0 0 0 1154 102 18 0 1 0 416648534 4096000 642 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/18625/statm: 1000 642 346 251 0 301 0 [pid=18643] ppid=18625 vsize=2888 CPUtime=0 /proc/18643/stat : 18643 (sh) S 18625 18624 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 19 0 1 0 416649506 2957312 321 1283457024 134512640 135191968 4294555808 18446744073709551615 4159261326 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18643/statm: 722 321 219 166 0 154 0 [pid=18644] ppid=18643 vsize=103156 CPUtime=36.94 /proc/18644/stat : 18644 (msuncore) R 18643 18624 13759 34823 13904 4202496 60804 0 0 0 3675 19 0 0 25 0 1 0 416649506 105631744 25480 1283457024 134512640 135858300 4290249888 18446744073709551615 135344229 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18644/statm: 25789 25480 137 329 0 25458 0 Current children cumulated CPU time (s) 49.5 Current children cumulated vsize (KiB) 112420 [startup+47.1055 s] /proc/loadavg: 0.94 1.00 1.00 2/98 18647 /proc/meminfo: memFree=898428/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=4000 CPUtime=12.56 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 813 110546 0 0 0 0 1154 102 18 0 1 0 416648534 4096000 642 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/18625/statm: 1000 642 346 251 0 301 0 [pid=18643] ppid=18625 vsize=2888 CPUtime=0 /proc/18643/stat : 18643 (sh) S 18625 18624 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 19 0 1 0 416649506 2957312 321 1283457024 134512640 135191968 4294555808 18446744073709551615 4159261326 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18643/statm: 722 321 219 166 0 154 0 [pid=18644] ppid=18643 vsize=0 CPUtime=37.35 /proc/18644/stat : 18644 (msuncore) R 18643 18624 13759 34823 13904 4202500 60818 0 0 0 3713 22 0 0 25 0 1 0 416649506 0 0 1283457024 0 0 0 0 0 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/18644/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 49.91 Current children cumulated vsize (KiB) 9264 [startup+47.308 s] /proc/loadavg: 0.94 1.00 1.00 2/98 18647 /proc/meminfo: memFree=898428/2097152 swapFree=2055620/2097144 [pid=18624] ppid=18623 vsize=2376 CPUtime=0 /proc/18624/stat : 18624 (inescp-1.0) S 18623 18624 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 416648534 2433024 258 1283457024 134512640 135191968 4294182864 18446744073709551615 4159617678 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18624/statm: 594 258 221 166 0 26 0 [pid=18625] ppid=18624 vsize=13016 CPUtime=50.1 /proc/18625/stat : 18625 (cudf-solver.py) S 18624 18624 13759 34823 13904 4202496 3315 171730 0 0 19 0 4867 124 18 0 1 0 416648534 13328384 2883 1283457024 134512640 135539072 4293601104 18446744073709551615 4158937742 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/18625/statm: 3254 2883 346 251 0 2555 0 Current children cumulated CPU time (s) 50.1 Current children cumulated vsize (KiB) 15392 Child status: 0 Real time (s): 47.335 CPU time (s): 50.1511 CPU user time (s): 48.8791 CPU system time (s): 1.27208 CPU usage (%): 105.949 Max. virtual memory (cumulated for all children) (KiB): 894960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 48.8791 system time used= 1.27208 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 177443 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= 773 involuntary context switches= 469 runsolver used 0 second user time and 0.036002 second system time The end