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-3735874-1338727657/watcher-3735874-1338727657 -o /tmp/evaluation-result-3735874-1338727657/solver-3735874-1338727657 -C 1800 -W 1900 -M 15500 pbclasp instance-3735874-1338727657.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 2.00 3/178 26571
/proc/meminfo: memFree=29785156/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) R 26569 26571 32725 0 -1 4202496 642 0 0 0 0 0 0 0 20 0 1 0 338894309 26628096 573 33554432000 4194304 4198148 140733923190160 140733731198088 245319216840 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/26571/statm: 6501 573 356 1 0 296 0
[startup+0.0568741 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26571
/proc/meminfo: memFree=29785156/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=26584 CPUtime=0.05 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) R 26569 26571 32725 0 -1 4202496 785 0 0 0 5 0 0 0 20 0 1 0 338894309 27222016 716 33554432000 4194304 4198148 140733923190160 140733731198088 245319597312 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/26571/statm: 6646 716 362 1 0 441 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 26584
[startup+0.100268 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26571
/proc/meminfo: memFree=29785156/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=26716 CPUtime=0.09 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) R 26569 26571 32725 0 -1 4202496 818 0 0 0 9 0 0 0 20 0 1 0 338894309 27357184 749 33554432000 4194304 4198148 140733923190160 140733731198088 245293879115 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/26571/statm: 6679 749 362 1 0 474 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26716
[startup+0.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26571
/proc/meminfo: memFree=29785156/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=27548 CPUtime=0.24 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 1061 0 0 0 24 0 0 0 20 0 1 0 338894309 28209152 975 33554432000 4194304 4198148 140733923190160 140733923189048 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26571/statm: 6887 975 369 1 0 682 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 27548
[startup+0.700236 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26571
/proc/meminfo: memFree=29785156/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=27548 CPUtime=0.24 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 1061 0 0 0 24 0 0 0 20 0 1 0 338894309 28209152 975 33554432000 4194304 4198148 140733923190160 140733923189048 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26571/statm: 6887 975 369 1 0 682 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 27548
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26574
/proc/meminfo: memFree=29781312/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=27548 CPUtime=0.24 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 1061 0 0 0 24 0 0 0 20 0 1 0 338894309 28209152 975 33554432000 4194304 4198148 140733923190160 140733923189048 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26571/statm: 6887 975 369 1 0 682 0
[pid=26573] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26573/stat : 26573 (sh) S 26571 26571 32725 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 338894334 9367552 266 33554432000 4194304 5064252 140737305813440 140737305812320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26573/statm: 2287 266 226 213 0 72 0
[pid=26574] ppid=26573 vsize=25724 CPUtime=1.24 cores=0,2,4,6
/proc/26574/stat : 26574 (pb2clasp1) R 26573 26571 32725 0 -1 4202496 626 0 0 0 124 0 0 0 20 0 1 0 338894334 26341376 536 33554432000 4194304 4198148 140734873328976 140734873319512 245319600177 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/26574/statm: 6431 536 378 1 0 226 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 62420
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26574
/proc/meminfo: memFree=29779428/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=2.24 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 1422 2126 0 0 25 0 198 1 20 0 1 0 338894309 28749824 1122 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26571/statm: 7019 1122 387 1 0 814 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 28076
heavy processes:
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26597
/proc/meminfo: memFree=29748684/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=5.94 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 1841 31998 0 0 26 0 559 9 20 0 1 0 338894309 28749824 1128 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26571/statm: 7019 1128 387 1 0 814 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 28076
[startup+12.7003 s]
/proc/loadavg: 1.92 1.98 1.99 3/182 26645
/proc/meminfo: memFree=29770976/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=11.95 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 2454 81882 0 0 28 1 1144 22 20 0 1 0 338894309 28749824 1128 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26571/statm: 7019 1128 387 1 0 814 0
[pid=26643] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26643/stat : 26643 (sh) S 26571 26571 32725 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338895505 9367552 264 33554432000 4194304 5064252 140736950062400 140736950060656 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26643/statm: 2287 264 223 213 0 72 0
[pid=26645] ppid=26643 vsize=31144 CPUtime=0.72 cores=0,2,4,6
/proc/26645/stat : 26645 (clasp-1.0) R 26643 26571 32725 0 -1 4202496 8031 0 0 0 71 1 0 0 20 0 1 0 338895506 31891456 7159 33554432000 134512640 134847168 4286636128 4286634896 134617542 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26645/statm: 7786 7159 270 82 0 7027 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 68368
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26733
/proc/meminfo: memFree=29740172/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=24.72 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 3801 191817 0 0 33 2 2385 52 20 0 1 0 338894309 28749824 1128 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26571/statm: 7019 1128 387 1 0 814 0
[pid=26731] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26731/stat : 26731 (sh) S 26571 26571 32725 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338896782 9367552 264 33554432000 4194304 5064252 140734325440704 140734325438960 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26731/statm: 2287 264 223 213 0 72 0
[pid=26733] ppid=26731 vsize=31144 CPUtime=0.75 cores=0,2,4,6
/proc/26733/stat : 26733 (clasp-1.0) R 26731 26571 32725 0 -1 4202496 8030 0 0 0 74 1 0 0 20 0 1 0 338896782 31891456 7158 33554432000 134512640 134847168 4287354240 4287353008 134617488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26733/statm: 7786 7158 270 82 0 7027 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 68368
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26797
/proc/meminfo: memFree=29736964/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=50.09 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 4867 271780 0 0 37 3 4894 75 20 0 1 0 338894309 28749824 1129 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26571/statm: 7019 1129 387 1 0 814 0
[pid=26795] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26795/stat : 26795 (sh) S 26571 26571 32725 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338899320 9367552 263 33554432000 4194304 5064252 140734211578624 140734211576880 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26795/statm: 2287 263 223 213 0 72 0
[pid=26797] ppid=26795 vsize=31144 CPUtime=0.97 cores=0,2,4,6
/proc/26797/stat : 26797 (clasp-1.0) R 26795 26571 32725 0 -1 4202496 8032 0 0 0 96 1 0 0 20 0 1 0 338899320 31891456 7160 33554432000 134512640 134847168 4288818576 4288817344 134617536 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26797/statm: 7786 7160 270 82 0 7027 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 68368
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26822
/proc/meminfo: memFree=29727268/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=65.22 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 5266 301752 0 0 38 3 6397 84 20 0 1 0 338894309 28749824 1129 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26571/statm: 7019 1129 387 1 0 814 0
[pid=26820] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26820/stat : 26820 (sh) S 26571 26571 32725 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 338900834 9367552 263 33554432000 4194304 5064252 140736816770016 140736816768272 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26820/statm: 2287 263 223 213 0 72 0
[pid=26822] ppid=26820 vsize=38048 CPUtime=37.03 cores=0,2,4,6
/proc/26822/stat : 26822 (clasp-1.0) R 26820 26571 32725 0 -1 4202496 9785 0 0 0 3701 2 0 0 20 0 1 0 338900834 38961152 8913 33554432000 134512640 134847168 4290794960 4290793644 134784583 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26822/statm: 9512 8913 272 82 0 8753 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 75272
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26857
/proc/meminfo: memFree=29727928/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=151.69 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 5819 344923 0 0 40 4 15030 95 20 0 1 0 338894309 28749824 1130 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26571/statm: 7019 1130 387 1 0 814 0
[pid=26855] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26855/stat : 26855 (sh) S 26571 26571 32725 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338909484 9367552 264 33554432000 4194304 5064252 140735044974912 140735044973168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26855/statm: 2287 264 223 213 0 72 0
[pid=26857] ppid=26855 vsize=31144 CPUtime=10.53 cores=0,2,4,6
/proc/26857/stat : 26857 (clasp-1.0) R 26855 26571 32725 0 -1 4202496 8044 0 0 0 1052 1 0 0 20 0 1 0 338909484 31891456 7164 33554432000 134512640 134847168 4291745376 4291744016 134715268 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26857/statm: 7786 7164 270 82 0 7027 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 68368
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26857
/proc/meminfo: memFree=29708824/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=151.69 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 5819 344923 0 0 40 4 15030 95 20 0 1 0 338894309 28749824 1130 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26571/statm: 7019 1130 387 1 0 814 0
[pid=26855] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26855/stat : 26855 (sh) S 26571 26571 32725 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338909484 9367552 264 33554432000 4194304 5064252 140735044974912 140735044973168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26855/statm: 2287 264 223 213 0 72 0
[pid=26857] ppid=26855 vsize=47368 CPUtime=70.51 cores=0,2,4,6
/proc/26857/stat : 26857 (clasp-1.0) R 26855 26571 32725 0 -1 4202496 12109 0 0 0 7049 2 0 0 20 0 1 0 338909484 48504832 11230 33554432000 134512640 134847168 4291745376 4291744000 134784608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26857/statm: 11842 11230 270 82 0 11083 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 84592
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26873
/proc/meminfo: memFree=29720236/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=276.2 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 6099 371418 0 0 41 4 27472 103 20 0 1 0 338894309 28749824 1130 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26571/statm: 7019 1130 387 1 0 814 0
[pid=26871] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26871/stat : 26871 (sh) S 26571 26571 32725 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 338921940 9367552 263 33554432000 4194304 5064252 140736833552480 140736833550736 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26871/statm: 2287 263 223 213 0 72 0
[pid=26873] ppid=26871 vsize=31144 CPUtime=5.98 cores=0,2,4,6
/proc/26873/stat : 26873 (clasp-1.0) R 26871 26571 32725 0 -1 4202496 8037 0 0 0 597 1 0 0 20 0 1 0 338921940 31891456 7162 33554432000 134512640 134847168 4291873296 4291872064 134617496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26873/statm: 7786 7162 272 82 0 7027 0
################
# More data... #
################
/proc/loadavg: 2.01 2.01 2.00 3/181 27254
/proc/meminfo: memFree=29719716/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=1405.39 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 10001 708126 0 0 53 7 140281 198 20 0 1 0 338894309 28749824 1130 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26571/statm: 7019 1130 387 1 0 814 0
[pid=27252] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27252/stat : 27252 (sh) S 26571 26571 32725 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339034904 9367552 263 33554432000 4194304 5064252 140735491861648 140735491859904 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27252/statm: 2287 263 223 213 0 72 0
[pid=27254] ppid=27252 vsize=48148 CPUtime=76.31 cores=0,2,4,6
/proc/27254/stat : 27254 (clasp-1.0) R 27252 26571 32725 0 -1 4202496 12302 0 0 0 7628 3 0 0 20 0 1 0 339034904 49303552 11438 33554432000 134512640 134847168 4294004832 4294003216 10347815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27254/statm: 12037 11438 270 82 0 11278 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 85372
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27254
/proc/meminfo: memFree=29703708/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=1405.39 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 10001 708126 0 0 53 7 140281 198 20 0 1 0 338894309 28749824 1130 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26571/statm: 7019 1130 387 1 0 814 0
[pid=27252] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27252/stat : 27252 (sh) S 26571 26571 32725 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339034904 9367552 263 33554432000 4194304 5064252 140735491861648 140735491859904 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27252/statm: 2287 263 223 213 0 72 0
[pid=27254] ppid=27252 vsize=63480 CPUtime=136.29 cores=0,2,4,6
/proc/27254/stat : 27254 (clasp-1.0) R 27252 26571 32725 0 -1 4202496 16119 0 0 0 13625 4 0 0 20 0 1 0 339034904 65003520 15262 33554432000 134512640 134847168 4294004832 4294003600 134617488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27254/statm: 15870 15262 270 82 0 15111 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 100704
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27255
/proc/meminfo: memFree=29691356/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=1405.39 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 10001 708126 0 0 53 7 140281 198 20 0 1 0 338894309 28749824 1130 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26571/statm: 7019 1130 387 1 0 814 0
[pid=27252] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27252/stat : 27252 (sh) S 26571 26571 32725 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339034904 9367552 263 33554432000 4194304 5064252 140735491861648 140735491859904 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27252/statm: 2287 263 223 213 0 72 0
[pid=27254] ppid=27252 vsize=76160 CPUtime=196.29 cores=0,2,4,6
/proc/27254/stat : 27254 (clasp-1.0) R 27252 26571 32725 0 -1 4202496 19279 0 0 0 19623 6 0 0 20 0 1 0 339034904 77987840 18453 33554432000 134512640 134847168 4294004832 4294003456 134784714 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27254/statm: 19040 18453 270 82 0 18281 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 113384
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27255
/proc/meminfo: memFree=29683968/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=1405.39 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 10001 708126 0 0 53 7 140281 198 20 0 1 0 338894309 28749824 1130 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26571/statm: 7019 1130 387 1 0 814 0
[pid=27252] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27252/stat : 27252 (sh) S 26571 26571 32725 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339034904 9367552 263 33554432000 4194304 5064252 140735491861648 140735491859904 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27252/statm: 2287 263 223 213 0 72 0
[pid=27254] ppid=27252 vsize=83400 CPUtime=256.27 cores=0,2,4,6
/proc/27254/stat : 27254 (clasp-1.0) R 27252 26571 32725 0 -1 4202496 21070 0 0 0 25621 6 0 0 20 0 1 0 339034904 85401600 20252 33554432000 134512640 134847168 4294004832 4294003524 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27254/statm: 20850 20252 270 82 0 20091 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 120624
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27263
/proc/meminfo: memFree=29734476/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=1694.66 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 10144 732591 0 0 53 8 169199 206 20 0 1 0 338894309 28749824 1130 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26571/statm: 7019 1130 387 1 0 814 0
[pid=27261] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27261/stat : 27261 (sh) S 26571 26571 32725 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339063837 9367552 264 33554432000 4194304 5064252 140735997396848 140735997395104 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27261/statm: 2287 264 223 213 0 72 0
[pid=27263] ppid=27261 vsize=33136 CPUtime=26.99 cores=0,2,4,6
/proc/27263/stat : 27263 (clasp-1.0) R 27261 26571 32725 0 -1 4202496 8541 0 0 0 2697 2 0 0 20 0 1 0 339063837 33931264 7668 33554432000 134512640 134847168 4293415488 4293414172 134784496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27263/statm: 8284 7668 270 82 0 7525 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 70360
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27263
/proc/meminfo: memFree=29717724/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=1694.66 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 10144 732591 0 0 53 8 169199 206 20 0 1 0 338894309 28749824 1130 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26571/statm: 7019 1130 387 1 0 814 0
[pid=27261] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27261/stat : 27261 (sh) S 26571 26571 32725 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339063837 9367552 264 33554432000 4194304 5064252 140735997396848 140735997395104 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27261/statm: 2287 264 223 213 0 72 0
[pid=27263] ppid=27261 vsize=48176 CPUtime=86.99 cores=0,2,4,6
/proc/27263/stat : 27263 (clasp-1.0) R 27261 26571 32725 0 -1 4202496 12294 0 0 0 8695 4 0 0 20 0 1 0 339063837 49332224 11436 33554432000 134512640 134847168 4293415488 4293414112 134784628 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27263/statm: 12044 11436 270 82 0 11285 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 85400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27263
/proc/meminfo: memFree=29713012/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=1694.66 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 10144 732591 0 0 53 8 169199 206 20 0 1 0 338894309 28749824 1130 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26571/statm: 7019 1130 387 1 0 814 0
[pid=27261] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27261/stat : 27261 (sh) S 26571 26571 32725 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339063837 9367552 264 33554432000 4194304 5064252 140735997396848 140735997395104 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27261/statm: 2287 264 223 213 0 72 0
[pid=27263] ppid=27261 vsize=52636 CPUtime=105.39 cores=0,2,4,6
/proc/27263/stat : 27263 (clasp-1.0) R 27261 26571 32725 0 -1 4202496 13381 0 0 0 10535 4 0 0 20 0 1 0 339063837 53899264 12523 33554432000 134512640 134847168 4293415488 4293414180 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27263/statm: 13159 12523 270 82 0 12400 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 89860
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -26571
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27263
/proc/meminfo: memFree=29713012/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=1800.09 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 10319 748753 0 0 54 8 179734 213 20 0 1 0 338894309 28749824 1130 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26571/statm: 7019 1130 387 1 0 814 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 28076
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 27282
/proc/meminfo: memFree=29755904/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=1800.09 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 10319 748753 0 0 54 8 179734 213 20 0 1 0 338894309 28749824 1130 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26571/statm: 7019 1130 387 1 0 814 0
[pid=27278] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27278/stat : 27278 (sh) S 26571 26571 32725 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 339074383 9367552 264 33554432000 4194304 5064252 140734068367472 140734068365728 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27278/statm: 2287 264 223 213 0 72 0
[pid=27282] ppid=27278 vsize=31144 CPUtime=1.44 cores=0,2,4,6
/proc/27282/stat : 27282 (clasp-1.0) R 27278 26571 32725 0 -1 4202496 8034 0 0 0 143 1 0 0 20 0 1 0 339074383 31891456 7162 33554432000 134512640 134847168 4293622000 4293620304 134791643 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27282/statm: 7786 7162 272 82 0 7027 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 68368
[startup+1802.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 27282
/proc/meminfo: memFree=29755904/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=1800.09 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 10319 748753 0 0 54 8 179734 213 20 0 1 0 338894309 28749824 1130 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26571/statm: 7019 1130 387 1 0 814 0
[pid=27278] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27278/stat : 27278 (sh) S 26571 26571 32725 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 339074383 9367552 264 33554432000 4194304 5064252 140734068367472 140734068365728 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27278/statm: 2287 264 223 213 0 72 0
[pid=27282] ppid=27278 vsize=31144 CPUtime=1.84 cores=0,2,4,6
/proc/27282/stat : 27282 (clasp-1.0) R 27278 26571 32725 0 -1 4202496 8034 0 0 0 183 1 0 0 20 0 1 0 339074383 31891456 7162 33554432000 134512640 134847168 4293622000 4293620736 134741030 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27282/statm: 7786 7162 272 82 0 7027 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 68368
[startup+1802.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 27282
/proc/meminfo: memFree=29755904/32873844 swapFree=7372/7372
[pid=26571] ppid=26569 vsize=28076 CPUtime=1800.09 cores=0,2,4,6
/proc/26571/stat : 26571 (pbclasp) S 26569 26571 32725 0 -1 4202496 10319 748753 0 0 54 8 179734 213 20 0 1 0 338894309 28749824 1130 33554432000 4194304 4198148 140733923190160 140733923189088 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26571/statm: 7019 1130 387 1 0 814 0
[pid=27278] ppid=26571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27278/stat : 27278 (sh) S 26571 26571 32725 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 339074383 9367552 264 33554432000 4194304 5064252 140734068367472 140734068365728 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27278/statm: 2287 264 223 213 0 72 0
[pid=27282] ppid=27278 vsize=31144 CPUtime=1.94 cores=0,2,4,6
/proc/27282/stat : 27282 (clasp-1.0) R 27278 26571 32725 0 -1 4202496 8034 0 0 0 193 1 0 0 20 0 1 0 339074383 31891456 7162 33554432000 134512640 134847168 4293622000 4293620768 134617547 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27282/statm: 7786 7162 272 82 0 7027 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 68368
Child status: 0
Real time (s): 1802.73
CPU time (s): 1802.1
CPU user time (s): 1799.85
CPU system time (s): 2.24366
CPU usage (%): 99.9651
Max. virtual memory (cumulated for all children) (KiB): 126500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 2.24366
maximum resident set size= 86852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 768327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 298024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36827
involuntary context switches= 3581
runsolver used 3.38848 second user time and 8.35973 second system time
The end