runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4241801-1502109239/watcher-4241801-1502109239 -o /tmp/evaluation-result-4241801-1502109239/solver-4241801-1502109239 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241801-1502109239.xml
pid=26317
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.14 2.05 2.05 3/180 26320
/proc/meminfo: memFree=31669104/32770624 swapFree=0/421524
[pid=26320] ppid=26317 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26320/stat : 26320 (runsolver) D 26317 26320 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13144838 24240128 108 18446744073709551615 4194304 4338465 140731126431200 140731126428840 140143432086231 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 7057408 140731126440095 140731126440522 140731126440522 140731126443978 0
/proc/26320/statm: 5918 108 54 36 0 2156 0
[startup+0.100225 s]
/proc/loadavg: 2.14 2.05 2.05 3/180 26320
/proc/meminfo: memFree=31669104/32770624 swapFree=0/421524
[pid=26320] ppid=26317 vsize=32640 CPUtime=0 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 2342 0 0 0 0 0 0 0 20 0 1 0 13144838 33423360 2152 18446744073709551615 4194304 5970956 140730993010512 140730993007160 5125629 0 0 1 0 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 8160 2152 702 434 0 1524 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 32640
[startup+0.200341 s]
/proc/loadavg: 2.14 2.05 2.05 3/180 26320
/proc/meminfo: memFree=31669104/32770624 swapFree=0/421524
[pid=26320] ppid=26317 vsize=155420 CPUtime=0.09 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 33111 0 0 0 6 3 0 0 20 0 1 0 13144838 159150080 32881 18446744073709551615 4194304 5970956 140730993010512 140730993007160 140490526944229 0 0 1 0 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 38855 32881 740 434 0 32219 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 155420
[startup+0.300349 s]
/proc/loadavg: 2.14 2.05 2.05 3/180 26320
/proc/meminfo: memFree=31669104/32770624 swapFree=0/421524
[pid=26320] ppid=26317 vsize=202532 CPUtime=0.19 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 45112 0 0 0 15 4 0 0 20 0 1 0 13144838 207392768 44692 18446744073709551615 4194304 5970956 140730993010512 140730993007160 140490527382528 0 0 1 0 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 50633 44692 740 434 0 43997 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 202532
[startup+0.700318 s]
/proc/loadavg: 2.14 2.05 2.05 3/180 26320
/proc/meminfo: memFree=31669104/32770624 swapFree=0/421524
[pid=26320] ppid=26317 vsize=218044 CPUtime=0.6 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 49050 0 0 0 55 5 0 0 20 0 1 0 13144838 223277056 48586 18446744073709551615 4194304 5970956 140730993010512 140730993007112 4913088 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54511 48586 743 434 0 47875 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 218044
[startup+1.50031 s]
/proc/loadavg: 2.14 2.05 2.05 3/181 26321
/proc/meminfo: memFree=31477644/32770624 swapFree=0/421300
[pid=26320] ppid=26317 vsize=218440 CPUtime=1.4 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 49168 0 0 0 135 5 0 0 20 0 1 0 13144838 223682560 48718 18446744073709551615 4194304 5970956 140730993010512 140730993007112 4913105 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54610 48718 790 434 0 47974 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 218440
[startup+3.10033 s]
/proc/loadavg: 2.14 2.05 2.05 3/181 26321
/proc/meminfo: memFree=31476900/32770624 swapFree=0/421300
[pid=26320] ppid=26317 vsize=218572 CPUtime=3 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 65275 0 0 0 294 6 0 0 20 0 1 0 13144838 223817728 48773 18446744073709551615 4194304 5970956 140730993010512 140730993007112 4913088 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54643 48773 793 434 0 48007 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 218572
[startup+6.30032 s]
/proc/loadavg: 2.05 2.03 2.05 3/184 26335
/proc/meminfo: memFree=31471772/32770624 swapFree=0/421312
[pid=26320] ppid=26317 vsize=218704 CPUtime=6.2 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 81582 0 0 0 614 6 0 0 20 0 1 0 13144838 223952896 48795 18446744073709551615 4194304 5970956 140730993010512 140730993007848 4913105 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54676 48795 793 434 0 48040 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 218704
[startup+12.7003 s]
/proc/loadavg: 2.05 2.03 2.05 3/184 26335
/proc/meminfo: memFree=31472144/32770624 swapFree=0/421356
[pid=26320] ppid=26317 vsize=218704 CPUtime=12.6 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 97840 0 0 0 1253 7 0 0 20 0 1 0 13144838 223952896 48802 18446744073709551615 4194304 5970956 140730993010512 140730993007848 4913176 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54676 48802 793 434 0 48040 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 218704
[startup+25.5003 s]
/proc/loadavg: 2.04 2.03 2.05 3/184 26335
/proc/meminfo: memFree=31471376/32770624 swapFree=0/421376
[pid=26320] ppid=26317 vsize=218704 CPUtime=25.39 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 118183 0 0 0 2531 8 0 0 20 0 1 0 13144838 223952896 48803 18446744073709551615 4194304 5970956 140730993010512 140730993007848 4913171 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54676 48803 793 434 0 48040 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 218704
[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 26336
/proc/meminfo: memFree=31471524/32770624 swapFree=0/421408
[pid=26320] ppid=26317 vsize=218704 CPUtime=51 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 135278 0 0 0 5091 9 0 0 20 0 1 0 13144838 223952896 48805 18446744073709551615 4194304 5970956 140730993010512 140730993007848 4913105 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54676 48805 793 434 0 48040 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 218704
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 26338
/proc/meminfo: memFree=31471152/32770624 swapFree=0/421456
[pid=26320] ppid=26317 vsize=218704 CPUtime=102.21 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 151725 0 0 0 10211 10 0 0 20 0 1 0 13144838 223952896 48814 18446744073709551615 4194304 5970956 140730993010512 140730993007848 4913152 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54676 48814 793 434 0 48040 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 218704
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26340
/proc/meminfo: memFree=31475656/32770624 swapFree=0/421524
[pid=26320] ppid=26317 vsize=218704 CPUtime=162.2 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 157184 0 0 0 16210 10 0 0 20 0 1 0 13144838 223952896 48816 18446744073709551615 4194304 5970956 140730993010512 140730993007848 4913105 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54676 48816 793 434 0 48040 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 218704
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26342
/proc/meminfo: memFree=31475352/32770624 swapFree=0/421572
[pid=26320] ppid=26317 vsize=218704 CPUtime=222.22 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 157496 0 0 0 22212 10 0 0 20 0 1 0 13144838 223952896 48818 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5320135 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54676 48818 793 434 0 48040 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 218704
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26344
/proc/meminfo: memFree=31475636/32770624 swapFree=0/421608
[pid=26320] ppid=26317 vsize=218704 CPUtime=282.22 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 157499 0 0 0 28212 10 0 0 20 0 1 0 13144838 223952896 48818 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5098928 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54676 48818 793 434 0 48040 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 218704
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26347
/proc/meminfo: memFree=31475200/32770624 swapFree=0/421668
[pid=26320] ppid=26317 vsize=218704 CPUtime=342.22 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 157784 0 0 0 34212 10 0 0 20 0 1 0 13144838 223952896 48819 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5038459 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54676 48819 793 434 0 48040 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 218704
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26349
/proc/meminfo: memFree=31475396/32770624 swapFree=0/421704
[pid=26320] ppid=26317 vsize=218704 CPUtime=402.23 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 157788 0 0 0 40213 10 0 0 20 0 1 0 13144838 223952896 48819 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5039193 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54676 48819 793 434 0 48040 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 218704
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26351
/proc/meminfo: memFree=31475148/32770624 swapFree=0/421728
[pid=26320] ppid=26317 vsize=218704 CPUtime=462.24 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 157931 0 0 0 46214 10 0 0 20 0 1 0 13144838 223952896 48819 18446744073709551615 4194304 5970956 140730993010512 140730993007848 4913105 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54676 48819 793 434 0 48040 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 218704
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26354
/proc/meminfo: memFree=31475396/32770624 swapFree=0/421760
[pid=26320] ppid=26317 vsize=218704 CPUtime=522.24 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 158070 0 0 0 52214 10 0 0 20 0 1 0 13144838 223952896 48819 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5039178 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54676 48819 793 434 0 48040 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 218704
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26356
/proc/meminfo: memFree=31475348/32770624 swapFree=0/421804
[pid=26320] ppid=26317 vsize=218704 CPUtime=582.25 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 158314 0 0 0 58215 10 0 0 20 0 1 0 13144838 223952896 48819 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5047480 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54676 48819 793 434 0 48040 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 218704
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 1.24 1.75 1.95 2/174 26652
/proc/meminfo: memFree=31482412/32770624 swapFree=0/422516
[pid=26320] ppid=26317 vsize=218872 CPUtime=1542.35 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 160605 0 0 0 154225 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5098928 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 218872
[startup+1602.3 s]
/proc/loadavg: 1.09 1.61 1.89 2/174 26654
/proc/meminfo: memFree=31482412/32770624 swapFree=0/422540
[pid=26320] ppid=26317 vsize=218872 CPUtime=1602.35 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 160689 0 0 0 160225 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5047532 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 218872
[startup+1662.3 s]
/proc/loadavg: 1.03 1.50 1.83 2/174 26656
/proc/meminfo: memFree=31482412/32770624 swapFree=0/422560
[pid=26320] ppid=26317 vsize=218872 CPUtime=1662.36 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 160906 0 0 0 166226 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 4913105 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 218872
[startup+1722.3 s]
/proc/loadavg: 1.01 1.41 1.78 2/174 26658
/proc/meminfo: memFree=31482792/32770624 swapFree=0/422588
[pid=26320] ppid=26317 vsize=218872 CPUtime=1722.36 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 160977 0 0 0 172226 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5319774 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 218872
[startup+1782.3 s]
/proc/loadavg: 1.00 1.34 1.73 2/174 26660
/proc/meminfo: memFree=31482668/32770624 swapFree=0/422608
[pid=26320] ppid=26317 vsize=218872 CPUtime=1782.37 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 161057 0 0 0 178227 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5098928 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 218872
[startup+1842.3 s]
/proc/loadavg: 1.00 1.27 1.68 2/178 26677
/proc/meminfo: memFree=31478924/32770624 swapFree=0/422648
[pid=26320] ppid=26317 vsize=218872 CPUtime=1842.38 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 161218 0 0 0 184228 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5098928 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 1842.38
Current children cumulated vsize (KiB) 218872
[startup+1902.3 s]
/proc/loadavg: 1.00 1.22 1.64 2/178 26679
/proc/meminfo: memFree=31478968/32770624 swapFree=0/422684
[pid=26320] ppid=26317 vsize=218872 CPUtime=1902.38 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 161501 0 0 0 190228 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5098928 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 1902.38
Current children cumulated vsize (KiB) 218872
[startup+1962.3 s]
/proc/loadavg: 1.00 1.18 1.60 2/175 26681
/proc/meminfo: memFree=31482580/32770624 swapFree=0/422708
[pid=26320] ppid=26317 vsize=218872 CPUtime=1962.39 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 161509 0 0 0 196229 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5047497 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 1962.39
Current children cumulated vsize (KiB) 218872
[startup+2022.3 s]
/proc/loadavg: 1.00 1.15 1.57 2/175 26683
/proc/meminfo: memFree=31482704/32770624 swapFree=0/422728
[pid=26320] ppid=26317 vsize=218872 CPUtime=2022.39 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 161670 0 0 0 202229 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 4913057 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 2022.39
Current children cumulated vsize (KiB) 218872
[startup+2082.3 s]
/proc/loadavg: 1.00 1.12 1.53 2/175 26685
/proc/meminfo: memFree=31482100/32770624 swapFree=0/422752
[pid=26320] ppid=26317 vsize=218872 CPUtime=2082.4 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 161773 0 0 0 208230 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 4912861 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 2082.4
Current children cumulated vsize (KiB) 218872
[startup+2142.3 s]
/proc/loadavg: 1.00 1.10 1.50 2/174 26688
/proc/meminfo: memFree=31482372/32770624 swapFree=0/422784
[pid=26320] ppid=26317 vsize=218872 CPUtime=2142.41 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 162025 0 0 0 214231 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5038487 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 2142.41
Current children cumulated vsize (KiB) 218872
[startup+2202.31 s]
/proc/loadavg: 1.00 1.08 1.47 2/174 26690
/proc/meminfo: memFree=31482720/32770624 swapFree=0/422812
[pid=26320] ppid=26317 vsize=218872 CPUtime=2202.42 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 162041 0 0 0 220232 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5039152 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 2202.42
Current children cumulated vsize (KiB) 218872
[startup+2262.3 s]
/proc/loadavg: 1.04 1.08 1.44 2/174 26692
/proc/meminfo: memFree=31482456/32770624 swapFree=0/422832
[pid=26320] ppid=26317 vsize=218872 CPUtime=2262.42 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 162261 0 0 0 226232 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 4913105 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 2262.42
Current children cumulated vsize (KiB) 218872
[startup+2322.3 s]
/proc/loadavg: 1.01 1.07 1.41 2/174 26695
/proc/meminfo: memFree=31482316/32770624 swapFree=0/422860
[pid=26320] ppid=26317 vsize=218872 CPUtime=2322.42 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 162263 0 0 0 232232 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5098910 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 2322.42
Current children cumulated vsize (KiB) 218872
[startup+2382.3 s]
/proc/loadavg: 1.00 1.06 1.39 2/174 26697
/proc/meminfo: memFree=31482416/32770624 swapFree=0/422880
[pid=26320] ppid=26317 vsize=218872 CPUtime=2382.43 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 162418 0 0 0 238233 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 4913176 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 2382.43
Current children cumulated vsize (KiB) 218872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 1.00 1.05 1.38 2/174 26698
/proc/meminfo: memFree=31482268/32770624 swapFree=0/422900
[pid=26320] ppid=26317 vsize=218872 CPUtime=2400.03 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 162418 0 0 0 239993 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5098933 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 218872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 26320 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 1.00 1.05 1.38 2/174 26698
/proc/meminfo: memFree=31482268/32770624 swapFree=0/422900
[pid=26320] ppid=26317 vsize=218872 CPUtime=2400.03 cores=1,3,5,7
/proc/26320/stat : 26320 (cosoco) R 26317 26320 9955 0 -1 4202496 162418 0 0 0 239993 10 0 0 20 0 1 0 13144838 224124928 48828 18446744073709551615 4194304 5970956 140730993010512 140730993007848 5098933 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 13627392 140730993017292 140730993017422 140730993017422 140730993020878 0
/proc/26320/statm: 54718 48828 793 434 0 48082 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 218872
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.04
CPU user time (s): 2399.94
CPU system time (s): 0.107011
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 218872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.94
system time used= 0.107011
maximum resident set size= 195356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162446
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= 21
involuntary context switches= 629
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.16627 second user time and 8.84095 second system time
The end