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-4259990-1502020348/watcher-4259990-1502020348 -o /tmp/evaluation-result-4259990-1502020348/solver-4259990-1502020348 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502014323-10661 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259990-1502020348.xml
pid=11707
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.00 2.00 1.98 3/180 11710
/proc/meminfo: memFree=31759960/32770624 swapFree=0/312064
[pid=11710] ppid=11707 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/11710/stat : 11710 (runsolver) D 11707 11710 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4255780 24240128 106 18446744073709551615 4194304 4338465 140736023287984 140736023285624 139761185477335 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 33583104 140736023294146 140736023294538 140736023294538 140736023297994 0
/proc/11710/statm: 5918 106 53 36 0 2156 0
[startup+0.100522 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 11710
/proc/meminfo: memFree=31759960/32770624 swapFree=0/312064
[pid=11710] ppid=11707 vsize=29824 CPUtime=0.01 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 1711 0 0 0 1 0 0 0 20 0 1 0 4255780 30539776 1527 18446744073709551615 4194304 5747388 140728401429232 140728401423736 4855984 0 0 1 0 0 0 0 17 6 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 7456 1527 717 380 0 874 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29824
[startup+0.200521 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 11710
/proc/meminfo: memFree=31759960/32770624 swapFree=0/312064
[pid=11710] ppid=11707 vsize=34576 CPUtime=0.11 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 2973 0 0 0 11 0 0 0 20 0 1 0 4255780 35405824 2781 18446744073709551615 4194304 5747388 140728401429232 140728401426056 4890275 0 0 1 8405026 0 0 0 17 6 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8644 2781 763 380 0 2062 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 34576
[startup+0.30052 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 11710
/proc/meminfo: memFree=31759960/32770624 swapFree=0/312064
[pid=11710] ppid=11707 vsize=34708 CPUtime=0.21 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 2990 0 0 0 21 0 0 0 20 0 1 0 4255780 35540992 2781 18446744073709551615 4194304 5747388 140728401429232 140728401416504 4893956 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8677 2781 763 380 0 2095 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 34708
[startup+0.700292 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 11710
/proc/meminfo: memFree=31759960/32770624 swapFree=0/312064
[pid=11710] ppid=11707 vsize=34840 CPUtime=0.61 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 3041 0 0 0 61 0 0 0 20 0 1 0 4255780 35676160 2847 18446744073709551615 4194304 5747388 140728401429232 140728401416504 5025409 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8710 2847 764 380 0 2128 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 34840
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 11711
/proc/meminfo: memFree=31751408/32770624 swapFree=0/312352
[pid=11710] ppid=11707 vsize=35104 CPUtime=1.41 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 3081 0 0 0 141 0 0 0 20 0 1 0 4255780 35946496 2913 18446744073709551615 4194304 5747388 140728401429232 140728401425944 4947288 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8776 2913 764 380 0 2194 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 35104
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 11711
/proc/meminfo: memFree=31750788/32770624 swapFree=0/312352
[pid=11710] ppid=11707 vsize=35236 CPUtime=3.01 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 5171 0 0 0 301 0 0 0 20 0 1 0 4255780 36081664 2944 18446744073709551615 4194304 5747388 140728401429232 140728401426760 4894018 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8809 2944 764 380 0 2227 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 35236
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 11712
/proc/meminfo: memFree=31750616/32770624 swapFree=0/312080
[pid=11710] ppid=11707 vsize=35236 CPUtime=6.21 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 7279 0 0 0 621 0 0 0 20 0 1 0 4255780 36081664 2970 18446744073709551615 4194304 5747388 140728401429232 140728401416504 5025404 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8809 2970 764 380 0 2227 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 35236
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 11712
/proc/meminfo: memFree=31750368/32770624 swapFree=0/312088
[pid=11710] ppid=11707 vsize=35236 CPUtime=12.61 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 9398 0 0 0 1261 0 0 0 20 0 1 0 4255780 36081664 2978 18446744073709551615 4194304 5747388 140728401429232 140728401426760 4947621 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8809 2978 764 380 0 2227 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 35236
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 11712
/proc/meminfo: memFree=31750176/32770624 swapFree=0/312096
[pid=11710] ppid=11707 vsize=35368 CPUtime=25.41 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 13556 0 0 0 2541 0 0 0 20 0 1 0 4255780 36216832 2986 18446744073709551615 4194304 5747388 140728401429232 140728401425944 5025399 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2986 764 380 0 2260 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 35368
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 11712
/proc/meminfo: memFree=31750300/32770624 swapFree=0/312116
[pid=11710] ppid=11707 vsize=35368 CPUtime=51.01 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 14148 0 0 0 5101 0 0 0 20 0 1 0 4255780 36216832 2988 18446744073709551615 4194304 5747388 140728401429232 140728401425944 4894141 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2988 764 380 0 2260 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 35368
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 11728
/proc/meminfo: memFree=31744380/32770624 swapFree=0/312188
[pid=11710] ppid=11707 vsize=35368 CPUtime=102.22 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 14795 0 0 0 10222 0 0 0 20 0 1 0 4255780 36216832 2993 18446744073709551615 4194304 5747388 140728401429232 140728401416504 4894018 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2993 764 380 0 2260 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 35368
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 11730
/proc/meminfo: memFree=31744260/32770624 swapFree=0/312220
[pid=11710] ppid=11707 vsize=35368 CPUtime=162.22 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 15379 0 0 0 16222 0 0 0 20 0 1 0 4255780 36216832 2994 18446744073709551615 4194304 5747388 140728401429232 140728401416504 5128632 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2994 764 380 0 2260 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 35368
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 11732
/proc/meminfo: memFree=31748016/32770624 swapFree=0/312244
[pid=11710] ppid=11707 vsize=35368 CPUtime=222.23 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 15962 0 0 0 22223 0 0 0 20 0 1 0 4255780 36216832 2994 18446744073709551615 4194304 5747388 140728401429232 140728401416504 5025392 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2994 764 380 0 2260 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 35368
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 11734
/proc/meminfo: memFree=31748232/32770624 swapFree=0/312272
[pid=11710] ppid=11707 vsize=35368 CPUtime=282.23 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 15963 0 0 0 28223 0 0 0 20 0 1 0 4255780 36216832 2994 18446744073709551615 4194304 5747388 140728401429232 140728401416504 4947322 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2994 764 380 0 2260 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 35368
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 11736
/proc/meminfo: memFree=31748372/32770624 swapFree=0/312304
[pid=11710] ppid=11707 vsize=35368 CPUtime=342.24 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 16579 0 0 0 34224 0 0 0 20 0 1 0 4255780 36216832 2994 18446744073709551615 4194304 5747388 140728401429232 140728401426760 4893956 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2994 764 380 0 2260 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 35368
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/181 11738
/proc/meminfo: memFree=31748400/32770624 swapFree=0/312332
[pid=11710] ppid=11707 vsize=35368 CPUtime=402.24 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 16581 0 0 0 40224 0 0 0 20 0 1 0 4255780 36216832 2994 18446744073709551615 4194304 5747388 140728401429232 140728401416504 4893956 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2994 764 380 0 2260 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 35368
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/180 11740
/proc/meminfo: memFree=31749044/32770624 swapFree=0/312384
[pid=11710] ppid=11707 vsize=35368 CPUtime=462.25 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 17199 0 0 0 46225 0 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401426760 4894124 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 35368
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/181 11743
/proc/meminfo: memFree=31748108/32770624 swapFree=0/312412
[pid=11710] ppid=11707 vsize=35368 CPUtime=522.26 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 17199 0 0 0 52226 0 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401426760 5025344 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 35368
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/181 11745
/proc/meminfo: memFree=31747848/32770624 swapFree=0/312440
[pid=11710] ppid=11707 vsize=35368 CPUtime=582.26 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 17791 0 0 0 58226 0 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401426760 4894014 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 35368
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.04 2.05 2.05 3/183 11833
/proc/meminfo: memFree=31743728/32770624 swapFree=0/312948
[pid=11710] ppid=11707 vsize=35368 CPUtime=1542.37 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 22487 0 0 0 154236 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 4890275 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 35368
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 11835
/proc/meminfo: memFree=31744144/32770624 swapFree=0/312976
[pid=11710] ppid=11707 vsize=35368 CPUtime=1602.37 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 22503 0 0 0 160236 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 5000064 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 35368
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 11837
/proc/meminfo: memFree=31744536/32770624 swapFree=0/313000
[pid=11710] ppid=11707 vsize=35368 CPUtime=1662.37 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 22915 0 0 0 166236 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 4894006 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 35368
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 11839
/proc/meminfo: memFree=31744516/32770624 swapFree=0/313020
[pid=11710] ppid=11707 vsize=35368 CPUtime=1722.38 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 23088 0 0 0 172237 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 4893858 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 35368
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11841
/proc/meminfo: memFree=31744272/32770624 swapFree=0/313044
[pid=11710] ppid=11707 vsize=35368 CPUtime=1782.38 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 23614 0 0 0 178237 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 4949032 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 35368
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11843
/proc/meminfo: memFree=31744036/32770624 swapFree=0/313064
[pid=11710] ppid=11707 vsize=35368 CPUtime=1842.39 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 23675 0 0 0 184238 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 4947288 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 1842.39
Current children cumulated vsize (KiB) 35368
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 11860
/proc/meminfo: memFree=31740052/32770624 swapFree=0/313104
[pid=11710] ppid=11707 vsize=35368 CPUtime=1902.4 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 24239 0 0 0 190239 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 4949488 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 1902.4
Current children cumulated vsize (KiB) 35368
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 11862
/proc/meminfo: memFree=31739564/32770624 swapFree=0/313136
[pid=11710] ppid=11707 vsize=35368 CPUtime=1962.4 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 24240 0 0 0 196239 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 5142941 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 1962.4
Current children cumulated vsize (KiB) 35368
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 11864
/proc/meminfo: memFree=31743348/32770624 swapFree=0/313156
[pid=11710] ppid=11707 vsize=35368 CPUtime=2022.41 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 24798 0 0 0 202240 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 5126441 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 2022.41
Current children cumulated vsize (KiB) 35368
[startup+2082.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/182 11926
/proc/meminfo: memFree=31800496/32770624 swapFree=0/313228
[pid=11710] ppid=11707 vsize=35368 CPUtime=2082.42 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 24798 0 0 0 208241 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 5025407 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 2082.42
Current children cumulated vsize (KiB) 35368
[startup+2142.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 11928
/proc/meminfo: memFree=31800020/32770624 swapFree=0/313260
[pid=11710] ppid=11707 vsize=35368 CPUtime=2142.42 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 25384 0 0 0 214241 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 4894018 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 2142.42
Current children cumulated vsize (KiB) 35368
[startup+2202.31 s]
/proc/loadavg: 1.94 1.98 2.03 3/181 11994
/proc/meminfo: memFree=30967680/32770624 swapFree=0/313356
[pid=11710] ppid=11707 vsize=35368 CPUtime=2202.43 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 25384 0 0 0 220242 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 4894129 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 2202.43
Current children cumulated vsize (KiB) 35368
[startup+2262.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/181 11996
/proc/meminfo: memFree=30961204/32770624 swapFree=0/313392
[pid=11710] ppid=11707 vsize=35368 CPUtime=2262.43 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 25795 0 0 0 226242 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 4894006 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 2262.43
Current children cumulated vsize (KiB) 35368
[startup+2322.3 s]
/proc/loadavg: 2.08 2.02 2.05 3/181 11998
/proc/meminfo: memFree=30943388/32770624 swapFree=0/313428
[pid=11710] ppid=11707 vsize=35368 CPUtime=2322.44 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 25795 0 0 0 232243 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 4893991 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 2322.44
Current children cumulated vsize (KiB) 35368
[startup+2382.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/181 12000
/proc/meminfo: memFree=30938088/32770624 swapFree=0/313464
[pid=11710] ppid=11707 vsize=35368 CPUtime=2382.44 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 26381 0 0 0 238243 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 4947676 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 2382.44
Current children cumulated vsize (KiB) 35368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 12000
/proc/meminfo: memFree=30938184/32770624 swapFree=0/313476
[pid=11710] ppid=11707 vsize=35368 CPUtime=2400.05 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 26381 0 0 0 240004 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 5025392 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 35368
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 11710 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 12000
/proc/meminfo: memFree=30938184/32770624 swapFree=0/313476
[pid=11710] ppid=11707 vsize=35368 CPUtime=2400.05 cores=0,2,4,6
/proc/11710/stat : 11710 (cosoco) R 11707 11710 9955 0 -1 4202496 26381 0 0 0 240004 1 0 0 20 0 1 0 4255780 36216832 2997 18446744073709551615 4194304 5747388 140728401429232 140728401416504 5025392 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 32821248 140728401433071 140728401433166 140728401433166 140728401436622 0
/proc/11710/statm: 8842 2997 764 380 0 2260 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 35368
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.06
CPU user time (s): 2400.04
CPU system time (s): 0.015001
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 35368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.015001
maximum resident set size= 12064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26435
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= 13
involuntary context switches= 632
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.60592 second user time and 8.29131 second system time
The end