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-3735654-1338725382/watcher-3735654-1338725382 -o /tmp/evaluation-result-3735654-1338725382/solver-3735654-1338725382 -C 1800 -W 1900 -M 15500 pbclasp instance-3735654-1338725382.opb HOME/temp
running on 4 cores: 0,2,4,6
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.07 2.02 2.00 3/177 8493
/proc/meminfo: memFree=27001092/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) R 8491 8493 29645 0 -1 4202496 450 0 0 0 0 0 0 0 20 0 1 0 338663143 26071040 381 33554432000 4194304 4198148 140736107738304 140736107735752 223676361202 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/8493/statm: 6365 382 291 1 0 160 0
[startup+0.033262 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8493
/proc/meminfo: memFree=27001092/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26144 CPUtime=0.02 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) R 8491 8493 29645 0 -1 4202496 675 0 0 0 2 0 0 0 20 0 1 0 338663143 26771456 606 33554432000 4194304 4198148 140736107738304 140736107735752 223676988672 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/8493/statm: 6536 606 361 1 0 331 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26144
[startup+0.100202 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8493
/proc/meminfo: memFree=27001092/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26276 CPUtime=0.03 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 751 0 0 0 3 0 0 0 20 0 1 0 338663143 26906624 663 33554432000 4194304 4198148 140736107738304 140736107737192 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8493/statm: 6569 663 368 1 0 364 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26276
[startup+0.300173 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8493
/proc/meminfo: memFree=27001092/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26276 CPUtime=0.03 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 751 0 0 0 3 0 0 0 20 0 1 0 338663143 26906624 663 33554432000 4194304 4198148 140736107738304 140736107737192 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8493/statm: 6569 663 368 1 0 364 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26276
[startup+0.700288 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8493
/proc/meminfo: memFree=27001092/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=0.46 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 925 2108 0 0 3 0 43 0 20 0 1 0 338663143 27041792 725 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8493/statm: 6602 725 387 1 0 397 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 26408
[startup+1.50029 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 8512
/proc/meminfo: memFree=26990828/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=1.34 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 1330 14246 0 0 4 0 126 4 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 26408
[startup+3.10026 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 8544
/proc/meminfo: memFree=26990612/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=2.74 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 1936 34537 0 0 5 0 260 9 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 26408
[startup+6.30034 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 8568
/proc/meminfo: memFree=26989404/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=2.74 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 1936 34537 0 0 5 0 260 9 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8566] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8566/stat : 8566 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338663420 9367552 263 33554432000 4194304 5064252 140734252690240 140734252688496 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8566/statm: 2287 263 223 213 0 72 0
[pid=8568] ppid=8566 vsize=10776 CPUtime=3.52 cores=0,2,4,6
/proc/8568/stat : 8568 (clasp-1.0) R 8566 8493 29645 0 -1 4202496 2325 0 0 0 352 0 0 0 20 0 1 0 338663420 11034624 2175 33554432000 134512640 134847168 4293785104 4293783568 134713671 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8568/statm: 2694 2175 270 82 0 1935 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 46332
[startup+12.7004 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 8568
/proc/meminfo: memFree=26982976/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=2.74 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 1936 34537 0 0 5 0 260 9 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8566] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8566/stat : 8566 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338663420 9367552 263 33554432000 4194304 5064252 140734252690240 140734252688496 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8566/statm: 2287 263 223 213 0 72 0
[pid=8568] ppid=8566 vsize=14664 CPUtime=9.92 cores=0,2,4,6
/proc/8568/stat : 8568 (clasp-1.0) R 8566 8493 29645 0 -1 4202496 3299 0 0 0 992 0 0 0 20 0 1 0 338663420 15015936 3149 33554432000 134512640 134847168 4293785104 4293783796 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8568/statm: 3666 3149 270 82 0 2907 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 50220
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 8571
/proc/meminfo: memFree=26977252/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=2.74 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 1936 34537 0 0 5 0 260 9 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8566] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8566/stat : 8566 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338663420 9367552 263 33554432000 4194304 5064252 140734252690240 140734252688496 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8566/statm: 2287 263 223 213 0 72 0
[pid=8568] ppid=8566 vsize=17284 CPUtime=22.71 cores=0,2,4,6
/proc/8568/stat : 8568 (clasp-1.0) R 8566 8493 29645 0 -1 4202496 3939 0 0 0 2271 0 0 0 20 0 1 0 338663420 17698816 3791 33554432000 134512640 134847168 4293785104 4293783872 134617536 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8568/statm: 4321 3791 270 82 0 3562 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 52840
[startup+51.1004 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 8571
/proc/meminfo: memFree=26967076/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=2.74 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 1936 34537 0 0 5 0 260 9 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8566] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8566/stat : 8566 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338663420 9367552 263 33554432000 4194304 5064252 140734252690240 140734252688496 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8566/statm: 2287 263 223 213 0 72 0
[pid=8568] ppid=8566 vsize=21860 CPUtime=48.31 cores=0,2,4,6
/proc/8568/stat : 8568 (clasp-1.0) R 8566 8493 29645 0 -1 4202496 5128 0 0 0 4830 1 0 0 20 0 1 0 338663420 22384640 4921 33554432000 134512640 134847168 4293785104 4293783728 134784656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8568/statm: 5465 4921 270 82 0 4706 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 57416
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 8571
/proc/meminfo: memFree=26961000/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=2.74 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 1936 34537 0 0 5 0 260 9 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8566] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8566/stat : 8566 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338663420 9367552 263 33554432000 4194304 5064252 140734252690240 140734252688496 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8566/statm: 2287 263 223 213 0 72 0
[pid=8568] ppid=8566 vsize=24332 CPUtime=99.5 cores=0,2,4,6
/proc/8568/stat : 8568 (clasp-1.0) R 8566 8493 29645 0 -1 4202496 5834 0 0 0 9949 1 0 0 20 0 1 0 338663420 24915968 5547 33554432000 134512640 134847168 4293785104 4293783732 134616350 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8568/statm: 6083 5547 270 82 0 5324 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 59888
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8571
/proc/meminfo: memFree=26955228/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=2.74 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 1936 34537 0 0 5 0 260 9 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8566] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8566/stat : 8566 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338663420 9367552 263 33554432000 4194304 5064252 140734252690240 140734252688496 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8566/statm: 2287 263 223 213 0 72 0
[pid=8568] ppid=8566 vsize=25980 CPUtime=159.49 cores=0,2,4,6
/proc/8568/stat : 8568 (clasp-1.0) R 8566 8493 29645 0 -1 4202496 6246 0 0 0 15948 1 0 0 20 0 1 0 338663420 26603520 5972 33554432000 134512640 134847168 4293785104 4293783808 134616637 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8568/statm: 6495 5972 270 82 0 5736 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 61536
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 8571
/proc/meminfo: memFree=26949892/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=2.74 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 1936 34537 0 0 5 0 260 9 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8566] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8566/stat : 8566 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338663420 9367552 263 33554432000 4194304 5064252 140734252690240 140734252688496 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8566/statm: 2287 263 223 213 0 72 0
[pid=8568] ppid=8566 vsize=29428 CPUtime=219.48 cores=0,2,4,6
/proc/8568/stat : 8568 (clasp-1.0) R 8566 8493 29645 0 -1 4202496 7088 0 0 0 21947 1 0 0 20 0 1 0 338663420 30134272 6835 33554432000 134512640 134847168 4293785104 4293783872 134617536 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8568/statm: 7357 6835 270 82 0 6598 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 64984
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 8571
/proc/meminfo: memFree=26944304/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=2.74 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 1936 34537 0 0 5 0 260 9 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8566] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8566/stat : 8566 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338663420 9367552 263 33554432000 4194304 5064252 140734252690240 140734252688496 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8566/statm: 2287 263 223 213 0 72 0
[pid=8568] ppid=8566 vsize=31936 CPUtime=279.47 cores=0,2,4,6
/proc/8568/stat : 8568 (clasp-1.0) R 8566 8493 29645 0 -1 4202496 7721 0 0 0 27945 2 0 0 20 0 1 0 338663420 32702464 7478 33554432000 134512640 134847168 4293785104 4293783784 134784582 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8568/statm: 7984 7478 270 82 0 7225 0
Current children cumulated CPU time (s) 282.21
################
# More data... #
################
/proc/8595/stat : 8595 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338799819 9367552 263 33554432000 4194304 5064252 140736083546768 140736083545024 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 263 223 213 0 72 0
[pid=8598] ppid=8595 vsize=21860 CPUtime=55.5 cores=0,2,4,6
/proc/8598/stat : 8598 (clasp-1.0) R 8595 8493 29645 0 -1 4202496 5133 0 0 0 5550 0 0 0 20 0 1 0 338799819 22384640 4934 33554432000 134512640 134847168 4287473872 4287472576 134616650 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8598/statm: 5465 4934 272 82 0 4706 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 57416
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8777
/proc/meminfo: memFree=26950080/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=1366.51 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 2042 49182 0 0 5 0 136632 14 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8595] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338799819 9367552 263 33554432000 4194304 5064252 140736083546768 140736083545024 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 263 223 213 0 72 0
[pid=8598] ppid=8595 vsize=25444 CPUtime=115.47 cores=0,2,4,6
/proc/8598/stat : 8598 (clasp-1.0) R 8595 8493 29645 0 -1 4202496 6107 0 0 0 11547 0 0 0 20 0 1 0 338799819 26054656 5822 33554432000 134512640 134847168 4287473872 4287472492 134789720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8598/statm: 6361 5822 272 82 0 5602 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 61000
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8778
/proc/meminfo: memFree=26939464/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=1366.51 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 2042 49182 0 0 5 0 136632 14 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8595] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338799819 9367552 263 33554432000 4194304 5064252 140736083546768 140736083545024 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 263 223 213 0 72 0
[pid=8598] ppid=8595 vsize=28188 CPUtime=175.47 cores=0,2,4,6
/proc/8598/stat : 8598 (clasp-1.0) R 8595 8493 29645 0 -1 4202496 6783 0 0 0 17546 1 0 0 20 0 1 0 338799819 28864512 6535 33554432000 134512640 134847168 4287473872 4287472436 134714749 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8598/statm: 7047 6535 272 82 0 6288 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 63744
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8786
/proc/meminfo: memFree=26959876/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=1366.51 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 2042 49182 0 0 5 0 136632 14 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8595] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338799819 9367552 263 33554432000 4194304 5064252 140736083546768 140736083545024 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 263 223 213 0 72 0
[pid=8598] ppid=8595 vsize=30880 CPUtime=235.45 cores=0,2,4,6
/proc/8598/stat : 8598 (clasp-1.0) R 8595 8493 29645 0 -1 4202496 7424 0 0 0 23544 1 0 0 20 0 1 0 338799819 31621120 7184 33554432000 134512640 134847168 4287473872 4287472640 134617555 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8598/statm: 7720 7184 272 82 0 6961 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 66436
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8786
/proc/meminfo: memFree=26945412/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=1366.51 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 2042 49182 0 0 5 0 136632 14 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8595] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338799819 9367552 263 33554432000 4194304 5064252 140736083546768 140736083545024 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 263 223 213 0 72 0
[pid=8598] ppid=8595 vsize=31936 CPUtime=295.44 cores=0,2,4,6
/proc/8598/stat : 8598 (clasp-1.0) R 8595 8493 29645 0 -1 4202496 7718 0 0 0 29543 1 0 0 20 0 1 0 338799819 32702464 7480 33554432000 134512640 134847168 4287473872 4287472496 134784610 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8598/statm: 7984 7480 272 82 0 7225 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 67492
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8794
/proc/meminfo: memFree=26965276/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=1366.51 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 2042 49182 0 0 5 0 136632 14 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8595] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338799819 9367552 263 33554432000 4194304 5064252 140736083546768 140736083545024 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 263 223 213 0 72 0
[pid=8598] ppid=8595 vsize=32248 CPUtime=355.43 cores=0,2,4,6
/proc/8598/stat : 8598 (clasp-1.0) R 8595 8493 29645 0 -1 4202496 7826 0 0 0 35542 1 0 0 20 0 1 0 338799819 33021952 7514 33554432000 134512640 134847168 4287473872 4287472564 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8598/statm: 8062 7514 272 82 0 7303 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 67804
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8794
/proc/meminfo: memFree=26950184/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=1366.51 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 2042 49182 0 0 5 0 136632 14 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8595] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338799819 9367552 263 33554432000 4194304 5064252 140736083546768 140736083545024 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 263 223 213 0 72 0
[pid=8598] ppid=8595 vsize=35952 CPUtime=415.43 cores=0,2,4,6
/proc/8598/stat : 8598 (clasp-1.0) R 8595 8493 29645 0 -1 4202496 8769 0 0 0 41541 2 0 0 20 0 1 0 338799819 36814848 8456 33554432000 134512640 134847168 4287473872 4287472564 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8598/statm: 8988 8456 272 82 0 8229 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 71508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8794
/proc/meminfo: memFree=26946464/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=1366.51 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 2042 49182 0 0 5 0 136632 14 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8595] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8595/stat : 8595 (sh) S 8493 8493 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338799819 9367552 263 33554432000 4194304 5064252 140736083546768 140736083545024 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8595/statm: 2287 263 223 213 0 72 0
[pid=8598] ppid=8595 vsize=37176 CPUtime=433.53 cores=0,2,4,6
/proc/8598/stat : 8598 (clasp-1.0) R 8595 8493 29645 0 -1 4202496 9041 0 0 0 43351 2 0 0 20 0 1 0 338799819 38068224 8728 33554432000 134512640 134847168 4287473872 4287472496 134784680 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8598/statm: 9294 8728 272 82 0 8535 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 72732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8493
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8813
/proc/meminfo: memFree=26998316/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=1800.08 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 2212 61002 0 0 5 1 179983 19 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8805] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8805/stat : 8805 (sh) S 8493 8493 29645 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 338843186 9367552 264 33554432000 4194304 5064252 140736071693424 140736071691680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8805/statm: 2287 264 223 213 0 72 0
[pid=8808] ppid=8805 vsize=9984 CPUtime=0.96 cores=0,2,4,6
/proc/8808/stat : 8808 (clasp-1.0) R 8805 8493 29645 0 -1 4202496 2108 0 0 0 96 0 0 0 20 0 1 0 338843186 10223616 1958 33554432000 134512640 134847168 4293861904 4293860672 134617539 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8808/statm: 2496 1958 272 82 0 1737 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 45540
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 8813
/proc/meminfo: memFree=26987428/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=1800.08 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 2212 61002 0 0 5 1 179983 19 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8805] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8805/stat : 8805 (sh) S 8493 8493 29645 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 338843186 9367552 264 33554432000 4194304 5064252 140736071693424 140736071691680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8805/statm: 2287 264 223 213 0 72 0
[pid=8808] ppid=8805 vsize=9984 CPUtime=1.76 cores=0,2,4,6
/proc/8808/stat : 8808 (clasp-1.0) R 8805 8493 29645 0 -1 4202496 2110 0 0 0 176 0 0 0 20 0 1 0 338843186 10223616 1960 33554432000 134512640 134847168 4293861904 4293860584 134789705 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8808/statm: 2496 1960 272 82 0 1737 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 45540
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 8813
/proc/meminfo: memFree=26987428/32873844 swapFree=7628/7628
[pid=8493] ppid=8491 vsize=26408 CPUtime=1800.08 cores=0,2,4,6
/proc/8493/stat : 8493 (pbclasp) S 8491 8493 29645 0 -1 4202496 2212 61002 0 0 5 1 179983 19 20 0 1 0 338663143 27041792 728 33554432000 4194304 4198148 140736107738304 140736107737232 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8493/statm: 6602 728 387 1 0 397 0
[pid=8805] ppid=8493 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8805/stat : 8805 (sh) S 8493 8493 29645 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 338843186 9367552 264 33554432000 4194304 5064252 140736071693424 140736071691680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8805/statm: 2287 264 223 213 0 72 0
[pid=8808] ppid=8805 vsize=9984 CPUtime=1.96 cores=0,2,4,6
/proc/8808/stat : 8808 (clasp-1.0) R 8805 8493 29645 0 -1 4202496 2110 0 0 0 196 0 0 0 20 0 1 0 338843186 10223616 1960 33554432000 134512640 134847168 4293861904 4293860544 134715276 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8808/statm: 2496 1960 272 82 0 1737 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 45540
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.09
CPU user time (s): 1801.87
CPU system time (s): 0.214967
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 84792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.87
system time used= 0.214967
maximum resident set size= 46548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66193
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1428
involuntary context switches= 2069
runsolver used 3.3035 second user time and 8.5747 second system time
The end