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/randaafcce.cudf.impossible.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/impossible//randaafcce.cudf /home/misc2010/tmp/201007051419/inescp-1.0/randaafcce.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.94 1.02 1.00 1/95 22079 /proc/meminfo: memFree=1016076/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=3728 CPUtime=0 /proc/22080/stat : 22080 (cudf-solver.py) S 22079 22079 13759 34823 13904 4202496 613 0 0 0 0 0 0 0 18 0 1 0 418239776 3817472 513 1283457024 134512640 135539072 4289342272 18446744073709551615 4159170638 0 2147483391 16781312 2 18446744071697298955 0 0 17 0 0 0 0 /proc/22080/statm: 932 513 308 251 0 233 0 [startup+0.145824 s] /proc/loadavg: 0.94 1.02 1.00 1/95 22079 /proc/meminfo: memFree=1016076/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=4004 CPUtime=0 /proc/22080/stat : 22080 (cudf-solver.py) S 22079 22079 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 418239776 4100096 642 1283457024 134512640 135539072 4289342272 18446744073709551615 4159011470 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/22080/statm: 1001 642 346 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.221151 s] /proc/loadavg: 0.94 1.02 1.00 1/95 22079 /proc/meminfo: memFree=1016076/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=4004 CPUtime=0 /proc/22080/stat : 22080 (cudf-solver.py) S 22079 22079 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 418239776 4100096 642 1283457024 134512640 135539072 4289342272 18446744073709551615 4159011470 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/22080/statm: 1001 642 346 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.301834 s] /proc/loadavg: 0.94 1.02 1.00 1/95 22079 /proc/meminfo: memFree=1016076/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=4004 CPUtime=0 /proc/22080/stat : 22080 (cudf-solver.py) S 22079 22079 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 418239776 4100096 642 1283457024 134512640 135539072 4289342272 18446744073709551615 4159011470 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/22080/statm: 1001 642 346 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+1.54946 s] /proc/loadavg: 0.94 1.02 1.00 1/95 22079 /proc/meminfo: memFree=1016076/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=4004 CPUtime=0 /proc/22080/stat : 22080 (cudf-solver.py) S 22079 22079 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 418239776 4100096 642 1283457024 134512640 135539072 4289342272 18446744073709551615 4159011470 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/22080/statm: 1001 642 346 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+1.60186 s] /proc/loadavg: 0.94 1.02 1.00 1/95 22079 /proc/meminfo: memFree=1016076/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=4004 CPUtime=0 /proc/22080/stat : 22080 (cudf-solver.py) S 22079 22079 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 418239776 4100096 642 1283457024 134512640 135539072 4289342272 18446744073709551615 4159011470 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/22080/statm: 1001 642 346 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+3.10593 s] /proc/loadavg: 0.94 1.01 1.00 2/109 22093 /proc/meminfo: memFree=769964/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=4004 CPUtime=0 /proc/22080/stat : 22080 (cudf-solver.py) S 22079 22079 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 418239776 4100096 642 1283457024 134512640 135539072 4289342272 18446744073709551615 4159011470 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/22080/statm: 1001 642 346 251 0 302 0 [pid=22082] ppid=22080 vsize=889160 CPUtime=4.83 /proc/22082/stat : 22082 (java) S 22080 22079 13759 34823 13904 4202496 71964 0 0 0 451 32 0 0 18 0 12 0 418239778 910499840 62838 1283457024 134512640 134550932 4290349952 18446744073709551615 4159542418 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22082/statm: 222290 62838 1746 10 0 219377 0 [pid=22082/tid=22083] ppid=22080 vsize=889160 CPUtime=2.05 /proc/22082/task/22083/stat : 22083 (java) S 22080 22079 13759 34823 13904 4202560 17389 0 0 0 197 8 0 0 16 0 12 0 418239780 910499840 62838 1283457024 134512640 134550932 4290349952 18446744073709551615 4159555824 0 4 0 16800975 18446612133612607488 0 0 -1 0 0 0 0 [pid=22082/tid=22084] ppid=22080 vsize=889160 CPUtime=0.53 /proc/22082/task/22084/stat : 22084 (java) S 22080 22079 13759 34823 13904 4202560 19317 0 0 0 43 10 0 0 16 0 12 0 418239780 910499840 62838 1283457024 134512640 134550932 4290349952 18446744073709551615 4159555824 0 4 0 16800975 18446612133612607488 0 0 -1 0 0 0 0 [pid=22082/tid=22085] ppid=22080 vsize=889160 CPUtime=0.47 /proc/22082/task/22085/stat : 22085 (java) S 22080 22079 13759 34823 13904 4202560 18896 0 0 0 39 8 0 0 16 0 12 0 418239780 910499840 62838 1283457024 134512640 134550932 4290349952 18446744073709551615 4159555824 0 4 0 16800975 18446612133612607488 0 0 -1 0 0 0 0 [pid=22082/tid=22086] ppid=22080 vsize=889160 CPUtime=0.3 /proc/22082/task/22086/stat : 22086 (java) R 22080 22079 13759 34823 13904 4202560 2078 0 0 0 30 0 0 0 15 0 12 0 418239782 910499840 62838 1283457024 134512640 134550932 4290349952 18446744073709551615 4151677550 0 0 0 16800975 0 0 0 -1 1 0 0 0 [pid=22082/tid=22087] ppid=22080 vsize=889160 CPUtime=0 /proc/22082/task/22087/stat : 22087 (java) S 22080 22079 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 15 0 12 0 418239782 910499840 62838 1283457024 134512640 134550932 4290349952 18446744073709551615 4159555824 0 4 0 16800975 18446612133612607488 0 0 -1 0 0 0 0 [pid=22082/tid=22088] ppid=22080 vsize=889160 CPUtime=0 /proc/22082/task/22088/stat : 22088 (java) S 22080 22079 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 418239782 910499840 62838 1283457024 134512640 134550932 4290349952 18446744073709551615 4159555824 0 4 0 16800975 18446612133612607488 0 0 -1 1 0 0 0 [pid=22082/tid=22089] ppid=22080 vsize=889160 CPUtime=0 /proc/22082/task/22089/stat : 22089 (java) S 22080 22079 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418239785 910499840 62838 1283457024 134512640 134550932 4290349952 18446744073709551615 4159564112 0 4 0 16800975 18446612133612607488 0 0 -1 0 0 0 0 [pid=22082/tid=22090] ppid=22080 vsize=889160 CPUtime=0.42 /proc/22082/task/22090/stat : 22090 (java) S 22080 22079 13759 34823 13904 4202560 3346 0 0 0 40 2 0 0 15 0 12 0 418239785 910499840 62838 1283457024 134512640 134550932 4290349952 18446744073709551615 4159555824 0 4 0 16800975 18446612133612607488 0 0 -1 1 0 0 0 [pid=22082/tid=22091] ppid=22080 vsize=889160 CPUtime=1.01 /proc/22082/task/22091/stat : 22091 (java) S 22080 22079 13759 34823 13904 4202560 9530 0 0 0 101 0 0 0 18 0 12 0 418239785 910499840 62838 1283457024 134512640 134550932 4290349952 18446744073709551615 4159555824 0 4 0 16800975 18446612133612607488 0 0 -1 1 0 0 0 [pid=22082/tid=22092] ppid=22080 vsize=889160 CPUtime=0 /proc/22082/task/22092/stat : 22092 (java) S 22080 22079 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 418239785 910499840 62838 1283457024 134512640 134550932 4290349952 18446744073709551615 4159555824 0 4 0 16800975 18446612133612607488 0 0 -1 0 0 0 0 [pid=22082/tid=22093] ppid=22080 vsize=889160 CPUtime=0 /proc/22082/task/22093/stat : 22093 (java) S 22080 22079 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418239785 910499840 62838 1283457024 134512640 134550932 4290349952 18446744073709551615 4159556616 0 4 0 16800975 18446612133612607488 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.83 Current children cumulated vsize (KiB) 895540 [startup+6.35075 s] /proc/loadavg: 1.11 1.05 1.01 4/109 22093 /proc/meminfo: memFree=663572/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=4004 CPUtime=0 /proc/22080/stat : 22080 (cudf-solver.py) S 22079 22079 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 418239776 4100096 642 1283457024 134512640 135539072 4289342272 18446744073709551615 4159011470 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/22080/statm: 1001 642 346 251 0 302 0 [pid=22082] ppid=22080 vsize=889616 CPUtime=9.84 /proc/22082/stat : 22082 (java) S 22080 22079 13759 34823 13904 4202496 102622 0 0 0 944 40 0 0 18 0 13 0 418239778 910966784 89482 1283457024 134512640 134550932 4290349952 18446744073709551615 4159542418 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22082/statm: 222404 89482 1779 10 0 219491 0 [pid=22082/tid=22083] ppid=22080 vsize=889616 CPUtime=3.83 /proc/22082/task/22083/stat : 22083 (java) S 22080 22079 13759 34823 13904 4202560 17549 0 0 0 375 8 0 0 17 0 13 0 418239780 910966784 89482 1283457024 134512640 134550932 4290349952 18446744073709551615 4159555824 0 4 0 16800975 18446612133612607488 0 0 -1 0 0 0 0 [pid=22082/tid=22084] ppid=22080 vsize=889616 CPUtime=1.01 /proc/22082/task/22084/stat : 22084 (java) R 22080 22079 13759 34823 13904 4202560 32654 0 0 0 86 15 0 0 15 0 13 0 418239780 910966784 89482 1283457024 134512640 134550932 4290349952 18446744073709551615 4148868982 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22082/tid=22085] ppid=22080 vsize=889616 CPUtime=1 /proc/22082/task/22085/stat : 22085 (java) R 22080 22079 13759 34823 13904 4202560 32028 0 0 0 88 12 0 0 15 0 13 0 418239780 910966784 89482 1283457024 134512640 134550932 4290349952 18446744073709551615 4149680562 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22082/tid=22086] ppid=22080 vsize=889616 CPUtime=1.04 /proc/22082/task/22086/stat : 22086 (java) S 22080 22079 13759 34823 13904 4202560 3941 0 0 0 104 0 0 0 16 0 13 0 418239782 910966784 89482 1283457024 134512640 134550932 4290349952 18446744073709551615 4159555824 0 0 0 16800975 18446612133612607488 0 0 -1 0 0 0 0 [pid=22082/tid=22087] ppid=22080 vsize=889616 CPUtime=0 /proc/22082/task/22087/stat : 22087 (java) S 22080 22079 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 15 0 13 0 418239782 910966784 89482 1283457024 134512640 134550932 4290349952 18446744073709551615 4159555824 0 4 0 16800975 18446612133612607488 0 0 -1 0 0 0 0 [pid=22082/tid=22088] ppid=22080 vsize=889616 CPUtime=0 /proc/22082/task/22088/stat : 22088 (java) S 22080 22079 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 13 0 418239782 910966784 89482 1283457024 134512640 134550932 4290349952 18446744073709551615 4159555824 0 4 0 16800975 18446612133612607488 0 0 -1 1 0 0 0 [pid=22082/tid=22089] ppid=22080 vsize=889616 CPUtime=0 /proc/22082/task/22089/stat : 22089 (java) S 22080 22079 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 13 0 418239785 910966784 89482 1283457024 134512640 134550932 4290349952 18446744073709551615 4159564112 0 4 0 16800975 18446612133612607488 0 0 -1 0 0 0 0 [pid=22082/tid=22090] ppid=22080 vsize=889616 CPUtime=1.28 /proc/22082/task/22090/stat : 22090 (java) S 22080 22079 13759 34823 13904 4202560 5370 0 0 0 126 2 0 0 15 0 13 0 418239785 910966784 89482 1283457024 134512640 134550932 4290349952 18446744073709551615 4159555824 0 4 0 16800975 18446612133612607488 0 0 -1 1 0 0 0 [pid=22082/tid=22091] ppid=22080 vsize=889616 CPUtime=1.6 /proc/22082/task/22091/stat : 22091 (java) S 22080 22079 13759 34823 13904 4202560 9661 0 0 0 160 0 0 0 16 0 13 0 418239785 910966784 89482 1283457024 134512640 134550932 4290349952 18446744073709551615 4159555824 0 4 0 16800975 18446612133612607488 0 0 -1 1 0 0 0 [pid=22082/tid=22092] ppid=22080 vsize=889616 CPUtime=0 /proc/22082/task/22092/stat : 22092 (java) S 22080 22079 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 13 0 418239785 910966784 89482 1283457024 134512640 134550932 4290349952 18446744073709551615 4159555824 0 4 0 16800975 18446612133612607488 0 0 -1 0 0 0 0 [pid=22082/tid=22093] ppid=22080 vsize=889616 CPUtime=0 /proc/22082/task/22093/stat : 22093 (java) S 22080 22079 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 13 0 418239785 910966784 89482 1283457024 134512640 134550932 4290349952 18446744073709551615 4159556616 0 4 0 16800975 18446612133612607488 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.84 Current children cumulated vsize (KiB) 895996 [startup+12.7129 s] /proc/loadavg: 1.10 1.05 1.01 2/99 22099 /proc/meminfo: memFree=955416/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=4004 CPUtime=12.49 /proc/22080/stat : 22080 (cudf-solver.py) S 22079 22079 13759 34823 13904 4202496 813 104745 0 0 0 0 1166 83 15 0 1 0 418239776 4100096 642 1283457024 134512640 135539072 4289342272 18446744073709551615 4159011470 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/22080/statm: 1001 642 346 251 0 302 0 [pid=22098] ppid=22080 vsize=2888 CPUtime=0 /proc/22098/stat : 22098 (sh) S 22080 22079 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418240662 2957312 321 1283457024 134512640 135191968 4288807712 18446744073709551615 4158827150 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22098/statm: 722 321 219 166 0 154 0 [pid=22099] ppid=22098 vsize=45476 CPUtime=3.84 /proc/22099/stat : 22099 (msuncore) R 22098 22079 13759 34823 13904 4202496 46161 0 0 0 363 21 0 0 25 0 1 0 418240662 46567424 11067 1283457024 134512640 135858300 4294619344 18446744073709551615 134620416 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/22099/statm: 11369 11067 133 329 0 11038 0 Current children cumulated CPU time (s) 16.33 Current children cumulated vsize (KiB) 54744 [startup+25.5067 s] /proc/loadavg: 1.16 1.06 1.01 2/98 22100 /proc/meminfo: memFree=897052/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=4004 CPUtime=12.49 /proc/22080/stat : 22080 (cudf-solver.py) S 22079 22079 13759 34823 13904 4202496 813 104745 0 0 0 0 1166 83 15 0 1 0 418239776 4100096 642 1283457024 134512640 135539072 4289342272 18446744073709551615 4159011470 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/22080/statm: 1001 642 346 251 0 302 0 [pid=22098] ppid=22080 vsize=2888 CPUtime=0 /proc/22098/stat : 22098 (sh) S 22080 22079 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418240662 2957312 321 1283457024 134512640 135191968 4288807712 18446744073709551615 4158827150 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22098/statm: 722 321 219 166 0 154 0 [pid=22099] ppid=22098 vsize=103200 CPUtime=16.61 /proc/22099/stat : 22099 (msuncore) R 22098 22079 13759 34823 13904 4202496 60589 0 0 0 1635 26 0 0 25 0 1 0 418240662 105676800 25495 1283457024 134512640 135858300 4294619344 18446744073709551615 135336861 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/22099/statm: 25800 25495 137 329 0 25469 0 Current children cumulated CPU time (s) 29.1 Current children cumulated vsize (KiB) 112468 Solver just ended. Dumping a history of the last processes samples [startup+26.5069 s] /proc/loadavg: 1.14 1.06 1.01 2/98 22100 /proc/meminfo: memFree=897052/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=4004 CPUtime=12.49 /proc/22080/stat : 22080 (cudf-solver.py) S 22079 22079 13759 34823 13904 4202496 813 104745 0 0 0 0 1166 83 15 0 1 0 418239776 4100096 642 1283457024 134512640 135539072 4289342272 18446744073709551615 4159011470 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/22080/statm: 1001 642 346 251 0 302 0 [pid=22098] ppid=22080 vsize=2888 CPUtime=0 /proc/22098/stat : 22098 (sh) S 22080 22079 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418240662 2957312 321 1283457024 134512640 135191968 4288807712 18446744073709551615 4158827150 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22098/statm: 722 321 219 166 0 154 0 [pid=22099] ppid=22098 vsize=103200 CPUtime=17.6 /proc/22099/stat : 22099 (msuncore) R 22098 22079 13759 34823 13904 4202496 60589 0 0 0 1734 26 0 0 25 0 1 0 418240662 105676800 25495 1283457024 134512640 135858300 4294619344 18446744073709551615 134670947 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/22099/statm: 25800 25495 137 329 0 25469 0 Current children cumulated CPU time (s) 30.09 Current children cumulated vsize (KiB) 112468 [startup+32.9088 s] /proc/loadavg: 1.13 1.06 1.01 2/98 22100 /proc/meminfo: memFree=897052/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=4004 CPUtime=12.49 /proc/22080/stat : 22080 (cudf-solver.py) S 22079 22079 13759 34823 13904 4202496 813 104745 0 0 0 0 1166 83 15 0 1 0 418239776 4100096 642 1283457024 134512640 135539072 4289342272 18446744073709551615 4159011470 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/22080/statm: 1001 642 346 251 0 302 0 [pid=22098] ppid=22080 vsize=2888 CPUtime=0 /proc/22098/stat : 22098 (sh) S 22080 22079 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418240662 2957312 321 1283457024 134512640 135191968 4288807712 18446744073709551615 4158827150 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22098/statm: 722 321 219 166 0 154 0 [pid=22099] ppid=22098 vsize=103200 CPUtime=24.01 /proc/22099/stat : 22099 (msuncore) R 22098 22079 13759 34823 13904 4202496 60589 0 0 0 2375 26 0 0 25 0 1 0 418240662 105676800 25495 1283457024 134512640 135858300 4294619344 18446744073709551615 134671627 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/22099/statm: 25800 25495 137 329 0 25469 0 Current children cumulated CPU time (s) 36.5 Current children cumulated vsize (KiB) 112468 [startup+36.1099 s] /proc/loadavg: 1.12 1.06 1.01 2/98 22100 /proc/meminfo: memFree=897044/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=4004 CPUtime=12.49 /proc/22080/stat : 22080 (cudf-solver.py) S 22079 22079 13759 34823 13904 4202496 813 104745 0 0 0 0 1166 83 15 0 1 0 418239776 4100096 642 1283457024 134512640 135539072 4289342272 18446744073709551615 4159011470 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/22080/statm: 1001 642 346 251 0 302 0 [pid=22098] ppid=22080 vsize=2888 CPUtime=0 /proc/22098/stat : 22098 (sh) S 22080 22079 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418240662 2957312 321 1283457024 134512640 135191968 4288807712 18446744073709551615 4158827150 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22098/statm: 722 321 219 166 0 154 0 [pid=22099] ppid=22098 vsize=103200 CPUtime=27.21 /proc/22099/stat : 22099 (msuncore) R 22098 22079 13759 34823 13904 4202496 60589 0 0 0 2695 26 0 0 25 0 1 0 418240662 105676800 25495 1283457024 134512640 135858300 4294619344 18446744073709551615 134657434 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/22099/statm: 25800 25495 137 329 0 25469 0 Current children cumulated CPU time (s) 39.7 Current children cumulated vsize (KiB) 112468 [startup+36.9101 s] /proc/loadavg: 1.12 1.06 1.01 2/98 22100 /proc/meminfo: memFree=897044/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=4004 CPUtime=12.49 /proc/22080/stat : 22080 (cudf-solver.py) S 22079 22079 13759 34823 13904 4202496 813 104745 0 0 0 0 1166 83 15 0 1 0 418239776 4100096 642 1283457024 134512640 135539072 4289342272 18446744073709551615 4159011470 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/22080/statm: 1001 642 346 251 0 302 0 [pid=22098] ppid=22080 vsize=2888 CPUtime=0 /proc/22098/stat : 22098 (sh) S 22080 22079 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418240662 2957312 321 1283457024 134512640 135191968 4288807712 18446744073709551615 4158827150 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22098/statm: 722 321 219 166 0 154 0 [pid=22099] ppid=22098 vsize=103200 CPUtime=28.01 /proc/22099/stat : 22099 (msuncore) R 22098 22079 13759 34823 13904 4202496 60589 0 0 0 2775 26 0 0 25 0 1 0 418240662 105676800 25495 1283457024 134512640 135858300 4294619344 18446744073709551615 134671372 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/22099/statm: 25800 25495 137 329 0 25469 0 Current children cumulated CPU time (s) 40.5 Current children cumulated vsize (KiB) 112468 [startup+37.3103 s] /proc/loadavg: 1.12 1.06 1.01 2/98 22100 /proc/meminfo: memFree=897044/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=4004 CPUtime=12.49 /proc/22080/stat : 22080 (cudf-solver.py) S 22079 22079 13759 34823 13904 4202496 813 104745 0 0 0 0 1166 83 15 0 1 0 418239776 4100096 642 1283457024 134512640 135539072 4289342272 18446744073709551615 4159011470 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/22080/statm: 1001 642 346 251 0 302 0 [pid=22098] ppid=22080 vsize=2888 CPUtime=0 /proc/22098/stat : 22098 (sh) S 22080 22079 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 418240662 2957312 321 1283457024 134512640 135191968 4288807712 18446744073709551615 4158827150 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22098/statm: 722 321 219 166 0 154 0 [pid=22099] ppid=22098 vsize=103200 CPUtime=28.41 /proc/22099/stat : 22099 (msuncore) R 22098 22079 13759 34823 13904 4202496 60589 0 0 0 2815 26 0 0 25 0 1 0 418240662 105676800 25495 1283457024 134512640 135858300 4294619344 18446744073709551615 134625764 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/22099/statm: 25800 25495 137 329 0 25469 0 Current children cumulated CPU time (s) 40.9 Current children cumulated vsize (KiB) 112468 [startup+37.7075 s] /proc/loadavg: 1.12 1.06 1.01 2/98 22100 /proc/meminfo: memFree=897044/2097152 swapFree=2055620/2097144 [pid=22079] ppid=22078 vsize=2376 CPUtime=0 /proc/22079/stat : 22079 (inescp-1.0) S 22078 22079 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418239776 2433024 258 1283457024 134512640 135191968 4292062672 18446744073709551615 4159470222 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22079/statm: 594 258 221 166 0 26 0 [pid=22080] ppid=22079 vsize=13016 CPUtime=41.3 /proc/22080/stat : 22080 (cudf-solver.py) R 22079 22079 13759 34823 13904 4202496 3314 165714 0 0 16 0 4001 113 16 0 1 0 418239776 13328384 2884 1283457024 134512640 135539072 4289342272 18446744073709551615 4159172606 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/22080/statm: 3254 2884 346 251 0 2555 0 Current children cumulated CPU time (s) 41.3 Current children cumulated vsize (KiB) 15392 Child status: 0 Real time (s): 37.754 CPU time (s): 41.3626 CPU user time (s): 40.2105 CPU system time (s): 1.15207 CPU usage (%): 109.558 Max. virtual memory (cumulated for all children) (KiB): 898168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 40.2105 system time used= 1.15207 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 171431 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= 833 involuntary context switches= 1126 runsolver used 0.012 second user time and 0.008 second system time The end