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-3479272-1307448599/watcher-3479272-1307448599 -o /tmp/evaluation-result-3479272-1307448599/solver-3479272-1307448599 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3479272-1307448599.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.05 2.05 2.00 3/455 19385
/proc/meminfo: memFree=24168308/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=13416 CPUtime=0 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 782 0 0 0 0 0 0 0 25 0 1 0 837275826 13737984 700 33554432000 4194304 4933572 140736081117424 18446744073709551615 4623616 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 3354 700 367 181 0 363 0
[startup+0.0590511 s]
/proc/loadavg: 2.05 2.05 2.00 3/455 19385
/proc/meminfo: memFree=24168308/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=14588 CPUtime=0.05 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 1079 0 0 0 5 0 0 0 25 0 1 0 837275826 14938112 997 33554432000 4194304 4933572 140736081117424 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 3647 997 384 181 0 656 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14588
[startup+0.101044 s]
/proc/loadavg: 2.05 2.05 2.00 3/455 19385
/proc/meminfo: memFree=24168308/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=15628 CPUtime=0.09 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 1337 0 0 0 9 0 0 0 25 0 1 0 837275826 16003072 1255 33554432000 4194304 4933572 140736081117424 18446744073709551615 4341800 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 3907 1255 385 181 0 916 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15628
[startup+0.301007 s]
/proc/loadavg: 2.05 2.05 2.00 3/455 19385
/proc/meminfo: memFree=24168308/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=17692 CPUtime=0.29 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 1876 0 0 0 29 0 0 0 25 0 1 0 837275826 18116608 1794 33554432000 4194304 4933572 140736081117424 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 4423 1794 385 181 0 1432 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17692
[startup+0.700931 s]
/proc/loadavg: 2.05 2.05 2.00 3/455 19385
/proc/meminfo: memFree=24168308/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=21244 CPUtime=0.69 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 2702 0 0 0 69 0 0 0 25 0 1 0 837275826 21753856 2620 33554432000 4194304 4933572 140736081117424 18446744073709551615 4360912 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 5311 2620 385 181 0 2320 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21244
[startup+1.5008 s]
/proc/loadavg: 2.05 2.05 2.00 3/456 19386
/proc/meminfo: memFree=24156676/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=22148 CPUtime=1.49 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 2981 0 0 0 149 0 0 0 25 0 1 0 837275826 22679552 2899 33554432000 4194304 4933572 140736081117424 18446744073709551615 4631889 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 5537 2899 385 181 0 2546 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22148
[startup+3.10049 s]
/proc/loadavg: 2.05 2.05 2.00 3/456 19386
/proc/meminfo: memFree=24154692/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=23180 CPUtime=3.09 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 3223 0 0 0 309 0 0 0 25 0 1 0 837275826 23736320 3141 33554432000 4194304 4933572 140736081117424 18446744073709551615 4368901 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 5795 3141 385 181 0 2804 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23180
[startup+6.3009 s]
/proc/loadavg: 2.04 2.05 2.00 3/456 19386
/proc/meminfo: memFree=24150624/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=26492 CPUtime=6.29 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 4025 0 0 0 629 0 0 0 25 0 1 0 837275826 27127808 3943 33554432000 4194304 4933572 140736081117424 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 6623 3943 385 181 0 3632 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26492
[startup+12.7007 s]
/proc/loadavg: 2.04 2.05 2.00 3/456 19386
/proc/meminfo: memFree=24146752/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=28752 CPUtime=12.7 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 4590 0 0 0 1269 1 0 0 25 0 1 0 837275826 29442048 4508 33554432000 4194304 4933572 140736081117424 18446744073709551615 4428972 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 7188 4508 385 181 0 4197 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 28752
[startup+25.5004 s]
/proc/loadavg: 2.03 2.04 2.00 4/456 19387
/proc/meminfo: memFree=24145008/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=29548 CPUtime=25.5 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 4816 0 0 0 2549 1 0 0 25 0 1 0 837275826 30257152 4717 33554432000 4194304 4933572 140736081117424 18446744073709551615 4329847 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 7387 4717 385 181 0 4396 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 29548
[startup+51.1007 s]
/proc/loadavg: 2.02 2.04 2.00 3/456 19387
/proc/meminfo: memFree=24138176/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=34680 CPUtime=51.09 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 6027 0 0 0 5108 1 0 0 25 0 1 0 837275826 35512320 5928 33554432000 4194304 4933572 140736081117424 18446744073709551615 4637449 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 8670 5928 385 181 0 5679 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34680
[startup+102.317 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 19389
/proc/meminfo: memFree=24133932/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=35356 CPUtime=102.31 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 6237 0 0 0 10230 1 0 0 25 0 1 0 837275826 36204544 6129 33554432000 4194304 4933572 140736081117424 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 8839 6129 385 181 0 5848 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 35356
[startup+162.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/456 19390
/proc/meminfo: memFree=24131044/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=36340 CPUtime=162.3 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 6475 0 0 0 16229 1 0 0 25 0 1 0 837275826 37212160 6355 33554432000 4194304 4933572 140736081117424 18446744073709551615 4632737 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 9085 6355 385 181 0 6094 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 36340
[startup+222.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/456 19392
/proc/meminfo: memFree=24128904/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=37072 CPUtime=222.3 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 6686 0 0 0 22229 1 0 0 25 0 1 0 837275826 37961728 6546 33554432000 4194304 4933572 140736081117424 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 9268 6546 385 181 0 6277 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 37072
[startup+282.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/456 19393
/proc/meminfo: memFree=24127768/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=37416 CPUtime=282.3 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 6821 0 0 0 28229 1 0 0 25 0 1 0 837275826 38313984 6638 33554432000 4194304 4933572 140736081117424 18446744073709551615 4429009 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 9354 6638 385 181 0 6363 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 37416
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/456 19395
/proc/meminfo: memFree=24125016/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=37720 CPUtime=342.3 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 6980 0 0 0 34229 1 0 0 25 0 1 0 837275826 38625280 6723 33554432000 4194304 4933572 140736081117424 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 9430 6723 385 181 0 6439 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 37720
[startup+402.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/456 19397
/proc/meminfo: memFree=24124124/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=37804 CPUtime=402.3 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 7066 0 0 0 40229 1 0 0 25 0 1 0 837275826 38711296 6744 33554432000 4194304 4933572 140736081117424 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 9451 6744 385 181 0 6460 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 37804
[startup+462.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 19398
/proc/meminfo: memFree=24122868/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=38292 CPUtime=462.3 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 7170 0 0 0 46229 1 0 0 25 0 1 0 837275826 39211008 6848 33554432000 4194304 4933572 140736081117424 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 9573 6848 385 181 0 6582 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 38292
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/456 19400
/proc/meminfo: memFree=24120864/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=38460 CPUtime=522.31 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 7246 0 0 0 52230 1 0 0 25 0 1 0 837275826 39383040 6907 33554432000 4194304 4933572 140736081117424 18446744073709551615 4664515 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 9615 6907 385 181 0 6624 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 38460
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 19402
/proc/meminfo: memFree=24119608/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=38564 CPUtime=582.31 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 7275 0 0 0 58230 1 0 0 25 0 1 0 837275826 39489536 6933 33554432000 4194304 4933572 140736081117424 18446744073709551615 220815934112 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 9641 6933 385 181 0 6650 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 38564
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 19408
/proc/meminfo: memFree=24115144/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=39564 CPUtime=822.31 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 7571 0 0 0 82230 1 0 0 25 0 1 0 837275826 40513536 7174 33554432000 4194304 4933572 140736081117424 18446744073709551615 4664576 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 9891 7174 385 181 0 6900 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 39564
[startup+882.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/456 19410
/proc/meminfo: memFree=24113744/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=39604 CPUtime=882.32 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 7601 0 0 0 88231 1 0 0 25 0 1 0 837275826 40554496 7192 33554432000 4194304 4933572 140736081117424 18446744073709551615 4632210 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 9901 7192 385 181 0 6910 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 39604
[startup+942.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/456 19414
/proc/meminfo: memFree=24112732/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=39864 CPUtime=942.32 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 7667 0 0 0 94231 1 0 0 25 0 1 0 837275826 40820736 7252 33554432000 4194304 4933572 140736081117424 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 9966 7252 385 181 0 6975 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 39864
[startup+1002.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/456 19416
/proc/meminfo: memFree=24111952/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=40188 CPUtime=1002.32 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 7740 0 0 0 100231 1 0 0 25 0 1 0 837275826 41152512 7316 33554432000 4194304 4933572 140736081117424 18446744073709551615 4360906 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 10047 7316 385 181 0 7056 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 40188
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/456 19417
/proc/meminfo: memFree=24111320/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=40268 CPUtime=1062.32 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 7792 0 0 0 106231 1 0 0 25 0 1 0 837275826 41234432 7358 33554432000 4194304 4933572 140736081117424 18446744073709551615 4363276 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 10067 7358 385 181 0 7076 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 40268
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/456 19419
/proc/meminfo: memFree=24111056/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=40280 CPUtime=1122.32 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 7826 0 0 0 112231 1 0 0 25 0 1 0 837275826 41246720 7359 33554432000 4194304 4933572 140736081117424 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 10070 7359 385 181 0 7079 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 40280
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 19420
/proc/meminfo: memFree=24109304/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=40376 CPUtime=1182.33 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 7959 0 0 0 118232 1 0 0 25 0 1 0 837275826 41345024 7383 33554432000 4194304 4933572 140736081117424 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 10094 7383 385 181 0 7103 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 40376
[startup+1242.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/456 19422
/proc/meminfo: memFree=24108524/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=40384 CPUtime=1242.33 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 7980 0 0 0 124232 1 0 0 25 0 1 0 837275826 41353216 7383 33554432000 4194304 4933572 140736081117424 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 10096 7383 385 181 0 7105 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 40384
[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/456 19424
/proc/meminfo: memFree=24107360/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=40420 CPUtime=1302.34 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 7993 0 0 0 130233 1 0 0 25 0 1 0 837275826 41390080 7395 33554432000 4194304 4933572 140736081117424 18446744073709551615 4635445 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 10105 7395 385 181 0 7114 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 40420
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 19425
/proc/meminfo: memFree=24107940/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=40440 CPUtime=1362.33 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 8012 0 0 0 136232 1 0 0 25 0 1 0 837275826 41410560 7403 33554432000 4194304 4933572 140736081117424 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 10110 7403 385 181 0 7119 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 40440
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 19427
/proc/meminfo: memFree=24106668/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=41268 CPUtime=1422.35 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 8346 0 0 0 142234 1 0 0 25 0 1 0 837275826 42258432 7610 33554432000 4194304 4933572 140736081117424 18446744073709551615 4341607 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 10317 7610 385 181 0 7326 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 41268
[startup+1482.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/456 19428
/proc/meminfo: memFree=24106136/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=41428 CPUtime=1482.33 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 8406 0 0 0 148232 1 0 0 25 0 1 0 837275826 42422272 7648 33554432000 4194304 4933572 140736081117424 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 10357 7648 385 181 0 7366 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 41428
[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/456 19430
/proc/meminfo: memFree=24105612/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=41632 CPUtime=1542.35 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 8544 0 0 0 154233 2 0 0 25 0 1 0 837275826 42631168 7688 33554432000 4194304 4933572 140736081117424 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 10408 7688 385 181 0 7417 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 41632
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/456 19432
/proc/meminfo: memFree=24105088/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=41708 CPUtime=1602.35 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 8587 0 0 0 160233 2 0 0 25 0 1 0 837275826 42708992 7705 33554432000 4194304 4933572 140736081117424 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 10427 7705 385 181 0 7436 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 41708
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 19433
/proc/meminfo: memFree=24104816/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=41708 CPUtime=1662.35 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 8607 0 0 0 166233 2 0 0 25 0 1 0 837275826 42708992 7720 33554432000 4194304 4933572 140736081117424 18446744073709551615 4341552 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 10427 7720 385 181 0 7436 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 41708
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 19435
/proc/meminfo: memFree=24104172/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=41836 CPUtime=1722.35 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 8664 0 0 0 172233 2 0 0 25 0 1 0 837275826 42840064 7734 33554432000 4194304 4933572 140736081117424 18446744073709551615 4637147 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 10459 7734 385 181 0 7468 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 41836
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/456 19437
/proc/meminfo: memFree=24102292/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=41884 CPUtime=1782.35 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 8733 0 0 0 178233 2 0 0 25 0 1 0 837275826 42889216 7738 33554432000 4194304 4933572 140736081117424 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 10471 7738 385 181 0 7480 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 41884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.96 2.02 2.00 2/450 19455
/proc/meminfo: memFree=24143736/32951124 swapFree=60476376/67111528
[pid=19385] ppid=19383 vsize=41792 CPUtime=1800.06 cores=1,3,5,7
/proc/19385/stat : 19385 (clasp) R 19383 19385 18265 0 -1 4202496 8760 0 0 0 180004 2 0 0 25 0 1 0 837275826 42795008 7741 33554432000 4194304 4933572 140736081117424 18446744073709551615 4329852 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19385/statm: 10448 7741 385 181 0 7457 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 41792
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.08
CPU user time (s): 1800.05
CPU system time (s): 0.022996
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 41904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.022996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8769
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= 2999
runsolver used 7.50686 second user time and 18.6992 second system time
The end