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-3469341-1307091929/watcher-3469341-1307091929 -o /tmp/evaluation-result-3469341-1307091929/solver-3469341-1307091929 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469341-1307091929.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: 1.92 2.00 1.99 3/515 8275
/proc/meminfo: memFree=23245924/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=14960 CPUtime=0 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 1220 0 0 0 0 0 0 0 22 0 1 0 899423557 15319040 1018 33554432000 4194304 4933572 140735487536592 18446744073709551615 4605144 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 3740 1027 335 181 0 749 0
[startup+0.022652 s]
/proc/loadavg: 1.92 2.00 1.99 3/515 8275
/proc/meminfo: memFree=23245924/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=15956 CPUtime=0.01 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 1497 0 0 0 1 0 0 0 22 0 1 0 899423557 16338944 1284 33554432000 4194304 4933572 140735487536592 18446744073709551615 4592334 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 3989 1284 340 181 0 998 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15956
[startup+0.100661 s]
/proc/loadavg: 1.92 2.00 1.99 3/515 8275
/proc/meminfo: memFree=23245924/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=16796 CPUtime=0.09 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 1850 0 0 0 9 0 0 0 22 0 1 0 899423557 17199104 1532 33554432000 4194304 4933572 140735487536592 18446744073709551615 4428048 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 4199 1532 374 181 0 1208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16796
[startup+0.300627 s]
/proc/loadavg: 1.92 2.00 1.99 3/515 8275
/proc/meminfo: memFree=23245924/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=17728 CPUtime=0.29 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 2087 0 0 0 29 0 0 0 23 0 1 0 899423557 18153472 1769 33554432000 4194304 4933572 140735487536592 18446744073709551615 4428010 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 4432 1769 374 181 0 1441 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17728
[startup+0.700557 s]
/proc/loadavg: 1.92 2.00 1.99 3/515 8275
/proc/meminfo: memFree=23245924/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=18652 CPUtime=0.69 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 2324 0 0 0 69 0 0 0 25 0 1 0 899423557 19099648 2006 33554432000 4194304 4933572 140735487536592 18446744073709551615 4631824 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 4663 2006 374 181 0 1672 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18652
[startup+1.50041 s]
/proc/loadavg: 1.93 2.00 1.99 3/516 8276
/proc/meminfo: memFree=23235508/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=20032 CPUtime=1.49 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 2655 0 0 0 149 0 0 0 25 0 1 0 899423557 20512768 2337 33554432000 4194304 4933572 140735487536592 18446744073709551615 256415050484 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 5008 2337 374 181 0 2017 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20032
[startup+3.10109 s]
/proc/loadavg: 1.93 2.00 1.99 3/516 8276
/proc/meminfo: memFree=23232640/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=21616 CPUtime=3.09 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 3062 0 0 0 309 0 0 0 25 0 1 0 899423557 22134784 2744 33554432000 4194304 4933572 140735487536592 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 5404 2744 374 181 0 2413 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21616
[startup+6.30049 s]
/proc/loadavg: 1.93 2.00 1.99 3/516 8276
/proc/meminfo: memFree=23229828/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=24128 CPUtime=6.29 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 3695 0 0 0 629 0 0 0 25 0 1 0 899423557 24707072 3377 33554432000 4194304 4933572 140735487536592 18446744073709551615 4319397 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 6032 3377 374 181 0 3041 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24128
[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 1.99 3/516 8276
/proc/meminfo: memFree=23225128/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=25072 CPUtime=12.69 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 3900 0 0 0 1269 0 0 0 25 0 1 0 899423557 25673728 3582 33554432000 4194304 4933572 140735487536592 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 6268 3582 374 181 0 3277 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25072
[startup+25.5009 s]
/proc/loadavg: 1.95 2.00 1.99 3/516 8276
/proc/meminfo: memFree=23220944/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=28412 CPUtime=25.49 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 4742 0 0 0 2549 0 0 0 25 0 1 0 899423557 29093888 4424 33554432000 4194304 4933572 140735487536592 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 7103 4424 374 181 0 4112 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28412
[startup+51.101 s]
/proc/loadavg: 1.96 2.00 1.99 3/516 8277
/proc/meminfo: memFree=23213960/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=34168 CPUtime=51.09 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 6152 0 0 0 5109 0 0 0 25 0 1 0 899423557 34988032 5834 33554432000 4194304 4933572 140735487536592 18446744073709551615 4625192 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 8542 5834 374 181 0 5551 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34168
[startup+102.319 s]
/proc/loadavg: 2.04 2.01 2.00 3/516 8278
/proc/meminfo: memFree=23206460/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=37652 CPUtime=102.31 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 6942 0 0 0 10231 0 0 0 25 0 1 0 899423557 38555648 6624 33554432000 4194304 4933572 140735487536592 18446744073709551615 4649552 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 9413 6624 374 181 0 6422 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 37652
[startup+162.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/516 8280
/proc/meminfo: memFree=23198568/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=43080 CPUtime=162.3 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 8497 0 0 0 16229 1 0 0 25 0 1 0 899423557 44113920 7977 33554432000 4194304 4933572 140735487536592 18446744073709551615 4637187 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 10770 7977 374 181 0 7779 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 43080
[startup+222.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/516 8282
/proc/meminfo: memFree=23196756/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=45460 CPUtime=222.3 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 9075 0 0 0 22229 1 0 0 25 0 1 0 899423557 46551040 8555 33554432000 4194304 4933572 140735487536592 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 11365 8555 374 181 0 8374 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 45460
[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/516 8283
/proc/meminfo: memFree=23191600/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=50720 CPUtime=282.3 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 10351 0 0 0 28229 1 0 0 25 0 1 0 899423557 51937280 9831 33554432000 4194304 4933572 140735487536592 18446744073709551615 4638160 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 12680 9831 374 181 0 9689 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 50720
[startup+342.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/516 8285
/proc/meminfo: memFree=23189792/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=51776 CPUtime=342.3 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 10813 0 0 0 34229 1 0 0 25 0 1 0 899423557 53018624 10112 33554432000 4194304 4933572 140735487536592 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 12944 10112 374 181 0 9953 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 51776
[startup+402.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/516 8286
/proc/meminfo: memFree=23188088/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=53300 CPUtime=402.3 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 11173 0 0 0 40229 1 0 0 25 0 1 0 899423557 54579200 10472 33554432000 4194304 4933572 140735487536592 18446744073709551615 4428087 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 13325 10472 374 181 0 10334 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 53300
[startup+462.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/516 8288
/proc/meminfo: memFree=23185408/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=55852 CPUtime=462.31 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 11757 0 0 0 46230 1 0 0 25 0 1 0 899423557 57192448 11056 33554432000 4194304 4933572 140735487536592 18446744073709551615 4632817 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 13963 11056 374 181 0 10972 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 55852
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/516 8289
/proc/meminfo: memFree=23185700/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=56340 CPUtime=522.31 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 11839 0 0 0 52230 1 0 0 25 0 1 0 899423557 57692160 11138 33554432000 4194304 4933572 140735487536592 18446744073709551615 4428061 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 14085 11138 374 181 0 11094 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 56340
[startup+582.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/516 8291
/proc/meminfo: memFree=23184388/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=56976 CPUtime=582.31 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 11995 0 0 0 58230 1 0 0 25 0 1 0 899423557 58343424 11294 33554432000 4194304 4933572 140735487536592 18446744073709551615 4625196 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 14244 11294 374 181 0 11253 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 56976
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8297
/proc/meminfo: memFree=23176620/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=63844 CPUtime=822.33 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 13905 0 0 0 82231 2 0 0 25 0 1 0 899423557 65376256 13036 33554432000 4194304 4933572 140735487536592 18446744073709551615 4637451 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 15961 13036 374 181 0 12970 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 63844
[startup+882.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/516 8299
/proc/meminfo: memFree=23174068/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=65624 CPUtime=882.33 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 14482 0 0 0 88231 2 0 0 25 0 1 0 899423557 67198976 13463 33554432000 4194304 4933572 140735487536592 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 16406 13463 374 181 0 13415 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 65624
[startup+942.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/516 8301
/proc/meminfo: memFree=23174376/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=64944 CPUtime=942.33 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 14698 0 0 0 94231 2 0 0 25 0 1 0 899423557 66502656 13317 33554432000 4194304 4933572 140735487536592 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 16236 13317 374 181 0 13245 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 64944
[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 8302
/proc/meminfo: memFree=23173912/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=66408 CPUtime=1002.33 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 15120 0 0 0 100231 2 0 0 25 0 1 0 899423557 68001792 13611 33554432000 4194304 4933572 140735487536592 18446744073709551615 4649413 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 16602 13611 374 181 0 13611 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 66408
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8304
/proc/meminfo: memFree=23172968/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=67080 CPUtime=1062.33 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 15285 0 0 0 106231 2 0 0 25 0 1 0 899423557 68689920 13776 33554432000 4194304 4933572 140735487536592 18446744073709551615 4414957 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 16770 13776 374 181 0 13779 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 67080
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8306
/proc/meminfo: memFree=23172144/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=67944 CPUtime=1122.33 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 15487 0 0 0 112231 2 0 0 25 0 1 0 899423557 69574656 13978 33554432000 4194304 4933572 140735487536592 18446744073709551615 4666856 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 16986 13978 374 181 0 13995 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 67944
[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/516 8307
/proc/meminfo: memFree=23170960/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=68452 CPUtime=1182.34 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 15582 0 0 0 118232 2 0 0 25 0 1 0 899423557 70094848 14073 33554432000 4194304 4933572 140735487536592 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 17113 14073 374 181 0 14122 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 68452
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/516 8309
/proc/meminfo: memFree=23169644/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=68956 CPUtime=1242.34 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 15694 0 0 0 124232 2 0 0 25 0 1 0 899423557 70610944 14185 33554432000 4194304 4933572 140735487536592 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 17239 14185 374 181 0 14248 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 68956
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 8310
/proc/meminfo: memFree=23169292/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=68956 CPUtime=1302.35 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 15730 0 0 0 130233 2 0 0 25 0 1 0 899423557 70610944 14221 33554432000 4194304 4933572 140735487536592 18446744073709551615 4649377 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 17239 14221 374 181 0 14248 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 68956
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 8312
/proc/meminfo: memFree=23169584/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=68956 CPUtime=1362.34 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 15730 0 0 0 136232 2 0 0 25 0 1 0 899423557 70610944 14221 33554432000 4194304 4933572 140735487536592 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 17239 14221 374 181 0 14248 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 68956
[startup+1422.32 s]
/proc/loadavg: 2.07 2.03 2.01 3/516 8314
/proc/meminfo: memFree=23170496/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=68956 CPUtime=1422.36 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 15733 0 0 0 142234 2 0 0 25 0 1 0 899423557 70610944 14224 33554432000 4194304 4933572 140735487536592 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 17239 14224 374 181 0 14248 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 68956
[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/516 8315
/proc/meminfo: memFree=23169808/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=69544 CPUtime=1482.35 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 15847 0 0 0 148233 2 0 0 25 0 1 0 899423557 71213056 14338 33554432000 4194304 4933572 140735487536592 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 17386 14338 374 181 0 14395 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 69544
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/516 8317
/proc/meminfo: memFree=23165024/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=74596 CPUtime=1542.35 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 17110 0 0 0 154233 2 0 0 25 0 1 0 899423557 76386304 15601 33554432000 4194304 4933572 140735487536592 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 18649 15601 374 181 0 15658 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 74596
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8318
/proc/meminfo: memFree=23164572/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=74860 CPUtime=1602.35 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 17167 0 0 0 160233 2 0 0 25 0 1 0 899423557 76656640 15658 33554432000 4194304 4933572 140735487536592 18446744073709551615 4319289 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 18715 15658 374 181 0 15724 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 74860
[startup+1662.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/516 8320
/proc/meminfo: memFree=23164120/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=75388 CPUtime=1662.35 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 17308 0 0 0 166233 2 0 0 25 0 1 0 899423557 77197312 15799 33554432000 4194304 4933572 140735487536592 18446744073709551615 4664056 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 18847 15799 374 181 0 15856 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 75388
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/516 8321
/proc/meminfo: memFree=23163304/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=75372 CPUtime=1722.35 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 17717 0 0 0 172233 2 0 0 25 0 1 0 899423557 77180928 15819 33554432000 4194304 4933572 140735487536592 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 18843 15819 374 181 0 15852 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 75372
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/516 8323
/proc/meminfo: memFree=23160264/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=75764 CPUtime=1782.35 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 18036 0 0 0 178233 2 0 0 25 0 1 0 899423557 77582336 15929 33554432000 4194304 4933572 140735487536592 18446744073709551615 4632843 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 18941 15929 374 181 0 15950 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 75764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.04 2.00 2/515 8325
/proc/meminfo: memFree=23178724/32950928 swapFree=58671692/67111528
[pid=8275] ppid=8273 vsize=75764 CPUtime=1800.06 cores=1,3,5,7
/proc/8275/stat : 8275 (clasp) R 8273 8275 8237 0 -1 4202496 18038 0 0 0 180004 2 0 0 25 0 1 0 899423557 77582336 15931 33554432000 4194304 4933572 140735487536592 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/8275/statm: 18941 15931 374 181 0 15950 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 75764
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.09
CPU user time (s): 1800.06
CPU system time (s): 0.032994
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 76524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18048
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= 2990
runsolver used 8.5177 second user time and 21.3348 second system time
The end