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-4242887-1500669983/watcher-4242887-1500669983 -o /tmp/evaluation-result-4242887-1500669983/solver-4242887-1500669983 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500648174-2499 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242887-1500669983.xml
pid=5658
running on 8 cores: 0,2,4,6,8,10,12,14
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.12 2.04 2.05 2/242 5661
/proc/meminfo: memFree=31932452/32770624 swapFree=5796/224292
[pid=5661] ppid=5658 vsize=27388 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 1069 0 0 0 0 0 0 0 20 0 1 0 2266052 28045312 898 33554432000 4194304 5970956 140720500026128 140720500022776 5417055 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 6847 898 703 434 0 211 0
[startup+0.100116 s]
/proc/loadavg: 2.12 2.04 2.05 2/242 5661
/proc/meminfo: memFree=31932452/32770624 swapFree=5796/224292
[pid=5661] ppid=5658 vsize=28224 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 1263 0 0 0 9 0 0 0 20 0 1 0 2266052 28901376 1018 33554432000 4194304 5970956 140720500026128 140720500022728 5674904 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 7056 1018 709 434 0 420 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28224
[startup+0.200333 s]
/proc/loadavg: 2.12 2.04 2.05 2/242 5661
/proc/meminfo: memFree=31932452/32770624 swapFree=5796/224292
[pid=5661] ppid=5658 vsize=28872 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 1524 0 0 0 19 0 0 0 20 0 1 0 2266052 29564928 1195 33554432000 4194304 5970956 140720500026128 140720500022728 140617879333888 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 7218 1195 709 434 0 582 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28872
[startup+0.300325 s]
/proc/loadavg: 2.12 2.04 2.05 2/242 5661
/proc/meminfo: memFree=31932452/32770624 swapFree=5796/224292
[pid=5661] ppid=5658 vsize=30168 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 1901 0 0 0 29 0 0 0 20 0 1 0 2266052 30892032 1354 33554432000 4194304 5970956 140720500026128 140720500022728 5417055 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 7542 1354 709 434 0 906 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30168
[startup+0.70028 s]
/proc/loadavg: 2.12 2.04 2.05 2/242 5661
/proc/meminfo: memFree=31932452/32770624 swapFree=5796/224292
[pid=5661] ppid=5658 vsize=33288 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 3030 0 0 0 68 0 0 0 20 0 1 0 2266052 34086912 2131 33554432000 4194304 5970956 140720500026128 140720500022728 5417044 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 8322 2131 709 434 0 1686 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 33288
[startup+1.50027 s]
/proc/loadavg: 2.12 2.04 2.05 3/243 5662
/proc/meminfo: memFree=31922884/32770624 swapFree=5796/224120
[pid=5661] ppid=5658 vsize=39792 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 4598 0 0 0 148 1 0 0 20 0 1 0 2266052 40747008 3955 33554432000 4194304 5970956 140720500026128 140720500022728 140617878895589 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 9948 3955 709 434 0 3312 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39792
[startup+3.10028 s]
/proc/loadavg: 2.12 2.04 2.05 3/243 5662
/proc/meminfo: memFree=31913592/32770624 swapFree=5796/224120
[pid=5661] ppid=5658 vsize=52800 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 6851 0 0 0 308 1 0 0 20 0 1 0 2266052 54067200 6633 33554432000 4194304 5970956 140720500026128 140720500022728 5674933 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 13200 6633 709 434 0 6564 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52800
[startup+6.30028 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 5662
/proc/meminfo: memFree=31889312/32770624 swapFree=5796/224128
[pid=5661] ppid=5658 vsize=78684 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 11289 0 0 0 627 2 0 0 20 0 1 0 2266052 80572416 12626 33554432000 4194304 5970956 140720500026128 140720500022728 140617878895589 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 19671 12626 709 434 0 13035 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78684
[startup+12.7003 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 5662
/proc/meminfo: memFree=31840128/32770624 swapFree=5796/224128
[pid=5661] ppid=5658 vsize=130716 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 19207 0 0 0 1265 4 0 0 20 0 1 0 2266052 133853184 24642 33554432000 4194304 5970956 140720500026128 140720500022728 140617878895589 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 32679 24642 709 434 0 26043 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 130716
[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 5662
/proc/meminfo: memFree=31737276/32770624 swapFree=5796/224140
[pid=5661] ppid=5658 vsize=235836 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 34304 0 0 0 2540 8 0 0 20 0 1 0 2266052 241496064 49355 33554432000 4194304 5970956 140720500026128 140720500022728 140617878895589 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 58959 49355 709 434 0 52323 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 235836
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5662
/proc/meminfo: memFree=31087488/32770624 swapFree=5796/224152
[pid=5661] ppid=5658 vsize=882452 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 162452 0 0 0 5081 26 0 0 20 0 1 0 2266052 903630848 211187 33554432000 4194304 5970956 140720500026128 140720500013448 4933151 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211187 849 434 0 213977 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 882452
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5663
/proc/meminfo: memFree=31086292/32770624 swapFree=5796/224188
[pid=5661] ppid=5658 vsize=882452 CPUtime=102.25 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 216268 0 0 0 10197 28 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 882452
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5664
/proc/meminfo: memFree=31086188/32770624 swapFree=5796/224212
[pid=5661] ppid=5658 vsize=882452 CPUtime=162.23 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 263766 0 0 0 16191 32 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934320 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 882452
[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5673
/proc/meminfo: memFree=31086612/32770624 swapFree=5796/224244
[pid=5661] ppid=5658 vsize=882452 CPUtime=222.2 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 303807 0 0 0 22186 34 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 882452
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5674
/proc/meminfo: memFree=31087124/32770624 swapFree=5796/224276
[pid=5661] ppid=5658 vsize=882452 CPUtime=282.15 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 330038 0 0 0 28180 35 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 882452
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 5675
/proc/meminfo: memFree=31087380/32770624 swapFree=5796/224304
[pid=5661] ppid=5658 vsize=882452 CPUtime=342.13 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 352687 0 0 0 34177 36 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 882452
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 5676
/proc/meminfo: memFree=31087284/32770624 swapFree=5796/224328
[pid=5661] ppid=5658 vsize=882452 CPUtime=402.1 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 373433 0 0 0 40173 37 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 882452
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 5677
/proc/meminfo: memFree=31087664/32770624 swapFree=5796/224356
[pid=5661] ppid=5658 vsize=882452 CPUtime=462.08 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 388712 0 0 0 46170 38 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 882452
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5679
/proc/meminfo: memFree=31087756/32770624 swapFree=5796/224388
[pid=5661] ppid=5658 vsize=882452 CPUtime=522.05 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 401477 0 0 0 52166 39 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 882452
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5680
/proc/meminfo: memFree=31088700/32770624 swapFree=5796/224420
[pid=5661] ppid=5658 vsize=882452 CPUtime=582.01 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 409620 0 0 0 58162 39 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 882452
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 5800
/proc/meminfo: memFree=29729240/32770624 swapFree=5796/224964
[pid=5661] ppid=5658 vsize=882452 CPUtime=1541.63 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 422251 0 0 0 154123 40 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 882452
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 5801
/proc/meminfo: memFree=29729852/32770624 swapFree=5796/224988
[pid=5661] ppid=5658 vsize=882452 CPUtime=1601.6 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 422669 0 0 0 160120 40 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934460 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 882452
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5802
/proc/meminfo: memFree=29729976/32770624 swapFree=5796/225008
[pid=5661] ppid=5658 vsize=882452 CPUtime=1661.57 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 424424 0 0 0 166117 40 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 882452
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5803
/proc/meminfo: memFree=29730052/32770624 swapFree=5796/225048
[pid=5661] ppid=5658 vsize=882452 CPUtime=1721.55 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 425640 0 0 0 172115 40 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 882452
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 5804
/proc/meminfo: memFree=29729084/32770624 swapFree=5796/225068
[pid=5661] ppid=5658 vsize=882452 CPUtime=1781.53 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 426844 0 0 0 178112 41 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 882452
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 5805
/proc/meminfo: memFree=29728956/32770624 swapFree=5796/225092
[pid=5661] ppid=5658 vsize=882452 CPUtime=1841.51 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 428037 0 0 0 184110 41 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 1841.51
Current children cumulated vsize (KiB) 882452
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5806
/proc/meminfo: memFree=29729260/32770624 swapFree=5796/225128
[pid=5661] ppid=5658 vsize=882452 CPUtime=1901.48 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 428810 0 0 0 190107 41 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934398 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 1901.48
Current children cumulated vsize (KiB) 882452
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5807
/proc/meminfo: memFree=29729428/32770624 swapFree=5796/225148
[pid=5661] ppid=5658 vsize=882452 CPUtime=1961.45 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 429973 0 0 0 196104 41 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 1961.45
Current children cumulated vsize (KiB) 882452
[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 5815
/proc/meminfo: memFree=29729500/32770624 swapFree=5796/225184
[pid=5661] ppid=5658 vsize=882452 CPUtime=2021.43 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 431307 0 0 0 202102 41 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 2021.43
Current children cumulated vsize (KiB) 882452
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 5816
/proc/meminfo: memFree=29729644/32770624 swapFree=5796/225216
[pid=5661] ppid=5658 vsize=882452 CPUtime=2081.41 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 431808 0 0 0 208100 41 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 2081.41
Current children cumulated vsize (KiB) 882452
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5817
/proc/meminfo: memFree=29728636/32770624 swapFree=5796/225240
[pid=5661] ppid=5658 vsize=882452 CPUtime=2141.38 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 432309 0 0 0 214097 41 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 2141.38
Current children cumulated vsize (KiB) 882452
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5818
/proc/meminfo: memFree=29729252/32770624 swapFree=5796/225268
[pid=5661] ppid=5658 vsize=882452 CPUtime=2201.36 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 432792 0 0 0 220095 41 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4933151 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 2201.36
Current children cumulated vsize (KiB) 882452
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5819
/proc/meminfo: memFree=29729508/32770624 swapFree=5796/225292
[pid=5661] ppid=5658 vsize=882452 CPUtime=2261.33 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 433270 0 0 0 226092 41 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 2261.33
Current children cumulated vsize (KiB) 882452
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5821
/proc/meminfo: memFree=29729100/32770624 swapFree=5796/225332
[pid=5661] ppid=5658 vsize=882452 CPUtime=2321.31 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 433738 0 0 0 232089 42 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 2321.31
Current children cumulated vsize (KiB) 882452
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5822
/proc/meminfo: memFree=29729096/32770624 swapFree=5796/225356
[pid=5661] ppid=5658 vsize=882452 CPUtime=2381.29 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 434191 0 0 0 238087 42 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 2381.29
Current children cumulated vsize (KiB) 882452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5822
/proc/meminfo: memFree=29729064/32770624 swapFree=5796/225364
[pid=5661] ppid=5658 vsize=882452 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 434215 0 0 0 239966 42 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 882452
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 5661 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5822
/proc/meminfo: memFree=29729064/32770624 swapFree=5796/225364
[pid=5661] ppid=5658 vsize=882452 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/5661/stat : 5661 (cosoco) R 5658 5661 2468 0 -1 4202496 434215 0 0 0 239966 42 0 0 20 0 1 0 2266052 903630848 211189 33554432000 4194304 5970956 140720500026128 140720500013432 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19197952 140720500028609 140720500028739 140720500028739 140720500031438 0
/proc/5661/statm: 220613 211189 851 434 0 213977 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 882452
Child status: 1
Real time (s): 2401.1
CPU time (s): 2400.09
CPU user time (s): 2399.66
CPU system time (s): 0.424827
CPU usage (%): 99.9577
Max. virtual memory (cumulated for all children) (KiB): 882452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.66
system time used= 0.424827
maximum resident set size= 844796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434247
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= 63
involuntary context switches= 120657
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.16015 second user time and 12.6391 second system time
The end