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-3734814-1338720295/watcher-3734814-1338720295 -o /tmp/evaluation-result-3734814-1338720295/solver-3734814-1338720295 -C 1800 -W 1900 -M 15500 pbclasp instance-3734814-1338720295.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.00 2.00 1.96 3/178 16226
/proc/meminfo: memFree=28957428/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 338155108 26206208 498 33554432000 4194304 4198148 140734113311808 140734113310696 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 498 368 1 0 193 0
[startup+0.106205 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 16226
/proc/meminfo: memFree=28957428/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=0.08 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 1577 19867 0 0 0 0 4 4 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310696 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25592
[startup+0.200292 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 16226
/proc/meminfo: memFree=28957428/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=0.18 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 2544 39887 0 0 0 1 7 10 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 25592
[startup+0.300228 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 16226
/proc/meminfo: memFree=28957428/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=0.27 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 3588 61132 0 0 0 1 10 16 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 25592
[startup+0.700189 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 16226
/proc/meminfo: memFree=28957428/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=0.67 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) R 16224 16226 22179 0 -1 4202496 7705 144823 0 0 0 2 24 41 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214394645888 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 25592
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 16996
/proc/meminfo: memFree=28955668/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=1.42 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 14433 280868 0 0 1 4 60 77 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 25592
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17244
/proc/meminfo: memFree=28955016/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=2.95 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 15945 311720 0 0 2 5 202 86 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 25592
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17332
/proc/meminfo: memFree=28955172/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=5.83 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 16867 330734 0 0 2 5 485 91 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 25592
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17380
/proc/meminfo: memFree=28954708/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=9.1 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 17327 340276 0 0 2 5 809 94 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=17378] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17378/stat : 17378 (sh) S 16226 16226 22179 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338156032 9367552 264 33554432000 4194304 5064252 140734671510192 140734671508448 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17378/statm: 2287 264 223 213 0 72 0
[pid=17380] ppid=17378 vsize=3440 CPUtime=3.45 cores=0,2,4,6
/proc/17380/stat : 17380 (clasp-1.0) R 17378 16226 22179 0 -1 4202496 464 0 0 0 345 0 0 0 20 0 1 0 338156032 3522560 362 33554432000 134512640 134847168 4292033088 4292031808 134741925 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17380/statm: 860 362 272 82 0 101 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 38180
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17396
/proc/meminfo: memFree=28954972/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=22.83 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 17559 345079 0 0 2 5 2181 95 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=17394] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17394/stat : 17394 (sh) S 16226 16226 22179 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338157406 9367552 263 33554432000 4194304 5064252 140734139265088 140734139263344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17394/statm: 2287 263 223 213 0 72 0
[pid=17396] ppid=17394 vsize=3444 CPUtime=2.51 cores=0,2,4,6
/proc/17396/stat : 17396 (clasp-1.0) R 17394 16226 22179 0 -1 4202496 456 0 0 0 251 0 0 0 20 0 1 0 338157406 3526656 354 33554432000 134512640 134847168 4290455728 4290454448 134741423 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17396/statm: 861 354 270 82 0 102 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 38184
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17396
/proc/meminfo: memFree=28954908/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=22.83 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 17559 345079 0 0 2 5 2181 95 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=17394] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17394/stat : 17394 (sh) S 16226 16226 22179 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338157406 9367552 263 33554432000 4194304 5064252 140734139265088 140734139263344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17394/statm: 2287 263 223 213 0 72 0
[pid=17396] ppid=17394 vsize=3704 CPUtime=28.1 cores=0,2,4,6
/proc/17396/stat : 17396 (clasp-1.0) R 17394 16226 22179 0 -1 4202496 497 0 0 0 2810 0 0 0 20 0 1 0 338157406 3792896 395 33554432000 134512640 134847168 4290455728 4290454432 134616650 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17396/statm: 926 395 270 82 0 167 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 38444
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17412
/proc/meminfo: memFree=28954536/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=97.47 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 17795 349954 0 0 2 6 9642 97 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=17410] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17410/stat : 17410 (sh) S 16226 16226 22179 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338164872 9367552 264 33554432000 4194304 5064252 140734744908192 140734744906448 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17410/statm: 2287 264 223 213 0 72 0
[pid=17412] ppid=17410 vsize=3568 CPUtime=4.66 cores=0,2,4,6
/proc/17412/stat : 17412 (clasp-1.0) R 17410 16226 22179 0 -1 4202496 465 0 0 0 466 0 0 0 20 0 1 0 338164872 3653632 363 33554432000 134512640 134847168 4292464960 4292463584 134784657 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17412/statm: 892 363 270 82 0 133 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 38308
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17421
/proc/meminfo: memFree=28953480/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=138.49 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 17910 352389 0 0 2 6 13743 98 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=17418] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17418/stat : 17418 (sh) S 16226 16226 22179 0 -1 4202496 371 215 0 0 0 0 0 0 20 0 1 0 338168975 9367552 264 33554432000 4194304 5064252 140734172588112 140734172586368 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17418/statm: 2287 264 223 213 0 72 0
[pid=17420] ppid=17418 vsize=3576 CPUtime=23.61 cores=0,2,4,6
/proc/17420/stat : 17420 (clasp-1.0) R 17418 16226 22179 0 -1 4202496 492 0 0 0 2361 0 0 0 20 0 1 0 338168975 3661824 389 33554432000 134512640 134847168 4294221072 4294219812 134737633 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17420/statm: 894 389 270 82 0 135 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 38316
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17429
/proc/meminfo: memFree=28953232/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=195.75 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 18028 354828 0 0 2 6 19469 98 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=17427] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17427/stat : 17427 (sh) S 16226 16226 22179 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338174704 9367552 264 33554432000 4194304 5064252 140734512664992 140734512663248 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17427/statm: 2287 264 223 213 0 72 0
[pid=17429] ppid=17427 vsize=3576 CPUtime=26.34 cores=0,2,4,6
/proc/17429/stat : 17429 (clasp-1.0) R 17427 16226 22179 0 -1 4202496 495 0 0 0 2634 0 0 0 20 0 1 0 338174704 3661824 393 33554432000 134512640 134847168 4286744304 4286743072 134737548 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17429/statm: 894 393 270 82 0 135 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 38316
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17429
/proc/meminfo: memFree=28952612/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=195.75 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 18028 354828 0 0 2 6 19469 98 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=17427] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17427/stat : 17427 (sh) S 16226 16226 22179 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338174704 9367552 264 33554432000 4194304 5064252 140734512664992 140734512663248 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17427/statm: 2287 264 223 213 0 72 0
[pid=17429] ppid=17427 vsize=3704 CPUtime=86.31 cores=0,2,4,6
/proc/17429/stat : 17429 (clasp-1.0) R 17427 16226 22179 0 -1 4202496 510 0 0 0 8631 0 0 0 20 0 1 0 338174704 3792896 408 33554432000 134512640 134847168 4286744304 4286742784 1627142 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17429/statm: 926 408 270 82 0 167 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 38444
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 17432
/proc/meminfo: memFree=28951744/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=195.75 cores=0,2,4,6
################
# More data... #
################
/proc/17451/stat : 17451 (sh) S 16226 16226 22179 0 -1 4202496 369 215 0 0 0 0 0 0 20 0 1 0 338231617 9367552 263 33554432000 4194304 5064252 140735448075024 140735448073280 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17451/statm: 2287 263 223 213 0 72 0
[pid=17453] ppid=17451 vsize=3960 CPUtime=657.1 cores=0,2,4,6
/proc/17453/stat : 17453 (clasp-1.0) R 17451 16226 22179 0 -1 4202496 589 0 0 0 65710 0 0 0 20 0 1 0 338231617 4055040 487 33554432000 134512640 134847168 4286638768 4286637392 134784608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 990 487 270 82 0 231 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 38700
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 18495
/proc/meminfo: memFree=28971608/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=764.79 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 18132 357315 0 0 2 6 76372 99 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=17451] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17451/stat : 17451 (sh) S 16226 16226 22179 0 -1 4202496 369 215 0 0 0 0 0 0 20 0 1 0 338231617 9367552 263 33554432000 4194304 5064252 140735448075024 140735448073280 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17451/statm: 2287 263 223 213 0 72 0
[pid=17453] ppid=17451 vsize=3960 CPUtime=717.08 cores=0,2,4,6
/proc/17453/stat : 17453 (clasp-1.0) R 17451 16226 22179 0 -1 4202496 589 0 0 0 71708 0 0 0 20 0 1 0 338231617 4055040 487 33554432000 134512640 134847168 4286638768 4286637392 134784615 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 990 487 270 82 0 231 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 38700
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 18498
/proc/meminfo: memFree=28971600/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=764.79 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 18132 357315 0 0 2 6 76372 99 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=17451] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17451/stat : 17451 (sh) S 16226 16226 22179 0 -1 4202496 369 215 0 0 0 0 0 0 20 0 1 0 338231617 9367552 263 33554432000 4194304 5064252 140735448075024 140735448073280 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17451/statm: 2287 263 223 213 0 72 0
[pid=17453] ppid=17451 vsize=3960 CPUtime=777.08 cores=0,2,4,6
/proc/17453/stat : 17453 (clasp-1.0) R 17451 16226 22179 0 -1 4202496 589 0 0 0 77708 0 0 0 20 0 1 0 338231617 4055040 487 33554432000 134512640 134847168 4286638768 4286637392 134784634 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 990 487 270 82 0 231 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 38700
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 18506
/proc/meminfo: memFree=28972228/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=1587.83 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 18246 359840 0 0 2 6 158676 99 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=18504] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18504/stat : 18504 (sh) S 16226 16226 22179 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338313935 9367552 264 33554432000 4194304 5064252 140736337557776 140736337556032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 2287 264 223 213 0 72 0
[pid=18506] ppid=18504 vsize=3572 CPUtime=14.01 cores=0,2,4,6
/proc/18506/stat : 18506 (clasp-1.0) R 18504 16226 22179 0 -1 4202496 476 0 0 0 1401 0 0 0 20 0 1 0 338313935 3657728 373 33554432000 134512640 134847168 4287452336 4287450960 134784517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18506/statm: 893 373 270 82 0 134 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 38312
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 18506
/proc/meminfo: memFree=28972352/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=1587.83 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 18246 359840 0 0 2 6 158676 99 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=18504] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18504/stat : 18504 (sh) S 16226 16226 22179 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338313935 9367552 264 33554432000 4194304 5064252 140736337557776 140736337556032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 2287 264 223 213 0 72 0
[pid=18506] ppid=18504 vsize=3696 CPUtime=74 cores=0,2,4,6
/proc/18506/stat : 18506 (clasp-1.0) R 18504 16226 22179 0 -1 4202496 511 0 0 0 7400 0 0 0 20 0 1 0 338313935 3784704 408 33554432000 134512640 134847168 4287452336 4287451020 134789696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18506/statm: 924 408 270 82 0 165 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 38436
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 18507
/proc/meminfo: memFree=28972104/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=1587.83 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 18246 359840 0 0 2 6 158676 99 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=18504] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18504/stat : 18504 (sh) S 16226 16226 22179 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338313935 9367552 264 33554432000 4194304 5064252 140736337557776 140736337556032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 2287 264 223 213 0 72 0
[pid=18506] ppid=18504 vsize=3824 CPUtime=133.99 cores=0,2,4,6
/proc/18506/stat : 18506 (clasp-1.0) R 18504 16226 22179 0 -1 4202496 534 0 0 0 13399 0 0 0 20 0 1 0 338313935 3915776 431 33554432000 134512640 134847168 4287452336 4287450960 134784711 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18506/statm: 956 431 270 82 0 197 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 38564
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 18507
/proc/meminfo: memFree=28972104/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=1587.83 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 18246 359840 0 0 2 6 158676 99 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=18504] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18504/stat : 18504 (sh) S 16226 16226 22179 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338313935 9367552 264 33554432000 4194304 5064252 140736337557776 140736337556032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 2287 264 223 213 0 72 0
[pid=18506] ppid=18504 vsize=3824 CPUtime=193.98 cores=0,2,4,6
/proc/18506/stat : 18506 (clasp-1.0) R 18504 16226 22179 0 -1 4202496 543 0 0 0 19398 0 0 0 20 0 1 0 338313935 3915776 440 33554432000 134512640 134847168 4287452336 4287450912 134714115 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18506/statm: 956 440 270 82 0 197 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 38564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 18507
/proc/meminfo: memFree=28972104/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=1587.83 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 18246 359840 0 0 2 6 158676 99 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=18504] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18504/stat : 18504 (sh) S 16226 16226 22179 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338313935 9367552 264 33554432000 4194304 5064252 140736337557776 140736337556032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 2287 264 223 213 0 72 0
[pid=18506] ppid=18504 vsize=3824 CPUtime=212.18 cores=0,2,4,6
/proc/18506/stat : 18506 (clasp-1.0) R 18504 16226 22179 0 -1 4202496 543 0 0 0 21218 0 0 0 20 0 1 0 338313935 3915776 440 33554432000 134512640 134847168 4287452336 4287450976 134782592 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18506/statm: 956 440 270 82 0 197 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 38564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16226
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 18526
/proc/meminfo: memFree=28972816/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=1800.04 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 18413 363146 0 0 2 6 179895 101 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=18516] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18516/stat : 18516 (sh) S 16226 16226 22179 0 -1 4202496 371 215 0 0 0 0 0 0 20 0 1 0 338335160 9367552 264 33554432000 4194304 5064252 140733523778080 140733523776336 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18516/statm: 2287 264 223 213 0 72 0
[pid=18519] ppid=18516 vsize=3444 CPUtime=0.96 cores=0,2,4,6
/proc/18519/stat : 18519 (clasp-1.0) R 18516 16226 22179 0 -1 4202496 451 0 0 0 96 0 0 0 20 0 1 0 338335160 3526656 349 33554432000 134512640 134847168 4291822496 4291821136 134715324 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18519/statm: 861 349 272 82 0 102 0
Current children cumulated CPU time (s) 1801
Current children cumulated vsize (KiB) 38184
[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 18526
/proc/meminfo: memFree=28972568/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=1800.04 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 18413 363146 0 0 2 6 179895 101 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=18516] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18516/stat : 18516 (sh) S 16226 16226 22179 0 -1 4202496 371 215 0 0 0 0 0 0 20 0 1 0 338335160 9367552 264 33554432000 4194304 5064252 140733523778080 140733523776336 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18516/statm: 2287 264 223 213 0 72 0
[pid=18519] ppid=18516 vsize=3444 CPUtime=1.76 cores=0,2,4,6
/proc/18519/stat : 18519 (clasp-1.0) R 18516 16226 22179 0 -1 4202496 454 0 0 0 176 0 0 0 20 0 1 0 338335160 3526656 352 33554432000 134512640 134847168 4291822496 4291820960 134713663 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18519/statm: 861 352 272 82 0 102 0
Current children cumulated CPU time (s) 1801.8
Current children cumulated vsize (KiB) 38184
[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 18526
/proc/meminfo: memFree=28972568/32873844 swapFree=7632/7632
[pid=16226] ppid=16224 vsize=25592 CPUtime=1800.04 cores=0,2,4,6
/proc/16226/stat : 16226 (pbclasp) S 16224 16226 22179 0 -1 4202496 18413 363146 0 0 2 6 179895 101 20 0 1 0 338155108 26206208 522 33554432000 4194304 4198148 140734113311808 140734113310736 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16226/statm: 6398 522 387 1 0 193 0
[pid=18516] ppid=16226 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18516/stat : 18516 (sh) S 16226 16226 22179 0 -1 4202496 371 215 0 0 0 0 0 0 20 0 1 0 338335160 9367552 264 33554432000 4194304 5064252 140733523778080 140733523776336 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18516/statm: 2287 264 223 213 0 72 0
[pid=18519] ppid=18516 vsize=3444 CPUtime=1.96 cores=0,2,4,6
/proc/18519/stat : 18519 (clasp-1.0) R 18516 16226 22179 0 -1 4202496 456 0 0 0 196 0 0 0 20 0 1 0 338335160 3526656 354 33554432000 134512640 134847168 4291822496 4291821056 134735788 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18519/statm: 861 354 272 82 0 102 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 38184
Child status: 0
Real time (s): 1802.52
CPU time (s): 1802.05
CPU user time (s): 1800.97
CPU system time (s): 1.07684
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 38700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.97
system time used= 1.07684
maximum resident set size= 2112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382708
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3544
involuntary context switches= 3445
runsolver used 2.72358 second user time and 7.14991 second system time
The end