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-3468919-1307119803/watcher-3468919-1307119803 -o /tmp/evaluation-result-3468919-1307119803/solver-3468919-1307119803 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468919-1307119803.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
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: 1.07 1.59 1.83 2/443 16477
/proc/meminfo: memFree=29949124/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=15300 CPUtime=0 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 1272 0 0 0 0 0 0 0 25 0 1 0 902210993 15667200 1116 33554432000 4194304 4933572 140734268628768 18446744073709551615 231895490304 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 3825 1116 333 181 0 834 0
[startup+0.083059 s]
/proc/loadavg: 1.07 1.59 1.83 2/443 16477
/proc/meminfo: memFree=29949124/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=17404 CPUtime=0.07 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 2219 0 0 0 7 0 0 0 25 0 1 0 902210993 17821696 1665 33554432000 4194304 4933572 140734268628768 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 4351 1665 373 181 0 1360 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17404
[startup+0.10105 s]
/proc/loadavg: 1.07 1.59 1.83 2/443 16477
/proc/meminfo: memFree=29949124/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=17404 CPUtime=0.09 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 2219 0 0 0 9 0 0 0 25 0 1 0 902210993 17821696 1665 33554432000 4194304 4933572 140734268628768 18446744073709551615 4637414 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 4351 1665 373 181 0 1360 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17404
[startup+0.301023 s]
/proc/loadavg: 1.07 1.59 1.83 2/443 16477
/proc/meminfo: memFree=29949124/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=17404 CPUtime=0.29 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 2221 0 0 0 29 0 0 0 25 0 1 0 902210993 17821696 1667 33554432000 4194304 4933572 140734268628768 18446744073709551615 4637473 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 4351 1667 375 181 0 1360 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17404
[startup+0.700933 s]
/proc/loadavg: 1.07 1.59 1.83 2/443 16477
/proc/meminfo: memFree=29949124/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=17404 CPUtime=0.69 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 2221 0 0 0 69 0 0 0 25 0 1 0 902210993 17821696 1667 33554432000 4194304 4933572 140734268628768 18446744073709551615 4718636 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 4351 1667 375 181 0 1360 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17404
[startup+1.5008 s]
/proc/loadavg: 1.07 1.59 1.83 3/444 16505
/proc/meminfo: memFree=29941860/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=17404 CPUtime=1.49 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 2246 0 0 0 149 0 0 0 25 0 1 0 902210993 17821696 1692 33554432000 4194304 4933572 140734268628768 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 4351 1692 375 181 0 1360 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17404
[startup+3.10049 s]
/proc/loadavg: 1.07 1.59 1.83 3/444 16505
/proc/meminfo: memFree=29939892/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=18064 CPUtime=3.09 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 2410 0 0 0 309 0 0 0 25 0 1 0 902210993 18497536 1856 33554432000 4194304 4933572 140734268628768 18446744073709551615 4632837 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 4516 1856 375 181 0 1525 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18064
[startup+6.30089 s]
/proc/loadavg: 1.14 1.60 1.83 2/439 16738
/proc/meminfo: memFree=29945012/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=19120 CPUtime=6.29 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 2669 0 0 0 629 0 0 0 25 0 1 0 902210993 19578880 2115 33554432000 4194304 4933572 140734268628768 18446744073709551615 4649211 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 4780 2115 375 181 0 1789 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19120
[startup+12.7007 s]
/proc/loadavg: 1.21 1.60 1.83 3/444 16910
/proc/meminfo: memFree=29920088/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=19916 CPUtime=12.69 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 2881 0 0 0 1269 0 0 0 25 0 1 0 902210993 20393984 2327 33554432000 4194304 4933572 140734268628768 18446744073709551615 4718636 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 4979 2327 375 181 0 1988 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19916
[startup+25.5003 s]
/proc/loadavg: 1.46 1.64 1.84 3/441 17022
/proc/meminfo: memFree=29932440/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=21660 CPUtime=25.49 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 3301 0 0 0 2549 0 0 0 25 0 1 0 902210993 22179840 2747 33554432000 4194304 4933572 140734268628768 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 5415 2747 375 181 0 2424 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21660
[startup+51.1005 s]
/proc/loadavg: 1.64 1.67 1.84 3/444 17100
/proc/meminfo: memFree=29891968/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=24276 CPUtime=51.09 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 3965 0 0 0 5109 0 0 0 25 0 1 0 902210993 24858624 3411 33554432000 4194304 4933572 140734268628768 18446744073709551615 4637859 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 6069 3411 375 181 0 3078 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24276
[startup+102.317 s]
/proc/loadavg: 1.84 1.72 1.85 3/444 17102
/proc/meminfo: memFree=29889256/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=26600 CPUtime=102.31 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 4519 0 0 0 10231 0 0 0 25 0 1 0 902210993 27238400 3965 33554432000 4194304 4933572 140734268628768 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 6650 3965 375 181 0 3659 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 26600
[startup+162.301 s]
/proc/loadavg: 1.94 1.77 1.85 3/444 17103
/proc/meminfo: memFree=29876692/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=30732 CPUtime=162.29 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 5553 0 0 0 16229 0 0 0 25 0 1 0 902210993 31469568 4999 33554432000 4194304 4933572 140734268628768 18446744073709551615 4649413 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 7683 4999 375 181 0 4692 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 30732
[startup+222.3 s]
/proc/loadavg: 1.98 1.80 1.86 3/444 17105
/proc/meminfo: memFree=29868720/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=32600 CPUtime=222.29 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 6031 0 0 0 22229 0 0 0 25 0 1 0 902210993 33382400 5477 33554432000 4194304 4933572 140734268628768 18446744073709551615 4718512 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 8150 5477 377 181 0 5159 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 32600
[startup+282.301 s]
/proc/loadavg: 2.12 1.87 1.87 3/444 17106
/proc/meminfo: memFree=29865920/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=35364 CPUtime=282.29 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 6699 0 0 0 28229 0 0 0 25 0 1 0 902210993 36212736 6145 33554432000 4194304 4933572 140734268628768 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 8841 6145 377 181 0 5850 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 35364
[startup+342.301 s]
/proc/loadavg: 2.04 1.89 1.88 3/444 17108
/proc/meminfo: memFree=29863524/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=37248 CPUtime=342.3 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 7159 0 0 0 34230 0 0 0 25 0 1 0 902210993 38141952 6605 33554432000 4194304 4933572 140734268628768 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 9312 6605 377 181 0 6321 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 37248
[startup+402.3 s]
/proc/loadavg: 2.01 1.91 1.89 3/444 17110
/proc/meminfo: memFree=29857284/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=39696 CPUtime=402.3 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 7761 0 0 0 40230 0 0 0 25 0 1 0 902210993 40648704 7207 33554432000 4194304 4933572 140734268628768 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 9924 7207 377 181 0 6933 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 39696
[startup+462.301 s]
/proc/loadavg: 2.00 1.92 1.89 3/444 17111
/proc/meminfo: memFree=29854768/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=40792 CPUtime=462.31 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 8046 0 0 0 46230 1 0 0 25 0 1 0 902210993 41771008 7492 33554432000 4194304 4933572 140734268628768 18446744073709551615 4648648 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 10198 7492 377 181 0 7207 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 40792
[startup+522.301 s]
/proc/loadavg: 2.00 1.93 1.90 3/444 17113
/proc/meminfo: memFree=29849140/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=41256 CPUtime=522.31 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 8124 0 0 0 52230 1 0 0 25 0 1 0 902210993 42246144 7570 33554432000 4194304 4933572 140734268628768 18446744073709551615 4648965 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 10314 7570 377 181 0 7323 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 41256
[startup+582.3 s]
/proc/loadavg: 2.00 1.94 1.90 3/444 17114
/proc/meminfo: memFree=29845248/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=41948 CPUtime=582.31 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 8319 0 0 0 58230 1 0 0 25 0 1 0 902210993 42954752 7765 33554432000 4194304 4933572 140734268628768 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 10487 7765 377 181 0 7496 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 41948
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.11 2.01 1.93 3/444 17130
/proc/meminfo: memFree=29834572/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=46332 CPUtime=822.32 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 9333 0 0 0 82231 1 0 0 25 0 1 0 902210993 47443968 8779 33554432000 4194304 4933572 140734268628768 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 11583 8779 377 181 0 8592 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 46332
[startup+882.301 s]
/proc/loadavg: 2.11 2.03 1.94 3/444 17131
/proc/meminfo: memFree=29832892/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=46772 CPUtime=882.32 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 9455 0 0 0 88231 1 0 0 25 0 1 0 902210993 47894528 8901 33554432000 4194304 4933572 140734268628768 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 11693 8901 377 181 0 8702 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 46772
[startup+942.301 s]
/proc/loadavg: 2.04 2.02 1.94 3/444 17133
/proc/meminfo: memFree=29831748/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=47520 CPUtime=942.32 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 9629 0 0 0 94231 1 0 0 25 0 1 0 902210993 48660480 9075 33554432000 4194304 4933572 140734268628768 18446744073709551615 4649493 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 11880 9075 377 181 0 8889 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 47520
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/444 17135
/proc/meminfo: memFree=29825996/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=49296 CPUtime=1002.32 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 10051 0 0 0 100231 1 0 0 25 0 1 0 902210993 50479104 9497 33554432000 4194304 4933572 140734268628768 18446744073709551615 4649730 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 12324 9497 377 181 0 9333 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 49296
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/444 17136
/proc/meminfo: memFree=29822972/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=49856 CPUtime=1062.33 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 10177 0 0 0 106232 1 0 0 25 0 1 0 902210993 51052544 9623 33554432000 4194304 4933572 140734268628768 18446744073709551615 4718537 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 12464 9623 377 181 0 9473 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 49856
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/444 17138
/proc/meminfo: memFree=29821068/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=51396 CPUtime=1122.33 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 10544 0 0 0 112232 1 0 0 25 0 1 0 902210993 52629504 9990 33554432000 4194304 4933572 140734268628768 18446744073709551615 4719019 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 12849 9990 377 181 0 9858 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 51396
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/444 17139
/proc/meminfo: memFree=29815428/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=52076 CPUtime=1182.33 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 10710 0 0 0 118232 1 0 0 25 0 1 0 902210993 53325824 10156 33554432000 4194304 4933572 140734268628768 18446744073709551615 4649586 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 13019 10156 377 181 0 10028 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 52076
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/444 17141
/proc/meminfo: memFree=29814276/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=52428 CPUtime=1242.33 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 10805 0 0 0 124232 1 0 0 25 0 1 0 902210993 53686272 10251 33554432000 4194304 4933572 140734268628768 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 13107 10251 377 181 0 10116 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 52428
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/444 17143
/proc/meminfo: memFree=29814344/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=53160 CPUtime=1302.34 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 10944 0 0 0 130233 1 0 0 25 0 1 0 902210993 54435840 10390 33554432000 4194304 4933572 140734268628768 18446744073709551615 4718572 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 13290 10390 377 181 0 10299 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 53160
[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 1.95 3/444 17144
/proc/meminfo: memFree=29813548/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=53568 CPUtime=1362.33 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 11055 0 0 0 136232 1 0 0 25 0 1 0 902210993 54853632 10501 33554432000 4194304 4933572 140734268628768 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 13392 10501 377 181 0 10401 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 53568
[startup+1422.32 s]
/proc/loadavg: 2.04 2.02 1.95 3/444 17146
/proc/meminfo: memFree=29808308/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=54180 CPUtime=1422.35 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 11214 0 0 0 142234 1 0 0 25 0 1 0 902210993 55480320 10660 33554432000 4194304 4933572 140734268628768 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/16477/statm: 13545 10660 377 181 0 10554 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 54180
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/444 17147
/proc/meminfo: memFree=29807260/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=54960 CPUtime=1482.31 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 11363 0 0 0 148230 1 0 0 25 0 1 0 902210993 56279040 10809 33554432000 4194304 4933572 140734268628768 18446744073709551615 4648652 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/16477/statm: 13740 10809 377 181 0 10749 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 54960
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/444 17149
/proc/meminfo: memFree=29804492/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=56980 CPUtime=1542.31 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 11859 0 0 0 154230 1 0 0 25 0 1 0 902210993 58347520 11305 33554432000 4194304 4933572 140734268628768 18446744073709551615 4319335 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/16477/statm: 14245 11305 377 181 0 11254 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 56980
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/444 17151
/proc/meminfo: memFree=29803928/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=57380 CPUtime=1602.32 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 11953 0 0 0 160231 1 0 0 25 0 1 0 902210993 58757120 11399 33554432000 4194304 4933572 140734268628768 18446744073709551615 4648609 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/16477/statm: 14345 11399 377 181 0 11354 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 57380
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/444 17152
/proc/meminfo: memFree=29803368/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=57804 CPUtime=1662.32 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 12056 0 0 0 166231 1 0 0 25 0 1 0 902210993 59191296 11502 33554432000 4194304 4933572 140734268628768 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/16477/statm: 14451 11502 377 181 0 11460 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 57804
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/444 17154
/proc/meminfo: memFree=29803312/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=58100 CPUtime=1722.32 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 12103 0 0 0 172231 1 0 0 25 0 1 0 902210993 59494400 11549 33554432000 4194304 4933572 140734268628768 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/16477/statm: 14525 11549 377 181 0 11534 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 58100
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/444 17155
/proc/meminfo: memFree=29798896/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=59740 CPUtime=1782.32 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 12522 0 0 0 178231 1 0 0 25 0 1 0 902210993 61173760 11968 33554432000 4194304 4933572 140734268628768 18446744073709551615 4648618 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/16477/statm: 14935 11968 377 181 0 11944 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 59740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/444 17156
/proc/meminfo: memFree=29797020/32950928 swapFree=52246700/67111528
[pid=16477] ppid=16475 vsize=59740 CPUtime=1800.03 cores=1,3,5,7
/proc/16477/stat : 16477 (clasp) R 16475 16477 13866 0 -1 4202496 12522 0 0 0 180002 1 0 0 25 0 1 0 902210993 61173760 11968 33554432000 4194304 4933572 140734268628768 18446744073709551615 4319368 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/16477/statm: 14935 11968 377 181 0 11944 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 59740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.05
CPU user time (s): 1800.03
CPU system time (s): 0.019996
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 59740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12535
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= 7
involuntary context switches= 18892
runsolver used 7.42687 second user time and 18.6212 second system time
The end