runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491860-1307773089/watcher-3491860-1307773089 -o /tmp/evaluation-result-3491860-1307773089/solver-3491860-1307773089 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491860-1307773089.opb --solu --heu=VSIDS
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 1.94 2/177 11816
/proc/meminfo: memFree=31545896/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=3696 CPUtime=0 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 655 0 0 0 0 0 0 0 25 0 1 0 967539583 3784704 565 33554432000 4194304 6245536 140734338650944 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 924 566 201 501 0 420 0
[startup+0.053302 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 11816
/proc/meminfo: memFree=31545896/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=3828 CPUtime=0.05 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 733 0 0 0 5 0 0 0 25 0 1 0 967539583 3919872 643 33554432000 4194304 6245536 140734338650944 18446744073709551615 4397807 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 957 643 228 501 0 453 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3828
[startup+0.100295 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 11816
/proc/meminfo: memFree=31545896/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=4096 CPUtime=0.09 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 778 0 0 0 9 0 0 0 25 0 1 0 967539583 4194304 688 33554432000 4194304 6245536 140734338650944 18446744073709551615 4635125 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 1024 688 229 501 0 520 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4096
[startup+0.300255 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 11816
/proc/meminfo: memFree=31545896/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=4492 CPUtime=0.29 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 886 0 0 0 29 0 0 0 25 0 1 0 967539583 4599808 796 33554432000 4194304 6245536 140734338650944 18446744073709551615 4397867 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 1123 796 229 501 0 619 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4492
[startup+0.700186 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 11816
/proc/meminfo: memFree=31545896/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=4884 CPUtime=0.69 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 997 0 0 0 69 0 0 0 25 0 1 0 967539583 5001216 907 33554432000 4194304 6245536 140734338650944 18446744073709551615 4304903 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 1221 907 229 501 0 717 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4884
[startup+1.50103 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11817
/proc/meminfo: memFree=31542588/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=5556 CPUtime=1.49 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 1165 0 0 0 149 0 0 0 25 0 1 0 967539583 5689344 1075 33554432000 4194304 6245536 140734338650944 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 1389 1075 229 501 0 885 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5556
[startup+3.10074 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11817
/proc/meminfo: memFree=31541596/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=6352 CPUtime=3.09 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 1331 0 0 0 309 0 0 0 25 0 1 0 967539583 6504448 1241 33554432000 4194304 6245536 140734338650944 18446744073709551615 4304866 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 1588 1241 229 501 0 1084 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6352
[startup+6.30015 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11817
/proc/meminfo: memFree=31539148/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=7172 CPUtime=6.29 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 1530 0 0 0 629 0 0 0 25 0 1 0 967539583 7344128 1440 33554432000 4194304 6245536 140734338650944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 1793 1440 229 501 0 1289 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7172
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11817
/proc/meminfo: memFree=31533528/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=8132 CPUtime=12.69 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 1792 0 0 0 1269 0 0 0 25 0 1 0 967539583 8327168 1702 33554432000 4194304 6245536 140734338650944 18446744073709551615 4304800 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 2033 1702 229 501 0 1529 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8132
[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11817
/proc/meminfo: memFree=31528820/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=9560 CPUtime=25.49 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 2124 0 0 0 2549 0 0 0 25 0 1 0 967539583 9789440 2034 33554432000 4194304 6245536 140734338650944 18446744073709551615 4628157 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 2390 2034 229 501 0 1886 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9560
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11818
/proc/meminfo: memFree=31520416/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=11256 CPUtime=51.09 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 2511 0 0 0 5109 0 0 0 25 0 1 0 967539583 11526144 2421 33554432000 4194304 6245536 140734338650944 18446744073709551615 4409865 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 2814 2421 229 501 0 2310 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11256
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11820
/proc/meminfo: memFree=31509348/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=13700 CPUtime=102.3 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 3105 0 0 0 10230 0 0 0 25 0 1 0 967539583 14028800 3015 33554432000 4194304 6245536 140734338650944 18446744073709551615 4408672 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 3425 3015 229 501 0 2921 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 13700
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11821
/proc/meminfo: memFree=31500996/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=15448 CPUtime=162.29 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 3479 0 0 0 16229 0 0 0 25 0 1 0 967539583 15818752 3389 33554432000 4194304 6245536 140734338650944 18446744073709551615 4397867 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 3862 3389 229 501 0 3358 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15448
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11823
/proc/meminfo: memFree=31490784/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=15900 CPUtime=222.3 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 3620 0 0 0 22230 0 0 0 25 0 1 0 967539583 16281600 3530 33554432000 4194304 6245536 140734338650944 18446744073709551615 4408701 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 3975 3530 229 501 0 3471 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 15900
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11824
/proc/meminfo: memFree=31479716/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=16500 CPUtime=282.3 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 3755 0 0 0 28230 0 0 0 25 0 1 0 967539583 16896000 3665 33554432000 4194304 6245536 140734338650944 18446744073709551615 5419320 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 4125 3665 229 501 0 3621 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 16500
[startup+342.301 s]
/proc/loadavg: 2.08 2.02 1.95 3/178 11826
/proc/meminfo: memFree=31474600/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=17244 CPUtime=342.3 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 3965 0 0 0 34230 0 0 0 25 0 1 0 967539583 17657856 3872 33554432000 4194304 6245536 140734338650944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 4311 3872 229 501 0 3807 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 17244
[startup+402.301 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 11827
/proc/meminfo: memFree=31460164/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=17848 CPUtime=402.3 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4071 0 0 0 40230 0 0 0 25 0 1 0 967539583 18276352 3978 33554432000 4194304 6245536 140734338650944 18446744073709551615 4627920 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 4462 3978 229 501 0 3958 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 17848
[startup+462.301 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 11829
/proc/meminfo: memFree=31456892/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=18352 CPUtime=462.3 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4185 0 0 0 46230 0 0 0 25 0 1 0 967539583 18792448 4092 33554432000 4194304 6245536 140734338650944 18446744073709551615 4304794 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 4588 4092 229 501 0 4084 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 18352
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11831
/proc/meminfo: memFree=31454864/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=18688 CPUtime=522.3 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4268 0 0 0 52230 0 0 0 25 0 1 0 967539583 19136512 4175 33554432000 4194304 6245536 140734338650944 18446744073709551615 4304790 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 4672 4175 229 501 0 4168 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 18688
[startup+582.3 s]
/proc/loadavg: 2.06 2.01 1.95 3/178 11832
/proc/meminfo: memFree=31448492/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=19272 CPUtime=582.31 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4374 0 0 0 58231 0 0 0 25 0 1 0 967539583 19734528 4281 33554432000 4194304 6245536 140734338650944 18446744073709551615 4637756 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 4818 4281 229 501 0 4314 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 19272
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11839
/proc/meminfo: memFree=31433544/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=20116 CPUtime=822.31 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4561 0 0 0 82231 0 0 0 25 0 1 0 967539583 20598784 4468 33554432000 4194304 6245536 140734338650944 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5029 4468 229 501 0 4525 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 20116
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11840
/proc/meminfo: memFree=31429644/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=20284 CPUtime=882.32 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4620 0 0 0 88232 0 0 0 25 0 1 0 967539583 20770816 4527 33554432000 4194304 6245536 140734338650944 18446744073709551615 4629009 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5071 4527 229 501 0 4567 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 20284
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11842
/proc/meminfo: memFree=31425248/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=20284 CPUtime=942.32 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4623 0 0 0 94232 0 0 0 25 0 1 0 967539583 20770816 4530 33554432000 4194304 6245536 140734338650944 18446744073709551615 4408736 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5071 4530 229 501 0 4567 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 20284
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11843
/proc/meminfo: memFree=31421708/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=20452 CPUtime=1002.32 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4660 0 0 0 100232 0 0 0 25 0 1 0 967539583 20942848 4567 33554432000 4194304 6245536 140734338650944 18446744073709551615 4361731 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5113 4567 229 501 0 4609 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 20452
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11845
/proc/meminfo: memFree=31421284/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=20620 CPUtime=1062.32 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4699 0 0 0 106232 0 0 0 25 0 1 0 967539583 21114880 4606 33554432000 4194304 6245536 140734338650944 18446744073709551615 4608168 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5155 4606 229 501 0 4651 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 20620
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11847
/proc/meminfo: memFree=31414564/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=20620 CPUtime=1122.32 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4710 0 0 0 112232 0 0 0 25 0 1 0 967539583 21114880 4617 33554432000 4194304 6245536 140734338650944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5155 4617 229 501 0 4651 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 20620
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11848
/proc/meminfo: memFree=31413780/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=20960 CPUtime=1182.33 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4761 0 0 0 118233 0 0 0 25 0 1 0 967539583 21463040 4668 33554432000 4194304 6245536 140734338650944 18446744073709551615 4409090 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5240 4668 229 501 0 4736 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 20960
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11852
/proc/meminfo: memFree=31412000/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=21296 CPUtime=1242.33 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4827 0 0 0 124233 0 0 0 25 0 1 0 967539583 21807104 4734 33554432000 4194304 6245536 140734338650944 18446744073709551615 4304745 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5324 4734 229 501 0 4820 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 21296
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11855
/proc/meminfo: memFree=31409356/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=21296 CPUtime=1302.34 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4842 0 0 0 130234 0 0 0 25 0 1 0 967539583 21807104 4749 33554432000 4194304 6245536 140734338650944 18446744073709551615 4628839 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5324 4749 229 501 0 4820 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 21296
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11856
/proc/meminfo: memFree=31408696/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=21464 CPUtime=1362.33 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4872 0 0 0 136233 0 0 0 25 0 1 0 967539583 21979136 4779 33554432000 4194304 6245536 140734338650944 18446744073709551615 4408749 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5366 4779 229 501 0 4862 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 21464
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 1.96 3/178 11858
/proc/meminfo: memFree=31400732/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=21632 CPUtime=1422.34 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4910 0 0 0 142234 0 0 0 25 0 1 0 967539583 22151168 4817 33554432000 4194304 6245536 140734338650944 18446744073709551615 4304779 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5408 4817 229 501 0 4904 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 21632
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 11859
/proc/meminfo: memFree=31398692/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=21632 CPUtime=1482.34 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4913 0 0 0 148234 0 0 0 25 0 1 0 967539583 22151168 4820 33554432000 4194304 6245536 140734338650944 18446744073709551615 4623125 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5408 4820 229 501 0 4904 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 21632
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 11861
/proc/meminfo: memFree=31396064/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=21632 CPUtime=1542.34 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4916 0 0 0 154234 0 0 0 25 0 1 0 967539583 22151168 4823 33554432000 4194304 6245536 140734338650944 18446744073709551615 4635758 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5408 4823 229 501 0 4904 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 21632
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 11862
/proc/meminfo: memFree=31395896/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=21632 CPUtime=1602.34 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4927 0 0 0 160234 0 0 0 25 0 1 0 967539583 22151168 4834 33554432000 4194304 6245536 140734338650944 18446744073709551615 4649740 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5408 4834 229 501 0 4904 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 21632
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 11864
/proc/meminfo: memFree=31390276/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=21632 CPUtime=1662.34 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4939 0 0 0 166234 0 0 0 25 0 1 0 967539583 22151168 4846 33554432000 4194304 6245536 140734338650944 18446744073709551615 4628437 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5408 4846 229 501 0 4904 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 21632
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 11866
/proc/meminfo: memFree=31388884/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=21632 CPUtime=1722.34 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4941 0 0 0 172234 0 0 0 25 0 1 0 967539583 22151168 4848 33554432000 4194304 6245536 140734338650944 18446744073709551615 4635672 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5408 4848 229 501 0 4904 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 21632
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 11867
/proc/meminfo: memFree=31388844/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=21804 CPUtime=1782.35 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4967 0 0 0 178235 0 0 0 25 0 1 0 967539583 22327296 4874 33554432000 4194304 6245536 140734338650944 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5451 4874 229 501 0 4947 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 21804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 11983
/proc/meminfo: memFree=31581696/32950928 swapFree=67051096/67111528
[pid=11816] ppid=11814 vsize=21804 CPUtime=1800.05 cores=1,3,5,7
/proc/11816/stat : 11816 (clasp) R 11814 11816 6496 0 -1 4202496 4967 0 0 0 180005 0 0 0 25 0 1 0 967539583 22327296 4874 33554432000 4194304 6245536 140734338650944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11816/statm: 5451 4874 229 501 0 4947 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 21804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1800.06
CPU system time (s): 0.010998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 21804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4979
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2497
runsolver used 2.47262 second user time and 5.71813 second system time
The end