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-3468270-1307101653/watcher-3468270-1307101653 -o /tmp/evaluation-result-3468270-1307101653/solver-3468270-1307101653 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468270-1307101653.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: 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: 1.92 2.00 1.99 2/473 25427
/proc/meminfo: memFree=20356788/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=13776 CPUtime=0.01 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 886 0 0 0 1 0 0 0 25 0 1 0 821764964 14106624 725 33554432000 4194304 4933572 140734002608096 18446744073709551615 274473628357 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 3444 726 331 181 0 453 0
[startup+0.196567 s]
/proc/loadavg: 1.92 2.00 1.99 2/473 25427
/proc/meminfo: memFree=20356788/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=20340 CPUtime=0.18 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 2931 0 0 0 18 0 0 0 25 0 1 0 821764964 20828160 2373 33554432000 4194304 4933572 140734002608096 18446744073709551615 4587789 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 5085 2373 348 181 0 2094 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 20340
[startup+0.200565 s]
/proc/loadavg: 1.92 2.00 1.99 2/473 25427
/proc/meminfo: memFree=20356788/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=20340 CPUtime=0.19 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 2931 0 0 0 19 0 0 0 25 0 1 0 821764964 20828160 2373 33554432000 4194304 4933572 140734002608096 18446744073709551615 4587712 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 5085 2373 348 181 0 2094 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20340
[startup+0.300548 s]
/proc/loadavg: 1.92 2.00 1.99 2/473 25427
/proc/meminfo: memFree=20356788/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=19256 CPUtime=0.29 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 2960 0 0 0 29 0 0 0 25 0 1 0 821764964 19718144 2155 33554432000 4194304 4933572 140734002608096 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 4814 2155 377 181 0 1823 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19256
[startup+0.700479 s]
/proc/loadavg: 1.92 2.00 1.99 2/473 25427
/proc/meminfo: memFree=20356788/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=27276 CPUtime=0.69 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 4982 0 0 0 68 1 0 0 25 0 1 0 821764964 27930624 4177 33554432000 4194304 4933572 140734002608096 18446744073709551615 4631990 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 6819 4177 384 181 0 3828 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27276
[startup+1.50039 s]
/proc/loadavg: 1.92 2.00 1.99 3/474 25428
/proc/meminfo: memFree=20316860/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=51616 CPUtime=1.49 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 11074 0 0 0 148 1 0 0 25 0 1 0 821764964 52854784 10269 33554432000 4194304 4933572 140734002608096 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 12904 10269 384 181 0 9913 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51616
[startup+3.10117 s]
/proc/loadavg: 1.92 2.00 1.99 3/474 25428
/proc/meminfo: memFree=20276572/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=79472 CPUtime=3.09 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 18046 0 0 0 307 2 0 0 25 0 1 0 821764964 81379328 17241 33554432000 4194304 4933572 140734002608096 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 19868 17241 384 181 0 16877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79472
[startup+6.30062 s]
/proc/loadavg: 1.93 2.00 1.99 3/474 25428
/proc/meminfo: memFree=20252464/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=93512 CPUtime=6.29 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 21543 0 0 0 627 2 0 0 25 0 1 0 821764964 95756288 20738 33554432000 4194304 4933572 140734002608096 18446744073709551615 4319312 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 23378 20738 384 181 0 20387 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93512
[startup+12.7005 s]
/proc/loadavg: 1.93 2.00 1.99 3/474 25428
/proc/meminfo: memFree=20211480/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=106844 CPUtime=12.69 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 24872 0 0 0 1266 3 0 0 25 0 1 0 821764964 109408256 24067 33554432000 4194304 4933572 140734002608096 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 26711 24067 384 181 0 23720 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 106844
[startup+25.5012 s]
/proc/loadavg: 1.95 2.00 1.99 3/474 25428
/proc/meminfo: memFree=20175136/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=129104 CPUtime=25.5 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 30450 0 0 0 2546 4 0 0 25 0 1 0 821764964 132202496 29645 33554432000 4194304 4933572 140734002608096 18446744073709551615 4637209 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 32276 29645 386 181 0 29285 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 129104
[startup+51.1007 s]
/proc/loadavg: 1.96 2.00 1.99 3/474 25429
/proc/meminfo: memFree=20120916/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=155216 CPUtime=51.09 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 36954 0 0 0 5105 4 0 0 25 0 1 0 821764964 158941184 36149 33554432000 4194304 4933572 140734002608096 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 38804 36149 386 181 0 35813 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 155216
[startup+102.301 s]
/proc/loadavg: 1.98 2.00 1.99 3/474 25430
/proc/meminfo: memFree=20079852/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=175204 CPUtime=102.31 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 41948 0 0 0 10225 6 0 0 25 0 1 0 821764964 179408896 41143 33554432000 4194304 4933572 140734002608096 18446744073709551615 274473628357 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 43801 41143 386 181 0 40810 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 175204
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/474 25432
/proc/meminfo: memFree=20019428/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=205872 CPUtime=162.3 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 49609 0 0 0 16222 8 0 0 25 0 1 0 821764964 210812928 48804 33554432000 4194304 4933572 140734002608096 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 51468 48804 386 181 0 48477 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 205872
[startup+222.319 s]
/proc/loadavg: 1.99 2.00 1.99 3/474 25434
/proc/meminfo: memFree=20002392/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=214936 CPUtime=222.32 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 51860 0 0 0 22224 8 0 0 25 0 1 0 821764964 220094464 51055 33554432000 4194304 4933572 140734002608096 18446744073709551615 4378906 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 53734 51055 386 181 0 50743 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 214936
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/474 25435
/proc/meminfo: memFree=19962548/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=235684 CPUtime=282.3 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 57607 0 0 0 28221 9 0 0 25 0 1 0 821764964 241340416 56242 33554432000 4194304 4933572 140734002608096 18446744073709551615 4414963 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 58921 56242 387 181 0 55930 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 235684
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/474 25437
/proc/meminfo: memFree=19957924/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=237076 CPUtime=342.3 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 57936 0 0 0 34221 9 0 0 25 0 1 0 821764964 242765824 56571 33554432000 4194304 4933572 140734002608096 18446744073709551615 4664010 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 59269 56571 387 181 0 56278 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 237076
[startup+402.301 s]
/proc/loadavg: 2.11 2.03 2.00 3/474 25438
/proc/meminfo: memFree=19921308/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=257196 CPUtime=402.3 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 65539 0 0 0 40220 10 0 0 25 0 1 0 821764964 263368704 61583 33554432000 4194304 4933572 140734002608096 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 64299 61583 387 181 0 61308 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 257196
[startup+462.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/474 25440
/proc/meminfo: memFree=19913328/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=259312 CPUtime=462.31 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 66071 0 0 0 46220 11 0 0 25 0 1 0 821764964 265535488 62115 33554432000 4194304 4933572 140734002608096 18446744073709551615 4649317 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 64828 62115 387 181 0 61837 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 259312
[startup+522.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/474 25441
/proc/meminfo: memFree=19912052/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=259312 CPUtime=522.31 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 66074 0 0 0 52220 11 0 0 25 0 1 0 821764964 265535488 62118 33554432000 4194304 4933572 140734002608096 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 64828 62118 387 181 0 61837 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 259312
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 25443
/proc/meminfo: memFree=19892296/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=265696 CPUtime=582.3 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 69795 0 0 0 58219 11 0 0 25 0 1 0 821764964 272072704 63731 33554432000 4194304 4933572 140734002608096 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 66424 63731 387 181 0 63433 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 265696
[startup+642.301 s]
################
# More data... #
################
[startup+882.318 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 25460
/proc/meminfo: memFree=19823008/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=309636 CPUtime=882.33 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 81309 0 0 0 88220 13 0 0 25 0 1 0 821764964 317067264 74695 33554432000 4194304 4933572 140734002608096 18446744073709551615 4360892 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 77409 74695 387 181 0 74418 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 309636
[startup+942.301 s]
/proc/loadavg: 2.16 2.03 2.01 3/474 25462
/proc/meminfo: memFree=19797784/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=320948 CPUtime=942.31 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 84113 0 0 0 94218 13 0 0 25 0 1 0 821764964 328650752 77499 33554432000 4194304 4933572 140734002608096 18446744073709551615 4664026 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 80237 77499 387 181 0 77246 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 320948
[startup+1002.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/474 25466
/proc/meminfo: memFree=19791640/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=320948 CPUtime=1002.31 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 84113 0 0 0 100218 13 0 0 25 0 1 0 821764964 328650752 77499 33554432000 4194304 4933572 140734002608096 18446744073709551615 4663983 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 80237 77499 387 181 0 77246 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 320948
[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/474 25468
/proc/meminfo: memFree=19791656/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=321212 CPUtime=1062.32 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 84174 0 0 0 106218 14 0 0 25 0 1 0 821764964 328921088 77560 33554432000 4194304 4933572 140734002608096 18446744073709551615 4632090 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 80303 77560 387 181 0 77312 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 321212
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/474 25469
/proc/meminfo: memFree=19791252/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=321476 CPUtime=1122.32 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 84248 0 0 0 112218 14 0 0 25 0 1 0 821764964 329191424 77634 33554432000 4194304 4933572 140734002608096 18446744073709551615 4649386 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 80369 77634 387 181 0 77378 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 321476
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 25471
/proc/meminfo: memFree=19790856/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=321476 CPUtime=1182.32 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 84248 0 0 0 118218 14 0 0 25 0 1 0 821764964 329191424 77634 33554432000 4194304 4933572 140734002608096 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 80369 77634 387 181 0 77378 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 321476
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 25473
/proc/meminfo: memFree=19789812/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=321476 CPUtime=1242.32 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 84248 0 0 0 124218 14 0 0 25 0 1 0 821764964 329191424 77634 33554432000 4194304 4933572 140734002608096 18446744073709551615 4632831 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 80369 77634 387 181 0 77378 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 321476
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 25474
/proc/meminfo: memFree=19770304/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=340556 CPUtime=1302.33 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 89818 0 0 0 130218 15 0 0 25 0 1 0 821764964 348729344 82382 33554432000 4194304 4933572 140734002608096 18446744073709551615 4649377 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 85139 82382 387 181 0 82148 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 340556
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 25476
/proc/meminfo: memFree=19745460/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=353740 CPUtime=1362.33 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 93094 0 0 0 136218 15 0 0 25 0 1 0 821764964 362229760 85658 33554432000 4194304 4933572 140734002608096 18446744073709551615 4328785 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 88435 85658 387 181 0 85444 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 353740
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 25478
/proc/meminfo: memFree=19724824/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=354540 CPUtime=1422.34 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 93324 0 0 0 142219 15 0 0 25 0 1 0 821764964 363048960 85888 33554432000 4194304 4933572 140734002608096 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 88635 85888 387 181 0 85644 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 354540
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 25479
/proc/meminfo: memFree=19720444/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=357100 CPUtime=1482.33 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 93954 0 0 0 148218 15 0 0 25 0 1 0 821764964 365670400 86518 33554432000 4194304 4933572 140734002608096 18446744073709551615 4341829 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 89275 86518 387 181 0 86284 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 357100
[startup+1542.32 s]
/proc/loadavg: 2.12 2.04 2.01 3/474 25481
/proc/meminfo: memFree=19720768/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=357100 CPUtime=1542.35 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 93958 0 0 0 154220 15 0 0 25 0 1 0 821764964 365670400 86522 33554432000 4194304 4933572 140734002608096 18446744073709551615 4328752 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 89275 86522 387 181 0 86284 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 357100
[startup+1602.3 s]
/proc/loadavg: 2.12 2.06 2.02 3/474 25482
/proc/meminfo: memFree=19717264/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=358964 CPUtime=1602.33 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 94415 0 0 0 160218 15 0 0 25 0 1 0 821764964 367579136 86979 33554432000 4194304 4933572 140734002608096 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 89741 86979 387 181 0 86750 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 358964
[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/474 25484
/proc/meminfo: memFree=19717100/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=358964 CPUtime=1662.33 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 94416 0 0 0 166218 15 0 0 25 0 1 0 821764964 367579136 86980 33554432000 4194304 4933572 140734002608096 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 89741 86980 387 181 0 86750 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 358964
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/474 25485
/proc/meminfo: memFree=19717060/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=358964 CPUtime=1722.33 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 94416 0 0 0 172218 15 0 0 25 0 1 0 821764964 367579136 86980 33554432000 4194304 4933572 140734002608096 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 89741 86980 387 181 0 86750 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 358964
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 25487
/proc/meminfo: memFree=19716512/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=356632 CPUtime=1782.33 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 94420 0 0 0 178218 15 0 0 25 0 1 0 821764964 365191168 86424 33554432000 4194304 4933572 140734002608096 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 89158 86424 387 181 0 86167 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 356632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.92 2.01 1.99 3/471 25492
/proc/meminfo: memFree=20064452/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=357696 CPUtime=1800.05 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 94681 0 0 0 179990 15 0 0 25 0 1 0 821764964 366280704 86685 33554432000 4194304 4933572 140734002608096 18446744073709551615 4631904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 89424 86685 387 181 0 86433 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 357696
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 1.92 2.01 1.99 3/471 25492
/proc/meminfo: memFree=20064452/32950928 swapFree=61858088/67111528
[pid=25427] ppid=25425 vsize=357696 CPUtime=1800.05 cores=0,2,4,6
/proc/25427/stat : 25427 (clasp) R 25425 25427 24628 0 -1 4202496 94681 0 0 0 179990 15 0 0 25 0 1 0 821764964 366280704 86685 33554432000 4194304 4933572 140734002608096 18446744073709551615 4631904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25427/statm: 89424 86685 387 181 0 86433 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 357696
Child status: 10
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1799.91
CPU system time (s): 0.171973
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 358964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.171973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94689
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= 6
involuntary context switches= 2667
runsolver used 8.5667 second user time and 19.2841 second system time
The end