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-3741420-1338778052/watcher-3741420-1338778052 -o /tmp/evaluation-result-3741420-1338778052/solver-3741420-1338778052 -C 1800 -W 1900 -M 15500 pbclasp instance-3741420-1338778052.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.14 2.04 2.01 3/178 5475
/proc/meminfo: memFree=27553048/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=25728 CPUtime=0 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) R 5473 5475 4306 0 -1 4202496 589 0 0 0 0 0 0 0 20 0 1 0 343931272 26345472 520 33554432000 4194304 4198148 140735110028304 140734144922728 251031731630 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6432 520 361 1 0 227 0
[startup+0.10542 s]
/proc/loadavg: 2.14 2.04 2.01 3/178 5475
/proc/meminfo: memFree=27553048/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26124
[startup+0.200219 s]
/proc/loadavg: 2.14 2.04 2.01 3/178 5475
/proc/meminfo: memFree=27553048/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26124
[startup+0.300202 s]
/proc/loadavg: 2.14 2.04 2.01 3/178 5475
/proc/meminfo: memFree=27553048/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26124
[startup+0.700175 s]
/proc/loadavg: 2.14 2.04 2.01 3/178 5475
/proc/meminfo: memFree=27553048/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26124
[startup+1.50025 s]
/proc/loadavg: 2.13 2.04 2.01 3/181 5485
/proc/meminfo: memFree=27548832/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=5508 CPUtime=1.4 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 966 0 0 0 140 0 0 0 20 0 1 0 343931281 5640192 864 33554432000 134512640 134847168 4289591248 4289589524 134792608 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 1377 864 270 82 0 618 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 40780
[startup+3.10025 s]
/proc/loadavg: 2.13 2.04 2.01 3/181 5485
/proc/meminfo: memFree=27548088/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=6132 CPUtime=3 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 1129 0 0 0 300 0 0 0 20 0 1 0 343931281 6279168 1027 33554432000 134512640 134847168 4289591248 4289589632 134735816 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 1533 1027 270 82 0 774 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 41404
[startup+6.30025 s]
/proc/loadavg: 2.28 2.07 2.02 3/181 5485
/proc/meminfo: memFree=27546856/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=6908 CPUtime=6.2 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 1303 0 0 0 620 0 0 0 20 0 1 0 343931281 7073792 1201 33554432000 134512640 134847168 4289591248 4289589712 134713967 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 1727 1201 270 82 0 968 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 42180
[startup+12.7003 s]
/proc/loadavg: 2.26 2.07 2.02 3/181 5485
/proc/meminfo: memFree=27544588/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=8056 CPUtime=12.6 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 1581 0 0 0 1260 0 0 0 20 0 1 0 343931281 8249344 1482 33554432000 134512640 134847168 4289591248 4289589888 134715273 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 2014 1482 270 82 0 1255 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 43328
[startup+25.5003 s]
/proc/loadavg: 2.20 2.07 2.02 3/181 5509
/proc/meminfo: memFree=27543984/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=9372 CPUtime=25.39 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 1938 0 0 0 2539 0 0 0 20 0 1 0 343931281 9596928 1839 33554432000 134512640 134847168 4289591248 4289590016 134737584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 2343 1839 270 82 0 1584 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 44644
[startup+51.1003 s]
/proc/loadavg: 2.13 2.06 2.02 3/181 5517
/proc/meminfo: memFree=27541128/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=11040 CPUtime=50.99 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 2334 0 0 0 5099 0 0 0 20 0 1 0 343931281 11304960 2235 33554432000 134512640 134847168 4289591248 4289589932 134715779 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5485/statm: 2760 2235 270 82 0 2001 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 46312
[startup+102.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/181 5517
/proc/meminfo: memFree=27537156/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=12332 CPUtime=102.18 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 2672 0 0 0 10218 0 0 0 20 0 1 0 343931281 12627968 2573 33554432000 134512640 134847168 4289591248 4289589824 134715031 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5485/statm: 3083 2573 270 82 0 2324 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 47604
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/182 5520
/proc/meminfo: memFree=27533844/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=14680 CPUtime=162.16 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 3233 0 0 0 16216 0 0 0 20 0 1 0 343931281 15032320 3140 33554432000 134512640 134847168 4289591248 4289589888 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5485/statm: 3670 3140 270 82 0 2911 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49952
[startup+222.306 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 5536
/proc/meminfo: memFree=27533740/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=16760 CPUtime=222.16 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 3749 0 0 0 22216 0 0 0 20 0 1 0 343931281 17162240 3664 33554432000 134512640 134847168 4289591248 4289589888 134782476 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5485/statm: 4190 3664 270 82 0 3431 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 52032
[startup+282.3 s]
################
# More data... #
################
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=30332 CPUtime=1301.99 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 7210 0 0 0 130197 2 0 0 20 0 1 0 343931281 31059968 7083 33554432000 134512640 134847168 4289591248 4289589888 134782388 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5485/statm: 7583 7083 270 82 0 6824 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 65604
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 5593
/proc/meminfo: memFree=27510644/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=30556 CPUtime=1361.98 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 7253 0 0 0 136196 2 0 0 20 0 1 0 343931281 31289344 7126 33554432000 134512640 134847168 4289591248 4289589824 134714368 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5485/statm: 7639 7126 270 82 0 6880 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 65828
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5593
/proc/meminfo: memFree=27510156/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=31408 CPUtime=1421.98 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 7454 0 0 0 142196 2 0 0 20 0 1 0 343931281 32161792 7327 33554432000 134512640 134847168 4289591248 4289589988 134737637 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5485/statm: 7852 7327 270 82 0 7093 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 66680
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5593
/proc/meminfo: memFree=27509224/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=31788 CPUtime=1481.96 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 7538 0 0 0 148194 2 0 0 20 0 1 0 343931281 32550912 7411 33554432000 134512640 134847168 4289591248 4289589888 134782463 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5485/statm: 7947 7411 270 82 0 7188 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 67060
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5594
/proc/meminfo: memFree=27509160/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=32092 CPUtime=1541.96 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 7608 0 0 0 154194 2 0 0 20 0 1 0 343931281 32862208 7496 33554432000 134512640 134847168 4289591248 4289590004 134737608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5485/statm: 8023 7496 270 82 0 7264 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 67364
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5594
/proc/meminfo: memFree=27508664/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=32512 CPUtime=1601.95 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 7707 0 0 0 160193 2 0 0 20 0 1 0 343931281 33292288 7595 33554432000 134512640 134847168 4289591248 4289589888 134782463 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5485/statm: 8128 7595 270 82 0 7369 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 67784
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5594
/proc/meminfo: memFree=27507920/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=33160 CPUtime=1661.94 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 7834 0 0 0 166192 2 0 0 20 0 1 0 343931281 33955840 7722 33554432000 134512640 134847168 4289591248 4289590004 134737608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5485/statm: 8290 7722 270 82 0 7531 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 68432
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5594
/proc/meminfo: memFree=27507300/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=33292 CPUtime=1721.94 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 7893 0 0 0 172191 3 0 0 20 0 1 0 343931281 34091008 7781 33554432000 134512640 134847168 4289591248 4289589888 134782476 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5485/statm: 8323 7781 270 82 0 7564 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 68564
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5594
/proc/meminfo: memFree=27506432/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=0.07 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 834 2097 0 0 2 0 5 0 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5483] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5483/stat : 5483 (sh) S 5475 5475 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931281 9367552 264 33554432000 4194304 5064252 140733412955120 140733412953376 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5483/statm: 2287 264 223 213 0 72 0
[pid=5485] ppid=5483 vsize=33700 CPUtime=1781.92 cores=0,2,4,6
/proc/5485/stat : 5485 (clasp-1.0) R 5483 5475 4306 0 -1 4202496 7983 0 0 0 178189 3 0 0 20 0 1 0 343931281 34508800 7871 33554432000 134512640 134847168 4289591248 4289589984 134741030 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5485/statm: 8425 7871 270 82 0 7666 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 68972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.78 1.95 1.98 4/179 15425
/proc/meminfo: memFree=27540284/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=1782.02 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 934 12015 0 0 2 0 178196 4 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5611] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5611/stat : 5611 (sh) S 5475 5475 4306 0 -1 4202496 370 221 0 0 0 0 0 0 20 0 1 0 344109505 9367552 264 33554432000 4194304 5064252 140736584702288 140736584700544 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5611/statm: 2287 264 223 213 0 72 0
[pid=5613] ppid=5611 vsize=8572 CPUtime=18.07 cores=0,2,4,6
/proc/5613/stat : 5613 (clasp-1.0) R 5611 5475 4306 0 -1 4202496 1737 0 0 0 1807 0 0 0 20 0 1 0 344109505 8777728 1638 33554432000 134512640 134847168 4294155424 4294154064 134782472 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5613/statm: 2143 1638 270 82 0 1384 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 43844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 1.78 1.95 1.98 4/179 15425
/proc/meminfo: memFree=27540284/32873844 swapFree=7372/7372
[pid=5475] ppid=5473 vsize=26124 CPUtime=1782.02 cores=0,2,4,6
/proc/5475/stat : 5475 (pbclasp) S 5473 5475 4306 0 -1 4202496 934 12015 0 0 2 0 178196 4 20 0 1 0 343931272 26750976 649 33554432000 4194304 4198148 140735110028304 140735110027232 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5475/statm: 6531 649 387 1 0 326 0
[pid=5611] ppid=5475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5611/stat : 5611 (sh) S 5475 5475 4306 0 -1 4202496 370 221 0 0 0 0 0 0 20 0 1 0 344109505 9367552 264 33554432000 4194304 5064252 140736584702288 140736584700544 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5611/statm: 2287 264 223 213 0 72 0
[pid=5613] ppid=5611 vsize=8572 CPUtime=18.07 cores=0,2,4,6
/proc/5613/stat : 5613 (clasp-1.0) R 5611 5475 4306 0 -1 4202496 1737 0 0 0 1807 0 0 0 20 0 1 0 344109505 8777728 1638 33554432000 134512640 134847168 4294155424 4294154064 134782472 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5613/statm: 2143 1638 270 82 0 1384 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 43844
Child status: 0
Real time (s): 1800.43
CPU time (s): 1800.15
CPU user time (s): 1800.08
CPU system time (s): 0.067989
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 68972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 0.067989
maximum resident set size= 31484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18892
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143
involuntary context switches= 2092
runsolver used 3.40048 second user time and 9.35458 second system time
The end