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-3468257-1307649577/watcher-3468257-1307649577 -o /tmp/evaluation-result-3468257-1307649577/solver-3468257-1307649577 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468257-1307649577.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.38 1.72 1.89 2/177 27146
/proc/meminfo: memFree=32103336/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=13004 CPUtime=0 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 610 0 0 0 0 0 0 0 25 0 1 0 955188363 13316096 538 33554432000 4194304 4933572 140733539643984 18446744073709551615 231895490304 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 3251 538 331 181 0 260 0
[startup+0.072422 s]
/proc/loadavg: 1.38 1.72 1.89 2/177 27146
/proc/meminfo: memFree=32103336/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=14064 CPUtime=0.07 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 955 0 0 0 7 0 0 0 25 0 1 0 955188363 14401536 866 33554432000 4194304 4933572 140733539643984 18446744073709551615 231895151301 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 3516 872 378 181 0 525 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14064
[startup+0.10042 s]
/proc/loadavg: 1.38 1.72 1.89 2/177 27146
/proc/meminfo: memFree=32103336/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=14448 CPUtime=0.09 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 1063 0 0 0 9 0 0 0 25 0 1 0 955188363 14794752 974 33554432000 4194304 4933572 140733539643984 18446744073709551615 4635702 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 3612 974 384 181 0 621 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14448
[startup+0.300385 s]
/proc/loadavg: 1.38 1.72 1.89 2/177 27146
/proc/meminfo: memFree=32103336/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=16252 CPUtime=0.29 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 1505 0 0 0 29 0 0 0 25 0 1 0 955188363 16642048 1416 33554432000 4194304 4933572 140733539643984 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 4063 1416 385 181 0 1072 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16252
[startup+0.700311 s]
/proc/loadavg: 1.38 1.72 1.89 2/177 27146
/proc/meminfo: memFree=32103336/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=17156 CPUtime=0.69 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 1733 0 0 0 69 0 0 0 25 0 1 0 955188363 17567744 1644 33554432000 4194304 4933572 140733539643984 18446744073709551615 4632085 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 4289 1644 385 181 0 1298 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17156
[startup+1.50016 s]
/proc/loadavg: 1.38 1.72 1.89 3/178 27147
/proc/meminfo: memFree=32097160/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=19992 CPUtime=1.49 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 2457 0 0 0 149 0 0 0 25 0 1 0 955188363 20471808 2368 33554432000 4194304 4933572 140733539643984 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 4998 2368 385 181 0 2007 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19992
[startup+3.10085 s]
/proc/loadavg: 1.38 1.72 1.89 3/178 27147
/proc/meminfo: memFree=32095064/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=19992 CPUtime=3.09 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 2457 0 0 0 309 0 0 0 25 0 1 0 955188363 20471808 2368 33554432000 4194304 4933572 140733539643984 18446744073709551615 4428048 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 4998 2368 385 181 0 2007 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19992
[startup+6.30025 s]
/proc/loadavg: 1.43 1.72 1.89 3/178 27147
/proc/meminfo: memFree=32091196/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=23596 CPUtime=6.29 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 3340 0 0 0 629 0 0 0 25 0 1 0 955188363 24162304 3251 33554432000 4194304 4933572 140733539643984 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 5899 3251 385 181 0 2908 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23596
[startup+12.701 s]
/proc/loadavg: 1.48 1.73 1.89 3/178 27148
/proc/meminfo: memFree=32085136/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=29188 CPUtime=12.69 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 4715 0 0 0 1269 0 0 0 25 0 1 0 955188363 29888512 4620 33554432000 4194304 4933572 140733539643984 18446744073709551615 4341604 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 7297 4620 385 181 0 4306 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29188
[startup+25.5006 s]
/proc/loadavg: 1.59 1.74 1.89 3/178 27148
/proc/meminfo: memFree=32083768/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=29120 CPUtime=25.49 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 4813 0 0 0 2549 0 0 0 25 0 1 0 955188363 29818880 4610 33554432000 4194304 4933572 140733539643984 18446744073709551615 4635468 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 7280 4610 385 181 0 4289 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29120
[startup+51.1008 s]
/proc/loadavg: 1.73 1.76 1.89 3/178 27149
/proc/meminfo: memFree=32078156/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=33844 CPUtime=51.1 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 6027 0 0 0 5109 1 0 0 25 0 1 0 955188363 34656256 5802 33554432000 4194304 4933572 140733539643984 18446744073709551615 4632150 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 8461 5802 385 181 0 5470 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 33844
[startup+102.306 s]
/proc/loadavg: 1.88 1.79 1.90 3/178 27159
/proc/meminfo: memFree=32075464/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=33880 CPUtime=102.3 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 6135 0 0 0 10229 1 0 0 25 0 1 0 955188363 34693120 5830 33554432000 4194304 4933572 140733539643984 18446744073709551615 4632840 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 8470 5830 385 181 0 5479 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 33880
[startup+162.301 s]
/proc/loadavg: 1.95 1.83 1.90 3/178 27161
/proc/meminfo: memFree=32074924/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=34304 CPUtime=162.3 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 6270 0 0 0 16229 1 0 0 25 0 1 0 955188363 35127296 5930 33554432000 4194304 4933572 140733539643984 18446744073709551615 4637219 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 8576 5930 385 181 0 5585 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 34304
[startup+222.301 s]
/proc/loadavg: 1.98 1.86 1.91 3/178 27162
/proc/meminfo: memFree=32073248/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=34840 CPUtime=222.3 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 6405 0 0 0 22229 1 0 0 25 0 1 0 955188363 35676160 6061 33554432000 4194304 4933572 140733539643984 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 8710 6061 385 181 0 5719 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 34840
[startup+282.301 s]
/proc/loadavg: 1.99 1.88 1.91 3/178 27164
/proc/meminfo: memFree=32072332/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=35228 CPUtime=282.3 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 6521 0 0 0 28229 1 0 0 25 0 1 0 955188363 36073472 6165 33554432000 4194304 4933572 140733539643984 18446744073709551615 4632788 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 8807 6165 385 181 0 5816 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 35228
[startup+342.3 s]
/proc/loadavg: 2.03 1.91 1.91 3/178 27165
/proc/meminfo: memFree=32069300/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=38124 CPUtime=342.3 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 7288 0 0 0 34229 1 0 0 25 0 1 0 955188363 39038976 6884 33554432000 4194304 4933572 140733539643984 18446744073709551615 4342106 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 9531 6884 385 181 0 6540 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 38124
[startup+402.301 s]
/proc/loadavg: 2.01 1.93 1.91 3/178 27167
/proc/meminfo: memFree=32068496/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=38944 CPUtime=402.3 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 7671 0 0 0 40229 1 0 0 25 0 1 0 955188363 39878656 7082 33554432000 4194304 4933572 140733539643984 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 9736 7082 385 181 0 6745 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 38944
[startup+462.301 s]
/proc/loadavg: 2.00 1.94 1.91 3/178 27169
/proc/meminfo: memFree=32067700/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=39848 CPUtime=462.3 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 7924 0 0 0 46229 1 0 0 25 0 1 0 955188363 40804352 7261 33554432000 4194304 4933572 140733539643984 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 9962 7261 385 181 0 6971 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 39848
[startup+522.301 s]
/proc/loadavg: 2.00 1.95 1.91 3/178 27170
/proc/meminfo: memFree=32066040/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=39848 CPUtime=522.31 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 7924 0 0 0 52230 1 0 0 25 0 1 0 955188363 40804352 7261 33554432000 4194304 4933572 140733539643984 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 9962 7261 385 181 0 6971 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 39848
[startup+582.3 s]
/proc/loadavg: 2.00 1.95 1.91 3/178 27172
/proc/meminfo: memFree=32065616/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=39848 CPUtime=582.31 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 7924 0 0 0 58230 1 0 0 25 0 1 0 955188363 40804352 7261 33554432000 4194304 4933572 140733539643984 18446744073709551615 4632764 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 9962 7261 385 181 0 6971 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 39848
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 27178
/proc/meminfo: memFree=32061312/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=42108 CPUtime=822.32 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 8731 0 0 0 82231 1 0 0 25 0 1 0 955188363 43118592 7841 33554432000 4194304 4933572 140733539643984 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 10527 7841 385 181 0 7536 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 42108
[startup+882.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 27180
/proc/meminfo: memFree=32060768/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=42208 CPUtime=882.32 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 8770 0 0 0 88231 1 0 0 25 0 1 0 955188363 43220992 7869 33554432000 4194304 4933572 140733539643984 18446744073709551615 4632206 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 10552 7869 385 181 0 7561 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 42208
[startup+942.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 27181
/proc/meminfo: memFree=32060564/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=42296 CPUtime=942.32 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 8840 0 0 0 94231 1 0 0 25 0 1 0 955188363 43311104 7898 33554432000 4194304 4933572 140733539643984 18446744073709551615 4631976 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 10574 7898 385 181 0 7583 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 42296
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 27183
/proc/meminfo: memFree=32060132/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=42456 CPUtime=1002.32 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 8978 0 0 0 100231 1 0 0 25 0 1 0 955188363 43474944 7916 33554432000 4194304 4933572 140733539643984 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 10614 7916 385 181 0 7623 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 42456
[startup+1062.3 s]
/proc/loadavg: 2.05 1.99 1.92 3/178 27185
/proc/meminfo: memFree=32058736/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=43636 CPUtime=1062.32 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 9455 0 0 0 106231 1 0 0 25 0 1 0 955188363 44683264 8231 33554432000 4194304 4933572 140733539643984 18446744073709551615 4631996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 10909 8231 385 181 0 7918 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 43636
[startup+1122.3 s]
/proc/loadavg: 2.02 1.99 1.92 3/178 27186
/proc/meminfo: memFree=32058436/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=43844 CPUtime=1122.33 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 9697 0 0 0 112232 1 0 0 25 0 1 0 955188363 44896256 8288 33554432000 4194304 4933572 140733539643984 18446744073709551615 4631769 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 10961 8288 385 181 0 7970 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 43844
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 27188
/proc/meminfo: memFree=32058392/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=43944 CPUtime=1182.33 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 9841 0 0 0 118232 1 0 0 25 0 1 0 955188363 44998656 8315 33554432000 4194304 4933572 140733539643984 18446744073709551615 4631904 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 10986 8315 385 181 0 7995 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 43944
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 27189
/proc/meminfo: memFree=32057704/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=43936 CPUtime=1242.33 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 9980 0 0 0 124232 1 0 0 25 0 1 0 955188363 44990464 8317 33554432000 4194304 4933572 140733539643984 18446744073709551615 4428077 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 10984 8317 385 181 0 7993 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 43936
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 27191
/proc/meminfo: memFree=32057388/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=43936 CPUtime=1302.34 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 10229 0 0 0 130233 1 0 0 25 0 1 0 955188363 44990464 8317 33554432000 4194304 4933572 140733539643984 18446744073709551615 4637147 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 10984 8317 385 181 0 7993 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 43936
[startup+1362.3 s]
/proc/loadavg: 2.07 2.00 1.93 3/178 27193
/proc/meminfo: memFree=32056604/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=44000 CPUtime=1362.33 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 10470 0 0 0 136232 1 0 0 25 0 1 0 955188363 45056000 8313 33554432000 4194304 4933572 140733539643984 18446744073709551615 4414911 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 11000 8313 385 181 0 8009 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 44000
[startup+1422.31 s]
/proc/loadavg: 2.02 2.00 1.93 3/178 27194
/proc/meminfo: memFree=32056552/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=43964 CPUtime=1422.35 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 10634 0 0 0 142233 2 0 0 25 0 1 0 955188363 45019136 8324 33554432000 4194304 4933572 140733539643984 18446744073709551615 4631976 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 10991 8324 385 181 0 8000 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 43964
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 27196
/proc/meminfo: memFree=32056504/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=44084 CPUtime=1482.34 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 10870 0 0 0 148232 2 0 0 25 0 1 0 955188363 45142016 8349 33554432000 4194304 4933572 140733539643984 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 11021 8349 385 181 0 8030 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 44084
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27197
/proc/meminfo: memFree=32056188/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=44116 CPUtime=1542.35 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 10997 0 0 0 154233 2 0 0 25 0 1 0 955188363 45174784 8354 33554432000 4194304 4933572 140733539643984 18446744073709551615 4341604 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 11029 8354 385 181 0 8038 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 44116
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27199
/proc/meminfo: memFree=32056140/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=43924 CPUtime=1602.35 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 11002 0 0 0 160233 2 0 0 25 0 1 0 955188363 44978176 8314 33554432000 4194304 4933572 140733539643984 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 10981 8314 385 181 0 7990 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 43924
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27201
/proc/meminfo: memFree=32056096/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=43924 CPUtime=1662.35 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 11002 0 0 0 166233 2 0 0 25 0 1 0 955188363 44978176 8314 33554432000 4194304 4933572 140733539643984 18446744073709551615 4360903 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 10981 8314 385 181 0 7990 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 43924
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27202
/proc/meminfo: memFree=32055916/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=43924 CPUtime=1722.35 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 11002 0 0 0 172233 2 0 0 25 0 1 0 955188363 44978176 8314 33554432000 4194304 4933572 140733539643984 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 10981 8314 385 181 0 7990 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 43924
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27204
/proc/meminfo: memFree=32055260/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=43924 CPUtime=1782.36 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 11002 0 0 0 178234 2 0 0 25 0 1 0 955188363 44978176 8314 33554432000 4194304 4933572 140733539643984 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 10981 8314 385 181 0 7990 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 43924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.94 1.98 1.92 3/178 27281
/proc/meminfo: memFree=32019464/32950928 swapFree=67054844/67111528
[pid=27146] ppid=27144 vsize=43924 CPUtime=1800.06 cores=1,3,5,7
/proc/27146/stat : 27146 (clasp) R 27144 27146 25448 0 -1 4202496 11002 0 0 0 180004 2 0 0 25 0 1 0 955188363 44978176 8314 33554432000 4194304 4933572 140733539643984 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/27146/statm: 10981 8314 385 181 0 7990 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 43924
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.05
CPU system time (s): 0.024996
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 44264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11011
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= 2961
runsolver used 2.55061 second user time and 6.06808 second system time
The end