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-3736050-1338729322/watcher-3736050-1338729322 -o /tmp/evaluation-result-3736050-1338729322/solver-3736050-1338729322 -C 1800 -W 1900 -M 15500 pbclasp instance-3736050-1338729322.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.02 2.02 2.00 4/179 20252
/proc/meminfo: memFree=28772244/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) R 20250 20252 22179 0 -1 4202496 548 0 0 0 0 0 0 0 20 0 1 0 339057838 26206208 478 33554432000 4194304 4198148 140735653721360 140735653718808 214394789888 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6398 478 355 1 0 193 0
[startup+0.010724 s]
/proc/loadavg: 2.02 2.02 2.00 4/179 20252
/proc/meminfo: memFree=28772244/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) R 20250 20252 22179 0 -1 4202496 644 0 0 0 0 0 0 0 20 0 1 0 339057838 26628096 574 33554432000 4194304 4198148 140735653721360 140735653718808 214394659680 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6501 575 356 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+0.100208 s]
/proc/loadavg: 2.02 2.02 2.00 4/179 20252
/proc/meminfo: memFree=28772244/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26660 CPUtime=0.02 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 850 0 0 0 2 0 0 0 20 0 1 0 339057838 27299840 763 33554432000 4194304 4198148 140735653721360 140735653720248 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6665 763 369 1 0 460 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26660
[startup+0.300182 s]
/proc/loadavg: 2.02 2.02 2.00 4/179 20252
/proc/meminfo: memFree=28772244/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26660 CPUtime=0.02 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 850 0 0 0 2 0 0 0 20 0 1 0 339057838 27299840 763 33554432000 4194304 4198148 140735653721360 140735653720248 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6665 763 369 1 0 460 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26660
[startup+0.700177 s]
/proc/loadavg: 2.02 2.02 2.00 4/179 20252
/proc/meminfo: memFree=28772244/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26660 CPUtime=0.02 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 850 0 0 0 2 0 0 0 20 0 1 0 339057838 27299840 763 33554432000 4194304 4198148 140735653721360 140735653720248 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6665 763 369 1 0 460 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26660
[startup+1.50025 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 20255
/proc/meminfo: memFree=28659764/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26660 CPUtime=0.02 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 850 0 0 0 2 0 0 0 20 0 1 0 339057838 27299840 763 33554432000 4194304 4198148 140735653721360 140735653720248 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6665 763 369 1 0 460 0
[pid=20254] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20254/stat : 20254 (sh) S 20252 20252 22179 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 339057842 9367552 266 33554432000 4194304 5064252 140735219772704 140735219771584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20254/statm: 2287 266 226 213 0 72 0
[pid=20255] ppid=20254 vsize=25724 CPUtime=1.46 cores=0,2,4,6
/proc/20255/stat : 20255 (pb2clasp1) R 20254 20252 22179 0 -1 4202496 616 0 0 0 146 0 0 0 20 0 1 0 339057842 26341376 526 33554432000 4194304 4198148 140734097698496 140734097689032 214373033104 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/20255/statm: 6431 526 378 1 0 226 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 61532
[startup+3.10025 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 20255
/proc/meminfo: memFree=28635544/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=2.83 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 989 2191 0 0 2 0 279 2 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 26792
[startup+6.30032 s]
/proc/loadavg: 2.10 2.04 2.01 3/181 20262
/proc/meminfo: memFree=28594624/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=2.83 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 989 2191 0 0 2 0 279 2 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
[pid=20260] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20260/stat : 20260 (sh) S 20252 20252 22179 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339058124 9367552 263 33554432000 4194304 5064252 140736319110720 140736319108976 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20260/statm: 2287 263 223 213 0 72 0
[pid=20262] ppid=20260 vsize=41464 CPUtime=3.43 cores=0,2,4,6
/proc/20262/stat : 20262 (clasp-1.0) R 20260 20252 22179 0 -1 4202496 11210 0 0 0 342 1 0 0 20 0 1 0 339058124 42459136 9689 33554432000 134512640 134847168 4289446064 4289444832 134617547 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20262/statm: 10366 9689 272 82 0 9607 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 77404
[startup+12.7003 s]
/proc/loadavg: 2.09 2.03 2.00 3/181 20262
/proc/meminfo: memFree=28594128/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=2.83 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 989 2191 0 0 2 0 279 2 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
[pid=20260] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20260/stat : 20260 (sh) S 20252 20252 22179 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339058124 9367552 263 33554432000 4194304 5064252 140736319110720 140736319108976 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20260/statm: 2287 263 223 213 0 72 0
[pid=20262] ppid=20260 vsize=41464 CPUtime=9.83 cores=0,2,4,6
/proc/20262/stat : 20262 (clasp-1.0) R 20260 20252 22179 0 -1 4202496 11210 0 0 0 982 1 0 0 20 0 1 0 339058124 42459136 9689 33554432000 134512640 134847168 4289446064 4289444832 134737400 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20262/statm: 10366 9689 272 82 0 9607 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 77404
[startup+25.5004 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 20262
/proc/meminfo: memFree=28594616/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=2.83 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 989 2191 0 0 2 0 279 2 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
[pid=20260] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20260/stat : 20260 (sh) S 20252 20252 22179 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339058124 9367552 263 33554432000 4194304 5064252 140736319110720 140736319108976 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20260/statm: 2287 263 223 213 0 72 0
[pid=20262] ppid=20260 vsize=41464 CPUtime=22.63 cores=0,2,4,6
/proc/20262/stat : 20262 (clasp-1.0) R 20260 20252 22179 0 -1 4202496 11232 0 0 0 2262 1 0 0 20 0 1 0 339058124 42459136 9711 33554432000 134512640 134847168 4289446064 4289444704 134782435 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20262/statm: 10366 9711 272 82 0 9607 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 77404
[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 20262
/proc/meminfo: memFree=28594568/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=2.83 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 989 2191 0 0 2 0 279 2 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
[pid=20260] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20260/stat : 20260 (sh) S 20252 20252 22179 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339058124 9367552 263 33554432000 4194304 5064252 140736319110720 140736319108976 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20260/statm: 2287 263 223 213 0 72 0
[pid=20262] ppid=20260 vsize=41968 CPUtime=48.22 cores=0,2,4,6
/proc/20262/stat : 20262 (clasp-1.0) R 20260 20252 22179 0 -1 4202496 11332 0 0 0 4821 1 0 0 20 0 1 0 339058124 42975232 9811 33554432000 134512640 134847168 4289446064 4289444756 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20262/statm: 10492 9811 272 82 0 9733 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 77908
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 20270
/proc/meminfo: memFree=28591560/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=2.83 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 989 2191 0 0 2 0 279 2 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
[pid=20260] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20260/stat : 20260 (sh) S 20252 20252 22179 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339058124 9367552 263 33554432000 4194304 5064252 140736319110720 140736319108976 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20260/statm: 2287 263 223 213 0 72 0
[pid=20262] ppid=20260 vsize=44440 CPUtime=99.41 cores=0,2,4,6
/proc/20262/stat : 20262 (clasp-1.0) R 20260 20252 22179 0 -1 4202496 11951 0 0 0 9940 1 0 0 20 0 1 0 339058124 45506560 10422 33554432000 134512640 134847168 4289446064 4289444748 134784496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20262/statm: 11110 10422 272 82 0 10351 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 80380
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 20278
/proc/meminfo: memFree=28574920/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=2.83 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 989 2191 0 0 2 0 279 2 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
[pid=20260] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20260/stat : 20260 (sh) S 20252 20252 22179 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339058124 9367552 263 33554432000 4194304 5064252 140736319110720 140736319108976 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20260/statm: 2287 263 223 213 0 72 0
[pid=20262] ppid=20260 vsize=59368 CPUtime=159.4 cores=0,2,4,6
/proc/20262/stat : 20262 (clasp-1.0) R 20260 20252 22179 0 -1 4202496 15622 0 0 0 15937 3 0 0 20 0 1 0 339058124 60792832 14093 33554432000 134512640 134847168 4289446064 4289444688 134784667 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20262/statm: 14842 14093 272 82 0 14083 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 95308
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 20286
/proc/meminfo: memFree=28563944/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=2.83 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 989 2191 0 0 2 0 279 2 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
[pid=20260] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20260/stat : 20260 (sh) S 20252 20252 22179 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339058124 9367552 263 33554432000 4194304 5064252 140736319110720 140736319108976 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20260/statm: 2287 263 223 213 0 72 0
[pid=20262] ppid=20260 vsize=69756 CPUtime=219.39 cores=0,2,4,6
/proc/20262/stat : 20262 (clasp-1.0) R 20260 20252 22179 0 -1 4202496 18265 0 0 0 21935 4 0 0 20 0 1 0 339058124 71430144 16600 33554432000 134512640 134847168 4289446064 4289444768 134616650 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20262/statm: 17439 16600 272 82 0 16680 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 105696
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 20289
/proc/meminfo: memFree=28562708/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=2.83 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 989 2191 0 0 2 0 279 2 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
[pid=20260] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/20357/stat : 20357 (sh) S 20252 20252 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339134253 9367552 264 33554432000 4194304 5064252 140735769273952 140735769272208 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20357/statm: 2287 264 223 213 0 72 0
[pid=20359] ppid=20357 vsize=77136 CPUtime=658.02 cores=0,2,4,6
/proc/20359/stat : 20359 (clasp-1.0) R 20357 20252 22179 0 -1 4202496 19975 0 0 0 65797 5 0 0 20 0 1 0 339134253 78987264 18510 33554432000 134512640 134847168 4289551376 4289550068 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20359/statm: 19284 18510 270 82 0 18525 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 113076
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 21877
/proc/meminfo: memFree=28745272/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=763.99 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 1092 25979 0 0 2 0 76387 10 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
[pid=20357] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20357/stat : 20357 (sh) S 20252 20252 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339134253 9367552 264 33554432000 4194304 5064252 140735769273952 140735769272208 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20357/statm: 2287 264 223 213 0 72 0
[pid=20359] ppid=20357 vsize=81516 CPUtime=718.01 cores=0,2,4,6
/proc/20359/stat : 20359 (clasp-1.0) R 20357 20252 22179 0 -1 4202496 21050 0 0 0 71795 6 0 0 20 0 1 0 339134253 83472384 19585 33554432000 134512640 134847168 4289551376 4289550000 134784711 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20359/statm: 20379 19585 270 82 0 19620 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 117456
[startup+1542.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/181 21878
/proc/meminfo: memFree=28736380/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=763.99 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 1092 25979 0 0 2 0 76387 10 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
[pid=20357] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20357/stat : 20357 (sh) S 20252 20252 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339134253 9367552 264 33554432000 4194304 5064252 140735769273952 140735769272208 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20357/statm: 2287 264 223 213 0 72 0
[pid=20359] ppid=20357 vsize=84420 CPUtime=778 cores=0,2,4,6
/proc/20359/stat : 20359 (clasp-1.0) R 20357 20252 22179 0 -1 4202496 21787 0 0 0 77793 7 0 0 20 0 1 0 339134253 86446080 20392 33554432000 134512640 134847168 4289551376 4289550000 134784682 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20359/statm: 21105 20392 270 82 0 20346 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 120360
[startup+1602.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/181 21878
/proc/meminfo: memFree=28734144/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=763.99 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 1092 25979 0 0 2 0 76387 10 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
[pid=20357] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20357/stat : 20357 (sh) S 20252 20252 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339134253 9367552 264 33554432000 4194304 5064252 140735769273952 140735769272208 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20357/statm: 2287 264 223 213 0 72 0
[pid=20359] ppid=20357 vsize=84420 CPUtime=837.99 cores=0,2,4,6
/proc/20359/stat : 20359 (clasp-1.0) R 20357 20252 22179 0 -1 4202496 21787 0 0 0 83792 7 0 0 20 0 1 0 339134253 86446080 20392 33554432000 134512640 134847168 4289551376 4289550000 134784705 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20359/statm: 21105 20392 270 82 0 20346 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 120360
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21878
/proc/meminfo: memFree=28722488/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=763.99 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 1092 25979 0 0 2 0 76387 10 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
[pid=20357] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20357/stat : 20357 (sh) S 20252 20252 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339134253 9367552 264 33554432000 4194304 5064252 140735769273952 140735769272208 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20357/statm: 2287 264 223 213 0 72 0
[pid=20359] ppid=20357 vsize=94740 CPUtime=897.99 cores=0,2,4,6
/proc/20359/stat : 20359 (clasp-1.0) R 20357 20252 22179 0 -1 4202496 24343 0 0 0 89791 8 0 0 20 0 1 0 339134253 97013760 22948 33554432000 134512640 134847168 4289551376 4289550016 134782437 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20359/statm: 23685 22948 270 82 0 22926 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 130680
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 21879
/proc/meminfo: memFree=28715344/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=763.99 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 1092 25979 0 0 2 0 76387 10 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
[pid=20357] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20357/stat : 20357 (sh) S 20252 20252 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339134253 9367552 264 33554432000 4194304 5064252 140735769273952 140735769272208 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20357/statm: 2287 264 223 213 0 72 0
[pid=20359] ppid=20357 vsize=99884 CPUtime=957.97 cores=0,2,4,6
/proc/20359/stat : 20359 (clasp-1.0) R 20357 20252 22179 0 -1 4202496 25815 0 0 0 95789 8 0 0 20 0 1 0 339134253 102281216 24118 33554432000 134512640 134847168 4289551376 4289550000 134784634 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20359/statm: 24971 24118 270 82 0 24212 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 135824
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21879
/proc/meminfo: memFree=28707708/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=763.99 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 1092 25979 0 0 2 0 76387 10 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
[pid=20357] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20357/stat : 20357 (sh) S 20252 20252 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339134253 9367552 264 33554432000 4194304 5064252 140735769273952 140735769272208 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20357/statm: 2287 264 223 213 0 72 0
[pid=20359] ppid=20357 vsize=104656 CPUtime=1017.95 cores=0,2,4,6
/proc/20359/stat : 20359 (clasp-1.0) R 20357 20252 22179 0 -1 4202496 26964 0 0 0 101787 8 0 0 20 0 1 0 339134253 107167744 25346 33554432000 134512640 134847168 4289551376 4289550056 134789714 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20359/statm: 26164 25346 270 82 0 25405 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 140596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21879
/proc/meminfo: memFree=28707336/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=763.99 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 1092 25979 0 0 2 0 76387 10 20 0 1 0 339057838 27435008 810 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20252/statm: 6698 810 387 1 0 493 0
[pid=20357] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20357/stat : 20357 (sh) S 20252 20252 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339134253 9367552 264 33554432000 4194304 5064252 140735769273952 140735769272208 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20357/statm: 2287 264 223 213 0 72 0
[pid=20359] ppid=20357 vsize=104656 CPUtime=1036.06 cores=0,2,4,6
/proc/20359/stat : 20359 (clasp-1.0) R 20357 20252 22179 0 -1 4202496 26964 0 0 0 103598 8 0 0 20 0 1 0 339134253 107167744 25346 33554432000 134512640 134847168 4289551376 4289550080 134616639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20359/statm: 26164 25346 270 82 0 25405 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 140596
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -20252
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 21898
/proc/meminfo: memFree=28899360/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=1800.09 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 1257 55719 0 0 2 0 179986 21 20 0 1 0 339057838 27435008 812 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6698 812 387 1 0 493 0
[pid=21889] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21889/stat : 21889 (sh) S 20252 20252 22179 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 339237881 9367552 264 33554432000 4194304 5064252 140736523551664 140736523549920 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21889/statm: 2287 264 223 213 0 72 0
[pid=21891] ppid=21889 vsize=41464 CPUtime=0.95 cores=0,2,4,6
/proc/21891/stat : 21891 (clasp-1.0) R 21889 20252 22179 0 -1 4202496 10697 0 0 0 94 1 0 0 20 0 1 0 339237881 42459136 9687 33554432000 134512640 134847168 4289401168 4289399936 134617664 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21891/statm: 10366 9687 270 82 0 9607 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 77404
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 21898
/proc/meminfo: memFree=28792224/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=1800.09 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 1257 55719 0 0 2 0 179986 21 20 0 1 0 339057838 27435008 812 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6698 812 387 1 0 493 0
[pid=21889] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21889/stat : 21889 (sh) S 20252 20252 22179 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 339237881 9367552 264 33554432000 4194304 5064252 140736523551664 140736523549920 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21889/statm: 2287 264 223 213 0 72 0
[pid=21891] ppid=21889 vsize=41464 CPUtime=1.75 cores=0,2,4,6
/proc/21891/stat : 21891 (clasp-1.0) R 21889 20252 22179 0 -1 4202496 10697 0 0 0 174 1 0 0 20 0 1 0 339237881 42459136 9687 33554432000 134512640 134847168 4289401168 4289399936 134617496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21891/statm: 10366 9687 270 82 0 9607 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 77404
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 21898
/proc/meminfo: memFree=28792224/32873844 swapFree=7632/7632
[pid=20252] ppid=20250 vsize=26792 CPUtime=1800.09 cores=0,2,4,6
/proc/20252/stat : 20252 (pbclasp) S 20250 20252 22179 0 -1 4202496 1257 55719 0 0 2 0 179986 21 20 0 1 0 339057838 27435008 812 33554432000 4194304 4198148 140735653721360 140735653720288 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20252/statm: 6698 812 387 1 0 493 0
[pid=21889] ppid=20252 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21889/stat : 21889 (sh) S 20252 20252 22179 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 339237881 9367552 264 33554432000 4194304 5064252 140736523551664 140736523549920 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21889/statm: 2287 264 223 213 0 72 0
[pid=21891] ppid=21889 vsize=41464 CPUtime=1.95 cores=0,2,4,6
/proc/21891/stat : 21891 (clasp-1.0) R 21889 20252 22179 0 -1 4202496 10697 0 0 0 194 1 0 0 20 0 1 0 339237881 42459136 9687 33554432000 134512640 134847168 4289401168 4289399936 134617549 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21891/statm: 10366 9687 270 82 0 9607 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 77404
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.1
CPU user time (s): 1801.85
CPU system time (s): 0.248962
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 140596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.85
system time used= 0.248962
maximum resident set size= 101384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2279
involuntary context switches= 2240
runsolver used 2.73958 second user time and 7.09992 second system time
The end