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-4267880-1502552128/watcher-4267880-1502552128 -o /tmp/evaluation-result-4267880-1502552128/solver-4267880-1502552128 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502500348-1544 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267880-1502552128.xml
pid=11141
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 3/188 11144
/proc/meminfo: memFree=31123908/32770624 swapFree=0/486664
[pid=11144] ppid=11141 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11144/stat : 11144 (runsolver) D 11141 11144 1478 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 97124013 24240128 108 18446744073709551615 4194304 4338465 140730372328848 140730372326488 140111255605975 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 14749696 140730372333762 140730372334153 140730372334153 140730372337610 0
/proc/11144/statm: 5918 108 54 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11144
/proc/meminfo: memFree=31123908/32770624 swapFree=0/486664
[pid=11144] ppid=11141 vsize=27408 CPUtime=0.04 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 1111 0 0 0 4 0 0 0 20 0 1 0 97124013 28065792 898 18446744073709551615 4194304 5972588 140720547357456 140720547354104 5099648 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 898 732 435 0 215 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27408
[startup+0.200267 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11144
/proc/meminfo: memFree=31123908/32770624 swapFree=0/486664
[pid=11144] ppid=11141 vsize=27408 CPUtime=0.14 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 1111 0 0 0 14 0 0 0 20 0 1 0 97124013 28065792 898 18446744073709551615 4194304 5972588 140720547357456 140720547354104 4978820 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 898 732 435 0 215 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 27408
[startup+0.300243 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11144
/proc/meminfo: memFree=31123908/32770624 swapFree=0/486664
[pid=11144] ppid=11141 vsize=27408 CPUtime=0.24 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 1111 0 0 0 24 0 0 0 20 0 1 0 97124013 28065792 898 18446744073709551615 4194304 5972588 140720547357456 140720547354104 5319857 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 898 732 435 0 215 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 27408
[startup+0.700222 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11144
/proc/meminfo: memFree=31123908/32770624 swapFree=0/486664
[pid=11144] ppid=11141 vsize=27408 CPUtime=0.64 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 1111 0 0 0 64 0 0 0 20 0 1 0 97124013 28065792 898 18446744073709551615 4194304 5972588 140720547357456 140720547354104 4972754 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 898 732 435 0 215 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 27408
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 11145
/proc/meminfo: memFree=31123260/32770624 swapFree=0/486664
[pid=11144] ppid=11141 vsize=27408 CPUtime=1.44 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 1111 0 0 0 144 0 0 0 20 0 1 0 97124013 28065792 898 18446744073709551615 4194304 5972588 140720547357456 140720547354104 4935502 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 898 732 435 0 215 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 27408
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 11145
/proc/meminfo: memFree=31122996/32770624 swapFree=0/486664
[pid=11144] ppid=11141 vsize=27408 CPUtime=3.04 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 1215 0 0 0 304 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354104 4935596 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 27408
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 11145
/proc/meminfo: memFree=31122400/32770624 swapFree=0/486664
[pid=11144] ppid=11141 vsize=27408 CPUtime=6.24 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 1323 0 0 0 624 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935525 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 27408
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 11145
/proc/meminfo: memFree=31125744/32770624 swapFree=0/486684
[pid=11144] ppid=11141 vsize=27408 CPUtime=12.64 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 1427 0 0 0 1264 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 5312304 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 27408
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 11146
/proc/meminfo: memFree=31126008/32770624 swapFree=0/486676
[pid=11144] ppid=11141 vsize=27408 CPUtime=25.44 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 1635 0 0 0 2544 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935463 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 27408
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 11146
/proc/meminfo: memFree=31126008/32770624 swapFree=0/486680
[pid=11144] ppid=11141 vsize=27408 CPUtime=51.04 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 1744 0 0 0 5104 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935490 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 27408
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 11148
/proc/meminfo: memFree=31125928/32770624 swapFree=0/486708
[pid=11144] ppid=11141 vsize=27408 CPUtime=102.25 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 1848 0 0 0 10225 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935463 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 27408
[startup+162.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/185 11151
/proc/meminfo: memFree=31126284/32770624 swapFree=0/486708
[pid=11144] ppid=11141 vsize=27408 CPUtime=162.25 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 1952 0 0 0 16225 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 5048575 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 27408
[startup+222.306 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 11154
/proc/meminfo: memFree=31126416/32770624 swapFree=0/486728
[pid=11144] ppid=11141 vsize=27408 CPUtime=222.26 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 2056 0 0 0 22226 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935502 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 27408
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 11156
/proc/meminfo: memFree=31126376/32770624 swapFree=0/486740
[pid=11144] ppid=11141 vsize=27408 CPUtime=282.26 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 2056 0 0 0 28226 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935490 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 27408
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 11159
/proc/meminfo: memFree=31126700/32770624 swapFree=0/486752
[pid=11144] ppid=11141 vsize=27408 CPUtime=342.27 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 2160 0 0 0 34227 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 5094141 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 27408
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 11162
/proc/meminfo: memFree=31126272/32770624 swapFree=0/486760
[pid=11144] ppid=11141 vsize=27408 CPUtime=402.27 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 2160 0 0 0 40227 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935459 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 27408
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 11164
/proc/meminfo: memFree=31126036/32770624 swapFree=0/486772
[pid=11144] ppid=11141 vsize=27408 CPUtime=462.27 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 2264 0 0 0 46227 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935807 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 27408
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 11181
/proc/meminfo: memFree=31122564/32770624 swapFree=0/486784
[pid=11144] ppid=11141 vsize=27408 CPUtime=522.28 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 2264 0 0 0 52228 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935463 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 27408
[startup+582.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/190 11183
/proc/meminfo: memFree=31122076/32770624 swapFree=0/486800
[pid=11144] ppid=11141 vsize=27408 CPUtime=582.28 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 2368 0 0 0 58228 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4977653 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 27408
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 11235
/proc/meminfo: memFree=31126672/32770624 swapFree=0/487040
[pid=11144] ppid=11141 vsize=27408 CPUtime=1662.37 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3287 0 0 0 166237 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 5046381 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 27408
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 11251
/proc/meminfo: memFree=31122188/32770624 swapFree=0/487072
[pid=11144] ppid=11141 vsize=27408 CPUtime=1722.38 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3287 0 0 0 172238 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935502 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 27408
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 11254
/proc/meminfo: memFree=31121684/32770624 swapFree=0/487084
[pid=11144] ppid=11141 vsize=27408 CPUtime=1782.38 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3391 0 0 0 178238 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935585 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 27408
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 11256
/proc/meminfo: memFree=31125140/32770624 swapFree=0/487092
[pid=11144] ppid=11141 vsize=27408 CPUtime=1842.39 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3391 0 0 0 184239 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935502 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 1842.39
Current children cumulated vsize (KiB) 27408
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 11258
/proc/meminfo: memFree=31125280/32770624 swapFree=0/487100
[pid=11144] ppid=11141 vsize=27408 CPUtime=1902.39 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3477 0 0 0 190239 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935613 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 1902.39
Current children cumulated vsize (KiB) 27408
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 11260
/proc/meminfo: memFree=31125736/32770624 swapFree=0/487124
[pid=11144] ppid=11141 vsize=27408 CPUtime=1962.39 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3495 0 0 0 196239 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935490 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 1962.39
Current children cumulated vsize (KiB) 27408
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 11263
/proc/meminfo: memFree=31125876/32770624 swapFree=0/487128
[pid=11144] ppid=11141 vsize=27408 CPUtime=2022.4 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3575 0 0 0 202240 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935663 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 2022.4
Current children cumulated vsize (KiB) 27408
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 11266
/proc/meminfo: memFree=31126088/32770624 swapFree=0/487140
[pid=11144] ppid=11141 vsize=27408 CPUtime=2082.41 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3575 0 0 0 208241 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4972223 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 2082.41
Current children cumulated vsize (KiB) 27408
[startup+2142.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/185 11268
/proc/meminfo: memFree=31125972/32770624 swapFree=0/487148
[pid=11144] ppid=11141 vsize=27408 CPUtime=2142.41 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3679 0 0 0 214241 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4975444 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 2142.41
Current children cumulated vsize (KiB) 27408
[startup+2202.31 s]
/proc/loadavg: 2.06 2.04 2.05 3/185 11271
/proc/meminfo: memFree=31125564/32770624 swapFree=0/487164
[pid=11144] ppid=11141 vsize=27408 CPUtime=2202.42 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3679 0 0 0 220242 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935605 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 2202.42
Current children cumulated vsize (KiB) 27408
[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 11274
/proc/meminfo: memFree=31125552/32770624 swapFree=0/487180
[pid=11144] ppid=11141 vsize=27408 CPUtime=2262.42 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3768 0 0 0 226242 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935463 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 2262.42
Current children cumulated vsize (KiB) 27408
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 11355
/proc/meminfo: memFree=31109172/32770624 swapFree=0/487200
[pid=11144] ppid=11141 vsize=27408 CPUtime=2322.42 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3783 0 0 0 232242 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 5325610 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 2322.42
Current children cumulated vsize (KiB) 27408
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 11381
/proc/meminfo: memFree=31106156/32770624 swapFree=0/487240
[pid=11144] ppid=11141 vsize=27408 CPUtime=2382.43 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3862 0 0 0 238243 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935792 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 2382.43
Current children cumulated vsize (KiB) 27408
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 11383
/proc/meminfo: memFree=31107676/32770624 swapFree=0/487252
[pid=11144] ppid=11141 vsize=27408 CPUtime=2442.43 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3862 0 0 0 244243 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4935490 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 2442.43
Current children cumulated vsize (KiB) 27408
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11385
/proc/meminfo: memFree=31111188/32770624 swapFree=0/487260
[pid=11144] ppid=11141 vsize=27408 CPUtime=2502.44 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3966 0 0 0 250244 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 4978866 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 2502.44
Current children cumulated vsize (KiB) 27408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11385
/proc/meminfo: memFree=31111292/32770624 swapFree=0/487264
[pid=11144] ppid=11141 vsize=27408 CPUtime=2520.04 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3966 0 0 0 252004 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 5325602 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 27408
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 11144 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/187 11385
/proc/meminfo: memFree=31111292/32770624 swapFree=0/487264
[pid=11144] ppid=11141 vsize=27408 CPUtime=2520.04 cores=1,3,5,7
/proc/11144/stat : 11144 (cosoco) R 11141 11144 1478 0 -1 4202496 3966 0 0 0 252004 0 0 0 20 0 1 0 97124013 28065792 953 18446744073709551615 4194304 5972588 140720547357456 140720547354904 5325602 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 22597632 140720547361262 140720547361357 140720547361357 140720547364814 0
/proc/11144/statm: 6852 953 777 435 0 215 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 27408
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.05
CPU user time (s): 2520.04
CPU system time (s): 0.004
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 27408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.04
system time used= 0.004
maximum resident set size= 3892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4019
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= 10
involuntary context switches= 639
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71023 second user time and 8.83097 second system time
The end