runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733879-1338716518/watcher-3733879-1338716518 -o /tmp/evaluation-result-3733879-1338716518/solver-3733879-1338716518 -C 1800 -W 1900 -M 15500 pbclasp instance-3733879-1338716518.opb HOME/temp
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.21 1.52 3/176 18613
/proc/meminfo: memFree=23372436/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 337780382 26357760 518 33554432000 4194304 4198148 140733994751552 140733994750440 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18613/statm: 6435 518 368 1 0 230 0
[startup+0.067609 s]
/proc/loadavg: 2.09 2.21 1.52 3/176 18613
/proc/meminfo: memFree=23372436/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 337780382 26357760 518 33554432000 4194304 4198148 140733994751552 140733994750440 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18613/statm: 6435 518 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.100209 s]
/proc/loadavg: 2.09 2.21 1.52 3/176 18613
/proc/meminfo: memFree=23372436/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 337780382 26357760 518 33554432000 4194304 4198148 140733994751552 140733994750440 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18613/statm: 6435 518 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.300179 s]
/proc/loadavg: 2.09 2.21 1.52 3/176 18613
/proc/meminfo: memFree=23372436/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 337780382 26357760 518 33554432000 4194304 4198148 140733994751552 140733994750440 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18613/statm: 6435 518 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.700177 s]
/proc/loadavg: 2.09 2.21 1.52 3/176 18613
/proc/meminfo: memFree=23372436/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 337780382 26357760 518 33554432000 4194304 4198148 140733994751552 140733994750440 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18613/statm: 6435 518 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+1.50026 s]
/proc/loadavg: 2.09 2.21 1.52 3/179 18616
/proc/meminfo: memFree=23370684/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25740 CPUtime=1.14 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 685 2096 0 0 0 0 113 1 20 0 1 0 337780382 26357760 537 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18613/statm: 6435 537 387 1 0 230 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 25740
[startup+3.10029 s]
/proc/loadavg: 2.09 2.21 1.52 3/179 18623
/proc/meminfo: memFree=23356564/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25740 CPUtime=1.14 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 685 2096 0 0 0 0 113 1 20 0 1 0 337780382 26357760 537 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18613/statm: 6435 537 387 1 0 230 0
[pid=18621] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18621/stat : 18621 (sh) S 18613 18613 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 337780497 9367552 264 33554432000 4194304 5064252 140737336672416 140737336670672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18621/statm: 2287 264 223 213 0 72 0
[pid=18623] ppid=18621 vsize=15388 CPUtime=1.93 cores=1,3,5,7
/proc/18623/stat : 18623 (clasp-1.0) R 18621 18613 27890 0 -1 4202496 3416 0 0 0 193 0 0 0 20 0 1 0 337780497 15757312 3285 33554432000 134512640 134847168 4293264064 4293262640 134714740 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18623/statm: 3847 3285 272 82 0 3088 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 50276
[startup+6.30028 s]
/proc/loadavg: 2.09 2.21 1.52 3/179 18623
/proc/meminfo: memFree=23356112/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25740 CPUtime=1.14 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 685 2096 0 0 0 0 113 1 20 0 1 0 337780382 26357760 537 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18613/statm: 6435 537 387 1 0 230 0
[pid=18621] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18621/stat : 18621 (sh) S 18613 18613 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 337780497 9367552 264 33554432000 4194304 5064252 140737336672416 140737336670672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18621/statm: 2287 264 223 213 0 72 0
[pid=18623] ppid=18621 vsize=15388 CPUtime=5.13 cores=1,3,5,7
/proc/18623/stat : 18623 (clasp-1.0) R 18621 18613 27890 0 -1 4202496 3434 0 0 0 513 0 0 0 20 0 1 0 337780497 15757312 3303 33554432000 134512640 134847168 4293264064 4293262640 134714228 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18623/statm: 3847 3303 272 82 0 3088 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 50276
[startup+12.7003 s]
/proc/loadavg: 2.07 2.20 1.53 3/179 18623
/proc/meminfo: memFree=23355240/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25740 CPUtime=1.14 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 685 2096 0 0 0 0 113 1 20 0 1 0 337780382 26357760 537 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18613/statm: 6435 537 387 1 0 230 0
[pid=18621] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18621/stat : 18621 (sh) S 18613 18613 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 337780497 9367552 264 33554432000 4194304 5064252 140737336672416 140737336670672 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18621/statm: 2287 264 223 213 0 72 0
[pid=18623] ppid=18621 vsize=15504 CPUtime=11.53 cores=1,3,5,7
/proc/18623/stat : 18623 (clasp-1.0) R 18621 18613 27890 0 -1 4202496 3474 0 0 0 1153 0 0 0 20 0 1 0 337780497 15876096 3341 33554432000 134512640 134847168 4293264064 4293262640 134714254 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18623/statm: 3876 3341 272 82 0 3117 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 50392
[startup+25.5003 s]
/proc/loadavg: 2.06 2.20 1.53 3/179 18631
/proc/meminfo: memFree=23354028/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25740 CPUtime=20.55 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 820 7661 0 0 1 0 2052 2 20 0 1 0 337780382 26357760 554 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18613/statm: 6435 554 387 1 0 230 0
[pid=18629] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18629/stat : 18629 (sh) S 18613 18613 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337782440 9367552 263 33554432000 4194304 5064252 140734840725264 140734840723520 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18629/statm: 2287 263 223 213 0 72 0
[pid=18631] ppid=18629 vsize=15372 CPUtime=4.9 cores=1,3,5,7
/proc/18631/stat : 18631 (clasp-1.0) R 18629 18613 27890 0 -1 4202496 3425 0 0 0 490 0 0 0 20 0 1 0 337782441 15740928 3294 33554432000 134512640 134847168 4294518608 4294517340 134740921 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18631/statm: 3843 3294 270 82 0 3084 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 50260
[startup+51.1004 s]
/proc/loadavg: 2.04 2.18 1.54 3/179 18639
/proc/meminfo: memFree=23351808/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25740 CPUtime=32.03 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 950 13046 0 0 1 0 3198 4 20 0 1 0 337780382 26357760 555 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18613/statm: 6435 555 387 1 0 230 0
[pid=18637] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18637/stat : 18637 (sh) S 18613 18613 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 337783588 9367552 264 33554432000 4194304 5064252 140735364492752 140735364491008 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18637/statm: 2287 264 223 213 0 72 0
[pid=18639] ppid=18637 vsize=16088 CPUtime=19.02 cores=1,3,5,7
/proc/18639/stat : 18639 (clasp-1.0) R 18637 18613 27890 0 -1 4202496 3612 0 0 0 1902 0 0 0 20 0 1 0 337783589 16474112 3478 33554432000 134512640 134847168 4286672464 4286671040 134714430 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18639/statm: 4022 3478 272 82 0 3263 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 50976
[startup+102.307 s]
/proc/loadavg: 2.07 2.16 1.57 3/179 18663
/proc/meminfo: memFree=23343616/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25880 CPUtime=96.36 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 1363 29907 0 0 5 0 9621 10 20 0 1 0 337780382 26501120 569 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18613/statm: 6470 569 387 1 0 265 0
[pid=18661] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18661/stat : 18661 (sh) S 18613 18613 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 337790024 9367552 263 33554432000 4194304 5064252 140734113934304 140734113932560 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18661/statm: 2287 263 223 213 0 72 0
[pid=18663] ppid=18661 vsize=15372 CPUtime=5.87 cores=1,3,5,7
/proc/18663/stat : 18663 (clasp-1.0) R 18661 18613 27890 0 -1 4202496 3435 0 0 0 587 0 0 0 20 0 1 0 337790024 15740928 3301 33554432000 134512640 134847168 4288634208 4288632848 134782432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18663/statm: 3843 3301 272 82 0 3084 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 50400
[startup+162.3 s]
/proc/loadavg: 2.02 2.13 1.59 3/179 18679
/proc/meminfo: memFree=23341128/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25880 CPUtime=153.29 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 1641 41365 0 0 7 0 15308 14 20 0 1 0 337780382 26501120 569 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18613/statm: 6470 569 387 1 0 265 0
[pid=18677] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18677/stat : 18677 (sh) S 18613 18613 27890 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 337795719 9367552 264 33554432000 4194304 5064252 140733804836272 140733804834528 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18677/statm: 2287 264 223 213 0 72 0
[pid=18679] ppid=18677 vsize=15372 CPUtime=8.92 cores=1,3,5,7
/proc/18679/stat : 18679 (clasp-1.0) R 18677 18613 27890 0 -1 4202496 3443 0 0 0 892 0 0 0 20 0 1 0 337795719 15740928 3307 33554432000 134512640 134847168 4292501760 4292500336 134714247 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18679/statm: 3843 3307 270 82 0 3084 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 50400
[startup+222.3 s]
/proc/loadavg: 2.01 2.10 1.62 3/180 18681
/proc/meminfo: memFree=23336720/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25880 CPUtime=153.29 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 1641 41365 0 0 7 0 15308 14 20 0 1 0 337780382 26501120 569 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18613/statm: 6470 569 387 1 0 265 0
[pid=18677] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18677/stat : 18677 (sh) S 18613 18613 27890 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 337795719 9367552 264 33554432000 4194304 5064252 140733804836272 140733804834528 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18677/statm: 2287 264 223 213 0 72 0
[pid=18679] ppid=18677 vsize=18600 CPUtime=68.9 cores=1,3,5,7
/proc/18679/stat : 18679 (clasp-1.0) R 18677 18613 27890 0 -1 4202496 4216 0 0 0 6890 0 0 0 20 0 1 0 337795719 19046400 4086 33554432000 134512640 134847168 4292501760 4292500336 134714110 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18679/statm: 4650 4086 270 82 0 3891 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 53628
[startup+282.3 s]
/proc/loadavg: 2.00 2.08 1.64 3/179 18689
/proc/meminfo: memFree=23337656/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25880 CPUtime=233.84 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 1770 47632 0 0 8 0 23360 16 20 0 1 0 337780382 26501120 569 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18613/statm: 6470 569 387 1 0 265 0
[pid=18687] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/18695/stat : 18695 (sh) S 18613 18613 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337818584 9367552 263 33554432000 4194304 5064252 140736048030144 140736048028400 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18695/statm: 2287 263 223 213 0 72 0
[pid=18697] ppid=18695 vsize=29464 CPUtime=1040.11 cores=1,3,5,7
/proc/18697/stat : 18697 (clasp-1.0) R 18695 18613 27890 0 -1 4202496 6570 0 0 0 104009 2 0 0 20 0 1 0 337818584 30171136 6669 33554432000 134512640 134847168 4294745168 4294743852 134715892 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18697/statm: 7366 6669 270 82 0 6607 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 64492
[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 1.88 3/179 18730
/proc/meminfo: memFree=23305876/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25880 CPUtime=381.89 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 1911 54333 0 0 10 1 38160 18 20 0 1 0 337780382 26501120 569 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18613/statm: 6470 569 387 1 0 265 0
[pid=18695] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18695/stat : 18695 (sh) S 18613 18613 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337818584 9367552 263 33554432000 4194304 5064252 140736048030144 140736048028400 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18695/statm: 2287 263 223 213 0 72 0
[pid=18697] ppid=18695 vsize=29752 CPUtime=1100.09 cores=1,3,5,7
/proc/18697/stat : 18697 (clasp-1.0) R 18695 18613 27890 0 -1 4202496 6632 0 0 0 110007 2 0 0 20 0 1 0 337818584 30466048 6731 33554432000 134512640 134847168 4294745168 4294743792 134784601 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18697/statm: 7438 6731 270 82 0 6679 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 64780
[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 1.89 3/179 18730
/proc/meminfo: memFree=23304820/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25880 CPUtime=381.89 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 1911 54333 0 0 10 1 38160 18 20 0 1 0 337780382 26501120 569 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18613/statm: 6470 569 387 1 0 265 0
[pid=18695] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18695/stat : 18695 (sh) S 18613 18613 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337818584 9367552 263 33554432000 4194304 5064252 140736048030144 140736048028400 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18695/statm: 2287 263 223 213 0 72 0
[pid=18697] ppid=18695 vsize=29896 CPUtime=1160.09 cores=1,3,5,7
/proc/18697/stat : 18697 (clasp-1.0) R 18695 18613 27890 0 -1 4202496 6682 0 0 0 116007 2 0 0 20 0 1 0 337818584 30613504 6781 33554432000 134512640 134847168 4294745168 4294743744 134714421 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18697/statm: 7474 6781 270 82 0 6715 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 64924
[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 1.90 3/179 18730
/proc/meminfo: memFree=23304200/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25880 CPUtime=381.89 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 1911 54333 0 0 10 1 38160 18 20 0 1 0 337780382 26501120 569 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18613/statm: 6470 569 387 1 0 265 0
[pid=18695] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18695/stat : 18695 (sh) S 18613 18613 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337818584 9367552 263 33554432000 4194304 5064252 140736048030144 140736048028400 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18695/statm: 2287 263 223 213 0 72 0
[pid=18697] ppid=18695 vsize=30516 CPUtime=1220.08 cores=1,3,5,7
/proc/18697/stat : 18697 (clasp-1.0) R 18695 18613 27890 0 -1 4202496 6824 0 0 0 122006 2 0 0 20 0 1 0 337818584 31248384 6923 33554432000 134512640 134847168 4294745168 4294743792 134784798 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18697/statm: 7629 6923 270 82 0 6870 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 65544
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 1.91 3/179 18730
/proc/meminfo: memFree=23302400/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25880 CPUtime=381.89 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 1911 54333 0 0 10 1 38160 18 20 0 1 0 337780382 26501120 569 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18613/statm: 6470 569 387 1 0 265 0
[pid=18695] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18695/stat : 18695 (sh) S 18613 18613 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337818584 9367552 263 33554432000 4194304 5064252 140736048030144 140736048028400 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18695/statm: 2287 263 223 213 0 72 0
[pid=18697] ppid=18695 vsize=30852 CPUtime=1280.07 cores=1,3,5,7
/proc/18697/stat : 18697 (clasp-1.0) R 18695 18613 27890 0 -1 4202496 6900 0 0 0 128005 2 0 0 20 0 1 0 337818584 31592448 6999 33554432000 134512640 134847168 4294745168 4294743744 134714266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18697/statm: 7713 6999 270 82 0 6954 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 65880
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 1.91 3/180 18734
/proc/meminfo: memFree=23302020/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25880 CPUtime=381.89 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 1911 54333 0 0 10 1 38160 18 20 0 1 0 337780382 26501120 569 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18613/statm: 6470 569 387 1 0 265 0
[pid=18695] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18695/stat : 18695 (sh) S 18613 18613 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337818584 9367552 263 33554432000 4194304 5064252 140736048030144 140736048028400 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18695/statm: 2287 263 223 213 0 72 0
[pid=18697] ppid=18695 vsize=31284 CPUtime=1340.06 cores=1,3,5,7
/proc/18697/stat : 18697 (clasp-1.0) R 18695 18613 27890 0 -1 4202496 6987 0 0 0 134004 2 0 0 20 0 1 0 337818584 32034816 7086 33554432000 134512640 134847168 4294745168 4294743852 134715952 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18697/statm: 7821 7086 270 82 0 7062 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 66312
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 1.91 3/179 18734
/proc/meminfo: memFree=23301284/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25880 CPUtime=381.89 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 1911 54333 0 0 10 1 38160 18 20 0 1 0 337780382 26501120 569 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18613/statm: 6470 569 387 1 0 265 0
[pid=18695] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18695/stat : 18695 (sh) S 18613 18613 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337818584 9367552 263 33554432000 4194304 5064252 140736048030144 140736048028400 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18695/statm: 2287 263 223 213 0 72 0
[pid=18697] ppid=18695 vsize=31572 CPUtime=1400.05 cores=1,3,5,7
/proc/18697/stat : 18697 (clasp-1.0) R 18695 18613 27890 0 -1 4202496 7047 0 0 0 140003 2 0 0 20 0 1 0 337818584 32329728 7146 33554432000 134512640 134847168 4294745168 4294743852 134715803 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18697/statm: 7893 7146 270 82 0 7134 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 66600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.03 1.91 3/179 18858
/proc/meminfo: memFree=23400012/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25880 CPUtime=1792.1 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 2019 63342 0 0 10 1 179178 21 20 0 1 0 337780382 26501120 569 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18613/statm: 6470 569 387 1 0 265 0
[pid=18749] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18749/stat : 18749 (sh) S 18613 18613 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 337959627 9367552 264 33554432000 4194304 5064252 140735531135648 140735531133904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18749/statm: 2287 264 223 213 0 72 0
[pid=18753] ppid=18749 vsize=15372 CPUtime=7.94 cores=1,3,5,7
/proc/18753/stat : 18753 (clasp-1.0) R 18749 18613 27890 0 -1 4202496 3432 0 0 0 794 0 0 0 20 0 1 0 337959627 15740928 3301 33554432000 134512640 134847168 4287719152 4287717836 134715884 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18753/statm: 3843 3301 270 82 0 3084 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 50400
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18613
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.03 1.91 3/180 18877
/proc/meminfo: memFree=23400320/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25880 CPUtime=1800.06 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 2202 69550 0 0 10 1 179972 23 20 0 1 0 337780382 26501120 569 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18613/statm: 6470 569 387 1 0 265 0
[pid=18867] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18867/stat : 18867 (sh) S 18613 18613 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337960425 9367552 263 33554432000 4194304 5064252 140733492206480 140733492204736 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18867/statm: 2287 263 223 213 0 72 0
[pid=18870] ppid=18867 vsize=15372 CPUtime=0.96 cores=1,3,5,7
/proc/18870/stat : 18870 (clasp-1.0) R 18867 18613 27890 0 -1 4202496 3404 0 0 0 96 0 0 0 20 0 1 0 337960425 15740928 3273 33554432000 134512640 134847168 4290755392 4290753968 134714250 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18870/statm: 3843 3273 272 82 0 3084 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 50400
[startup+1802.2 s]
/proc/loadavg: 2.01 2.03 1.91 3/180 18877
/proc/meminfo: memFree=23399980/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25880 CPUtime=1800.06 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 2202 69550 0 0 10 1 179972 23 20 0 1 0 337780382 26501120 569 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18613/statm: 6470 569 387 1 0 265 0
[pid=18867] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18867/stat : 18867 (sh) S 18613 18613 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337960425 9367552 263 33554432000 4194304 5064252 140733492206480 140733492204736 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18867/statm: 2287 263 223 213 0 72 0
[pid=18870] ppid=18867 vsize=15372 CPUtime=1.76 cores=1,3,5,7
/proc/18870/stat : 18870 (clasp-1.0) R 18867 18613 27890 0 -1 4202496 3409 0 0 0 176 0 0 0 20 0 1 0 337960425 15740928 3278 33554432000 134512640 134847168 4290755392 4290754148 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18870/statm: 3843 3278 272 82 0 3084 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 50400
[startup+1802.4 s]
/proc/loadavg: 2.01 2.03 1.91 3/180 18877
/proc/meminfo: memFree=23399980/32873844 swapFree=7112/7112
[pid=18613] ppid=18611 vsize=25880 CPUtime=1800.06 cores=1,3,5,7
/proc/18613/stat : 18613 (pbclasp) S 18611 18613 27890 0 -1 4202496 2202 69550 0 0 10 1 179972 23 20 0 1 0 337780382 26501120 569 33554432000 4194304 4198148 140733994751552 140733994750480 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18613/statm: 6470 569 387 1 0 265 0
[pid=18867] ppid=18613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18867/stat : 18867 (sh) S 18613 18613 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337960425 9367552 263 33554432000 4194304 5064252 140733492206480 140733492204736 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18867/statm: 2287 263 223 213 0 72 0
[pid=18870] ppid=18867 vsize=15372 CPUtime=1.96 cores=1,3,5,7
/proc/18870/stat : 18870 (clasp-1.0) R 18867 18613 27890 0 -1 4202496 3412 0 0 0 196 0 0 0 20 0 1 0 337960425 15740928 3281 33554432000 134512640 134847168 4290755392 4290754128 134737627 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18870/statm: 3843 3281 272 82 0 3084 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 50400
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.08
CPU user time (s): 1801.81
CPU system time (s): 0.266959
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 66744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.81
system time used= 0.266959
maximum resident set size= 28708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75884
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3970
involuntary context switches= 2177
runsolver used 3.18252 second user time and 7.38788 second system time
The end