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-3736637-1338731828/watcher-3736637-1338731828 -o /tmp/evaluation-result-3736637-1338731828/solver-3736637-1338731828 -C 1800 -W 1900 -M 15500 pbclasp instance-3736637-1338731828.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.03 2.01 2.00 3/178 28453
/proc/meminfo: memFree=29792820/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 582 0 0 0 0 0 0 0 20 0 1 0 339311390 26206208 494 33554432000 4194304 4198148 140733337110736 140733337109624 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 494 368 1 0 193 0
[startup+0.069058 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 28453
/proc/meminfo: memFree=29792820/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=0.02 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 660 2098 0 0 0 0 2 0 20 0 1 0 339311390 26206208 513 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 513 387 1 0 193 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25592
[startup+0.100247 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 28453
/proc/meminfo: memFree=29792820/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=0.02 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 660 2098 0 0 0 0 2 0 20 0 1 0 339311390 26206208 513 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 513 387 1 0 193 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25592
[startup+0.300225 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 28453
/proc/meminfo: memFree=29792820/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=0.02 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 660 2098 0 0 0 0 2 0 20 0 1 0 339311390 26206208 513 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 513 387 1 0 193 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25592
[startup+0.700216 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 28453
/proc/meminfo: memFree=29792820/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=0.02 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 660 2098 0 0 0 0 2 0 20 0 1 0 339311390 26206208 513 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 513 387 1 0 193 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25592
[startup+1.50025 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 28463
/proc/meminfo: memFree=29790836/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=0.02 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 660 2098 0 0 0 0 2 0 20 0 1 0 339311390 26206208 513 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 513 387 1 0 193 0
[pid=28461] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28461/stat : 28461 (sh) S 28453 28453 32725 0 -1 4202496 369 218 0 0 0 0 0 0 20 0 1 0 339311393 9367552 264 33554432000 4194304 5064252 140736432468912 140736432467168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28461/statm: 2287 264 223 213 0 72 0
[pid=28463] ppid=28461 vsize=4636 CPUtime=1.46 cores=0,2,4,6
/proc/28463/stat : 28463 (clasp-1.0) R 28461 28453 32725 0 -1 4202496 758 0 0 0 146 0 0 0 20 0 1 0 339311393 4747264 656 33554432000 134512640 134847168 4294462112 4294460752 134783056 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28463/statm: 1159 656 270 82 0 400 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39376
[startup+3.10025 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 28463
/proc/meminfo: memFree=29789968/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=0.02 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 660 2098 0 0 0 0 2 0 20 0 1 0 339311390 26206208 513 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 513 387 1 0 193 0
[pid=28461] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28461/stat : 28461 (sh) S 28453 28453 32725 0 -1 4202496 369 218 0 0 0 0 0 0 20 0 1 0 339311393 9367552 264 33554432000 4194304 5064252 140736432468912 140736432467168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28461/statm: 2287 264 223 213 0 72 0
[pid=28463] ppid=28461 vsize=5132 CPUtime=3.06 cores=0,2,4,6
/proc/28463/stat : 28463 (clasp-1.0) R 28461 28453 32725 0 -1 4202496 883 0 0 0 306 0 0 0 20 0 1 0 339311393 5255168 781 33554432000 134512640 134847168 4294462112 4294460792 134784582 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28463/statm: 1283 781 270 82 0 524 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 39872
[startup+6.30025 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 28463
/proc/meminfo: memFree=29789348/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=0.02 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 660 2098 0 0 0 0 2 0 20 0 1 0 339311390 26206208 513 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 513 387 1 0 193 0
[pid=28461] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28461/stat : 28461 (sh) S 28453 28453 32725 0 -1 4202496 369 218 0 0 0 0 0 0 20 0 1 0 339311393 9367552 264 33554432000 4194304 5064252 140736432468912 140736432467168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28461/statm: 2287 264 223 213 0 72 0
[pid=28463] ppid=28461 vsize=5508 CPUtime=6.26 cores=0,2,4,6
/proc/28463/stat : 28463 (clasp-1.0) R 28461 28453 32725 0 -1 4202496 978 0 0 0 626 0 0 0 20 0 1 0 339311393 5640192 876 33554432000 134512640 134847168 4294462112 4294460880 134737644 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28463/statm: 1377 876 270 82 0 618 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 40248
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 28463
/proc/meminfo: memFree=29788620/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=12.65 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 779 5140 0 0 0 0 1264 1 20 0 1 0 339311390 26206208 517 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 517 387 1 0 193 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 25592
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 28471
/proc/meminfo: memFree=29788496/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=12.65 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 779 5140 0 0 0 0 1264 1 20 0 1 0 339311390 26206208 517 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 517 387 1 0 193 0
[pid=28469] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28469/stat : 28469 (sh) S 28453 28453 32725 0 -1 4202496 369 218 0 0 0 0 0 0 20 0 1 0 339312657 9367552 263 33554432000 4194304 5064252 140734168264176 140734168262432 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28469/statm: 2287 263 223 213 0 72 0
[pid=28471] ppid=28469 vsize=6156 CPUtime=12.82 cores=0,2,4,6
/proc/28471/stat : 28471 (clasp-1.0) R 28469 28453 32725 0 -1 4202496 1110 0 0 0 1282 0 0 0 20 0 1 0 339312657 6303744 1008 33554432000 134512640 134847168 4292948240 4292946864 134784657 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28471/statm: 1539 1008 270 82 0 780 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 40896
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 28479
/proc/meminfo: memFree=29787812/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=26.24 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 900 8189 0 0 0 0 2623 1 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28477] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28477/stat : 28477 (sh) S 28453 28453 32725 0 -1 4202496 368 219 0 0 0 0 0 0 20 0 1 0 339314016 9367552 263 33554432000 4194304 5064252 140735762721648 140735762719904 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28477/statm: 2287 263 223 213 0 72 0
[pid=28479] ppid=28477 vsize=6616 CPUtime=24.81 cores=0,2,4,6
/proc/28479/stat : 28479 (clasp-1.0) R 28477 28453 32725 0 -1 4202496 1239 0 0 0 2481 0 0 0 20 0 1 0 339314017 6774784 1137 33554432000 134512640 134847168 4293796784 4293795424 134783036 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28479/statm: 1654 1137 270 82 0 895 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 41356
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28519
/proc/meminfo: memFree=29787936/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=88.37 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 1483 22992 0 0 0 0 8831 6 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28517] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28517/stat : 28517 (sh) S 28453 28453 32725 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 339320231 9367552 263 33554432000 4194304 5064252 140734764052064 140734764050320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28517/statm: 2287 263 223 213 0 72 0
[pid=28519] ppid=28517 vsize=6108 CPUtime=13.88 cores=0,2,4,6
/proc/28519/stat : 28519 (clasp-1.0) R 28517 28453 32725 0 -1 4202496 1100 0 0 0 1388 0 0 0 20 0 1 0 339320232 6254592 998 33554432000 134512640 134847168 4293122816 4293121500 134616160 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28519/statm: 1527 998 270 82 0 768 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 40848
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28624
/proc/meminfo: memFree=29787872/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=138.33 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 3003 57960 0 0 1 1 13816 15 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28621] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28621/stat : 28621 (sh) S 28453 28453 32725 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339325230 9367552 264 33554432000 4194304 5064252 140736081593872 140736081592128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28621/statm: 2287 264 223 213 0 72 0
[pid=28623] ppid=28621 vsize=5948 CPUtime=23.87 cores=0,2,4,6
/proc/28623/stat : 28623 (clasp-1.0) R 28621 28453 32725 0 -1 4202496 1073 0 0 0 2387 0 0 0 20 0 1 0 339325230 6090752 970 33554432000 134512640 134847168 4291654160 4291652844 134715916 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28623/statm: 1487 970 272 82 0 728 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 40688
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28698
/proc/meminfo: memFree=29793388/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=217.1 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 3110 61229 0 0 1 1 21693 15 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28644] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28644/stat : 28644 (sh) S 28453 28453 32725 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339333111 9367552 264 33554432000 4194304 5064252 140736819735104 140736819733360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28644/statm: 2287 264 223 213 0 72 0
[pid=28646] ppid=28644 vsize=5000 CPUtime=5.08 cores=0,2,4,6
/proc/28646/stat : 28646 (clasp-1.0) R 28644 28453 32725 0 -1 4202496 852 0 0 0 508 0 0 0 20 0 1 0 339333111 5120000 750 33554432000 134512640 134847168 4289137344 4289136080 134734120 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28646/statm: 1250 750 272 82 0 491 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 39740
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28776
/proc/meminfo: memFree=29716520/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=217.1 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 3110 61229 0 0 1 1 21693 15 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28644] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/28646/statm: 1846 1343 272 82 0 1087 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 42124
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 28776
/proc/meminfo: memFree=29657580/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=217.1 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 3110 61229 0 0 1 1 21693 15 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28644] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28644/stat : 28644 (sh) S 28453 28453 32725 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339333111 9367552 264 33554432000 4194304 5064252 140736819735104 140736819733360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28644/statm: 2287 264 223 213 0 72 0
[pid=28646] ppid=28644 vsize=7940 CPUtime=185.05 cores=0,2,4,6
/proc/28646/stat : 28646 (clasp-1.0) R 28644 28453 32725 0 -1 4202496 1574 0 0 0 18505 0 0 0 20 0 1 0 339333111 8130560 1471 33554432000 134512640 134847168 4289137344 4289136028 134715812 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28646/statm: 1985 1471 272 82 0 1226 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 42680
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28776
/proc/meminfo: memFree=29636348/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=217.1 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 3110 61229 0 0 1 1 21693 15 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28644] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28644/stat : 28644 (sh) S 28453 28453 32725 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339333111 9367552 264 33554432000 4194304 5064252 140736819735104 140736819733360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28644/statm: 2287 264 223 213 0 72 0
[pid=28646] ppid=28644 vsize=8208 CPUtime=245.04 cores=0,2,4,6
/proc/28646/stat : 28646 (clasp-1.0) R 28644 28453 32725 0 -1 4202496 1646 0 0 0 24504 0 0 0 20 0 1 0 339333111 8404992 1543 33554432000 134512640 134847168 4289137344 4289135968 134784634 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28646/statm: 2052 1543 272 82 0 1293 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 42948
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28777
/proc/meminfo: memFree=29618980/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=217.1 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 3110 61229 0 0 1 1 21693 15 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28644] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28644/stat : 28644 (sh) S 28453 28453 32725 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339333111 9367552 264 33554432000 4194304 5064252 140736819735104 140736819733360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28644/statm: 2287 264 223 213 0 72 0
[pid=28646] ppid=28644 vsize=8712 CPUtime=305.03 cores=0,2,4,6
/proc/28646/stat : 28646 (clasp-1.0) R 28644 28453 32725 0 -1 4202496 1768 0 0 0 30503 0 0 0 20 0 1 0 339333111 8921088 1665 33554432000 134512640 134847168 4289137344 4289135968 134784711 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28646/statm: 2178 1665 272 82 0 1419 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 43452
[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 28777
/proc/meminfo: memFree=29604992/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=217.1 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 3110 61229 0 0 1 1 21693 15 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28644] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28644/stat : 28644 (sh) S 28453 28453 32725 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339333111 9367552 264 33554432000 4194304 5064252 140736819735104 140736819733360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28644/statm: 2287 264 223 213 0 72 0
[pid=28646] ppid=28644 vsize=8856 CPUtime=365.02 cores=0,2,4,6
/proc/28646/stat : 28646 (clasp-1.0) R 28644 28453 32725 0 -1 4202496 1797 0 0 0 36502 0 0 0 20 0 1 0 339333111 9068544 1694 33554432000 134512640 134847168 4289137344 4289136024 134789714 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28646/statm: 2214 1694 272 82 0 1455 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 43596
Solver just ended. Dumping a history of the last processes samples
[startup+588.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 28777
/proc/meminfo: memFree=29603132/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=217.1 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 3110 61229 0 0 1 1 21693 15 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28644] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28644/stat : 28644 (sh) S 28453 28453 32725 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339333111 9367552 264 33554432000 4194304 5064252 140736819735104 140736819733360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28644/statm: 2287 264 223 213 0 72 0
[pid=28646] ppid=28644 vsize=8856 CPUtime=371.42 cores=0,2,4,6
/proc/28646/stat : 28646 (clasp-1.0) R 28644 28453 32725 0 -1 4202496 1800 0 0 0 37142 0 0 0 20 0 1 0 339333111 9068544 1697 33554432000 134512640 134847168 4289137344 4289136028 134789696 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28646/statm: 2214 1697 272 82 0 1455 0
Current children cumulated CPU time (s) 588.52
Current children cumulated vsize (KiB) 43596
[startup+595.106 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 28777
/proc/meminfo: memFree=29598172/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=217.1 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 3110 61229 0 0 1 1 21693 15 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28644] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28644/stat : 28644 (sh) S 28453 28453 32725 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339333111 9367552 264 33554432000 4194304 5064252 140736819735104 140736819733360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28644/statm: 2287 264 223 213 0 72 0
[pid=28646] ppid=28644 vsize=8856 CPUtime=377.83 cores=0,2,4,6
/proc/28646/stat : 28646 (clasp-1.0) R 28644 28453 32725 0 -1 4202496 1805 0 0 0 37783 0 0 0 20 0 1 0 339333111 9068544 1702 33554432000 134512640 134847168 4289137344 4289135984 134782444 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28646/statm: 2214 1702 272 82 0 1455 0
Current children cumulated CPU time (s) 594.93
Current children cumulated vsize (KiB) 43596
[startup+601.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 28777
/proc/meminfo: memFree=29595692/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=217.1 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 3110 61229 0 0 1 1 21693 15 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28644] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28644/stat : 28644 (sh) S 28453 28453 32725 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339333111 9367552 264 33554432000 4194304 5064252 140736819735104 140736819733360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28644/statm: 2287 264 223 213 0 72 0
[pid=28646] ppid=28644 vsize=8992 CPUtime=384.22 cores=0,2,4,6
/proc/28646/stat : 28646 (clasp-1.0) R 28644 28453 32725 0 -1 4202496 1835 0 0 0 38422 0 0 0 20 0 1 0 339333111 9207808 1732 33554432000 134512640 134847168 4289137344 4289135584 1580980 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28646/statm: 2248 1732 272 82 0 1489 0
Current children cumulated CPU time (s) 601.32
Current children cumulated vsize (KiB) 43732
[startup+604.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 28777
/proc/meminfo: memFree=29594700/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=217.1 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 3110 61229 0 0 1 1 21693 15 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28644] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28644/stat : 28644 (sh) S 28453 28453 32725 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339333111 9367552 264 33554432000 4194304 5064252 140736819735104 140736819733360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28644/statm: 2287 264 223 213 0 72 0
[pid=28646] ppid=28644 vsize=8992 CPUtime=387.42 cores=0,2,4,6
/proc/28646/stat : 28646 (clasp-1.0) R 28644 28453 32725 0 -1 4202496 1843 0 0 0 38742 0 0 0 20 0 1 0 339333111 9207808 1740 33554432000 134512640 134847168 4289137344 4289136024 134789702 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28646/statm: 2248 1740 272 82 0 1489 0
Current children cumulated CPU time (s) 604.52
Current children cumulated vsize (KiB) 43732
[startup+606.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 28777
/proc/meminfo: memFree=29593832/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=217.1 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 3110 61229 0 0 1 1 21693 15 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28644] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28644/stat : 28644 (sh) S 28453 28453 32725 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339333111 9367552 264 33554432000 4194304 5064252 140736819735104 140736819733360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28644/statm: 2287 264 223 213 0 72 0
[pid=28646] ppid=28644 vsize=9128 CPUtime=389.02 cores=0,2,4,6
/proc/28646/stat : 28646 (clasp-1.0) R 28644 28453 32725 0 -1 4202496 1851 0 0 0 38902 0 0 0 20 0 1 0 339333111 9347072 1748 33554432000 134512640 134847168 4289137344 4289136064 134741336 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28646/statm: 2282 1748 272 82 0 1523 0
Current children cumulated CPU time (s) 606.12
Current children cumulated vsize (KiB) 43868
[startup+607.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 28777
/proc/meminfo: memFree=29592964/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=217.1 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 3110 61229 0 0 1 1 21693 15 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28644] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28644/stat : 28644 (sh) S 28453 28453 32725 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339333111 9367552 264 33554432000 4194304 5064252 140736819735104 140736819733360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28644/statm: 2287 264 223 213 0 72 0
[pid=28646] ppid=28644 vsize=9128 CPUtime=389.83 cores=0,2,4,6
/proc/28646/stat : 28646 (clasp-1.0) R 28644 28453 32725 0 -1 4202496 1851 0 0 0 38983 0 0 0 20 0 1 0 339333111 9347072 1748 33554432000 134512640 134847168 4289137344 4289135968 134784634 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28646/statm: 2282 1748 272 82 0 1523 0
Current children cumulated CPU time (s) 606.93
Current children cumulated vsize (KiB) 43868
[startup+607.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 28777
/proc/meminfo: memFree=29592964/32873844 swapFree=7372/7372
[pid=28453] ppid=28451 vsize=25592 CPUtime=217.1 cores=0,2,4,6
/proc/28453/stat : 28453 (pbclasp) S 28451 28453 32725 0 -1 4202496 3110 61229 0 0 1 1 21693 15 20 0 1 0 339311390 26206208 518 33554432000 4194304 4198148 140733337110736 140733337109664 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28453/statm: 6398 518 387 1 0 193 0
[pid=28644] ppid=28453 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28644/stat : 28644 (sh) S 28453 28453 32725 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339333111 9367552 264 33554432000 4194304 5064252 140736819735104 140736819733360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28644/statm: 2287 264 223 213 0 72 0
[pid=28646] ppid=28644 vsize=9128 CPUtime=390.02 cores=0,2,4,6
/proc/28646/stat : 28646 (clasp-1.0) R 28644 28453 32725 0 -1 4202496 1851 0 0 0 39002 0 0 0 20 0 1 0 339333111 9347072 1748 33554432000 134512640 134847168 4289137344 4289135648 134715396 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28646/statm: 2282 1748 272 82 0 1523 0
Current children cumulated CPU time (s) 607.12
Current children cumulated vsize (KiB) 43868
Child status: 0
Real time (s): 607.384
CPU time (s): 607.233
CPU user time (s): 607.05
CPU system time (s): 0.182972
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 43868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 607.05
system time used= 0.182972
maximum resident set size= 7072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67133
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 560
involuntary context switches= 1164
runsolver used 1.3408 second user time and 2.77458 second system time
The end