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-4241331-1502087600/watcher-4241331-1502087600 -o /tmp/evaluation-result-4241331-1502087600/solver-4241331-1502087600 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241331-1502087600.xml
pid=22992
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.00 2.01 2.05 2/180 22995
/proc/meminfo: memFree=31694900/32770624 swapFree=0/399732
[pid=22995] ppid=22992 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/22995/stat : 22995 (runsolver) D 22992 22995 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10980995 24240128 106 18446744073709551615 4194304 4338465 140735960410736 140735960408376 140716547633879 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 23851008 140735960412319 140735960412746 140735960412746 140735960416202 0
/proc/22995/statm: 5918 106 53 36 0 2156 0
[startup+0.100156 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 22995
/proc/meminfo: memFree=31694900/32770624 swapFree=0/399732
[pid=22995] ppid=22992 vsize=27960 CPUtime=0.03 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 1270 0 0 0 3 0 0 0 20 0 1 0 10980995 28631040 1096 18446744073709551615 4194304 5970956 140729342108768 140729342105416 5670331 0 0 1 0 0 0 0 17 1 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 6990 1096 782 434 0 354 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27960
[startup+0.200291 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 22995
/proc/meminfo: memFree=31694900/32770624 swapFree=0/399732
[pid=22995] ppid=22992 vsize=32308 CPUtime=0.13 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 2410 0 0 0 13 0 0 0 20 0 1 0 10980995 33083392 2218 18446744073709551615 4194304 5970956 140729342108768 140729342105416 4934366 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8077 2218 801 434 0 1441 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 32308
[startup+0.300282 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 22995
/proc/meminfo: memFree=31694900/32770624 swapFree=0/399732
[pid=22995] ppid=22992 vsize=33100 CPUtime=0.23 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 2599 0 0 0 23 0 0 0 20 0 1 0 10980995 33894400 2416 18446744073709551615 4194304 5970956 140729342108768 140729342105416 4934354 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2416 838 434 0 1639 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 33100
[startup+0.700222 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 22995
/proc/meminfo: memFree=31694900/32770624 swapFree=0/399732
[pid=22995] ppid=22992 vsize=33100 CPUtime=0.63 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 2609 0 0 0 63 0 0 0 20 0 1 0 10980995 33894400 2416 18446744073709551615 4194304 5970956 140729342108768 140729342105416 4934366 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2416 838 434 0 1639 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 33100
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22996
/proc/meminfo: memFree=31688776/32770624 swapFree=0/399724
[pid=22995] ppid=22992 vsize=33100 CPUtime=1.43 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 2615 0 0 0 143 0 0 0 20 0 1 0 10980995 33894400 2416 18446744073709551615 4194304 5970956 140729342108768 140729342106328 4934335 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2416 838 434 0 1639 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 33100
[startup+3.10022 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 22996
/proc/meminfo: memFree=31688404/32770624 swapFree=0/399724
[pid=22995] ppid=22992 vsize=33100 CPUtime=3.03 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 4139 0 0 0 303 0 0 0 20 0 1 0 10980995 33894400 2462 18446744073709551615 4194304 5970956 140729342108768 140729342096072 5038191 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2462 841 434 0 1639 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 33100
[startup+6.30023 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 22996
/proc/meminfo: memFree=31688404/32770624 swapFree=0/399736
[pid=22995] ppid=22992 vsize=33100 CPUtime=6.23 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 5601 0 0 0 623 0 0 0 20 0 1 0 10980995 33894400 2462 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4933196 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2462 841 434 0 1639 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 33100
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 22997
/proc/meminfo: memFree=31688032/32770624 swapFree=0/399736
[pid=22995] ppid=22992 vsize=33100 CPUtime=12.63 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 7140 0 0 0 1263 0 0 0 20 0 1 0 10980995 33894400 2462 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934527 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2462 841 434 0 1639 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 33100
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 2.05 3/181 22997
/proc/meminfo: memFree=31688032/32770624 swapFree=0/399752
[pid=22995] ppid=22992 vsize=33100 CPUtime=25.43 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 10175 0 0 0 2543 0 0 0 20 0 1 0 10980995 33894400 2462 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934357 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2462 841 434 0 1639 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 33100
[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/185 23012
/proc/meminfo: memFree=31683768/32770624 swapFree=0/399792
[pid=22995] ppid=22992 vsize=33100 CPUtime=51.03 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 10694 0 0 0 5103 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934318 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 33100
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/185 23014
/proc/meminfo: memFree=31682792/32770624 swapFree=0/399832
[pid=22995] ppid=22992 vsize=33100 CPUtime=102.24 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 11212 0 0 0 10224 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 5136608 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 33100
[startup+162.3 s]
/proc/loadavg: 2.07 2.01 2.05 3/182 23016
/proc/meminfo: memFree=31686324/32770624 swapFree=0/399868
[pid=22995] ppid=22992 vsize=33100 CPUtime=162.24 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 11726 0 0 0 16224 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934864 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 33100
[startup+222.306 s]
/proc/loadavg: 2.02 2.01 2.05 3/182 23018
/proc/meminfo: memFree=31686456/32770624 swapFree=0/399896
[pid=22995] ppid=22992 vsize=33100 CPUtime=222.25 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 12193 0 0 0 22225 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934299 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 33100
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 23020
/proc/meminfo: memFree=31687108/32770624 swapFree=0/399924
[pid=22995] ppid=22992 vsize=33100 CPUtime=282.25 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 12199 0 0 0 28225 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934521 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 33100
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 23022
/proc/meminfo: memFree=31686744/32770624 swapFree=0/399960
[pid=22995] ppid=22992 vsize=33100 CPUtime=342.26 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 12677 0 0 0 34226 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4933212 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 33100
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23025
/proc/meminfo: memFree=31687060/32770624 swapFree=0/400000
[pid=22995] ppid=22992 vsize=33100 CPUtime=402.26 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 12677 0 0 0 40226 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934864 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 33100
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23027
/proc/meminfo: memFree=31686812/32770624 swapFree=0/400032
[pid=22995] ppid=22992 vsize=33100 CPUtime=462.27 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 13140 0 0 0 46227 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934889 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 33100
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23029
/proc/meminfo: memFree=31687156/32770624 swapFree=0/400056
[pid=22995] ppid=22992 vsize=33100 CPUtime=522.28 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 13191 0 0 0 52228 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934327 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 33100
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23032
/proc/meminfo: memFree=31686420/32770624 swapFree=0/400096
[pid=22995] ppid=22992 vsize=33100 CPUtime=582.28 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 13705 0 0 0 58228 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934354 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 33100
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.07 2.02 2.05 3/181 23153
/proc/meminfo: memFree=31685700/32770624 swapFree=0/400688
[pid=22995] ppid=22992 vsize=33100 CPUtime=1542.39 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 17425 0 0 0 154239 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4933087 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 1542.39
Current children cumulated vsize (KiB) 33100
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 23155
/proc/meminfo: memFree=31685500/32770624 swapFree=0/400724
[pid=22995] ppid=22992 vsize=33100 CPUtime=1602.39 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 17425 0 0 0 160239 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934357 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 1602.39
Current children cumulated vsize (KiB) 33100
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 23157
/proc/meminfo: memFree=31685880/32770624 swapFree=0/400756
[pid=22995] ppid=22992 vsize=33100 CPUtime=1662.39 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 17883 0 0 0 166239 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934354 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 1662.39
Current children cumulated vsize (KiB) 33100
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23159
/proc/meminfo: memFree=31685392/32770624 swapFree=0/400780
[pid=22995] ppid=22992 vsize=33100 CPUtime=1722.4 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 17883 0 0 0 172240 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934350 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 1722.4
Current children cumulated vsize (KiB) 33100
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23161
/proc/meminfo: memFree=31685292/32770624 swapFree=0/400812
[pid=22995] ppid=22992 vsize=33100 CPUtime=1782.41 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 18397 0 0 0 178241 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934889 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 33100
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23163
/proc/meminfo: memFree=31685168/32770624 swapFree=0/400840
[pid=22995] ppid=22992 vsize=33100 CPUtime=1842.41 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 18401 0 0 0 184241 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 5319216 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 1842.41
Current children cumulated vsize (KiB) 33100
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 23179
/proc/meminfo: memFree=31680808/32770624 swapFree=0/400896
[pid=22995] ppid=22992 vsize=33100 CPUtime=1902.42 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 18915 0 0 0 190242 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4908732 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 1902.42
Current children cumulated vsize (KiB) 33100
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 23181
/proc/meminfo: memFree=31684456/32770624 swapFree=0/400932
[pid=22995] ppid=22992 vsize=33100 CPUtime=1962.43 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 18915 0 0 0 196243 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934342 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 1962.43
Current children cumulated vsize (KiB) 33100
[startup+2022.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 23183
/proc/meminfo: memFree=31684888/32770624 swapFree=0/400964
[pid=22995] ppid=22992 vsize=33100 CPUtime=2022.43 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 19393 0 0 0 202243 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934320 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 2022.43
Current children cumulated vsize (KiB) 33100
[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 23185
/proc/meminfo: memFree=31684516/32770624 swapFree=0/400992
[pid=22995] ppid=22992 vsize=33100 CPUtime=2082.44 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 19393 0 0 0 208244 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4933151 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 2082.44
Current children cumulated vsize (KiB) 33100
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 23187
/proc/meminfo: memFree=31684772/32770624 swapFree=0/401020
[pid=22995] ppid=22992 vsize=33100 CPUtime=2142.44 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 19865 0 0 0 214244 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4933111 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 2142.44
Current children cumulated vsize (KiB) 33100
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 23190
/proc/meminfo: memFree=31685244/32770624 swapFree=0/401056
[pid=22995] ppid=22992 vsize=33100 CPUtime=2202.46 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 19869 0 0 0 220246 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934282 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 2202.46
Current children cumulated vsize (KiB) 33100
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23192
/proc/meminfo: memFree=31684748/32770624 swapFree=0/401088
[pid=22995] ppid=22992 vsize=33100 CPUtime=2262.46 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 20343 0 0 0 226246 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 5093256 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 2262.46
Current children cumulated vsize (KiB) 33100
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23194
/proc/meminfo: memFree=31684872/32770624 swapFree=0/401116
[pid=22995] ppid=22992 vsize=33100 CPUtime=2322.46 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 20360 0 0 0 232246 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4933078 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 2322.46
Current children cumulated vsize (KiB) 33100
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23197
/proc/meminfo: memFree=31684376/32770624 swapFree=0/401156
[pid=22995] ppid=22992 vsize=33100 CPUtime=2382.47 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 20804 0 0 0 238247 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4934318 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 2382.47
Current children cumulated vsize (KiB) 33100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 23198
/proc/meminfo: memFree=31684872/32770624 swapFree=0/401188
[pid=22995] ppid=22992 vsize=33100 CPUtime=2400.07 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 20838 0 0 0 240007 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4933072 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 33100
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 22995 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 23198
/proc/meminfo: memFree=31684872/32770624 swapFree=0/401188
[pid=22995] ppid=22992 vsize=33100 CPUtime=2400.07 cores=1,3,5,7
/proc/22995/stat : 22995 (cosoco) R 22992 22995 9955 0 -1 4202496 20838 0 0 0 240007 0 0 0 20 0 1 0 10980995 33894400 2466 18446744073709551615 4194304 5970956 140729342108768 140729342096072 4933072 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 23494656 140729342112204 140729342112334 140729342112334 140729342115790 0
/proc/22995/statm: 8275 2466 841 434 0 1639 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 33100
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.09
CPU user time (s): 2400.08
CPU system time (s): 0.007
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 33100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.007
maximum resident set size= 9912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20872
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= 12
involuntary context switches= 671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.17699 second user time and 8.25982 second system time
The end