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-3732251-1338704815/watcher-3732251-1338704815 -o /tmp/evaluation-result-3732251-1338704815/solver-3732251-1338704815 -C 1800 -W 1900 -M 15500 pbclasp instance-3732251-1338704815.opb HOME/temp
running on 4 cores: 1,3,5,7
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/180 2627
/proc/meminfo: memFree=28237328/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) R 2625 2627 2078 0 -1 4202496 524 0 0 0 0 0 0 0 20 0 1 0 336606888 26206208 455 33554432000 4194304 4198148 140733542641088 140733542638536 273588653972 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6398 456 345 1 0 193 0
[startup+0.032192 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2627
/proc/meminfo: memFree=28237328/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26012 CPUtime=0.02 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) R 2625 2627 2078 0 -1 4202496 660 0 0 0 2 0 0 0 20 0 1 0 336606888 26636288 591 33554432000 4194304 4198148 140733542641088 140733542638536 273601408712 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6503 591 361 1 0 298 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26012
[startup+0.100213 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2627
/proc/meminfo: memFree=28237328/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26288 CPUtime=0.04 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 753 0 0 0 4 0 0 0 20 0 1 0 336606888 26918912 666 33554432000 4194304 4198148 140733542641088 140733542639976 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6572 666 368 1 0 367 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26288
[startup+0.300185 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2627
/proc/meminfo: memFree=28237328/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.28 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) R 2625 2627 2078 0 -1 4202496 1002 3542 0 0 5 0 23 0 20 0 1 0 336606888 27189248 740 33554432000 4194304 4198148 140733542641088 140733542640016 273601535151 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 740 387 1 0 433 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 26552
[startup+0.700169 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2627
/proc/meminfo: memFree=28237328/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.45 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1324 7723 0 0 5 0 39 1 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 26552
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2661
/proc/meminfo: memFree=28232336/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=10048 CPUtime=0.75 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 2077 0 0 0 75 0 0 0 20 0 1 0 336606962 10289152 1974 33554432000 134512640 134847168 4293437056 4293435900 134740921 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 2512 1974 270 82 0 1753 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 45748
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2661
/proc/meminfo: memFree=28226648/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=12132 CPUtime=2.34 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 2606 0 0 0 234 0 0 0 20 0 1 0 336606962 12423168 2503 33554432000 134512640 134847168 4293437056 4293435676 134789696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 3033 2503 270 82 0 2274 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 47832
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2661
/proc/meminfo: memFree=28223928/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=14728 CPUtime=5.54 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 3263 0 0 0 554 0 0 0 20 0 1 0 336606962 15081472 3160 33554432000 134512640 134847168 4293437056 4293435740 134616169 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 3682 3160 270 82 0 2923 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 50428
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2661
/proc/meminfo: memFree=28221332/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=15884 CPUtime=11.95 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 3571 0 0 0 1194 1 0 0 20 0 1 0 336606962 16265216 3460 33554432000 134512640 134847168 4293437056 4293435680 134784576 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 3971 3460 270 82 0 3212 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 51584
[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 2662
/proc/meminfo: memFree=28218424/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=18884 CPUtime=24.74 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 4305 0 0 0 2473 1 0 0 20 0 1 0 336606962 19337216 4196 33554432000 134512640 134847168 4293437056 4293435752 134778646 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 4721 4196 270 82 0 3962 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 54584
[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 2662
/proc/meminfo: memFree=28214080/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=21956 CPUtime=50.33 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 5127 0 0 0 5032 1 0 0 20 0 1 0 336606962 22482944 4974 33554432000 134512640 134847168 4293437056 4293435776 134741346 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 5489 4974 270 82 0 4730 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 57656
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 2662
/proc/meminfo: memFree=28211408/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=24420 CPUtime=101.53 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 5780 0 0 0 10152 1 0 0 20 0 1 0 336606962 25006080 5581 33554432000 134512640 134847168 4293437056 4293435760 134616633 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 6105 5581 270 82 0 5346 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 60120
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2662
/proc/meminfo: memFree=28208368/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=26772 CPUtime=161.51 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 6403 0 0 0 16150 1 0 0 20 0 1 0 336606962 27414528 6191 33554432000 134512640 134847168 4293437056 4293435748 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 6693 6191 270 82 0 5934 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 62472
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2665
/proc/meminfo: memFree=28205132/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=29572 CPUtime=221.49 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 7146 0 0 0 22148 1 0 0 20 0 1 0 336606962 30281728 6891 33554432000 134512640 134847168 4293437056 4293435696 134777412 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 7393 6891 270 82 0 6634 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 65272
[startup+282.3 s]
################
# More data... #
################
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=43944 CPUtime=1301.32 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 15764 0 0 0 130128 4 0 0 20 0 1 0 336606962 44998656 10484 33554432000 134512640 134847168 4293437056 4293435696 134715308 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 10986 10484 270 82 0 10227 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 79644
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2682
/proc/meminfo: memFree=28187824/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=44112 CPUtime=1361.31 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 15833 0 0 0 136127 4 0 0 20 0 1 0 336606962 45170688 10500 33554432000 134512640 134847168 4293437056 4293435696 134715308 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 11028 10500 270 82 0 10269 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 79812
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2685
/proc/meminfo: memFree=28186636/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=44112 CPUtime=1421.3 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 15881 0 0 0 142126 4 0 0 20 0 1 0 336606962 45170688 10526 33554432000 134512640 134847168 4293437056 4293435680 134784656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 11028 10526 270 82 0 10269 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 79812
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2685
/proc/meminfo: memFree=28186768/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=44112 CPUtime=1481.29 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 15894 0 0 0 148125 4 0 0 20 0 1 0 336606962 45170688 10526 33554432000 134512640 134847168 4293437056 4293435748 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 11028 10526 270 82 0 10269 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 79812
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 2685
/proc/meminfo: memFree=28186280/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=44332 CPUtime=1541.28 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 16004 0 0 0 154124 4 0 0 20 0 1 0 336606962 45395968 10581 33554432000 134512640 134847168 4293437056 4293435696 134715276 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 11083 10581 270 82 0 10324 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 80032
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2686
/proc/meminfo: memFree=28186520/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=44464 CPUtime=1601.27 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 16054 0 0 0 160123 4 0 0 20 0 1 0 336606962 45531136 10610 33554432000 134512640 134847168 4293437056 4293435740 134789696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 11116 10610 270 82 0 10357 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 80164
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2686
/proc/meminfo: memFree=28183356/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=47776 CPUtime=1661.26 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 16888 0 0 0 166121 5 0 0 20 0 1 0 336606962 48922624 11417 33554432000 134512640 134847168 4293437056 4293435760 134616592 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 11944 11417 270 82 0 11185 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 83476
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2686
/proc/meminfo: memFree=28182672/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=0.62 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1493 10572 0 0 6 0 54 2 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2659] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2659/stat : 2659 (sh) S 2627 2627 2078 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 336606962 9367552 264 33554432000 4194304 5064252 140734784014112 140734784012368 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2659/statm: 2287 264 223 213 0 72 0
[pid=2661] ppid=2659 vsize=47884 CPUtime=1721.25 cores=1,3,5,7
/proc/2661/stat : 2661 (clasp-1.0) R 2659 2627 2078 0 -1 4202496 16930 0 0 0 172120 5 0 0 20 0 1 0 336606962 49033216 11466 33554432000 134512640 134847168 4293437056 4293435740 134789696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2661/statm: 11971 11466 270 82 0 11212 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 83584
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2794
/proc/meminfo: memFree=28219336/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=1770.08 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1603 29817 0 0 6 0 176994 8 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2703] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2703/stat : 2703 (sh) S 2627 2627 2078 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336783939 9367552 263 33554432000 4194304 5064252 140736457876080 140736457874336 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2703/statm: 2287 263 223 213 0 72 0
[pid=2705] ppid=2703 vsize=15884 CPUtime=11.78 cores=1,3,5,7
/proc/2705/stat : 2705 (clasp-1.0) R 2703 2627 2078 0 -1 4202496 3575 0 0 0 1178 0 0 0 20 0 1 0 336783939 16265216 3470 33554432000 134512640 134847168 4292304880 4292303504 134784651 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2705/statm: 3971 3470 270 82 0 3212 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 51584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2794
/proc/meminfo: memFree=28214624/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=1770.08 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1603 29817 0 0 6 0 176994 8 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2703] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2703/stat : 2703 (sh) S 2627 2627 2078 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336783939 9367552 263 33554432000 4194304 5064252 140736457876080 140736457874336 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2703/statm: 2287 263 223 213 0 72 0
[pid=2705] ppid=2703 vsize=20048 CPUtime=29.97 cores=1,3,5,7
/proc/2705/stat : 2705 (clasp-1.0) R 2703 2627 2078 0 -1 4202496 4596 0 0 0 2997 0 0 0 20 0 1 0 336783939 20529152 4491 33554432000 134512640 134847168 4292304880 4292303332 134790217 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2705/statm: 5012 4491 270 82 0 4253 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 55748
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2794
/proc/meminfo: memFree=28214624/32873844 swapFree=7112/7112
[pid=2627] ppid=2625 vsize=26552 CPUtime=1770.08 cores=1,3,5,7
/proc/2627/stat : 2627 (pbclasp) S 2625 2627 2078 0 -1 4202496 1603 29817 0 0 6 0 176994 8 20 0 1 0 336606888 27189248 743 33554432000 4194304 4198148 140733542641088 140733542640016 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2627/statm: 6638 743 387 1 0 433 0
[pid=2703] ppid=2627 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2703/stat : 2703 (sh) S 2627 2627 2078 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 336783939 9367552 263 33554432000 4194304 5064252 140736457876080 140736457874336 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2703/statm: 2287 263 223 213 0 72 0
[pid=2705] ppid=2703 vsize=20048 CPUtime=29.97 cores=1,3,5,7
/proc/2705/stat : 2705 (clasp-1.0) R 2703 2627 2078 0 -1 4202496 4596 0 0 0 2997 0 0 0 20 0 1 0 336783939 20529152 4491 33554432000 134512640 134847168 4292304880 4292303332 134790217 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2705/statm: 5012 4491 270 82 0 4253 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 55748
Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.11
CPU user time (s): 1799.99
CPU system time (s): 0.114982
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 83872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.114982
maximum resident set size= 46056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40340
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 374
involuntary context switches= 2694
runsolver used 3.32949 second user time and 9.8855 second system time
The end