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-3468139-1307099147/watcher-3468139-1307099147 -o /tmp/evaluation-result-3468139-1307099147/solver-3468139-1307099147 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468139-1307099147.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.90 2.00 1.99 2/483 12523
/proc/meminfo: memFree=24917584/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=13176 CPUtime=0 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 664 0 0 0 0 0 0 0 25 0 1 0 900145397 13492224 594 33554432000 4194304 4933572 140735026454560 18446744073709551615 260905393920 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 3294 594 331 181 0 303 0
[startup+0.044276 s]
/proc/loadavg: 1.90 2.00 1.99 2/483 12523
/proc/meminfo: memFree=24917584/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=16756 CPUtime=0.04 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 1960 0 0 0 4 0 0 0 25 0 1 0 900145397 17158144 1417 33554432000 4194304 4933572 140735026454560 18446744073709551615 260905393920 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 4189 1418 331 181 0 1198 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16756
[startup+0.100294 s]
/proc/loadavg: 1.90 2.00 1.99 2/483 12523
/proc/meminfo: memFree=24917584/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=19644 CPUtime=0.09 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 2691 0 0 0 9 0 0 0 25 0 1 0 900145397 20115456 2136 33554432000 4194304 4933572 140735026454560 18446744073709551615 4587815 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 4911 2136 348 181 0 1920 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19644
[startup+0.300212 s]
/proc/loadavg: 1.90 2.00 1.99 2/483 12523
/proc/meminfo: memFree=24917584/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=18560 CPUtime=0.29 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 2720 0 0 0 29 0 0 0 25 0 1 0 900145397 19005440 1950 33554432000 4194304 4933572 140735026454560 18446744073709551615 4632764 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 4640 1950 377 181 0 1649 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18560
[startup+0.700082 s]
/proc/loadavg: 1.90 2.00 1.99 2/483 12523
/proc/meminfo: memFree=24917584/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=29044 CPUtime=0.69 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 5379 0 0 0 69 0 0 0 25 0 1 0 900145397 29741056 4609 33554432000 4194304 4933572 140735026454560 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 7261 4609 384 181 0 4270 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29044
[startup+1.50104 s]
/proc/loadavg: 1.90 2.00 1.99 3/484 12524
/proc/meminfo: memFree=24868108/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=52892 CPUtime=1.49 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 11365 0 0 0 148 1 0 0 25 0 1 0 900145397 54161408 10595 33554432000 4194304 4933572 140735026454560 18446744073709551615 260905054917 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 13223 10595 384 181 0 10232 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52892
[startup+3.10076 s]
/proc/loadavg: 1.90 2.00 1.99 3/484 12524
/proc/meminfo: memFree=24806496/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=73552 CPUtime=3.09 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 16524 0 0 0 308 1 0 0 25 0 1 0 900145397 75317248 15754 33554432000 4194304 4933572 140735026454560 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 18388 15754 384 181 0 15397 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73552
[startup+6.30111 s]
/proc/loadavg: 1.91 2.00 1.99 3/484 12524
/proc/meminfo: memFree=24779428/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=88260 CPUtime=6.29 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 20173 0 0 0 627 2 0 0 25 0 1 0 900145397 90378240 19403 33554432000 4194304 4933572 140735026454560 18446744073709551615 4341696 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 22065 19403 384 181 0 19074 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88260
[startup+12.7009 s]
/proc/loadavg: 1.92 2.00 1.99 3/484 12524
/proc/meminfo: memFree=24743096/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=105704 CPUtime=12.69 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 24533 0 0 0 1267 2 0 0 25 0 1 0 900145397 108240896 23763 33554432000 4194304 4933572 140735026454560 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 26426 23763 386 181 0 23435 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105704
[startup+25.5005 s]
/proc/loadavg: 1.93 2.00 1.99 3/484 12525
/proc/meminfo: memFree=24704436/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=121140 CPUtime=25.5 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 28263 0 0 0 2547 3 0 0 25 0 1 0 900145397 124047360 27493 33554432000 4194304 4933572 140735026454560 18446744073709551615 4319323 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 30285 27493 386 181 0 27294 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 121140
[startup+51.101 s]
/proc/loadavg: 1.95 2.00 1.99 3/484 12525
/proc/meminfo: memFree=24658628/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=144348 CPUtime=51.09 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 34061 0 0 0 5106 3 0 0 25 0 1 0 900145397 147812352 33291 33554432000 4194304 4933572 140735026454560 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 36087 33291 386 181 0 33096 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 144348
[startup+102.318 s]
/proc/loadavg: 1.98 2.00 1.99 3/484 12527
/proc/meminfo: memFree=24600800/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=172716 CPUtime=102.31 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 41219 0 0 0 10227 4 0 0 25 0 1 0 900145397 176861184 40449 33554432000 4194304 4933572 140735026454560 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 43179 40449 386 181 0 40188 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 172716
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/484 12528
/proc/meminfo: memFree=24567760/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=195640 CPUtime=162.29 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 46929 0 0 0 16224 5 0 0 25 0 1 0 900145397 200335360 46159 33554432000 4194304 4933572 140735026454560 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 48910 46159 386 181 0 45919 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 195640
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/484 12530
/proc/meminfo: memFree=24547012/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=198236 CPUtime=222.29 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 47573 0 0 0 22224 5 0 0 25 0 1 0 900145397 202993664 46803 33554432000 4194304 4933572 140735026454560 18446744073709551615 4631904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 49559 46803 386 181 0 46568 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 198236
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/484 12531
/proc/meminfo: memFree=24517568/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=211292 CPUtime=282.3 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 50899 0 0 0 28224 6 0 0 25 0 1 0 900145397 216363008 50129 33554432000 4194304 4933572 140735026454560 18446744073709551615 4328783 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 52823 50129 386 181 0 49832 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 211292
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/484 12533
/proc/meminfo: memFree=24505480/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=228248 CPUtime=342.3 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 58670 0 0 0 34222 8 0 0 25 0 1 0 900145397 233725952 54337 33554432000 4194304 4933572 140735026454560 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 57062 54337 387 181 0 54071 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 228248
[startup+402.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/484 12535
/proc/meminfo: memFree=24473428/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=236732 CPUtime=402.31 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 60785 0 0 0 40223 8 0 0 25 0 1 0 900145397 242413568 56452 33554432000 4194304 4933572 140735026454560 18446744073709551615 4342453 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 59183 56452 387 181 0 56192 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 236732
[startup+462.301 s]
/proc/loadavg: 2.17 2.06 2.01 3/484 12536
/proc/meminfo: memFree=24463448/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=241828 CPUtime=462.31 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 62072 0 0 0 46223 8 0 0 25 0 1 0 900145397 247631872 57739 33554432000 4194304 4933572 140735026454560 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 60457 57739 387 181 0 57466 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 241828
[startup+522.301 s]
/proc/loadavg: 2.14 2.07 2.02 3/484 12538
/proc/meminfo: memFree=24448760/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=255808 CPUtime=522.31 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 65564 0 0 0 52223 8 0 0 25 0 1 0 900145397 261947392 61231 33554432000 4194304 4933572 140735026454560 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 63952 61231 387 181 0 60961 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 255808
[startup+582.301 s]
/proc/loadavg: 2.05 2.06 2.01 3/484 12539
/proc/meminfo: memFree=24427396/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=262020 CPUtime=582.31 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 68677 0 0 0 58222 9 0 0 25 0 1 0 900145397 268308480 62796 33554432000 4194304 4933572 140735026454560 18446744073709551615 4630763 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 65505 62796 387 181 0 62514 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 262020
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12546
/proc/meminfo: memFree=24402284/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=265252 CPUtime=822.31 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 74560 0 0 0 82221 10 0 0 25 0 1 0 900145397 271618048 63626 33554432000 4194304 4933572 140735026454560 18446744073709551615 4414944 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 66313 63626 387 181 0 63322 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 265252
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12547
/proc/meminfo: memFree=24364904/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=292220 CPUtime=882.31 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 81181 0 0 0 88220 11 0 0 25 0 1 0 900145397 299233280 70247 33554432000 4194304 4933572 140735026454560 18446744073709551615 4625192 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 73055 70247 387 181 0 70064 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 292220
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12549
/proc/meminfo: memFree=24362616/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=293276 CPUtime=942.31 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 81472 0 0 0 94220 11 0 0 25 0 1 0 900145397 300314624 70538 33554432000 4194304 4933572 140735026454560 18446744073709551615 4360897 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 73319 70538 387 181 0 70328 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 293276
[startup+1002.3 s]
/proc/loadavg: 2.25 2.07 2.02 3/484 12551
/proc/meminfo: memFree=24362556/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=293276 CPUtime=1002.33 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 81482 0 0 0 100221 12 0 0 25 0 1 0 900145397 300314624 70548 33554432000 4194304 4933572 140735026454560 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 73319 70548 387 181 0 70328 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 293276
[startup+1062.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/484 12552
/proc/meminfo: memFree=24360888/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=292000 CPUtime=1062.33 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 81680 0 0 0 106221 12 0 0 25 0 1 0 900145397 299008000 70230 33554432000 4194304 4933572 140735026454560 18446744073709551615 4360897 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 73000 70230 387 181 0 70009 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 292000
[startup+1122.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/484 12554
/proc/meminfo: memFree=24360584/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=292000 CPUtime=1122.33 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 81680 0 0 0 112221 12 0 0 25 0 1 0 900145397 299008000 70230 33554432000 4194304 4933572 140735026454560 18446744073709551615 4663980 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 73000 70230 387 181 0 70009 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 292000
[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/484 12555
/proc/meminfo: memFree=24355472/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=295916 CPUtime=1182.33 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 82645 0 0 0 118221 12 0 0 25 0 1 0 900145397 303017984 71195 33554432000 4194304 4933572 140735026454560 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 73979 71195 387 181 0 70988 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 295916
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/484 12557
/proc/meminfo: memFree=24346004/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=297696 CPUtime=1242.33 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 86988 0 0 0 124220 13 0 0 25 0 1 0 900145397 304840704 71651 33554432000 4194304 4933572 140735026454560 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 74424 71651 387 181 0 71433 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 297696
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12559
/proc/meminfo: memFree=24305648/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=319976 CPUtime=1302.34 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 92546 0 0 0 130220 14 0 0 25 0 1 0 900145397 327655424 77209 33554432000 4194304 4933572 140735026454560 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 79994 77209 387 181 0 77003 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 319976
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12560
/proc/meminfo: memFree=24303488/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=319976 CPUtime=1362.33 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 92546 0 0 0 136219 14 0 0 25 0 1 0 900145397 327655424 77209 33554432000 4194304 4933572 140735026454560 18446744073709551615 260905091690 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 79994 77209 387 181 0 77003 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 319976
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12562
/proc/meminfo: memFree=24296860/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=326524 CPUtime=1422.35 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 94172 0 0 0 142220 15 0 0 25 0 1 0 900145397 334360576 78835 33554432000 4194304 4933572 140735026454560 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 81631 78835 387 181 0 78640 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 326524
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12563
/proc/meminfo: memFree=24294208/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=326524 CPUtime=1482.34 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 94172 0 0 0 148219 15 0 0 25 0 1 0 900145397 334360576 78835 33554432000 4194304 4933572 140735026454560 18446744073709551615 4342162 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 81631 78835 387 181 0 78640 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 326524
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/484 12565
/proc/meminfo: memFree=24295004/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=326920 CPUtime=1542.34 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 94266 0 0 0 154219 15 0 0 25 0 1 0 900145397 334766080 78929 33554432000 4194304 4933572 140735026454560 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 81730 78929 387 181 0 78739 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 326920
[startup+1602.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/484 12567
/proc/meminfo: memFree=24293072/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=328544 CPUtime=1602.34 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 94668 0 0 0 160219 15 0 0 25 0 1 0 900145397 336429056 79331 33554432000 4194304 4933572 140735026454560 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 82136 79331 387 181 0 79145 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 328544
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/484 12568
/proc/meminfo: memFree=24293000/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=328544 CPUtime=1662.34 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 94668 0 0 0 166219 15 0 0 25 0 1 0 900145397 336429056 79331 33554432000 4194304 4933572 140735026454560 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 82136 79331 387 181 0 79145 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 328544
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 12570
/proc/meminfo: memFree=24291820/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=328544 CPUtime=1722.35 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 94668 0 0 0 172220 15 0 0 25 0 1 0 900145397 336429056 79331 33554432000 4194304 4933572 140735026454560 18446744073709551615 4342480 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 82136 79331 387 181 0 79145 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 328544
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12571
/proc/meminfo: memFree=24289536/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=328544 CPUtime=1782.35 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 94668 0 0 0 178220 15 0 0 25 0 1 0 900145397 336429056 79331 33554432000 4194304 4933572 140735026454560 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 82136 79331 387 181 0 79145 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 328544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 2/483 12573
/proc/meminfo: memFree=24602132/32950928 swapFree=61542356/67111528
[pid=12523] ppid=12521 vsize=328808 CPUtime=1800.06 cores=0,2,4,6
/proc/12523/stat : 12523 (clasp) R 12521 12523 12040 0 -1 4202496 94762 0 0 0 179991 15 0 0 25 0 1 0 900145397 336699392 79425 33554432000 4194304 4933572 140735026454560 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12523/statm: 82202 79425 387 181 0 79211 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 328808
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.03
CPU time (s): 1800.09
CPU user time (s): 1799.92
CPU system time (s): 0.166974
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 328808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.166974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94770
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= 2609
runsolver used 8.80166 second user time and 19.0421 second system time
The end