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-3478745-1307436783/watcher-3478745-1307436783 -o /tmp/evaluation-result-3478745-1307436783/solver-3478745-1307436783 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3478745-1307436783.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: 0.00 0.00 0.00 2/575 22883
/proc/meminfo: memFree=23355908/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/22883/stat : 22883 (runsolver) S 22881 22883 22845 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 1 0 855276102 12079104 51 33554432000 4194304 5432328 140736708452496 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699960631 0 0 17 5 0 0 0
/proc/22883/statm: 2949 51 31 303 0 2643 0
[startup+0.0328871 s]
/proc/loadavg: 0.00 0.00 0.00 2/575 22883
/proc/meminfo: memFree=23355908/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=14052 CPUtime=0 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 759 0 0 0 0 0 0 0 21 0 1 0 855276102 14389248 692 33554432000 4194304 4933572 140737024208832 18446744073709551615 4659414 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 3513 707 319 181 0 522 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14052
[startup+0.10086 s]
/proc/loadavg: 0.00 0.00 0.00 2/575 22883
/proc/meminfo: memFree=23355908/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=21572 CPUtime=0.06 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 3105 0 0 0 6 0 0 0 21 0 1 0 855276102 22089728 2680 33554432000 4194304 4933572 140737024208832 18446744073709551615 212687336133 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 5393 2680 333 181 0 2402 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 21572
[startup+0.300825 s]
/proc/loadavg: 0.00 0.00 0.00 2/575 22883
/proc/meminfo: memFree=23355908/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=37732 CPUtime=0.26 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 7559 0 0 0 25 1 0 0 22 0 1 0 855276102 38637568 6592 33554432000 4194304 4933572 140737024208832 18446744073709551615 4665678 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 9433 6592 348 181 0 6442 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 37732
[startup+0.700751 s]
/proc/loadavg: 0.00 0.00 0.00 2/575 22883
/proc/meminfo: memFree=23355908/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=36588 CPUtime=0.66 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 7750 0 0 0 65 1 0 0 23 0 1 0 855276102 37466112 6433 33554432000 4194304 4933572 140737024208832 18446744073709551615 4332744 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 9147 6433 374 181 0 6156 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 36588
[startup+1.5006 s]
/proc/loadavg: 0.00 0.00 0.00 3/576 22884
/proc/meminfo: memFree=23325428/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=36588 CPUtime=1.46 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 7750 0 0 0 145 1 0 0 25 0 1 0 855276102 37466112 6433 33554432000 4194304 4933572 140737024208832 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 9147 6433 374 181 0 6156 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 36588
[startup+3.10031 s]
/proc/loadavg: 0.00 0.00 0.00 3/576 22884
/proc/meminfo: memFree=23324188/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=36588 CPUtime=3.06 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 7750 0 0 0 305 1 0 0 25 0 1 0 855276102 37466112 6433 33554432000 4194304 4933572 140737024208832 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 9147 6433 374 181 0 6156 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 36588
[startup+6.30072 s]
/proc/loadavg: 0.16 0.03 0.01 3/576 22884
/proc/meminfo: memFree=23324304/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=36588 CPUtime=6.27 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 7764 0 0 0 626 1 0 0 25 0 1 0 855276102 37466112 6447 33554432000 4194304 4933572 140737024208832 18446744073709551615 4649320 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 9147 6447 376 181 0 6156 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 36588
[startup+12.7006 s]
/proc/loadavg: 0.39 0.08 0.03 3/576 22884
/proc/meminfo: memFree=23323748/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=36956 CPUtime=12.67 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 7878 0 0 0 1266 1 0 0 25 0 1 0 855276102 37842944 6561 33554432000 4194304 4933572 140737024208832 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 9239 6561 376 181 0 6248 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 36956
[startup+25.5002 s]
/proc/loadavg: 0.74 0.18 0.06 3/576 22884
/proc/meminfo: memFree=23320188/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=38248 CPUtime=25.46 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 8175 0 0 0 2545 1 0 0 25 0 1 0 855276102 39165952 6858 33554432000 4194304 4933572 140737024208832 18446744073709551615 4666773 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 9562 6858 376 181 0 6571 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 38248
[startup+51.1006 s]
/proc/loadavg: 1.17 0.32 0.11 3/576 22885
/proc/meminfo: memFree=23316788/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=40204 CPUtime=51.06 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 8632 0 0 0 5105 1 0 0 25 0 1 0 855276102 41168896 7315 33554432000 4194304 4933572 140737024208832 18446744073709551615 4718504 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 10051 7315 376 181 0 7060 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 40204
[startup+102.321 s]
/proc/loadavg: 1.64 0.58 0.20 3/576 22886
/proc/meminfo: memFree=23310816/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=44304 CPUtime=102.29 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 9601 0 0 0 10228 1 0 0 25 0 1 0 855276102 45367296 8284 33554432000 4194304 4933572 140737024208832 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 11076 8284 376 181 0 8085 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 44304
[startup+162.3 s]
/proc/loadavg: 1.87 0.83 0.31 3/576 22888
/proc/meminfo: memFree=23301260/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=47212 CPUtime=162.26 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 10287 0 0 0 16225 1 0 0 25 0 1 0 855276102 48345088 8970 33554432000 4194304 4933572 140737024208832 18446744073709551615 4319342 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 11803 8970 376 181 0 8812 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 47212
[startup+222.3 s]
/proc/loadavg: 1.95 1.04 0.42 3/576 22890
/proc/meminfo: memFree=23298032/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=49112 CPUtime=222.26 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 10740 0 0 0 22225 1 0 0 25 0 1 0 855276102 50290688 9423 33554432000 4194304 4933572 140737024208832 18446744073709551615 4649815 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 12278 9423 376 181 0 9287 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 49112
[startup+282.3 s]
/proc/loadavg: 1.98 1.21 0.51 3/576 22891
/proc/meminfo: memFree=23293436/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=52136 CPUtime=282.26 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 11458 0 0 0 28225 1 0 0 25 0 1 0 855276102 53387264 10141 33554432000 4194304 4933572 140737024208832 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 13034 10141 376 181 0 10043 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 52136
[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.60 3/576 22893
/proc/meminfo: memFree=23290084/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=53492 CPUtime=342.27 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 11771 0 0 0 34225 2 0 0 25 0 1 0 855276102 54775808 10454 33554432000 4194304 4933572 140737024208832 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 13373 10454 376 181 0 10382 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 53492
[startup+402.3 s]
/proc/loadavg: 1.99 1.47 0.69 3/576 22894
/proc/meminfo: memFree=23287104/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=55432 CPUtime=402.27 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 12262 0 0 0 40225 2 0 0 25 0 1 0 855276102 56762368 10945 33554432000 4194304 4933572 140737024208832 18446744073709551615 4711005 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22883/statm: 13858 10945 376 181 0 10867 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 55432
[startup+462.3 s]
/proc/loadavg: 2.15 1.60 0.78 3/576 22896
/proc/meminfo: memFree=23285984/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=56912 CPUtime=462.15 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 12567 0 0 0 46213 2 0 0 25 0 1 0 855276102 58277888 11250 33554432000 4194304 4933572 140737024208832 18446744073709551615 4631924 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 14228 11250 376 181 0 11237 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 56912
[startup+522.3 s]
/proc/loadavg: 2.23 1.71 0.87 3/576 22906
/proc/meminfo: memFree=23284360/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=57832 CPUtime=522.15 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 12777 0 0 0 52213 2 0 0 25 0 1 0 855276102 59219968 11460 33554432000 4194304 4933572 140737024208832 18446744073709551615 4319434 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 14458 11460 376 181 0 11467 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 57832
[startup+582.301 s]
/proc/loadavg: 2.13 1.78 0.94 3/576 22908
/proc/meminfo: memFree=23282492/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=59100 CPUtime=582.15 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 13080 0 0 0 58213 2 0 0 25 0 1 0 855276102 60518400 11763 33554432000 4194304 4933572 140737024208832 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 14775 11763 376 181 0 11784 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 59100
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.89 1.17 3/576 22917
/proc/meminfo: memFree=23273852/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=64300 CPUtime=822.16 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 14392 0 0 0 82213 3 0 0 25 0 1 0 855276102 65843200 13075 33554432000 4194304 4933572 140737024208832 18446744073709551615 4630666 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 16075 13075 376 181 0 13084 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 64300
[startup+882.301 s]
/proc/loadavg: 2.00 1.91 1.22 3/576 22919
/proc/meminfo: memFree=23270992/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=65944 CPUtime=882.16 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 14762 0 0 0 88213 3 0 0 25 0 1 0 855276102 67526656 13445 33554432000 4194304 4933572 140737024208832 18446744073709551615 4711299 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 16486 13445 376 181 0 13495 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 65944
[startup+942.301 s]
/proc/loadavg: 2.00 1.92 1.27 3/576 22921
/proc/meminfo: memFree=23270484/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=66472 CPUtime=942.16 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 14921 0 0 0 94213 3 0 0 25 0 1 0 855276102 68067328 13604 33554432000 4194304 4933572 140737024208832 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 16618 13604 376 181 0 13627 0
Current children cumulated CPU time (s) 942.16
Current children cumulated vsize (KiB) 66472
[startup+1002.3 s]
/proc/loadavg: 2.00 1.93 1.31 3/576 22922
/proc/meminfo: memFree=23268976/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=68088 CPUtime=1002.17 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 15284 0 0 0 100214 3 0 0 25 0 1 0 855276102 69722112 13967 33554432000 4194304 4933572 140737024208832 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 17022 13967 376 181 0 14031 0
Current children cumulated CPU time (s) 1002.17
Current children cumulated vsize (KiB) 68088
[startup+1062.3 s]
/proc/loadavg: 2.15 1.99 1.37 3/576 22924
/proc/meminfo: memFree=23267728/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=68088 CPUtime=1062.17 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 15285 0 0 0 106214 3 0 0 25 0 1 0 855276102 69722112 13968 33554432000 4194304 4933572 140737024208832 18446744073709551615 4664518 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 17022 13968 376 181 0 14031 0
Current children cumulated CPU time (s) 1062.17
Current children cumulated vsize (KiB) 68088
[startup+1122.3 s]
/proc/loadavg: 2.16 2.02 1.41 3/576 22925
/proc/meminfo: memFree=23265612/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=68260 CPUtime=1122.17 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 15332 0 0 0 112214 3 0 0 25 0 1 0 855276102 69898240 14015 33554432000 4194304 4933572 140737024208832 18446744073709551615 4649555 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 17065 14015 376 181 0 14074 0
Current children cumulated CPU time (s) 1122.17
Current children cumulated vsize (KiB) 68260
[startup+1182.3 s]
/proc/loadavg: 2.06 2.01 1.45 3/576 22927
/proc/meminfo: memFree=23264244/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=68428 CPUtime=1182.17 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 15381 0 0 0 118214 3 0 0 25 0 1 0 855276102 70070272 14064 33554432000 4194304 4933572 140737024208832 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 17107 14064 376 181 0 14116 0
Current children cumulated CPU time (s) 1182.17
Current children cumulated vsize (KiB) 68428
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.48 3/576 22929
/proc/meminfo: memFree=23262864/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=68764 CPUtime=1242.17 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 15465 0 0 0 124214 3 0 0 25 0 1 0 855276102 70414336 14148 33554432000 4194304 4933572 140737024208832 18446744073709551615 4648668 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 17191 14148 376 181 0 14200 0
Current children cumulated CPU time (s) 1242.17
Current children cumulated vsize (KiB) 68764
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.51 3/576 22930
/proc/meminfo: memFree=23261372/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=69604 CPUtime=1302.19 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 15650 0 0 0 130216 3 0 0 25 0 1 0 855276102 71274496 14333 33554432000 4194304 4933572 140737024208832 18446744073709551615 4718293 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 17401 14333 376 181 0 14410 0
Current children cumulated CPU time (s) 1302.19
Current children cumulated vsize (KiB) 69604
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.54 3/576 22932
/proc/meminfo: memFree=23260864/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=70144 CPUtime=1362.18 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 15773 0 0 0 136215 3 0 0 25 0 1 0 855276102 71827456 14456 33554432000 4194304 4933572 140737024208832 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 17536 14456 376 181 0 14545 0
Current children cumulated CPU time (s) 1362.18
Current children cumulated vsize (KiB) 70144
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.56 3/576 22934
/proc/meminfo: memFree=23260108/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=71100 CPUtime=1422.2 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 16008 0 0 0 142217 3 0 0 25 0 1 0 855276102 72806400 14691 33554432000 4194304 4933572 140737024208832 18446744073709551615 4328669 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 17775 14691 376 181 0 14784 0
Current children cumulated CPU time (s) 1422.2
Current children cumulated vsize (KiB) 71100
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.59 3/576 22935
/proc/meminfo: memFree=23255388/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=71100 CPUtime=1482.18 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 16009 0 0 0 148215 3 0 0 25 0 1 0 855276102 72806400 14692 33554432000 4194304 4933572 140737024208832 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 17775 14692 376 181 0 14784 0
Current children cumulated CPU time (s) 1482.18
Current children cumulated vsize (KiB) 71100
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.61 3/576 22937
/proc/meminfo: memFree=23256120/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=71364 CPUtime=1542.18 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 16108 0 0 0 154215 3 0 0 25 0 1 0 855276102 73076736 14791 33554432000 4194304 4933572 140737024208832 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 17841 14791 376 181 0 14850 0
Current children cumulated CPU time (s) 1542.18
Current children cumulated vsize (KiB) 71364
[startup+1602.3 s]
/proc/loadavg: 2.20 2.06 1.65 3/576 22938
/proc/meminfo: memFree=23253752/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=72936 CPUtime=1602.19 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 16462 0 0 0 160215 4 0 0 25 0 1 0 855276102 74686464 15145 33554432000 4194304 4933572 140737024208832 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 18234 15145 376 181 0 15243 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 72936
[startup+1662.3 s]
/proc/loadavg: 2.20 2.09 1.69 3/576 22940
/proc/meminfo: memFree=23251884/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=72936 CPUtime=1662.19 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 16471 0 0 0 166215 4 0 0 25 0 1 0 855276102 74686464 15154 33554432000 4194304 4933572 140737024208832 18446744073709551615 4319256 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 18234 15154 376 181 0 15243 0
Current children cumulated CPU time (s) 1662.19
Current children cumulated vsize (KiB) 72936
[startup+1722.3 s]
/proc/loadavg: 2.07 2.07 1.70 3/576 22941
/proc/meminfo: memFree=23251260/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=73332 CPUtime=1722.19 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 16575 0 0 0 172215 4 0 0 25 0 1 0 855276102 75091968 15258 33554432000 4194304 4933572 140737024208832 18446744073709551615 212687336481 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 18333 15258 376 181 0 15342 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 73332
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 1.72 3/576 22943
/proc/meminfo: memFree=23246408/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=74396 CPUtime=1782.19 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 16857 0 0 0 178215 4 0 0 25 0 1 0 855276102 76181504 15540 33554432000 4194304 4933572 140737024208832 18446744073709551615 4713010 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 18599 15540 376 181 0 15608 0
Current children cumulated CPU time (s) 1782.19
Current children cumulated vsize (KiB) 74396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.2 s]
/proc/loadavg: 2.02 2.05 1.73 2/574 22945
/proc/meminfo: memFree=23314000/32951124 swapFree=58940260/67111528
[pid=22883] ppid=22881 vsize=74968 CPUtime=1800.11 cores=1,3,5,7
/proc/22883/stat : 22883 (clasp) R 22881 22883 22845 0 -1 4202496 16971 0 0 0 180007 4 0 0 25 0 1 0 855276102 76767232 15654 33554432000 4194304 4933572 140737024208832 18446744073709551615 4649836 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/22883/statm: 18742 15654 376 181 0 15751 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 74968
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.23
CPU time (s): 1800.12
CPU user time (s): 1800.08
CPU system time (s): 0.044993
CPU usage (%): 99.9944
Max. virtual memory (cumulated for all children) (KiB): 74968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 0.044993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16984
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= 2670
runsolver used 10.2714 second user time and 24.0523 second system time
The end