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-4242068-1500657783/watcher-4242068-1500657783 -o /tmp/evaluation-result-4242068-1500657783/solver-4242068-1500657783 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500648172-9857 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242068-1500657783.xml
pid=10912
running on 8 cores: 0,2,4,6,8,10,12,14
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: 1.95 2.01 2.04 3/243 10915
/proc/meminfo: memFree=32033348/32770624 swapFree=5932/188412
[pid=10915] ppid=10912 vsize=29232 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 1544 0 0 0 0 0 0 0 20 0 1 0 1043320 29933568 1367 33554432000 4194304 5970956 140730880410320 140730880409824 140449343265765 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7308 1367 736 434 0 672 0
[startup+0.100121 s]
/proc/loadavg: 1.95 2.01 2.04 3/243 10915
/proc/meminfo: memFree=32033348/32770624 swapFree=5932/188412
[pid=10915] ppid=10912 vsize=29380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 1619 0 0 0 9 0 0 0 20 0 1 0 1043320 30085120 1432 33554432000 4194304 5970956 140730880410320 140730880407096 4970950 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1432 775 434 0 709 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29380
[startup+0.200284 s]
/proc/loadavg: 1.95 2.01 2.04 3/243 10915
/proc/meminfo: memFree=32033348/32770624 swapFree=5932/188412
[pid=10915] ppid=10912 vsize=29380 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 1623 0 0 0 19 0 0 0 20 0 1 0 1043320 30085120 1432 33554432000 4194304 5970956 140730880410320 140730880407656 4971111 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1432 775 434 0 709 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29380
[startup+0.300245 s]
/proc/loadavg: 1.95 2.01 2.04 3/243 10915
/proc/meminfo: memFree=32033348/32770624 swapFree=5932/188412
[pid=10915] ppid=10912 vsize=29380 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 1623 0 0 0 29 0 0 0 20 0 1 0 1043320 30085120 1432 33554432000 4194304 5970956 140730880410320 140730880407656 4974224 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1432 775 434 0 709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29380
[startup+0.700211 s]
/proc/loadavg: 1.95 2.01 2.04 3/243 10915
/proc/meminfo: memFree=32033348/32770624 swapFree=5932/188412
[pid=10915] ppid=10912 vsize=29380 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 1623 0 0 0 69 0 0 0 20 0 1 0 1043320 30085120 1432 33554432000 4194304 5970956 140730880410320 140730880407656 4974228 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1432 775 434 0 709 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29380
[startup+1.50021 s]
/proc/loadavg: 1.95 2.01 2.04 3/244 10916
/proc/meminfo: memFree=32030180/32770624 swapFree=5932/188472
[pid=10915] ppid=10912 vsize=29380 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 1623 0 0 0 149 0 0 0 20 0 1 0 1043320 30085120 1432 33554432000 4194304 5970956 140730880410320 140730880407656 4976798 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1432 775 434 0 709 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29380
[startup+3.10022 s]
/proc/loadavg: 1.95 2.01 2.04 3/244 10916
/proc/meminfo: memFree=32029808/32770624 swapFree=5932/188472
[pid=10915] ppid=10912 vsize=29380 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 2218 0 0 0 309 0 0 0 20 0 1 0 1043320 30085120 1464 33554432000 4194304 5970956 140730880410320 140730880407656 4978111 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1464 786 434 0 709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29380
[startup+6.30021 s]
/proc/loadavg: 1.96 2.01 2.04 3/244 10916
/proc/meminfo: memFree=32029068/32770624 swapFree=5932/188472
[pid=10915] ppid=10912 vsize=29380 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 2813 0 0 0 629 0 0 0 20 0 1 0 1043320 30085120 1464 33554432000 4194304 5970956 140730880410320 140730880407656 5098931 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1464 786 434 0 709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29380
[startup+12.7002 s]
/proc/loadavg: 1.96 2.01 2.04 3/244 10916
/proc/meminfo: memFree=32028428/32770624 swapFree=5932/188480
[pid=10915] ppid=10912 vsize=29380 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 3408 0 0 0 1269 0 0 0 20 0 1 0 1043320 30085120 1464 33554432000 4194304 5970956 140730880410320 140730880407656 5039152 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1464 786 434 0 709 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29380
[startup+25.5003 s]
/proc/loadavg: 1.97 2.01 2.04 3/244 10916
/proc/meminfo: memFree=32028056/32770624 swapFree=5932/188480
[pid=10915] ppid=10912 vsize=29380 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 4598 0 0 0 2549 0 0 0 20 0 1 0 1043320 30085120 1464 33554432000 4194304 5970956 140730880410320 140730880407656 4969943 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1464 786 434 0 709 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29380
[startup+51.1003 s]
/proc/loadavg: 1.98 2.01 2.04 3/244 10916
/proc/meminfo: memFree=32028180/32770624 swapFree=5932/188488
[pid=10915] ppid=10912 vsize=29380 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 5195 0 0 0 5108 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 4970000 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29380
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/244 10917
/proc/meminfo: memFree=32027412/32770624 swapFree=5932/188540
[pid=10915] ppid=10912 vsize=29380 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 5791 0 0 0 10228 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 4969880 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 29380
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 10919
/proc/meminfo: memFree=32027556/32770624 swapFree=5932/188656
[pid=10915] ppid=10912 vsize=29380 CPUtime=162.26 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 6387 0 0 0 16226 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 29380
[startup+222.308 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 10920
/proc/meminfo: memFree=32027252/32770624 swapFree=5932/188728
[pid=10915] ppid=10912 vsize=29380 CPUtime=222.26 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 6983 0 0 0 22226 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 4969795 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 29380
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10921
/proc/meminfo: memFree=32027036/32770624 swapFree=5932/188780
[pid=10915] ppid=10912 vsize=29380 CPUtime=282.24 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 7579 0 0 0 28224 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 4974228 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 29380
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10923
/proc/meminfo: memFree=32027484/32770624 swapFree=5932/188800
[pid=10915] ppid=10912 vsize=29380 CPUtime=342.23 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 8175 0 0 0 34223 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 4978416 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 29380
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10924
/proc/meminfo: memFree=32027696/32770624 swapFree=5932/188884
[pid=10915] ppid=10912 vsize=29380 CPUtime=402.22 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 8771 0 0 0 40222 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 5322320 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 29380
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 10933
/proc/meminfo: memFree=32026908/32770624 swapFree=5932/188916
[pid=10915] ppid=10912 vsize=29380 CPUtime=462.21 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 9367 0 0 0 46221 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 5039162 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 29380
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 10934
/proc/meminfo: memFree=32026516/32770624 swapFree=5932/188976
[pid=10915] ppid=10912 vsize=29380 CPUtime=522.2 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 9963 0 0 0 52220 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 4970221 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 29380
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 10935
/proc/meminfo: memFree=32026964/32770624 swapFree=5932/188976
[pid=10915] ppid=10912 vsize=29380 CPUtime=582.19 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 10559 0 0 0 58219 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 4974147 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 29380
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 10958
/proc/meminfo: memFree=32024212/32770624 swapFree=5932/189704
[pid=10915] ppid=10912 vsize=29380 CPUtime=1542.02 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 19969 0 0 0 154202 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 4974439 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 29380
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 10959
/proc/meminfo: memFree=32024364/32770624 swapFree=5932/189576
[pid=10915] ppid=10912 vsize=29380 CPUtime=1602.01 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 20543 0 0 0 160201 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 4974415 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 29380
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 10969
/proc/meminfo: memFree=32022964/32770624 swapFree=5932/189604
[pid=10915] ppid=10912 vsize=29380 CPUtime=1662 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 21118 0 0 0 166200 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 5322303 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 29380
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 10970
/proc/meminfo: memFree=32022108/32770624 swapFree=5932/189604
[pid=10915] ppid=10912 vsize=29380 CPUtime=1721.99 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 21715 0 0 0 172199 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 4974637 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 29380
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 10971
/proc/meminfo: memFree=32021652/32770624 swapFree=5932/189604
[pid=10915] ppid=10912 vsize=29380 CPUtime=1781.97 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 22289 0 0 0 178197 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 29380
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 10972
/proc/meminfo: memFree=32022032/32770624 swapFree=5932/189604
[pid=10915] ppid=10912 vsize=29380 CPUtime=1841.96 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 22865 0 0 0 184196 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 4978416 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 1841.96
Current children cumulated vsize (KiB) 29380
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 10973
/proc/meminfo: memFree=32022180/32770624 swapFree=5932/189776
[pid=10915] ppid=10912 vsize=29380 CPUtime=1901.95 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 23462 0 0 0 190195 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 4970613 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 1901.95
Current children cumulated vsize (KiB) 29380
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10975
/proc/meminfo: memFree=32020920/32770624 swapFree=5932/189776
[pid=10915] ppid=10912 vsize=29380 CPUtime=1961.94 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 24036 0 0 0 196194 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 5039186 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 1961.94
Current children cumulated vsize (KiB) 29380
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10976
/proc/meminfo: memFree=32020908/32770624 swapFree=5932/189776
[pid=10915] ppid=10912 vsize=29380 CPUtime=2021.93 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 24612 0 0 0 202193 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 4974124 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 2021.93
Current children cumulated vsize (KiB) 29380
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10977
/proc/meminfo: memFree=32019340/32770624 swapFree=5932/189776
[pid=10915] ppid=10912 vsize=29380 CPUtime=2081.93 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 25209 0 0 0 208193 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 4978389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 2081.93
Current children cumulated vsize (KiB) 29380
[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 10979
/proc/meminfo: memFree=32020636/32770624 swapFree=5932/189776
[pid=10915] ppid=10912 vsize=29380 CPUtime=2141.91 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 25783 0 0 0 214191 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 4974228 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 2141.91
Current children cumulated vsize (KiB) 29380
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 10980
/proc/meminfo: memFree=32020956/32770624 swapFree=5932/189992
[pid=10915] ppid=10912 vsize=29380 CPUtime=2201.91 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 26358 0 0 0 220191 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 2201.91
Current children cumulated vsize (KiB) 29380
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 10989
/proc/meminfo: memFree=32020996/32770624 swapFree=5932/190012
[pid=10915] ppid=10912 vsize=29380 CPUtime=2261.89 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 26933 0 0 0 226189 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 5039186 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 2261.89
Current children cumulated vsize (KiB) 29380
[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 11012
/proc/meminfo: memFree=32018936/32770624 swapFree=5932/190012
[pid=10915] ppid=10912 vsize=29380 CPUtime=2321.88 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 27529 0 0 0 232188 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 5322311 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 2321.88
Current children cumulated vsize (KiB) 29380
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 11013
/proc/meminfo: memFree=32019208/32770624 swapFree=5932/190012
[pid=10915] ppid=10912 vsize=29380 CPUtime=2381.87 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 28104 0 0 0 238187 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 2381.87
Current children cumulated vsize (KiB) 29380
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11079
/proc/meminfo: memFree=32002240/32770624 swapFree=5932/190224
[pid=10915] ppid=10912 vsize=29380 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 28678 0 0 0 240006 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 5322307 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 29380
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 10915 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11079
/proc/meminfo: memFree=32002240/32770624 swapFree=5932/190224
[pid=10915] ppid=10912 vsize=29380 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (cosoco) R 10912 10915 9824 0 -1 4202496 28678 0 0 0 240006 0 0 0 20 0 1 0 1043320 30085120 1465 33554432000 4194304 5970956 140730880410320 140730880407656 5322307 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32931840 140730880419009 140730880419139 140730880419139 140730880421838 0
/proc/10915/statm: 7345 1465 786 434 0 709 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 29380
Child status: 1
Real time (s): 2400.5
CPU time (s): 2400.07
CPU user time (s): 2400.07
CPU system time (s): 0.003999
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 29380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.003999
maximum resident set size= 5904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28705
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= 6
involuntary context switches= 121828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05703 second user time and 11.0541 second system time
The end