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-3491981-1307781389/watcher-3491981-1307781389 -o /tmp/evaluation-result-3491981-1307781389/solver-3491981-1307781389 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491981-1307781389.opb --solu --heu=VSIDS
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29895
/proc/meminfo: memFree=31770284/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=6236 CPUtime=0 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 1314 0 0 0 0 0 0 0 25 0 1 0 889735923 6385664 1138 33554432000 4194304 6245536 140733560774336 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 1559 1139 179 501 0 1055 0
[startup+0.0195629 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29895
/proc/meminfo: memFree=31770284/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=8484 CPUtime=0.01 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 1897 0 0 0 1 0 0 0 25 0 1 0 889735923 8687616 1721 33554432000 4194304 6245536 140733560774336 18446744073709551615 5364749 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 2121 1721 183 501 0 1617 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8484
[startup+0.100549 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29895
/proc/meminfo: memFree=31770284/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=12052 CPUtime=0.09 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 3493 0 0 0 9 0 0 0 25 0 1 0 889735923 12341248 2670 33554432000 4194304 6245536 140733560774336 18446744073709551615 4637756 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 3013 2670 221 501 0 2509 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12052
[startup+0.300508 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29895
/proc/meminfo: memFree=31770284/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=12184 CPUtime=0.29 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 3543 0 0 0 29 0 0 0 25 0 1 0 889735923 12476416 2720 33554432000 4194304 6245536 140733560774336 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 3046 2720 226 501 0 2542 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12184
[startup+0.700431 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29895
/proc/meminfo: memFree=31770284/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=12580 CPUtime=0.69 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 3638 0 0 0 69 0 0 0 25 0 1 0 889735923 12881920 2815 33554432000 4194304 6245536 140733560774336 18446744073709551615 4641517 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 3145 2815 227 501 0 2641 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12580
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29896
/proc/meminfo: memFree=31758396/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=13504 CPUtime=1.49 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 3860 0 0 0 149 0 0 0 25 0 1 0 889735923 13828096 3037 33554432000 4194304 6245536 140733560774336 18446744073709551615 4641517 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 3376 3037 227 501 0 2872 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13504
[startup+3.10096 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29896
/proc/meminfo: memFree=31754252/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=22388 CPUtime=3.09 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 6101 0 0 0 308 1 0 0 25 0 1 0 889735923 22925312 5278 33554432000 4194304 6245536 140733560774336 18446744073709551615 4344648 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 5597 5278 229 501 0 5093 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22388
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29896
/proc/meminfo: memFree=31745456/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=22388 CPUtime=6.29 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 6102 0 0 0 628 1 0 0 25 0 1 0 889735923 22925312 5279 33554432000 4194304 6245536 140733560774336 18446744073709551615 4323544 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 5597 5279 229 501 0 5093 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22388
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29897
/proc/meminfo: memFree=31744084/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=22388 CPUtime=12.69 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 6103 0 0 0 1268 1 0 0 25 0 1 0 889735923 22925312 5280 33554432000 4194304 6245536 140733560774336 18446744073709551615 4637521 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 5597 5280 229 501 0 5093 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22388
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29897
/proc/meminfo: memFree=31739256/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=22388 CPUtime=25.49 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 6103 0 0 0 2548 1 0 0 25 0 1 0 889735923 22925312 5280 33554432000 4194304 6245536 140733560774336 18446744073709551615 4700661 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 5597 5280 229 501 0 5093 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22388
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29898
/proc/meminfo: memFree=31730296/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=29052 CPUtime=51.09 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 7727 0 0 0 5108 1 0 0 25 0 1 0 889735923 29749248 6904 33554432000 4194304 6245536 140733560774336 18446744073709551615 4637456 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29895/statm: 7263 6904 229 501 0 6759 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 29052
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29899
/proc/meminfo: memFree=31717876/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=41088 CPUtime=102.3 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 10752 0 0 0 10228 2 0 0 25 0 1 0 889735923 42074112 9929 33554432000 4194304 6245536 140733560774336 18446744073709551615 4646368 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29895/statm: 10272 9929 229 501 0 9768 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 41088
[startup+162.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 29901
/proc/meminfo: memFree=31672340/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=79500 CPUtime=162.28 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 20357 0 0 0 16225 3 0 0 25 0 1 0 889735923 81408000 19534 33554432000 4194304 6245536 140733560774336 18446744073709551615 4316703 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29895/statm: 19875 19534 229 501 0 19371 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 79500
[startup+222.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 29902
/proc/meminfo: memFree=31671072/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=79500 CPUtime=222.28 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 20361 0 0 0 22224 4 0 0 25 0 1 0 889735923 81408000 19538 33554432000 4194304 6245536 140733560774336 18446744073709551615 4628241 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29895/statm: 19875 19538 229 501 0 19371 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 79500
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 29904
/proc/meminfo: memFree=31670432/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=79500 CPUtime=282.28 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 20361 0 0 0 28224 4 0 0 25 0 1 0 889735923 81408000 19538 33554432000 4194304 6245536 140733560774336 18446744073709551615 4702901 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29895/statm: 19875 19538 229 501 0 19371 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 79500
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29905
/proc/meminfo: memFree=31669896/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=79500 CPUtime=342.28 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 20364 0 0 0 34224 4 0 0 25 0 1 0 889735923 81408000 19541 33554432000 4194304 6245536 140733560774336 18446744073709551615 4397807 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29895/statm: 19875 19541 229 501 0 19371 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 79500
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29907
/proc/meminfo: memFree=31669624/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=79500 CPUtime=402.28 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 20364 0 0 0 40224 4 0 0 25 0 1 0 889735923 81408000 19541 33554432000 4194304 6245536 140733560774336 18446744073709551615 4700454 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29895/statm: 19875 19541 229 501 0 19371 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 79500
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29909
/proc/meminfo: memFree=31661784/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=79500 CPUtime=462.28 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 20364 0 0 0 46224 4 0 0 25 0 1 0 889735923 81408000 19541 33554432000 4194304 6245536 140733560774336 18446744073709551615 4316703 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29895/statm: 19875 19541 229 501 0 19371 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 79500
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29910
/proc/meminfo: memFree=31661136/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=79500 CPUtime=522.28 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 20364 0 0 0 52224 4 0 0 25 0 1 0 889735923 81408000 19541 33554432000 4194304 6245536 140733560774336 18446744073709551615 4700661 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29895/statm: 19875 19541 229 501 0 19371 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 79500
[startup+582.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 29912
/proc/meminfo: memFree=31660736/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=79500 CPUtime=582.28 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 20365 0 0 0 58224 4 0 0 25 0 1 0 889735923 81408000 19542 33554432000 4194304 6245536 140733560774336 18446744073709551615 4361712 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29895/statm: 19875 19542 229 501 0 19371 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 79500
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 29918
/proc/meminfo: memFree=31652176/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=84504 CPUtime=822.27 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 22585 0 0 0 82223 4 0 0 25 0 1 0 889735923 86532096 20778 33554432000 4194304 6245536 140733560774336 18446744073709551615 4629450 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 21126 20778 229 501 0 20622 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 84504
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29920
/proc/meminfo: memFree=31636392/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=102968 CPUtime=882.28 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 27180 0 0 0 88223 5 0 0 25 0 1 0 889735923 105439232 25373 33554432000 4194304 6245536 140733560774336 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 25742 25373 229 501 0 25238 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 102968
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29921
/proc/meminfo: memFree=31620604/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=115944 CPUtime=942.28 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 30615 0 0 0 94222 6 0 0 25 0 1 0 889735923 118726656 28518 33554432000 4194304 6245536 140733560774336 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 28986 28518 229 501 0 28482 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 115944
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29923
/proc/meminfo: memFree=31620564/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=115944 CPUtime=1002.29 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 30615 0 0 0 100223 6 0 0 25 0 1 0 889735923 118726656 28518 33554432000 4194304 6245536 140733560774336 18446744073709551615 4700632 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 28986 28518 229 501 0 28482 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 115944
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29925
/proc/meminfo: memFree=31582572/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=154276 CPUtime=1062.28 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 40261 0 0 0 106221 7 0 0 25 0 1 0 889735923 157978624 38164 33554432000 4194304 6245536 140733560774336 18446744073709551615 4628072 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 38569 38164 229 501 0 38065 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 154276
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 29926
/proc/meminfo: memFree=31582668/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=154276 CPUtime=1122.28 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 40261 0 0 0 112221 7 0 0 25 0 1 0 889735923 157978624 38164 33554432000 4194304 6245536 140733560774336 18446744073709551615 4700416 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 38569 38164 229 501 0 38065 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 154276
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 29928
/proc/meminfo: memFree=31582628/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=154276 CPUtime=1182.29 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 40263 0 0 0 118222 7 0 0 25 0 1 0 889735923 157978624 38166 33554432000 4194304 6245536 140733560774336 18446744073709551615 4362852 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 38569 38166 229 501 0 38065 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 154276
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29929
/proc/meminfo: memFree=31582092/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=154276 CPUtime=1242.29 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 40263 0 0 0 124222 7 0 0 25 0 1 0 889735923 157978624 38166 33554432000 4194304 6245536 140733560774336 18446744073709551615 4700427 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 38569 38166 229 501 0 38065 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 154276
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29931
/proc/meminfo: memFree=31581680/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=154276 CPUtime=1302.29 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 40263 0 0 0 130222 7 0 0 25 0 1 0 889735923 157978624 38166 33554432000 4194304 6245536 140733560774336 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 38569 38166 229 501 0 38065 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 154276
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29933
/proc/meminfo: memFree=31581636/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=154276 CPUtime=1362.29 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 40263 0 0 0 136222 7 0 0 25 0 1 0 889735923 157978624 38166 33554432000 4194304 6245536 140733560774336 18446744073709551615 4700384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 38569 38166 229 501 0 38065 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 154276
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29934
/proc/meminfo: memFree=31576764/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=158764 CPUtime=1422.31 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 41383 0 0 0 142223 8 0 0 25 0 1 0 889735923 162574336 39286 33554432000 4194304 6245536 140733560774336 18446744073709551615 4635975 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 39691 39286 229 501 0 39187 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 158764
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29945
/proc/meminfo: memFree=31574060/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=160260 CPUtime=1482.3 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 42075 0 0 0 148222 8 0 0 25 0 1 0 889735923 164106240 39665 33554432000 4194304 6245536 140733560774336 18446744073709551615 4605196 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 40065 39665 229 501 0 39561 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 160260
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29946
/proc/meminfo: memFree=31570560/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=160260 CPUtime=1542.3 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 42078 0 0 0 154222 8 0 0 25 0 1 0 889735923 164106240 39668 33554432000 4194304 6245536 140733560774336 18446744073709551615 4628289 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 40065 39668 229 501 0 39561 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 160260
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29948
/proc/meminfo: memFree=31570280/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=160260 CPUtime=1602.31 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 42078 0 0 0 160223 8 0 0 25 0 1 0 889735923 164106240 39668 33554432000 4194304 6245536 140733560774336 18446744073709551615 4637435 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 40065 39668 229 501 0 39561 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 160260
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29950
/proc/meminfo: memFree=31569748/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=160260 CPUtime=1662.31 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 42111 0 0 0 166223 8 0 0 25 0 1 0 889735923 164106240 39701 33554432000 4194304 6245536 140733560774336 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 40065 39701 229 501 0 39561 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 160260
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29954
/proc/meminfo: memFree=31568984/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=160260 CPUtime=1722.31 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 42111 0 0 0 172223 8 0 0 25 0 1 0 889735923 164106240 39701 33554432000 4194304 6245536 140733560774336 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 40065 39701 229 501 0 39561 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 160260
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29956
/proc/meminfo: memFree=31568328/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=160260 CPUtime=1782.31 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 42111 0 0 0 178223 8 0 0 25 0 1 0 889735923 164106240 39701 33554432000 4194304 6245536 140733560774336 18446744073709551615 4700661 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 40065 39701 229 501 0 39561 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 160260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 29957
/proc/meminfo: memFree=31612724/32950928 swapFree=67055428/67111528
[pid=29895] ppid=29893 vsize=160260 CPUtime=1800.02 cores=0,2,4,6
/proc/29895/stat : 29895 (clasp) R 29893 29895 26980 0 -1 4202496 42111 0 0 0 179994 8 0 0 25 0 1 0 889735923 164106240 39701 33554432000 4194304 6245536 140733560774336 18446744073709551615 4700427 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29895/statm: 40065 39701 229 501 0 39561 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 160260
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.03
CPU user time (s): 1799.94
CPU system time (s): 0.091986
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 160260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42121
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= 3740
runsolver used 2.72059 second user time and 5.47317 second system time
The end