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-4267556-1502542219/watcher-4267556-1502542219 -o /tmp/evaluation-result-4267556-1502542219/solver-4267556-1502542219 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22048 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267556-1502542219.xml
pid=30957
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 30960
/proc/meminfo: memFree=31225712/32770624 swapFree=0/525176
[pid=30960] ppid=30957 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/30960/stat : 30960 (runsolver) D 30957 30960 21984 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 56442626 24240128 108 18446744073709551615 4194304 4338465 140734612971568 140734612969208 139868632928983 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 11513856 140734612979905 140734612980297 140734612980297 140734612983754 0
/proc/30960/statm: 5918 108 54 36 0 2156 0
[startup+0.100163 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 30960
/proc/meminfo: memFree=31225712/32770624 swapFree=0/525176
[pid=30960] ppid=30957 vsize=32540 CPUtime=0.04 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 2327 0 0 0 4 0 0 0 20 0 1 0 56442626 33320960 2157 18446744073709551615 4194304 5972588 140730714928624 140730714925272 5380143 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 8135 2157 718 435 0 1498 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 32540
[startup+0.200325 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 30960
/proc/meminfo: memFree=31225712/32770624 swapFree=0/525176
[pid=30960] ppid=30957 vsize=39432 CPUtime=0.13 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 4103 0 0 0 13 0 0 0 20 0 1 0 56442626 40378368 3915 18446744073709551615 4194304 5972588 140730714928624 140730714925272 5634843 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 9858 3915 740 435 0 3221 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 39432
[startup+0.300304 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 30960
/proc/meminfo: memFree=31225712/32770624 swapFree=0/525176
[pid=30960] ppid=30957 vsize=39432 CPUtime=0.23 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 4103 0 0 0 23 0 0 0 20 0 1 0 56442626 40378368 3915 18446744073709551615 4194304 5972588 140730714928624 140730714925272 5473240 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 9858 3915 740 435 0 3221 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 39432
[startup+0.700223 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 30960
/proc/meminfo: memFree=31225712/32770624 swapFree=0/525176
[pid=30960] ppid=30957 vsize=39432 CPUtime=0.63 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 4103 0 0 0 63 0 0 0 20 0 1 0 56442626 40378368 3915 18446744073709551615 4194304 5972588 140730714928624 140730714922840 5110593 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 9858 3915 740 435 0 3221 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 39432
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30961
/proc/meminfo: memFree=31212392/32770624 swapFree=0/525160
[pid=30960] ppid=30957 vsize=44124 CPUtime=1.43 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 5285 0 0 0 143 0 0 0 20 0 1 0 56442626 45182976 5102 18446744073709551615 4194304 5972588 140730714928624 140730714922840 5093063 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 11031 5102 778 435 0 4394 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 44124
[startup+3.10029 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 30961
/proc/meminfo: memFree=31193792/32770624 swapFree=0/525160
[pid=30960] ppid=30957 vsize=125352 CPUtime=3.03 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 27450 0 0 0 301 2 0 0 20 0 1 0 56442626 128360448 25312 18446744073709551615 4194304 5972588 140730714928624 140730714925448 5032436 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 31338 25312 778 435 0 24701 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 125352
[startup+6.30023 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 30961
/proc/meminfo: memFree=31126204/32770624 swapFree=0/525160
[pid=30960] ppid=30957 vsize=131352 CPUtime=6.23 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 43903 0 0 0 620 3 0 0 20 0 1 0 56442626 134504448 26756 18446744073709551615 4194304 5972588 140730714928624 140730714925384 5139291 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 32838 26756 778 435 0 26201 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 131352
[startup+12.7002 s]
/proc/loadavg: 1.86 1.98 2.03 3/181 30961
/proc/meminfo: memFree=31120380/32770624 swapFree=0/525160
[pid=30960] ppid=30957 vsize=132564 CPUtime=12.63 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 58126 0 0 0 1259 4 0 0 20 0 1 0 56442626 135745536 27022 18446744073709551615 4194304 5972588 140730714928624 140730714925384 5139499 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 33141 27022 778 435 0 26504 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 132564
[startup+25.5003 s]
/proc/loadavg: 1.88 1.98 2.03 3/181 30962
/proc/meminfo: memFree=31057572/32770624 swapFree=0/525152
[pid=30960] ppid=30957 vsize=196232 CPUtime=25.43 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 100333 0 0 0 2535 8 0 0 20 0 1 0 56442626 200941568 42508 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5046284 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 49058 42508 778 435 0 42421 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 196232
[startup+51.1003 s]
/proc/loadavg: 1.92 1.99 2.03 3/181 30962
/proc/meminfo: memFree=31057760/32770624 swapFree=0/525144
[pid=30960] ppid=30957 vsize=196232 CPUtime=51.02 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 118625 0 0 0 5094 8 0 0 20 0 1 0 56442626 200941568 42509 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5139490 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 49058 42509 778 435 0 42421 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 196232
[startup+102.3 s]
/proc/loadavg: 1.90 1.97 2.03 3/181 30964
/proc/meminfo: memFree=31056124/32770624 swapFree=0/525152
[pid=30960] ppid=30957 vsize=196232 CPUtime=102.24 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 126525 0 0 0 10215 9 0 0 20 0 1 0 56442626 200941568 42802 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5338185 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 49058 42802 778 435 0 42421 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 196232
[startup+162.3 s]
/proc/loadavg: 1.96 1.98 2.03 3/180 30966
/proc/meminfo: memFree=31056172/32770624 swapFree=0/525156
[pid=30960] ppid=30957 vsize=196232 CPUtime=162.24 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 130169 0 0 0 16215 9 0 0 20 0 1 0 56442626 200941568 43011 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 49058 43011 778 435 0 42421 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 196232
[startup+222.306 s]
/proc/loadavg: 1.99 1.98 2.03 3/181 30969
/proc/meminfo: memFree=31055136/32770624 swapFree=0/525168
[pid=30960] ppid=30957 vsize=196232 CPUtime=222.25 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 132408 0 0 0 22216 9 0 0 20 0 1 0 56442626 200941568 43012 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 49058 43012 778 435 0 42421 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 196232
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/184 30985
/proc/meminfo: memFree=31050772/32770624 swapFree=0/525184
[pid=30960] ppid=30957 vsize=196232 CPUtime=282.25 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 132831 0 0 0 28216 9 0 0 20 0 1 0 56442626 200941568 43016 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5032400 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 49058 43016 778 435 0 42421 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 196232
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 30987
/proc/meminfo: memFree=31053648/32770624 swapFree=0/525184
[pid=30960] ppid=30957 vsize=196928 CPUtime=342.26 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 135046 0 0 0 34216 10 0 0 20 0 1 0 56442626 201654272 43169 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5338164 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 49232 43169 778 435 0 42595 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 196928
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 30989
/proc/meminfo: memFree=31051708/32770624 swapFree=0/525204
[pid=30960] ppid=30957 vsize=199428 CPUtime=402.26 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 135776 0 0 0 40216 10 0 0 20 0 1 0 56442626 204214272 43729 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5139300 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 49857 43729 778 435 0 43220 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 199428
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 30991
/proc/meminfo: memFree=31050708/32770624 swapFree=0/525216
[pid=30960] ppid=30957 vsize=200364 CPUtime=462.27 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 137385 0 0 0 46217 10 0 0 20 0 1 0 56442626 205172736 44096 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5032455 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50091 44096 778 435 0 43454 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 200364
[startup+522.3 s]
/proc/loadavg: 2.05 2.00 2.03 3/181 30993
/proc/meminfo: memFree=31050708/32770624 swapFree=0/525232
[pid=30960] ppid=30957 vsize=200364 CPUtime=522.28 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 138145 0 0 0 52218 10 0 0 20 0 1 0 56442626 205172736 44118 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5338164 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50091 44118 778 435 0 43454 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 200364
[startup+582.3 s]
/proc/loadavg: 2.06 2.02 2.04 3/181 30995
/proc/meminfo: memFree=31050648/32770624 swapFree=0/525244
[pid=30960] ppid=30957 vsize=200500 CPUtime=582.28 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 139994 0 0 0 58218 10 0 0 20 0 1 0 56442626 205312000 44151 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5139291 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50125 44151 778 435 0 43488 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 200500
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31085
/proc/meminfo: memFree=31047936/32770624 swapFree=0/525476
[pid=30960] ppid=30957 vsize=201776 CPUtime=1662.4 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 155149 0 0 0 166229 11 0 0 20 0 1 0 56442626 206618624 44518 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5046284 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50444 44518 778 435 0 43807 0
Current children cumulated CPU time (s) 1662.4
Current children cumulated vsize (KiB) 201776
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31087
/proc/meminfo: memFree=31047936/32770624 swapFree=0/525500
[pid=30960] ppid=30957 vsize=201776 CPUtime=1722.4 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 155572 0 0 0 172229 11 0 0 20 0 1 0 56442626 206618624 44518 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50444 44518 778 435 0 43807 0
Current children cumulated CPU time (s) 1722.4
Current children cumulated vsize (KiB) 201776
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31089
/proc/meminfo: memFree=31048200/32770624 swapFree=0/525524
[pid=30960] ppid=30957 vsize=201920 CPUtime=1782.41 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 156949 0 0 0 178230 11 0 0 20 0 1 0 56442626 206766080 44526 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5139294 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50480 44526 778 435 0 43843 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 201920
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31091
/proc/meminfo: memFree=31047828/32770624 swapFree=0/525524
[pid=30960] ppid=30957 vsize=201920 CPUtime=1842.41 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 157134 0 0 0 184230 11 0 0 20 0 1 0 56442626 206766080 44543 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5338173 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50480 44543 778 435 0 43843 0
Current children cumulated CPU time (s) 1842.41
Current children cumulated vsize (KiB) 201920
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31093
/proc/meminfo: memFree=31048076/32770624 swapFree=0/525536
[pid=30960] ppid=30957 vsize=201920 CPUtime=1902.42 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 158136 0 0 0 190231 11 0 0 20 0 1 0 56442626 206766080 44545 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50480 44545 778 435 0 43843 0
Current children cumulated CPU time (s) 1902.42
Current children cumulated vsize (KiB) 201920
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31095
/proc/meminfo: memFree=31048076/32770624 swapFree=0/525548
[pid=30960] ppid=30957 vsize=201920 CPUtime=1962.42 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 158536 0 0 0 196231 11 0 0 20 0 1 0 56442626 206766080 44545 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5139291 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50480 44545 778 435 0 43843 0
Current children cumulated CPU time (s) 1962.42
Current children cumulated vsize (KiB) 201920
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31158
/proc/meminfo: memFree=31036288/32770624 swapFree=0/525576
[pid=30960] ppid=30957 vsize=201920 CPUtime=2022.43 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 159623 0 0 0 202232 11 0 0 20 0 1 0 56442626 206766080 44549 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5328506 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50480 44549 778 435 0 43843 0
Current children cumulated CPU time (s) 2022.43
Current children cumulated vsize (KiB) 201920
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31175
/proc/meminfo: memFree=31032244/32770624 swapFree=0/525584
[pid=30960] ppid=30957 vsize=201920 CPUtime=2082.44 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 159677 0 0 0 208233 11 0 0 20 0 1 0 56442626 206766080 44549 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5139329 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50480 44549 778 435 0 43843 0
Current children cumulated CPU time (s) 2082.44
Current children cumulated vsize (KiB) 201920
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31177
/proc/meminfo: memFree=31034840/32770624 swapFree=0/525596
[pid=30960] ppid=30957 vsize=201920 CPUtime=2142.44 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 160699 0 0 0 214233 11 0 0 20 0 1 0 56442626 206766080 44552 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5046624 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50480 44552 778 435 0 43843 0
Current children cumulated CPU time (s) 2142.44
Current children cumulated vsize (KiB) 201920
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31179
/proc/meminfo: memFree=31035584/32770624 swapFree=0/525592
[pid=30960] ppid=30957 vsize=201920 CPUtime=2202.45 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 161112 0 0 0 220234 11 0 0 20 0 1 0 56442626 206766080 44552 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5046613 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50480 44552 778 435 0 43843 0
Current children cumulated CPU time (s) 2202.45
Current children cumulated vsize (KiB) 201920
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31181
/proc/meminfo: memFree=31035588/32770624 swapFree=0/525612
[pid=30960] ppid=30957 vsize=201920 CPUtime=2262.45 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 162321 0 0 0 226234 11 0 0 20 0 1 0 56442626 206766080 44552 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50480 44552 778 435 0 43843 0
Current children cumulated CPU time (s) 2262.45
Current children cumulated vsize (KiB) 201920
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31183
/proc/meminfo: memFree=31035836/32770624 swapFree=0/525604
[pid=30960] ppid=30957 vsize=201920 CPUtime=2322.46 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 162335 0 0 0 232235 11 0 0 20 0 1 0 56442626 206766080 44552 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5046476 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50480 44552 778 435 0 43843 0
Current children cumulated CPU time (s) 2322.46
Current children cumulated vsize (KiB) 201920
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31185
/proc/meminfo: memFree=31035864/32770624 swapFree=0/525612
[pid=30960] ppid=30957 vsize=201920 CPUtime=2382.47 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 163276 0 0 0 238236 11 0 0 20 0 1 0 56442626 206766080 44552 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5032400 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50480 44552 778 435 0 43843 0
Current children cumulated CPU time (s) 2382.47
Current children cumulated vsize (KiB) 201920
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31187
/proc/meminfo: memFree=31035492/32770624 swapFree=0/525608
[pid=30960] ppid=30957 vsize=201920 CPUtime=2442.47 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 163778 0 0 0 244236 11 0 0 20 0 1 0 56442626 206766080 44552 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5139264 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50480 44552 778 435 0 43843 0
Current children cumulated CPU time (s) 2442.47
Current children cumulated vsize (KiB) 201920
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31189
/proc/meminfo: memFree=31035988/32770624 swapFree=0/525612
[pid=30960] ppid=30957 vsize=201920 CPUtime=2502.48 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 165262 0 0 0 250237 11 0 0 20 0 1 0 56442626 206766080 44552 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5032400 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50480 44552 778 435 0 43843 0
Current children cumulated CPU time (s) 2502.48
Current children cumulated vsize (KiB) 201920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31189
/proc/meminfo: memFree=31035988/32770624 swapFree=0/525608
[pid=30960] ppid=30957 vsize=201920 CPUtime=2520.08 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 165267 0 0 0 251997 11 0 0 20 0 1 0 56442626 206766080 44552 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50480 44552 778 435 0 43843 0
Current children cumulated CPU time (s) 2520.08
Current children cumulated vsize (KiB) 201920
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 30960 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31189
/proc/meminfo: memFree=31035988/32770624 swapFree=0/525608
[pid=30960] ppid=30957 vsize=201920 CPUtime=2520.08 cores=1,3,5,7
/proc/30960/stat : 30960 (cosoco) R 30957 30960 21984 0 -1 4202496 165267 0 0 0 251997 11 0 0 20 0 1 0 56442626 206766080 44552 18446744073709551615 4194304 5972588 140730714928624 140730714925288 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 12423168 140730714935790 140730714935885 140730714935885 140730714939342 0
/proc/30960/statm: 50480 44552 778 435 0 43843 0
Current children cumulated CPU time (s) 2520.08
Current children cumulated vsize (KiB) 201920
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.09
CPU user time (s): 2519.98
CPU system time (s): 0.117012
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 201920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.98
system time used= 0.117012
maximum resident set size= 178288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165316
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= 27
involuntary context switches= 815
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.92581 second user time and 9.20789 second system time
The end