runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3469358-1307093347/watcher-3469358-1307093347 -o /tmp/evaluation-result-3469358-1307093347/solver-3469358-1307093347 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469358-1307093347.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: 0.92 1.01 1.27 2/415 352
/proc/meminfo: memFree=26004720/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=12304 CPUtime=0 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 369 0 0 0 0 0 0 0 25 0 1 0 276944081 12599296 310 33554432000 4194304 4933572 140735372208688 18446744073709551615 218880254384 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/352/statm: 3076 313 271 181 0 85 0
[startup+0.0563479 s]
/proc/loadavg: 0.92 1.01 1.27 2/415 352
/proc/meminfo: memFree=26004720/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=21576 CPUtime=0.05 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 3213 0 0 0 5 0 0 0 25 0 1 0 276944081 22093824 2646 33554432000 4194304 4933572 140735372208688 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 5394 2647 340 181 0 2403 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21576
[startup+0.100341 s]
/proc/loadavg: 0.92 1.01 1.27 2/415 352
/proc/meminfo: memFree=26004720/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=22184 CPUtime=0.09 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 3686 0 0 0 9 0 0 0 25 0 1 0 276944081 22716416 2868 33554432000 4194304 4933572 140735372208688 18446744073709551615 4342162 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 5546 2868 367 181 0 2555 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22184
[startup+0.300303 s]
/proc/loadavg: 0.92 1.01 1.27 2/415 352
/proc/meminfo: memFree=26004720/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=22184 CPUtime=0.29 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 3698 0 0 0 29 0 0 0 25 0 1 0 276944081 22716416 2880 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 5546 2880 374 181 0 2555 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22184
[startup+0.700233 s]
/proc/loadavg: 0.92 1.01 1.27 2/415 352
/proc/meminfo: memFree=26004720/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=23108 CPUtime=0.69 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 3937 0 0 0 69 0 0 0 25 0 1 0 276944081 23662592 3119 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 5777 3119 374 181 0 2786 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23108
[startup+1.50109 s]
/proc/loadavg: 1.01 1.02 1.28 3/416 353
/proc/meminfo: memFree=25992312/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=24376 CPUtime=1.49 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 4230 0 0 0 149 0 0 0 25 0 1 0 276944081 24961024 3412 33554432000 4194304 4933572 140735372208688 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 6094 3412 374 181 0 3103 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24376
[startup+3.10082 s]
/proc/loadavg: 1.01 1.02 1.28 3/416 353
/proc/meminfo: memFree=25990328/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=26092 CPUtime=3.09 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 4667 0 0 0 309 0 0 0 25 0 1 0 276944081 26718208 3849 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 6523 3849 374 181 0 3532 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26092
[startup+6.30026 s]
/proc/loadavg: 1.01 1.02 1.28 3/416 353
/proc/meminfo: memFree=25987724/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=28508 CPUtime=6.29 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 5258 0 0 0 629 0 0 0 25 0 1 0 276944081 29192192 4440 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649386 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 7127 4440 374 181 0 4136 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28508
[startup+12.7011 s]
/proc/loadavg: 1.16 1.06 1.28 3/416 354
/proc/meminfo: memFree=25981336/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=31472 CPUtime=12.69 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 5993 0 0 0 1269 0 0 0 25 0 1 0 276944081 32227328 5175 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 7868 5175 374 181 0 4877 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31472
[startup+25.5009 s]
/proc/loadavg: 1.29 1.09 1.29 3/416 354
/proc/meminfo: memFree=25973636/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=35792 CPUtime=25.49 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 7010 0 0 0 2549 0 0 0 25 0 1 0 276944081 36651008 6192 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 8948 6192 374 181 0 5957 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35792
[startup+51.1004 s]
/proc/loadavg: 1.57 1.17 1.31 3/416 355
/proc/meminfo: memFree=25963812/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=41008 CPUtime=51.09 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 8248 0 0 0 5108 1 0 0 25 0 1 0 276944081 41992192 7430 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 10252 7430 374 181 0 7261 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41008
[startup+102.315 s]
/proc/loadavg: 1.81 1.30 1.34 3/416 356
/proc/meminfo: memFree=25948424/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=47984 CPUtime=102.3 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 9864 0 0 0 10229 1 0 0 25 0 1 0 276944081 49135616 9046 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 11996 9046 374 181 0 9005 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 47984
[startup+162.301 s]
/proc/loadavg: 1.93 1.42 1.38 3/416 358
/proc/meminfo: memFree=25934644/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=53980 CPUtime=162.29 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 11202 0 0 0 16228 1 0 0 25 0 1 0 276944081 55275520 10384 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 13495 10384 374 181 0 10504 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 53980
[startup+222.3 s]
/proc/loadavg: 1.97 1.52 1.42 3/416 359
/proc/meminfo: memFree=25926080/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=59108 CPUtime=222.3 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 12346 0 0 0 22228 2 0 0 25 0 1 0 276944081 60526592 11528 33554432000 4194304 4933572 140735372208688 18446744073709551615 4319441 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 14777 11528 374 181 0 11786 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 59108
[startup+282.301 s]
/proc/loadavg: 2.07 1.62 1.46 3/416 361
/proc/meminfo: memFree=25916756/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=63960 CPUtime=282.3 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 13448 0 0 0 28228 2 0 0 25 0 1 0 276944081 65495040 12630 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 15990 12630 374 181 0 12999 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 63960
[startup+342.3 s]
/proc/loadavg: 2.02 1.69 1.49 3/416 363
/proc/meminfo: memFree=25907824/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=68132 CPUtime=342.29 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 14392 0 0 0 34227 2 0 0 25 0 1 0 276944081 69767168 13574 33554432000 4194304 4933572 140735372208688 18446744073709551615 4319422 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 17033 13574 374 181 0 14042 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 68132
[startup+402.301 s]
/proc/loadavg: 2.01 1.74 1.52 3/416 364
/proc/meminfo: memFree=25901236/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=72876 CPUtime=402.29 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 15481 0 0 0 40227 2 0 0 25 0 1 0 276944081 74625024 14663 33554432000 4194304 4933572 140735372208688 18446744073709551615 4428002 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 18219 14663 374 181 0 15228 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 72876
[startup+462.301 s]
/proc/loadavg: 2.00 1.79 1.55 3/416 366
/proc/meminfo: memFree=25898500/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=75344 CPUtime=462.29 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 16052 0 0 0 46227 2 0 0 25 0 1 0 276944081 77152256 15234 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 18836 15234 374 181 0 15845 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 75344
[startup+522.3 s]
/proc/loadavg: 2.08 1.85 1.58 3/416 367
/proc/meminfo: memFree=25892284/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=77536 CPUtime=522.3 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 16530 0 0 0 52227 3 0 0 25 0 1 0 276944081 79396864 15712 33554432000 4194304 4933572 140735372208688 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 19384 15712 374 181 0 16393 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 77536
[startup+582.301 s]
/proc/loadavg: 2.07 1.89 1.61 3/416 369
/proc/meminfo: memFree=25887436/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=80092 CPUtime=582.3 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 17116 0 0 0 58227 3 0 0 25 0 1 0 276944081 82014208 16298 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 20023 16298 374 181 0 17032 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 80092
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.94 1.69 3/416 375
/proc/meminfo: memFree=25872992/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=87320 CPUtime=822.3 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 18723 0 0 0 82227 3 0 0 25 0 1 0 276944081 89415680 17905 33554432000 4194304 4933572 140735372208688 18446744073709551615 4414944 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 21830 17905 374 181 0 18839 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 87320
[startup+882.301 s]
/proc/loadavg: 2.04 1.97 1.71 3/416 377
/proc/meminfo: memFree=25869884/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=89448 CPUtime=882.3 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 19191 0 0 0 88227 3 0 0 25 0 1 0 276944081 91594752 18373 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 22362 18373 374 181 0 19371 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 89448
[startup+942.3 s]
/proc/loadavg: 2.01 1.97 1.73 3/416 379
/proc/meminfo: memFree=25866152/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=92456 CPUtime=942.3 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 19867 0 0 0 94227 3 0 0 25 0 1 0 276944081 94674944 19049 33554432000 4194304 4933572 140735372208688 18446744073709551615 4632847 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 23114 19049 374 181 0 20123 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 92456
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/416 380
/proc/meminfo: memFree=25862536/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=95484 CPUtime=1002.3 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 20540 0 0 0 100227 3 0 0 25 0 1 0 276944081 97775616 19722 33554432000 4194304 4933572 140735372208688 18446744073709551615 4428397 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 23871 19722 374 181 0 20880 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 95484
[startup+1062.3 s]
/proc/loadavg: 2.11 2.00 1.76 3/416 382
/proc/meminfo: memFree=25861412/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=96840 CPUtime=1062.3 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 20839 0 0 0 106227 3 0 0 25 0 1 0 276944081 99164160 20021 33554432000 4194304 4933572 140735372208688 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 24210 20021 374 181 0 21219 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 96840
[startup+1122.3 s]
/proc/loadavg: 2.09 2.01 1.78 3/416 383
/proc/meminfo: memFree=25860152/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=97728 CPUtime=1122.31 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 21058 0 0 0 112227 4 0 0 25 0 1 0 276944081 100073472 20240 33554432000 4194304 4933572 140735372208688 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 24432 20240 374 181 0 21441 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 97728
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.79 3/416 385
/proc/meminfo: memFree=25855924/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=98200 CPUtime=1182.32 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 21164 0 0 0 118228 4 0 0 25 0 1 0 276944081 100556800 20346 33554432000 4194304 4933572 140735372208688 18446744073709551615 4428981 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 24550 20346 374 181 0 21559 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 98200
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.80 3/416 387
/proc/meminfo: memFree=25853436/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=99468 CPUtime=1242.32 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 21431 0 0 0 124228 4 0 0 25 0 1 0 276944081 101855232 20613 33554432000 4194304 4933572 140735372208688 18446744073709551615 4428002 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 24867 20613 374 181 0 21876 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 99468
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/416 388
/proc/meminfo: memFree=25849204/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=100580 CPUtime=1302.32 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 21721 0 0 0 130228 4 0 0 25 0 1 0 276944081 102993920 20903 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 25145 20903 374 181 0 22154 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 100580
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/416 390
/proc/meminfo: memFree=25850308/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=100580 CPUtime=1362.32 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 21735 0 0 0 136228 4 0 0 25 0 1 0 276944081 102993920 20917 33554432000 4194304 4933572 140735372208688 18446744073709551615 4319270 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 25145 20917 374 181 0 22154 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 100580
[startup+1422.32 s]
/proc/loadavg: 2.06 2.01 1.83 3/416 391
/proc/meminfo: memFree=25847072/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=103928 CPUtime=1422.33 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 22473 0 0 0 142229 4 0 0 25 0 1 0 276944081 106422272 21655 33554432000 4194304 4933572 140735372208688 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 25982 21655 374 181 0 22991 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 103928
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.84 3/416 393
/proc/meminfo: memFree=25846072/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=104972 CPUtime=1482.32 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 22733 0 0 0 148228 4 0 0 25 0 1 0 276944081 107491328 21915 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 26243 21915 374 181 0 23252 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 104972
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/416 395
/proc/meminfo: memFree=25843948/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=106416 CPUtime=1542.32 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 23056 0 0 0 154228 4 0 0 25 0 1 0 276944081 108969984 22238 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 26604 22238 374 181 0 23613 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 106416
[startup+1602.3 s]
/proc/loadavg: 2.16 2.03 1.86 3/416 396
/proc/meminfo: memFree=25840832/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=107112 CPUtime=1602.32 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 23210 0 0 0 160228 4 0 0 25 0 1 0 276944081 109682688 22392 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 26778 22392 374 181 0 23787 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 107112
[startup+1662.3 s]
/proc/loadavg: 2.13 2.04 1.87 3/416 398
/proc/meminfo: memFree=25840080/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=107616 CPUtime=1662.33 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 23326 0 0 0 166229 4 0 0 25 0 1 0 276944081 110198784 22508 33554432000 4194304 4933572 140735372208688 18446744073709551615 4625222 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 26904 22508 374 181 0 23913 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 107616
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 1.88 3/416 399
/proc/meminfo: memFree=25838080/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=109072 CPUtime=1722.33 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 23642 0 0 0 172229 4 0 0 25 0 1 0 276944081 111689728 22824 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 27268 22824 374 181 0 24277 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 109072
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.88 3/416 401
/proc/meminfo: memFree=25835464/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=110208 CPUtime=1782.33 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 23889 0 0 0 178229 4 0 0 25 0 1 0 276944081 112852992 23071 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649377 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 27552 23071 374 181 0 24561 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 110208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.02 1.89 2/414 402
/proc/meminfo: memFree=25944596/32950928 swapFree=52006644/67111528
[pid=352] ppid=350 vsize=110684 CPUtime=1800.03 cores=1,3,5,7
/proc/352/stat : 352 (clasp) R 350 352 32638 0 -1 4202496 23996 0 0 0 179999 4 0 0 25 0 1 0 276944081 113340416 23178 33554432000 4194304 4933572 140735372208688 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/352/statm: 27671 23178 374 181 0 24680 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 110684
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.02
CPU time (s): 1800.05
CPU user time (s): 1800.01
CPU system time (s): 0.046992
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 110684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.046992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24006
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= 5
involuntary context switches= 4680
runsolver used 7.03393 second user time and 16.8724 second system time
The end