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-3732559-1338707481/watcher-3732559-1338707481 -o /tmp/evaluation-result-3732559-1338707481/solver-3732559-1338707481 -C 1800 -W 1900 -M 15500 pbclasp instance-3732559-1338707481.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.01 2.01 2.00 3/178 9722
/proc/meminfo: memFree=29241748/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25728 CPUtime=0 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) R 9720 9722 8320 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 336873521 26345472 515 33554432000 4194304 4198148 140735772477760 140735006541512 260189949844 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/9722/statm: 6432 515 361 1 0 227 0
[startup+0.083681 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9722
/proc/meminfo: memFree=29241748/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25860 CPUtime=0.01 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 653 0 0 0 1 0 0 0 20 0 1 0 336873521 26480640 564 33554432000 4194304 4198148 140735772477760 140735772476648 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9722/statm: 6465 564 368 1 0 260 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25860
[startup+0.100219 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9722
/proc/meminfo: memFree=29241748/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25860 CPUtime=0.01 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 653 0 0 0 1 0 0 0 20 0 1 0 336873521 26480640 564 33554432000 4194304 4198148 140735772477760 140735772476648 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9722/statm: 6465 564 368 1 0 260 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25860
[startup+0.300131 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9722
/proc/meminfo: memFree=29241748/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=0.29 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 1391 15029 0 0 2 0 23 4 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476648 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25992
[startup+0.700114 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9722
/proc/meminfo: memFree=29241748/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=0.32 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 1546 18972 0 0 2 0 25 5 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 25992
[startup+1.50026 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 9780
/proc/meminfo: memFree=29233292/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=0.32 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 1546 18972 0 0 2 0 25 5 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=9778] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9778/stat : 9778 (sh) S 9722 9722 8320 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336873555 9367552 263 33554432000 4194304 5064252 140736087202832 140736087201088 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9778/statm: 2287 263 223 213 0 72 0
[pid=9780] ppid=9778 vsize=11288 CPUtime=1.15 cores=0,2,4,6
/proc/9780/stat : 9780 (clasp-1.0) R 9778 9722 8320 0 -1 4202496 2398 0 0 0 115 0 0 0 20 0 1 0 336873555 11558912 2296 33554432000 134512640 134847168 4287640528 4287638992 134713952 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9780/statm: 2822 2296 270 82 0 2063 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 46428
[startup+3.10027 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 9780
/proc/meminfo: memFree=29231068/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=0.32 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 1546 18972 0 0 2 0 25 5 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=9778] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9778/stat : 9778 (sh) S 9722 9722 8320 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336873555 9367552 263 33554432000 4194304 5064252 140736087202832 140736087201088 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9778/statm: 2287 263 223 213 0 72 0
[pid=9780] ppid=9778 vsize=13084 CPUtime=2.75 cores=0,2,4,6
/proc/9780/stat : 9780 (clasp-1.0) R 9778 9722 8320 0 -1 4202496 2856 0 0 0 275 0 0 0 20 0 1 0 336873555 13398016 2754 33554432000 134512640 134847168 4287640528 4287639212 134789696 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9780/statm: 3271 2754 270 82 0 2512 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 48224
[startup+6.30019 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 9780
/proc/meminfo: memFree=29227488/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=0.32 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 1546 18972 0 0 2 0 25 5 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=9778] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9778/stat : 9778 (sh) S 9722 9722 8320 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336873555 9367552 263 33554432000 4194304 5064252 140736087202832 140736087201088 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9778/statm: 2287 263 223 213 0 72 0
[pid=9780] ppid=9778 vsize=15296 CPUtime=5.95 cores=0,2,4,6
/proc/9780/stat : 9780 (clasp-1.0) R 9778 9722 8320 0 -1 4202496 3419 0 0 0 595 0 0 0 20 0 1 0 336873555 15663104 3313 33554432000 134512640 134847168 4287640528 4287639232 134616639 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9780/statm: 3824 3313 270 82 0 3065 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 50436
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 9780
/proc/meminfo: memFree=29221408/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=0.32 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 1546 18972 0 0 2 0 25 5 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=9778] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9778/stat : 9778 (sh) S 9722 9722 8320 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336873555 9367552 263 33554432000 4194304 5064252 140736087202832 140736087201088 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9778/statm: 2287 263 223 213 0 72 0
[pid=9780] ppid=9778 vsize=18024 CPUtime=12.34 cores=0,2,4,6
/proc/9780/stat : 9780 (clasp-1.0) R 9778 9722 8320 0 -1 4202496 4099 0 0 0 1234 0 0 0 20 0 1 0 336873555 18456576 3993 33554432000 134512640 134847168 4287640528 4287639104 134714800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9780/statm: 4506 3993 270 82 0 3747 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 53164
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 9780
/proc/meminfo: memFree=29218736/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=0.32 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 1546 18972 0 0 2 0 25 5 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=9778] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9778/stat : 9778 (sh) S 9722 9722 8320 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336873555 9367552 263 33554432000 4194304 5064252 140736087202832 140736087201088 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9778/statm: 2287 263 223 213 0 72 0
[pid=9780] ppid=9778 vsize=19828 CPUtime=25.14 cores=0,2,4,6
/proc/9780/stat : 9780 (clasp-1.0) R 9778 9722 8320 0 -1 4202496 4549 0 0 0 2514 0 0 0 20 0 1 0 336873555 20303872 4443 33554432000 134512640 134847168 4287640528 4287639212 134789696 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9780/statm: 4957 4443 270 82 0 4198 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 54968
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9780
/proc/meminfo: memFree=29211416/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=0.32 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 1546 18972 0 0 2 0 25 5 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=9778] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9778/stat : 9778 (sh) S 9722 9722 8320 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 336873555 9367552 263 33554432000 4194304 5064252 140736087202832 140736087201088 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9778/statm: 2287 263 223 213 0 72 0
[pid=9780] ppid=9778 vsize=23976 CPUtime=50.73 cores=0,2,4,6
/proc/9780/stat : 9780 (clasp-1.0) R 9778 9722 8320 0 -1 4202496 5709 0 0 0 5072 1 0 0 20 0 1 0 336873555 24551424 5476 33554432000 134512640 134847168 4287640528 4287639212 134789696 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9780/statm: 5994 5476 270 82 0 5235 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 59116
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9789
/proc/meminfo: memFree=29216748/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=93 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 1691 27772 0 0 2 0 9291 7 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=9786] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9786/stat : 9786 (sh) S 9722 9722 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336882828 9367552 263 33554432000 4194304 5064252 140736791292896 140736791291152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9786/statm: 2287 263 223 213 0 72 0
[pid=9788] ppid=9786 vsize=16632 CPUtime=9.22 cores=0,2,4,6
/proc/9788/stat : 9788 (clasp-1.0) R 9786 9722 8320 0 -1 4202496 3954 0 0 0 922 0 0 0 20 0 1 0 336882828 17031168 3639 33554432000 134512640 134847168 4291218880 4291217648 134617496 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9788/statm: 4158 3639 272 82 0 3399 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 51772
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9789
/proc/meminfo: memFree=29207020/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=93 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 1691 27772 0 0 2 0 9291 7 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=9786] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9786/stat : 9786 (sh) S 9722 9722 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336882828 9367552 263 33554432000 4194304 5064252 140736791292896 140736791291152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9786/statm: 2287 263 223 213 0 72 0
[pid=9788] ppid=9786 vsize=26268 CPUtime=69.2 cores=0,2,4,6
/proc/9788/stat : 9788 (clasp-1.0) R 9786 9722 8320 0 -1 4202496 6534 0 0 0 6919 1 0 0 20 0 1 0 336882828 26898432 6061 33554432000 134512640 134847168 4291218880 4291217560 134789714 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9788/statm: 6567 6061 272 82 0 5808 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 61408
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9789
/proc/meminfo: memFree=29200068/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=93 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 1691 27772 0 0 2 0 9291 7 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=9786] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9786/stat : 9786 (sh) S 9722 9722 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336882828 9367552 263 33554432000 4194304 5064252 140736791292896 140736791291152 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9786/statm: 2287 263 223 213 0 72 0
[pid=9788] ppid=9786 vsize=31084 CPUtime=129.18 cores=0,2,4,6
/proc/9788/stat : 9788 (clasp-1.0) R 9786 9722 8320 0 -1 4202496 7793 0 0 0 12917 1 0 0 20 0 1 0 336882828 31830016 7228 33554432000 134512640 134847168 4291218880 4291217572 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9788/statm: 7771 7228 272 82 0 7012 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 66224
[startup+282.3 s]
################
# More data... #
################
/proc/10488/stat : 10488 (sh) S 9722 9722 8320 0 -1 4202496 376 221 0 0 0 0 0 0 20 0 1 0 337016666 9367552 264 33554432000 4194304 5064252 140735599195568 140735599193824 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10488/statm: 2287 264 223 213 0 72 0
[pid=10490] ppid=10488 vsize=24680 CPUtime=50.83 cores=0,2,4,6
/proc/10490/stat : 10490 (clasp-1.0) R 10488 9722 8320 0 -1 4202496 5895 0 0 0 5082 1 0 0 20 0 1 0 337016666 25272320 5635 33554432000 134512640 134847168 4290419248 4290417940 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10490/statm: 6170 5635 270 82 0 5411 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 59820
[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 10490
/proc/meminfo: memFree=29153304/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=1431.08 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 2223 72997 0 0 3 0 143088 17 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=10488] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10488/stat : 10488 (sh) S 9722 9722 8320 0 -1 4202496 376 221 0 0 0 0 0 0 20 0 1 0 337016666 9367552 264 33554432000 4194304 5064252 140735599195568 140735599193824 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10488/statm: 2287 264 223 213 0 72 0
[pid=10490] ppid=10488 vsize=31568 CPUtime=110.8 cores=0,2,4,6
/proc/10490/stat : 10490 (clasp-1.0) R 10488 9722 8320 0 -1 4202496 7785 0 0 0 11079 1 0 0 20 0 1 0 337016666 32325632 7366 33554432000 134512640 134847168 4290419248 4290417940 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10490/statm: 7892 7366 270 82 0 7133 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 66708
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 10490
/proc/meminfo: memFree=29150012/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=1431.08 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 2223 72997 0 0 3 0 143088 17 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=10488] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10488/stat : 10488 (sh) S 9722 9722 8320 0 -1 4202496 376 221 0 0 0 0 0 0 20 0 1 0 337016666 9367552 264 33554432000 4194304 5064252 140735599195568 140735599193824 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10488/statm: 2287 264 223 213 0 72 0
[pid=10490] ppid=10488 vsize=34424 CPUtime=170.79 cores=0,2,4,6
/proc/10490/stat : 10490 (clasp-1.0) R 10488 9722 8320 0 -1 4202496 9098 0 0 0 17077 2 0 0 20 0 1 0 337016666 35250176 8097 33554432000 134512640 134847168 4290419248 4290417932 134616160 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10490/statm: 8606 8097 270 82 0 7847 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 69564
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 10491
/proc/meminfo: memFree=29149032/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=1431.08 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 2223 72997 0 0 3 0 143088 17 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=10488] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10488/stat : 10488 (sh) S 9722 9722 8320 0 -1 4202496 376 221 0 0 0 0 0 0 20 0 1 0 337016666 9367552 264 33554432000 4194304 5064252 140735599195568 140735599193824 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10488/statm: 2287 264 223 213 0 72 0
[pid=10490] ppid=10488 vsize=35156 CPUtime=230.77 cores=0,2,4,6
/proc/10490/stat : 10490 (clasp-1.0) R 10488 9722 8320 0 -1 4202496 9469 0 0 0 23075 2 0 0 20 0 1 0 337016666 35999744 8275 33554432000 134512640 134847168 4290419248 4290417988 134737633 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10490/statm: 8789 8275 270 82 0 8030 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 70296
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 10494
/proc/meminfo: memFree=29145844/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=1431.08 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 2223 72997 0 0 3 0 143088 17 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=10488] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10488/stat : 10488 (sh) S 9722 9722 8320 0 -1 4202496 376 221 0 0 0 0 0 0 20 0 1 0 337016666 9367552 264 33554432000 4194304 5064252 140735599195568 140735599193824 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10488/statm: 2287 264 223 213 0 72 0
[pid=10490] ppid=10488 vsize=38024 CPUtime=290.76 cores=0,2,4,6
/proc/10490/stat : 10490 (clasp-1.0) R 10488 9722 8320 0 -1 4202496 10298 0 0 0 29074 2 0 0 20 0 1 0 337016666 38936576 8982 33554432000 134512640 134847168 4290419248 4290417888 134616364 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10490/statm: 9506 8982 270 82 0 8747 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 73164
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10494
/proc/meminfo: memFree=29144720/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=1431.08 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 2223 72997 0 0 3 0 143088 17 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=10488] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10488/stat : 10488 (sh) S 9722 9722 8320 0 -1 4202496 376 221 0 0 0 0 0 0 20 0 1 0 337016666 9367552 264 33554432000 4194304 5064252 140735599195568 140735599193824 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10488/statm: 2287 264 223 213 0 72 0
[pid=10490] ppid=10488 vsize=38700 CPUtime=350.75 cores=0,2,4,6
/proc/10490/stat : 10490 (clasp-1.0) R 10488 9722 8320 0 -1 4202496 10532 0 0 0 35073 2 0 0 20 0 1 0 337016666 39628800 9154 33554432000 134512640 134847168 4290419248 4290418016 134737274 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10490/statm: 9675 9154 270 82 0 8916 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 73840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10494
/proc/meminfo: memFree=29144844/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=1431.08 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 2223 72997 0 0 3 0 143088 17 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=10488] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10488/stat : 10488 (sh) S 9722 9722 8320 0 -1 4202496 376 221 0 0 0 0 0 0 20 0 1 0 337016666 9367552 264 33554432000 4194304 5064252 140735599195568 140735599193824 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10488/statm: 2287 264 223 213 0 72 0
[pid=10490] ppid=10488 vsize=38848 CPUtime=368.95 cores=0,2,4,6
/proc/10490/stat : 10490 (clasp-1.0) R 10488 9722 8320 0 -1 4202496 10658 0 0 0 36893 2 0 0 20 0 1 0 337016666 39780352 9206 33554432000 134512640 134847168 4290419248 4290417940 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10490/statm: 9712 9206 270 82 0 8953 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 73988
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9722
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 10513
/proc/meminfo: memFree=29236452/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=1800.06 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 2403 86443 0 0 3 0 179982 21 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=10503] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10503/stat : 10503 (sh) S 9722 9722 8320 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 337053574 9367552 264 33554432000 4194304 5064252 140733574706704 140733574704960 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10503/statm: 2287 264 223 213 0 72 0
[pid=10506] ppid=10503 vsize=11440 CPUtime=0.87 cores=0,2,4,6
/proc/10506/stat : 10506 (clasp-1.0) R 10503 9722 8320 0 -1 4202496 2441 0 0 0 87 0 0 0 20 0 1 0 337053574 11714560 2338 33554432000 134512640 134847168 4289758704 4289757280 134714871 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10506/statm: 2860 2338 270 82 0 2101 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 46580
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 10513
/proc/meminfo: memFree=29227524/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=1800.06 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 2403 86443 0 0 3 0 179982 21 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=10503] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10503/stat : 10503 (sh) S 9722 9722 8320 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 337053574 9367552 264 33554432000 4194304 5064252 140733574706704 140733574704960 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10503/statm: 2287 264 223 213 0 72 0
[pid=10506] ppid=10503 vsize=12216 CPUtime=1.67 cores=0,2,4,6
/proc/10506/stat : 10506 (clasp-1.0) R 10503 9722 8320 0 -1 4202496 2652 0 0 0 167 0 0 0 20 0 1 0 337053574 12509184 2549 33554432000 134512640 134847168 4289758704 4289757328 134784670 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10506/statm: 3054 2549 270 82 0 2295 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 47356
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 10513
/proc/meminfo: memFree=29227524/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=1800.06 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 2403 86443 0 0 3 0 179982 21 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=10503] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10503/stat : 10503 (sh) S 9722 9722 8320 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 337053574 9367552 264 33554432000 4194304 5064252 140733574706704 140733574704960 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10503/statm: 2287 264 223 213 0 72 0
[pid=10506] ppid=10503 vsize=12620 CPUtime=1.87 cores=0,2,4,6
/proc/10506/stat : 10506 (clasp-1.0) R 10503 9722 8320 0 -1 4202496 2732 0 0 0 187 0 0 0 20 0 1 0 337053574 12922880 2629 33554432000 134512640 134847168 4289758704 4289757396 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10506/statm: 3155 2629 270 82 0 2396 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 47760
[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 10513
/proc/meminfo: memFree=29227524/32873648 swapFree=7116/7116
[pid=9722] ppid=9720 vsize=25992 CPUtime=1800.06 cores=0,2,4,6
/proc/9722/stat : 9722 (pbclasp) S 9720 9722 8320 0 -1 4202496 2403 86443 0 0 3 0 179982 21 20 0 1 0 336873521 26615808 610 33554432000 4194304 4198148 140735772477760 140735772476688 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9722/statm: 6498 610 387 1 0 293 0
[pid=10503] ppid=9722 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10503/stat : 10503 (sh) S 9722 9722 8320 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 337053574 9367552 264 33554432000 4194304 5064252 140733574706704 140733574704960 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10503/statm: 2287 264 223 213 0 72 0
[pid=10506] ppid=10503 vsize=12620 CPUtime=1.97 cores=0,2,4,6
/proc/10506/stat : 10506 (clasp-1.0) R 10503 9722 8320 0 -1 4202496 2732 0 0 0 197 0 0 0 20 0 1 0 337053574 12922880 2629 33554432000 134512640 134847168 4289758704 4289757344 134783056 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10506/statm: 3155 2629 270 82 0 2396 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 47760
Child status: 0
Real time (s): 1802.52
CPU time (s): 1802.08
CPU user time (s): 1801.85
CPU system time (s): 0.231964
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 84372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.85
system time used= 0.231964
maximum resident set size= 47172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92353
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 626
involuntary context switches= 2671
runsolver used 4.90425 second user time and 17.2084 second system time
The end