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-3468886-1307118960/watcher-3468886-1307118960 -o /tmp/evaluation-result-3468886-1307118960/solver-3468886-1307118960 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468886-1307118960.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: 2.21 2.08 1.98 3/530 31262
/proc/meminfo: memFree=15256544/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=18524 CPUtime=0.01 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 2201 0 0 0 1 0 0 0 25 0 1 0 823494624 18968576 1902 33554432000 4194304 4933572 140736088386368 18446744073709551615 242970211013 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 4631 1902 333 181 0 1640 0
[startup+0.104575 s]
/proc/loadavg: 2.21 2.08 1.98 3/530 31262
/proc/meminfo: memFree=15256544/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=22488 CPUtime=0.09 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 4135 0 0 0 9 0 0 0 25 0 1 0 823494624 23027712 2930 33554432000 4194304 4933572 140736088386368 18446744073709551615 4369488 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 5622 2930 367 181 0 2631 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22488
[startup+0.200558 s]
/proc/loadavg: 2.21 2.08 1.98 3/530 31262
/proc/meminfo: memFree=15256544/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=22488 CPUtime=0.19 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 4143 0 0 0 19 0 0 0 25 0 1 0 823494624 23027712 2938 33554432000 4194304 4933572 140736088386368 18446744073709551615 4648546 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 5622 2938 374 181 0 2631 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22488
[startup+0.300541 s]
/proc/loadavg: 2.21 2.08 1.98 3/530 31262
/proc/meminfo: memFree=15256544/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=22488 CPUtime=0.29 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 4143 0 0 0 29 0 0 0 25 0 1 0 823494624 23027712 2938 33554432000 4194304 4933572 140736088386368 18446744073709551615 4648948 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 5622 2938 374 181 0 2631 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22488
[startup+0.700479 s]
/proc/loadavg: 2.21 2.08 1.98 3/530 31262
/proc/meminfo: memFree=15256544/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=22488 CPUtime=0.69 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 4144 0 0 0 69 0 0 0 25 0 1 0 823494624 23027712 2939 33554432000 4194304 4933572 140736088386368 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 5622 2939 375 181 0 2631 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22488
[startup+1.50034 s]
/proc/loadavg: 2.35 2.11 1.99 3/531 31263
/proc/meminfo: memFree=15245012/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=22488 CPUtime=1.49 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 4154 0 0 0 149 0 0 0 25 0 1 0 823494624 23027712 2949 33554432000 4194304 4933572 140736088386368 18446744073709551615 4631835 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 5622 2949 375 181 0 2631 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22488
[startup+3.10107 s]
/proc/loadavg: 2.35 2.11 1.99 4/531 31263
/proc/meminfo: memFree=15242656/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=24100 CPUtime=3.09 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 4569 0 0 0 309 0 0 0 25 0 1 0 823494624 24678400 3364 33554432000 4194304 4933572 140736088386368 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 6025 3364 375 181 0 3034 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24100
[startup+6.30052 s]
/proc/loadavg: 2.32 2.11 1.99 3/531 31263
/proc/meminfo: memFree=15239564/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=26744 CPUtime=6.29 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 5234 0 0 0 629 0 0 0 25 0 1 0 823494624 27385856 4029 33554432000 4194304 4933572 140736088386368 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 6686 4029 375 181 0 3695 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26744
[startup+12.7004 s]
/proc/loadavg: 2.46 2.14 2.00 3/531 31263
/proc/meminfo: memFree=15235492/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=28724 CPUtime=12.68 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 5727 0 0 0 1268 0 0 0 25 0 1 0 823494624 29413376 4522 33554432000 4194304 4933572 140736088386368 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 7181 4522 377 181 0 4190 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28724
[startup+25.5002 s]
/proc/loadavg: 2.36 2.14 2.00 3/531 31263
/proc/meminfo: memFree=15230912/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=32384 CPUtime=25.49 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 6616 0 0 0 2548 1 0 0 25 0 1 0 823494624 33161216 5411 33554432000 4194304 4933572 140736088386368 18446744073709551615 4718504 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 8096 5411 377 181 0 5105 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32384
[startup+51.1008 s]
/proc/loadavg: 2.23 2.12 2.00 3/531 31265
/proc/meminfo: memFree=15224096/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=36944 CPUtime=51.09 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 7788 0 0 0 5108 1 0 0 25 0 1 0 823494624 37830656 6583 33554432000 4194304 4933572 140736088386368 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 9236 6583 377 181 0 6245 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36944
[startup+102.301 s]
/proc/loadavg: 2.23 2.15 2.01 3/531 31265
/proc/meminfo: memFree=15216028/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=40952 CPUtime=102.3 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 8768 0 0 0 10229 1 0 0 25 0 1 0 823494624 41934848 7563 33554432000 4194304 4933572 140736088386368 18446744073709551615 4648813 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 10238 7563 377 181 0 7247 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 40952
[startup+162.301 s]
/proc/loadavg: 2.08 2.12 2.01 3/531 31267
/proc/meminfo: memFree=15205736/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=46732 CPUtime=162.29 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 10192 0 0 0 16227 2 0 0 25 0 1 0 823494624 47853568 8987 33554432000 4194304 4933572 140736088386368 18446744073709551615 4649045 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 11683 8987 377 181 0 8692 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 46732
[startup+222.32 s]
/proc/loadavg: 2.03 2.09 2.00 3/531 31269
/proc/meminfo: memFree=15200268/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=51492 CPUtime=222.3 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 11376 0 0 0 22228 2 0 0 25 0 1 0 823494624 52727808 10171 33554432000 4194304 4933572 140736088386368 18446744073709551615 4649576 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 12873 10171 377 181 0 9882 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 51492
[startup+282.301 s]
/proc/loadavg: 2.01 2.07 2.00 3/531 31271
/proc/meminfo: memFree=15193200/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=56312 CPUtime=282.28 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 12589 0 0 0 28226 2 0 0 25 0 1 0 823494624 57663488 11384 33554432000 4194304 4933572 140736088386368 18446744073709551615 4718558 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 14078 11384 377 181 0 11087 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 56312
[startup+342.301 s]
/proc/loadavg: 2.00 2.06 2.00 3/531 31273
/proc/meminfo: memFree=15190592/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=58560 CPUtime=342.28 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 13158 0 0 0 34226 2 0 0 25 0 1 0 823494624 59965440 11953 33554432000 4194304 4933572 140736088386368 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 14640 11953 377 181 0 11649 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 58560
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/531 31273
/proc/meminfo: memFree=15187740/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=59616 CPUtime=402.28 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 13434 0 0 0 40226 2 0 0 25 0 1 0 823494624 61046784 12229 33554432000 4194304 4933572 140736088386368 18446744073709551615 4648734 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 14904 12229 377 181 0 11913 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 59616
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 31275
/proc/meminfo: memFree=15184636/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=62240 CPUtime=462.29 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 14078 0 0 0 46226 3 0 0 25 0 1 0 823494624 63733760 12873 33554432000 4194304 4933572 140736088386368 18446744073709551615 4649246 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 15560 12873 377 181 0 12569 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 62240
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 31278
/proc/meminfo: memFree=15184012/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=62540 CPUtime=522.29 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 14135 0 0 0 52226 3 0 0 25 0 1 0 823494624 64040960 12930 33554432000 4194304 4933572 140736088386368 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 15635 12930 377 181 0 12644 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 62540
[startup+582.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/531 31281
/proc/meminfo: memFree=15180532/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=64308 CPUtime=582.29 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 14560 0 0 0 58226 3 0 0 25 0 1 0 823494624 65851392 13355 33554432000 4194304 4933572 140736088386368 18446744073709551615 4718504 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 16077 13355 377 181 0 13086 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 64308
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 31289
/proc/meminfo: memFree=15157444/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=84032 CPUtime=822.28 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 19474 0 0 0 82224 4 0 0 25 0 1 0 823494624 86048768 18269 33554432000 4194304 4933572 140736088386368 18446744073709551615 4649730 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 21008 18269 377 181 0 18017 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 84032
[startup+882.321 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 31291
/proc/meminfo: memFree=15157316/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=84264 CPUtime=882.3 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 19478 0 0 0 88226 4 0 0 25 0 1 0 823494624 86286336 18273 33554432000 4194304 4933572 140736088386368 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 21066 18273 377 181 0 18075 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 84264
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 31293
/proc/meminfo: memFree=15156812/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=84264 CPUtime=942.28 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 19478 0 0 0 94224 4 0 0 25 0 1 0 823494624 86286336 18273 33554432000 4194304 4933572 140736088386368 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 21066 18273 377 181 0 18075 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 84264
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 31293
/proc/meminfo: memFree=15154948/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=85140 CPUtime=1002.28 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 19689 0 0 0 100224 4 0 0 25 0 1 0 823494624 87183360 18484 33554432000 4194304 4933572 140736088386368 18446744073709551615 4719104 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 21285 18484 377 181 0 18294 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 85140
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/531 31295
/proc/meminfo: memFree=15154072/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=85976 CPUtime=1062.28 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 19891 0 0 0 106224 4 0 0 25 0 1 0 823494624 88039424 18686 33554432000 4194304 4933572 140736088386368 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 21494 18686 377 181 0 18503 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 85976
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/531 31297
/proc/meminfo: memFree=15150844/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=88212 CPUtime=1122.29 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 20449 0 0 0 112224 5 0 0 25 0 1 0 823494624 90329088 19244 33554432000 4194304 4933572 140736088386368 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 22053 19244 377 181 0 19062 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 88212
[startup+1182.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/531 31299
/proc/meminfo: memFree=15147984/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=90100 CPUtime=1182.29 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 20894 0 0 0 118224 5 0 0 25 0 1 0 823494624 92262400 19689 33554432000 4194304 4933572 140736088386368 18446744073709551615 4648965 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 22525 19689 377 181 0 19534 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 90100
[startup+1242.3 s]
/proc/loadavg: 2.26 2.08 2.03 3/531 31301
/proc/meminfo: memFree=15145256/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=91728 CPUtime=1242.29 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 21327 0 0 0 124224 5 0 0 25 0 1 0 823494624 93929472 20122 33554432000 4194304 4933572 140736088386368 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 22932 20122 377 181 0 19941 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 91728
[startup+1302.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/531 31301
/proc/meminfo: memFree=15142772/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=93972 CPUtime=1302.28 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 21862 0 0 0 130223 5 0 0 25 0 1 0 823494624 96227328 20657 33554432000 4194304 4933572 140736088386368 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 23493 20657 377 181 0 20502 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 93972
[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/531 31303
/proc/meminfo: memFree=15142648/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=93972 CPUtime=1362.28 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 21869 0 0 0 136223 5 0 0 25 0 1 0 823494624 96227328 20664 33554432000 4194304 4933572 140736088386368 18446744073709551615 4649417 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 23493 20664 377 181 0 20502 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 93972
[startup+1422.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/531 31305
/proc/meminfo: memFree=15142768/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=93972 CPUtime=1422.3 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 21869 0 0 0 142225 5 0 0 25 0 1 0 823494624 96227328 20664 33554432000 4194304 4933572 140736088386368 18446744073709551615 4663965 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 23493 20664 377 181 0 20502 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 93972
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 31307
/proc/meminfo: memFree=15141156/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=95028 CPUtime=1482.28 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 22126 0 0 0 148223 5 0 0 25 0 1 0 823494624 97308672 20921 33554432000 4194304 4933572 140736088386368 18446744073709551615 4649563 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 23757 20921 377 181 0 20766 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 95028
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 31321
/proc/meminfo: memFree=15139980/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=95868 CPUtime=1542.3 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 22328 0 0 0 154225 5 0 0 25 0 1 0 823494624 98168832 21123 33554432000 4194304 4933572 140736088386368 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 23967 21123 377 181 0 20976 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 95868
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 31321
/proc/meminfo: memFree=15139112/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=96644 CPUtime=1602.28 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 22501 0 0 0 160223 5 0 0 25 0 1 0 823494624 98963456 21296 33554432000 4194304 4933572 140736088386368 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 24161 21296 377 181 0 21170 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 96644
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/531 31323
/proc/meminfo: memFree=15138360/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=97472 CPUtime=1662.28 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 22673 0 0 0 166223 5 0 0 25 0 1 0 823494624 99811328 21468 33554432000 4194304 4933572 140736088386368 18446744073709551615 4648426 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 24368 21468 377 181 0 21377 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 97472
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/531 31325
/proc/meminfo: memFree=15136728/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=98792 CPUtime=1722.28 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 23005 0 0 0 172223 5 0 0 25 0 1 0 823494624 101163008 21800 33554432000 4194304 4933572 140736088386368 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 24698 21800 377 181 0 21707 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 98792
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/531 31327
/proc/meminfo: memFree=15131508/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=101148 CPUtime=1782.29 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 23581 0 0 0 178223 6 0 0 25 0 1 0 823494624 103575552 22376 33554432000 4194304 4933572 140736088386368 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 25287 22376 377 181 0 22296 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 101148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.02 2.03 2.00 2/529 31328
/proc/meminfo: memFree=15171692/32951132 swapFree=46579808/67111528
[pid=31262] ppid=31260 vsize=101148 CPUtime=1800.11 cores=1,3,5,7
/proc/31262/stat : 31262 (clasp) R 31260 31262 28716 0 -1 4202496 23582 0 0 0 180005 6 0 0 25 0 1 0 823494624 103575552 22377 33554432000 4194304 4933572 140736088386368 18446744073709551615 4632144 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31262/statm: 25287 22377 377 181 0 22296 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 101148
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.13
CPU time (s): 1800.12
CPU user time (s): 1800.05
CPU system time (s): 0.065989
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 101148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.065989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23595
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= 4649
runsolver used 8.94664 second user time and 22.1916 second system time
The end