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-4251828-1500919760/watcher-4251828-1500919760 -o /tmp/evaluation-result-4251828-1500919760/solver-4251828-1500919760 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500914921-3503 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251828-1500919760.xml
pid=5007
running on 4 cores: 0,2,4,6
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.09 2.04 2.05 3/181 5010
/proc/meminfo: memFree=31950876/32770624 swapFree=5836/118084
[pid=5010] ppid=5007 vsize=26772 CPUtime=0 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 950 0 0 0 0 0 0 0 20 0 1 0 1535064 27414528 758 33554432000 4194304 5744392 140721352777792 140721352774440 5216507 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 6693 758 677 379 0 112 0
[startup+0.100198 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 5010
/proc/meminfo: memFree=31950876/32770624 swapFree=5836/118084
[pid=5010] ppid=5007 vsize=29024 CPUtime=0.09 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 1511 0 0 0 9 0 0 0 20 0 1 0 1535064 29720576 1259 33554432000 4194304 5744392 140721352777792 140721352774440 5168508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 7256 1259 699 379 0 675 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29024
[startup+0.200341 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 5010
/proc/meminfo: memFree=31950876/32770624 swapFree=5836/118084
[pid=5010] ppid=5007 vsize=30712 CPUtime=0.19 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 1894 0 0 0 19 0 0 0 20 0 1 0 1535064 31449088 1655 33554432000 4194304 5744392 140721352777792 140721352774440 139791503133696 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 7678 1655 699 379 0 1097 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30712
[startup+0.300332 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 5010
/proc/meminfo: memFree=31950876/32770624 swapFree=5836/118084
[pid=5010] ppid=5007 vsize=31980 CPUtime=0.29 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 2182 0 0 0 29 0 0 0 20 0 1 0 1535064 32747520 1919 33554432000 4194304 5744392 140721352777792 140721352774440 5473753 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 7995 1919 699 379 0 1414 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31980
[startup+0.700278 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 5010
/proc/meminfo: memFree=31950876/32770624 swapFree=5836/118084
[pid=5010] ppid=5007 vsize=38312 CPUtime=0.69 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 3623 0 0 0 69 0 0 0 20 0 1 0 1535064 39231488 3371 33554432000 4194304 5744392 140721352777792 140721352774440 139791503133696 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 9578 3371 700 379 0 2997 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38312
[startup+1.50028 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 5011
/proc/meminfo: memFree=31934444/32770624 swapFree=5836/118056
[pid=5010] ppid=5007 vsize=50552 CPUtime=1.49 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 6407 0 0 0 149 0 0 0 20 0 1 0 1535064 51765248 6143 33554432000 4194304 5744392 140721352777792 140721352774440 5216377 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 12638 6143 700 379 0 6057 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50552
[startup+3.10036 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 5011
/proc/meminfo: memFree=31919084/32770624 swapFree=5836/118060
[pid=5010] ppid=5007 vsize=72228 CPUtime=3.09 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 18713 0 0 0 308 1 0 0 20 0 1 0 1535064 73961472 11316 33554432000 4194304 5744392 140721352777792 140721352774440 4892991 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 11316 741 379 0 11476 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72228
[startup+6.30037 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 5011
/proc/meminfo: memFree=31907956/32770624 swapFree=5836/118060
[pid=5010] ppid=5007 vsize=72228 CPUtime=6.29 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 29169 0 0 0 628 1 0 0 20 0 1 0 1535064 73961472 11323 33554432000 4194304 5744392 140721352777792 140721352775192 4892782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 11323 746 379 0 11476 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72228
[startup+12.7004 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 5011
/proc/meminfo: memFree=31905928/32770624 swapFree=5836/118060
[pid=5010] ppid=5007 vsize=72228 CPUtime=12.69 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 39625 0 0 0 1267 2 0 0 20 0 1 0 1535064 73961472 11323 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 11323 746 379 0 11476 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72228
[startup+25.5004 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 5011
/proc/meminfo: memFree=31904904/32770624 swapFree=5836/118120
[pid=5010] ppid=5007 vsize=72228 CPUtime=25.49 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 60537 0 0 0 2547 2 0 0 20 0 1 0 1535064 73961472 11323 33554432000 4194304 5744392 140721352777792 140721352775192 4892830 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 11323 746 379 0 11476 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72228
[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 5079
/proc/meminfo: memFree=32069212/32770624 swapFree=5836/118172
[pid=5010] ppid=5007 vsize=72228 CPUtime=51.09 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 70999 0 0 0 5106 3 0 0 20 0 1 0 1535064 73961472 11696 33554432000 4194304 5744392 140721352777792 140721352775192 4892927 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 11696 746 379 0 11476 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 72228
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 5080
/proc/meminfo: memFree=32068164/32770624 swapFree=5836/118236
[pid=5010] ppid=5007 vsize=72228 CPUtime=102.29 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 71652 0 0 0 10226 3 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 72228
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5080
/proc/meminfo: memFree=32067924/32770624 swapFree=5836/118260
[pid=5010] ppid=5007 vsize=72228 CPUtime=162.29 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 72292 0 0 0 16226 3 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892830 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 72228
[startup+222.306 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 5081
/proc/meminfo: memFree=32068560/32770624 swapFree=5836/118324
[pid=5010] ppid=5007 vsize=72228 CPUtime=222.3 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 72932 0 0 0 22227 3 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892756 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 72228
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 5082
/proc/meminfo: memFree=32069692/32770624 swapFree=5836/118380
[pid=5010] ppid=5007 vsize=72228 CPUtime=282.3 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 72932 0 0 0 28227 3 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 72228
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5083
/proc/meminfo: memFree=32069560/32770624 swapFree=5836/118420
[pid=5010] ppid=5007 vsize=72228 CPUtime=342.31 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 73572 0 0 0 34228 3 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 72228
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5084
/proc/meminfo: memFree=32069332/32770624 swapFree=5836/118484
[pid=5010] ppid=5007 vsize=72228 CPUtime=402.31 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 73572 0 0 0 40228 3 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 72228
[startup+462.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 5085
/proc/meminfo: memFree=32069492/32770624 swapFree=5836/118524
[pid=5010] ppid=5007 vsize=72228 CPUtime=462.32 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 74212 0 0 0 46229 3 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892821 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 72228
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 5086
/proc/meminfo: memFree=32069540/32770624 swapFree=5836/118544
[pid=5010] ppid=5007 vsize=72228 CPUtime=522.32 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 74212 0 0 0 52229 3 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 72228
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 5087
/proc/meminfo: memFree=32069648/32770624 swapFree=5836/118572
[pid=5010] ppid=5007 vsize=72228 CPUtime=582.32 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 74852 0 0 0 58229 3 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 72228
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 5119
/proc/meminfo: memFree=32069260/32770624 swapFree=5836/119160
[pid=5010] ppid=5007 vsize=72228 CPUtime=1542.42 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 79933 0 0 0 154238 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 1542.42
Current children cumulated vsize (KiB) 72228
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5120
/proc/meminfo: memFree=32069020/32770624 swapFree=5836/119184
[pid=5010] ppid=5007 vsize=72228 CPUtime=1602.41 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 79972 0 0 0 160237 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 1602.41
Current children cumulated vsize (KiB) 72228
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5121
/proc/meminfo: memFree=32068656/32770624 swapFree=5836/119228
[pid=5010] ppid=5007 vsize=72228 CPUtime=1662.42 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 80562 0 0 0 166238 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892806 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 1662.42
Current children cumulated vsize (KiB) 72228
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5122
/proc/meminfo: memFree=32068760/32770624 swapFree=5836/119256
[pid=5010] ppid=5007 vsize=72228 CPUtime=1722.42 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 80578 0 0 0 172238 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 1722.42
Current children cumulated vsize (KiB) 72228
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5123
/proc/meminfo: memFree=32069060/32770624 swapFree=5836/119304
[pid=5010] ppid=5007 vsize=72228 CPUtime=1782.43 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 81179 0 0 0 178239 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892853 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 1782.43
Current children cumulated vsize (KiB) 72228
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5131
/proc/meminfo: memFree=32067792/32770624 swapFree=5836/119340
[pid=5010] ppid=5007 vsize=72228 CPUtime=1842.43 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 81179 0 0 0 184239 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 1842.43
Current children cumulated vsize (KiB) 72228
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 5132
/proc/meminfo: memFree=32068380/32770624 swapFree=5836/119360
[pid=5010] ppid=5007 vsize=72228 CPUtime=1902.44 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 81819 0 0 0 190240 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 1902.44
Current children cumulated vsize (KiB) 72228
[startup+1962.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/182 5133
/proc/meminfo: memFree=32068720/32770624 swapFree=5836/119396
[pid=5010] ppid=5007 vsize=72228 CPUtime=1962.44 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 81819 0 0 0 196240 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4891672 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 1962.44
Current children cumulated vsize (KiB) 72228
[startup+2022.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 5134
/proc/meminfo: memFree=32069560/32770624 swapFree=5836/119448
[pid=5010] ppid=5007 vsize=72228 CPUtime=2022.45 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 82383 0 0 0 202241 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 2022.45
Current children cumulated vsize (KiB) 72228
[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 5135
/proc/meminfo: memFree=32069712/32770624 swapFree=5836/119472
[pid=5010] ppid=5007 vsize=72228 CPUtime=2082.46 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 82383 0 0 0 208242 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4893328 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 2082.46
Current children cumulated vsize (KiB) 72228
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 5136
/proc/meminfo: memFree=32069680/32770624 swapFree=5836/119508
[pid=5010] ppid=5007 vsize=72228 CPUtime=2142.46 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 82945 0 0 0 214242 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 2142.46
Current children cumulated vsize (KiB) 72228
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5137
/proc/meminfo: memFree=32069604/32770624 swapFree=5836/119548
[pid=5010] ppid=5007 vsize=72228 CPUtime=2202.47 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 83023 0 0 0 220243 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 2202.47
Current children cumulated vsize (KiB) 72228
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5138
/proc/meminfo: memFree=32069672/32770624 swapFree=5836/119576
[pid=5010] ppid=5007 vsize=72228 CPUtime=2262.47 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 83594 0 0 0 226243 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 2262.47
Current children cumulated vsize (KiB) 72228
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5139
/proc/meminfo: memFree=32069728/32770624 swapFree=5836/119612
[pid=5010] ppid=5007 vsize=72228 CPUtime=2322.47 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 83663 0 0 0 232243 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 2322.47
Current children cumulated vsize (KiB) 72228
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5140
/proc/meminfo: memFree=32069384/32770624 swapFree=5836/119640
[pid=5010] ppid=5007 vsize=72228 CPUtime=2382.48 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 84242 0 0 0 238244 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 2382.48
Current children cumulated vsize (KiB) 72228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5141
/proc/meminfo: memFree=32069112/32770624 swapFree=5836/119672
[pid=5010] ppid=5007 vsize=72228 CPUtime=2400.08 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 84242 0 0 0 240004 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 72228
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 5010 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5141
/proc/meminfo: memFree=32069112/32770624 swapFree=5836/119672
[pid=5010] ppid=5007 vsize=72228 CPUtime=2400.08 cores=0,2,4,6
/proc/5010/stat : 5010 (cosoco) R 5007 5010 3472 0 -1 4202496 84242 0 0 0 240004 4 0 0 20 0 1 0 1535064 73961472 12193 33554432000 4194304 5744392 140721352777792 140721352775192 4892782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37756928 140721352778945 140721352779075 140721352779075 140721352781774 0
/proc/5010/statm: 18057 12193 746 379 0 11476 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 72228
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.09
CPU user time (s): 2400.04
CPU system time (s): 0.044003
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 72228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.044003
maximum resident set size= 48820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84271
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= 25
involuntary context switches= 636
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.37742 second user time and 13.3021 second system time
The end