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-3479142-1307446787/watcher-3479142-1307446787 -o /tmp/evaluation-result-3479142-1307446787/solver-3479142-1307446787 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3479142-1307446787.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.97 2.02 2.00 2/455 19244
/proc/meminfo: memFree=22902592/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=12868 CPUtime=0.01 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 629 0 0 0 1 0 0 0 25 0 1 0 837094655 13176832 562 33554432000 4194304 4933572 140736078490432 18446744073709551615 4318072 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 3217 562 377 181 0 226 0
[startup+0.0467719 s]
/proc/loadavg: 1.97 2.02 2.00 2/455 19244
/proc/meminfo: memFree=22902592/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=13768 CPUtime=0.04 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 860 0 0 0 4 0 0 0 25 0 1 0 837094655 14098432 794 33554432000 4194304 4933572 140736078490432 18446744073709551615 220815897285 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 3442 795 384 181 0 451 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13768
[startup+0.100777 s]
/proc/loadavg: 1.97 2.02 2.00 2/455 19244
/proc/meminfo: memFree=22902592/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=15308 CPUtime=0.09 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 1259 0 0 0 9 0 0 0 25 0 1 0 837094655 15675392 1192 33554432000 4194304 4933572 140736078490432 18446744073709551615 220815897285 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 3827 1192 385 181 0 836 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15308
[startup+0.300741 s]
/proc/loadavg: 1.97 2.02 2.00 2/455 19244
/proc/meminfo: memFree=22902592/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=17232 CPUtime=0.29 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 1741 0 0 0 29 0 0 0 25 0 1 0 837094655 17645568 1674 33554432000 4194304 4933572 140736078490432 18446744073709551615 4664045 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 4308 1674 385 181 0 1317 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17232
[startup+0.700644 s]
/proc/loadavg: 1.97 2.02 2.00 2/455 19244
/proc/meminfo: memFree=22902592/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=19648 CPUtime=0.69 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 2308 0 0 0 69 0 0 0 25 0 1 0 837094655 20119552 2241 33554432000 4194304 4933572 140736078490432 18446744073709551615 4631824 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 4912 2241 385 181 0 1921 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19648
[startup+1.5005 s]
/proc/loadavg: 1.97 2.02 2.00 3/456 19245
/proc/meminfo: memFree=22894400/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=20552 CPUtime=1.49 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 2534 0 0 0 149 0 0 0 25 0 1 0 837094655 21045248 2467 33554432000 4194304 4933572 140736078490432 18446744073709551615 4360876 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 5138 2467 385 181 0 2147 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20552
[startup+3.10023 s]
/proc/loadavg: 1.97 2.02 2.00 3/456 19245
/proc/meminfo: memFree=22891920/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=22548 CPUtime=3.09 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 3036 0 0 0 309 0 0 0 25 0 1 0 837094655 23089152 2961 33554432000 4194304 4933572 140736078490432 18446744073709551615 4409842 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 5637 2961 385 181 0 2646 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22548
[startup+6.30064 s]
/proc/loadavg: 1.97 2.02 2.00 3/456 19245
/proc/meminfo: memFree=22888680/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=25288 CPUtime=6.29 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 3757 0 0 0 629 0 0 0 25 0 1 0 837094655 25894912 3682 33554432000 4194304 4933572 140736078490432 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 6322 3682 385 181 0 3331 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25288
[startup+12.7005 s]
/proc/loadavg: 1.97 2.02 2.00 3/456 19273
/proc/meminfo: memFree=24092900/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=27084 CPUtime=12.69 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 4208 0 0 0 1269 0 0 0 25 0 1 0 837094655 27734016 4133 33554432000 4194304 4933572 140736078490432 18446744073709551615 4632751 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 6771 4133 385 181 0 3780 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27084
[startup+25.5011 s]
/proc/loadavg: 1.98 2.01 2.00 3/456 19273
/proc/meminfo: memFree=24058560/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=30980 CPUtime=25.49 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 5122 0 0 0 2549 0 0 0 25 0 1 0 837094655 31723520 5047 33554432000 4194304 4933572 140736078490432 18446744073709551615 4637201 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 7745 5047 385 181 0 4754 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30980
[startup+51.1004 s]
/proc/loadavg: 1.98 2.01 2.00 3/456 19274
/proc/meminfo: memFree=24023816/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=35048 CPUtime=51.09 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 6144 0 0 0 5108 1 0 0 25 0 1 0 837094655 35889152 6037 33554432000 4194304 4933572 140736078490432 18446744073709551615 4341552 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 8762 6037 385 181 0 5771 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 35048
[startup+102.317 s]
/proc/loadavg: 2.08 2.04 2.01 3/456 19275
/proc/meminfo: memFree=23993788/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=37928 CPUtime=102.31 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 7154 0 0 0 10230 1 0 0 25 0 1 0 837094655 38838272 6839 33554432000 4194304 4933572 140736078490432 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 9482 6839 385 181 0 6491 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 37928
[startup+162.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/456 19277
/proc/meminfo: memFree=23971320/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=43208 CPUtime=162.3 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 8607 0 0 0 16229 1 0 0 25 0 1 0 837094655 44244992 8143 33554432000 4194304 4933572 140736078490432 18446744073709551615 4341902 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 10802 8143 385 181 0 7811 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 43208
[startup+222.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 19279
/proc/meminfo: memFree=23955044/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=44012 CPUtime=222.3 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 9003 0 0 0 22229 1 0 0 25 0 1 0 837094655 45068288 8342 33554432000 4194304 4933572 140736078490432 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 11003 8342 385 181 0 8012 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 44012
[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/456 19280
/proc/meminfo: memFree=23950184/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=47560 CPUtime=282.3 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 10064 0 0 0 28229 1 0 0 25 0 1 0 837094655 48701440 9217 33554432000 4194304 4933572 140736078490432 18446744073709551615 4328752 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 11890 9217 385 181 0 8899 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 47560
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 19282
/proc/meminfo: memFree=23931688/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=47396 CPUtime=342.3 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 10297 0 0 0 34229 1 0 0 25 0 1 0 837094655 48533504 9199 33554432000 4194304 4933572 140736078490432 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 11849 9199 385 181 0 8858 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 47396
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 19283
/proc/meminfo: memFree=23927948/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=51052 CPUtime=402.3 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 11423 0 0 0 40229 1 0 0 25 0 1 0 837094655 52277248 10103 33554432000 4194304 4933572 140736078490432 18446744073709551615 4361152 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 12763 10103 385 181 0 9772 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 51052
[startup+462.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/456 19285
/proc/meminfo: memFree=23928048/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=51244 CPUtime=462.3 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 11476 0 0 0 46229 1 0 0 25 0 1 0 837094655 52473856 10150 33554432000 4194304 4933572 140736078490432 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 12811 10150 385 181 0 9820 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 51244
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/456 19287
/proc/meminfo: memFree=23906820/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=51600 CPUtime=522.3 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 11659 0 0 0 52229 1 0 0 25 0 1 0 837094655 52838400 10249 33554432000 4194304 4933572 140736078490432 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 12900 10249 385 181 0 9909 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 51600
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 19288
/proc/meminfo: memFree=23903328/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=55388 CPUtime=582.3 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 12882 0 0 0 58229 1 0 0 25 0 1 0 837094655 56717312 11206 33554432000 4194304 4933572 140736078490432 18446744073709551615 4649377 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 13847 11206 387 181 0 10856 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 55388
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 19295
/proc/meminfo: memFree=23880532/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=56708 CPUtime=822.32 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 14378 0 0 0 82230 2 0 0 25 0 1 0 837094655 58068992 11536 33554432000 4194304 4933572 140736078490432 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 14177 11536 387 181 0 11186 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 56708
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 19296
/proc/meminfo: memFree=23872936/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=59716 CPUtime=882.32 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 15351 0 0 0 88230 2 0 0 25 0 1 0 837094655 61149184 12291 33554432000 4194304 4933572 140736078490432 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 14929 12291 387 181 0 11938 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 59716
[startup+942.301 s]
/proc/loadavg: 2.15 2.04 2.01 3/456 19298
/proc/meminfo: memFree=23874900/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=60644 CPUtime=942.32 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 15729 0 0 0 94230 2 0 0 25 0 1 0 837094655 62099456 12517 33554432000 4194304 4933572 140736078490432 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 15161 12517 387 181 0 12170 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 60644
[startup+1002.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/456 19299
/proc/meminfo: memFree=23874872/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=60644 CPUtime=1002.33 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 15804 0 0 0 100231 2 0 0 25 0 1 0 837094655 62099456 12502 33554432000 4194304 4933572 140736078490432 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 15161 12502 387 181 0 12170 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 60644
[startup+1062.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/456 19301
/proc/meminfo: memFree=23855636/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=60812 CPUtime=1062.33 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 16109 0 0 0 106231 2 0 0 25 0 1 0 837094655 62271488 12568 33554432000 4194304 4933572 140736078490432 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 15203 12568 387 181 0 12212 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 60812
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/456 19303
/proc/meminfo: memFree=23847920/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=60804 CPUtime=1122.33 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 16473 0 0 0 112231 2 0 0 25 0 1 0 837094655 62263296 12566 33554432000 4194304 4933572 140736078490432 18446744073709551615 4360928 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 15201 12566 387 181 0 12210 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 60804
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 19304
/proc/meminfo: memFree=23845924/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=61360 CPUtime=1182.33 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 16931 0 0 0 118231 2 0 0 25 0 1 0 837094655 62832640 12702 33554432000 4194304 4933572 140736078490432 18446744073709551615 4414911 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 15340 12702 387 181 0 12349 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 61360
[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/456 19306
/proc/meminfo: memFree=23846756/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=61480 CPUtime=1242.33 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 17048 0 0 0 124231 2 0 0 25 0 1 0 837094655 62955520 12736 33554432000 4194304 4933572 140736078490432 18446744073709551615 4648387 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 15370 12736 387 181 0 12379 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 61480
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/456 19316
/proc/meminfo: memFree=23846192/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=61400 CPUtime=1302.34 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 17207 0 0 0 130232 2 0 0 25 0 1 0 837094655 62873600 12716 33554432000 4194304 4933572 140736078490432 18446744073709551615 4378906 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 15350 12716 387 181 0 12359 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 61400
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 19318
/proc/meminfo: memFree=23840964/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=66184 CPUtime=1362.33 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 18488 0 0 0 136231 2 0 0 25 0 1 0 837094655 67772416 13882 33554432000 4194304 4933572 140736078490432 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 16546 13882 387 181 0 13555 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 66184
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 19320
/proc/meminfo: memFree=23839580/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=67156 CPUtime=1422.36 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 18759 0 0 0 142233 3 0 0 25 0 1 0 837094655 68767744 14109 33554432000 4194304 4933572 140736078490432 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 16789 14109 387 181 0 13798 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 67156
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 19321
/proc/meminfo: memFree=23838060/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=67240 CPUtime=1482.34 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 19043 0 0 0 148231 3 0 0 25 0 1 0 837094655 68853760 14146 33554432000 4194304 4933572 140736078490432 18446744073709551615 4625232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 16810 14146 387 181 0 13819 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 67240
[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/456 19323
/proc/meminfo: memFree=23839652/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=67300 CPUtime=1542.34 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 19339 0 0 0 154231 3 0 0 25 0 1 0 837094655 68915200 14140 33554432000 4194304 4933572 140736078490432 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 16825 14140 387 181 0 13834 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 67300
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/456 19324
/proc/meminfo: memFree=23811240/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=67084 CPUtime=1602.34 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 19502 0 0 0 160231 3 0 0 25 0 1 0 837094655 68694016 14075 33554432000 4194304 4933572 140736078490432 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 16771 14075 387 181 0 13780 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 67084
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 19326
/proc/meminfo: memFree=23812464/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=67164 CPUtime=1662.34 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 19714 0 0 0 166231 3 0 0 25 0 1 0 837094655 68775936 14118 33554432000 4194304 4933572 140736078490432 18446744073709551615 4360928 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 16791 14118 387 181 0 13800 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 67164
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/456 19328
/proc/meminfo: memFree=23809704/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=68564 CPUtime=1722.34 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 20096 0 0 0 172231 3 0 0 25 0 1 0 837094655 70209536 14463 33554432000 4194304 4933572 140736078490432 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 17141 14463 387 181 0 14150 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 68564
[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/456 19329
/proc/meminfo: memFree=23808824/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=68596 CPUtime=1782.35 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 20274 0 0 0 178232 3 0 0 25 0 1 0 837094655 70242304 14456 33554432000 4194304 4933572 140736078490432 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 17149 14456 387 181 0 14158 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 68596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.05 2.01 3/456 19330
/proc/meminfo: memFree=23809932/32951124 swapFree=60476376/67111528
[pid=19244] ppid=19242 vsize=68176 CPUtime=1800.06 cores=0,2,4,6
/proc/19244/stat : 19244 (clasp) R 19242 19244 18265 0 -1 4202496 20350 0 0 0 180003 3 0 0 25 0 1 0 837094655 69812224 14357 33554432000 4194304 4933572 140736078490432 18446744073709551615 4632090 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19244/statm: 17044 14357 387 181 0 14053 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 68176
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.04
CPU system time (s): 0.037994
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 68596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.037994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20358
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= 10
involuntary context switches= 2582
runsolver used 8.45072 second user time and 17.7553 second system time
The end