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-4242743-1500667593/watcher-4242743-1500667593 -o /tmp/evaluation-result-4242743-1500667593/solver-4242743-1500667593 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500667593-12341 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242743-1500667593.xml
pid=12368
running on 8 cores: 1,3,5,7,9,11,13,15
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.21 1.75 1.94 3/243 12371
/proc/meminfo: memFree=32019364/32770624 swapFree=5960/196312
[pid=12371] ppid=12368 vsize=28048 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 1223 0 0 0 0 0 0 0 20 0 1 0 2024149 28721152 1031 33554432000 4194304 5970956 140735828974928 140735828969992 140220126018533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 7012 1031 703 434 0 376 0
[startup+0.100175 s]
/proc/loadavg: 1.21 1.75 1.94 3/243 12371
/proc/meminfo: memFree=32019364/32770624 swapFree=5960/196312
[pid=12371] ppid=12368 vsize=31256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 2029 0 0 0 9 0 0 0 20 0 1 0 2024149 32006144 1808 33554432000 4194304 5970956 140735828974928 140735828971528 140220126018533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 7814 1808 709 434 0 1178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31256
[startup+0.200314 s]
/proc/loadavg: 1.21 1.75 1.94 3/243 12371
/proc/meminfo: memFree=32019364/32770624 swapFree=5960/196312
[pid=12371] ppid=12368 vsize=32168 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 2359 0 0 0 19 0 0 0 20 0 1 0 2024149 32940032 2051 33554432000 4194304 5970956 140735828974928 140735828971528 140220126018533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 8042 2051 709 434 0 1406 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32168
[startup+0.30027 s]
/proc/loadavg: 1.21 1.75 1.94 3/243 12371
/proc/meminfo: memFree=32019364/32770624 swapFree=5960/196312
[pid=12371] ppid=12368 vsize=33596 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 2835 0 0 0 29 0 0 0 20 0 1 0 2024149 34402304 2275 33554432000 4194304 5970956 140735828974928 140735828969480 140220126018533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 8399 2275 709 434 0 1763 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33596
[startup+0.700206 s]
/proc/loadavg: 1.21 1.75 1.94 3/243 12371
/proc/meminfo: memFree=32019364/32770624 swapFree=5960/196312
[pid=12371] ppid=12368 vsize=37772 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 3859 0 0 0 69 0 0 0 20 0 1 0 2024149 38678528 3455 33554432000 4194304 5970956 140735828974928 140735828971528 140220126018533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 9443 3455 709 434 0 2807 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37772
[startup+1.5003 s]
/proc/loadavg: 1.21 1.75 1.94 3/244 12372
/proc/meminfo: memFree=31865564/32770624 swapFree=5960/196312
[pid=12371] ppid=12368 vsize=163276 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 35694 0 0 0 144 5 0 0 20 0 1 0 2024149 167194624 34897 33554432000 4194304 5970956 140735828974928 140735828962248 4934449 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40819 34897 827 434 0 34183 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 163276
[startup+3.1003 s]
/proc/loadavg: 1.21 1.75 1.94 3/244 12372
/proc/meminfo: memFree=31865228/32770624 swapFree=5960/196312
[pid=12371] ppid=12368 vsize=163540 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 63323 0 0 0 303 5 0 0 20 0 1 0 2024149 167464960 34961 33554432000 4194304 5970956 140735828974928 140735828971704 4933149 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40885 34961 848 434 0 34249 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 163540
[startup+6.30029 s]
/proc/loadavg: 1.19 1.73 1.94 3/244 12372
/proc/meminfo: memFree=31864308/32770624 swapFree=5960/196312
[pid=12371] ppid=12368 vsize=163672 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 90998 0 0 0 622 7 0 0 20 0 1 0 2024149 167600128 35014 33554432000 4194304 5970956 140735828974928 140735828971704 5136623 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40918 35014 848 434 0 34282 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 163672
[startup+12.7002 s]
/proc/loadavg: 1.25 1.74 1.94 3/244 12372
/proc/meminfo: memFree=31862528/32770624 swapFree=5960/196312
[pid=12371] ppid=12368 vsize=163804 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 108677 0 0 0 1261 8 0 0 20 0 1 0 2024149 167735296 35054 33554432000 4194304 5970956 140735828974928 140735828971704 5136629 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40951 35054 848 434 0 34315 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 163804
[startup+25.5003 s]
/proc/loadavg: 1.42 1.75 1.94 3/244 12372
/proc/meminfo: memFree=31861464/32770624 swapFree=5960/196248
[pid=12371] ppid=12368 vsize=163936 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 125844 0 0 0 2539 9 0 0 20 0 1 0 2024149 167870464 35175 33554432000 4194304 5970956 140735828974928 140735828971752 5136625 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35175 848 434 0 34348 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 163936
[startup+51.1003 s]
/proc/loadavg: 1.62 1.77 1.94 3/244 12372
/proc/meminfo: memFree=31860944/32770624 swapFree=5960/196252
[pid=12371] ppid=12368 vsize=163936 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 156130 0 0 0 5097 10 0 0 20 0 1 0 2024149 167870464 35175 33554432000 4194304 5970956 140735828974928 140735828971752 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35175 848 434 0 34348 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 163936
[startup+102.3 s]
/proc/loadavg: 1.89 1.82 1.95 3/244 12373
/proc/meminfo: memFree=31859140/32770624 swapFree=5960/196280
[pid=12371] ppid=12368 vsize=163936 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 170060 0 0 0 10216 11 0 0 20 0 1 0 2024149 167870464 35175 33554432000 4194304 5970956 140735828974928 140735828971752 5136560 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35175 848 434 0 34348 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 163936
[startup+162.3 s]
/proc/loadavg: 1.96 1.85 1.95 3/244 12374
/proc/meminfo: memFree=31860496/32770624 swapFree=5960/196308
[pid=12371] ppid=12368 vsize=163936 CPUtime=162.24 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 170577 0 0 0 16213 11 0 0 20 0 1 0 2024149 167870464 35175 33554432000 4194304 5970956 140735828974928 140735828971752 5136625 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35175 848 434 0 34348 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 163936
[startup+222.308 s]
/proc/loadavg: 1.98 1.88 1.95 3/244 12382
/proc/meminfo: memFree=31859656/32770624 swapFree=5960/196340
[pid=12371] ppid=12368 vsize=163936 CPUtime=222.23 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 171095 0 0 0 22212 11 0 0 20 0 1 0 2024149 167870464 35175 33554432000 4194304 5970956 140735828974928 140735828971752 5031455 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35175 848 434 0 34348 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 163936
[startup+282.3 s]
/proc/loadavg: 2.04 1.92 1.96 3/244 12383
/proc/meminfo: memFree=31860056/32770624 swapFree=5960/196368
[pid=12371] ppid=12368 vsize=163936 CPUtime=282.2 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 171612 0 0 0 28209 11 0 0 20 0 1 0 2024149 167870464 35175 33554432000 4194304 5970956 140735828974928 140735828971752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35175 848 434 0 34348 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 163936
[startup+342.3 s]
/proc/loadavg: 2.01 1.93 1.96 3/243 12384
/proc/meminfo: memFree=31860344/32770624 swapFree=5960/196396
[pid=12371] ppid=12368 vsize=163936 CPUtime=342.18 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 172131 0 0 0 34207 11 0 0 20 0 1 0 2024149 167870464 35175 33554432000 4194304 5970956 140735828974928 140735828971752 4934366 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35175 848 434 0 34348 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 163936
[startup+402.3 s]
/proc/loadavg: 2.05 1.96 1.97 3/243 12385
/proc/meminfo: memFree=31860468/32770624 swapFree=5960/196420
[pid=12371] ppid=12368 vsize=163936 CPUtime=402.16 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 172649 0 0 0 40205 11 0 0 20 0 1 0 2024149 167870464 35175 33554432000 4194304 5970956 140735828974928 140735828971752 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35175 848 434 0 34348 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 163936
[startup+462.3 s]
/proc/loadavg: 2.02 1.96 1.97 3/243 12386
/proc/meminfo: memFree=31860708/32770624 swapFree=5960/196460
[pid=12371] ppid=12368 vsize=163936 CPUtime=462.15 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 173164 0 0 0 46204 11 0 0 20 0 1 0 2024149 167870464 35175 33554432000 4194304 5970956 140735828974928 140735828971752 5136615 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35175 848 434 0 34348 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 163936
[startup+522.3 s]
/proc/loadavg: 2.01 1.97 1.97 3/243 12387
/proc/meminfo: memFree=31860920/32770624 swapFree=5960/196484
[pid=12371] ppid=12368 vsize=163936 CPUtime=522.13 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 173681 0 0 0 52202 11 0 0 20 0 1 0 2024149 167870464 35175 33554432000 4194304 5970956 140735828974928 140735828971752 4934449 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35175 848 434 0 34348 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 163936
[startup+582.3 s]
/proc/loadavg: 2.06 1.99 1.97 3/243 12388
/proc/meminfo: memFree=31861580/32770624 swapFree=5960/196508
[pid=12371] ppid=12368 vsize=163936 CPUtime=582.11 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 174204 0 0 0 58200 11 0 0 20 0 1 0 2024149 167870464 35175 33554432000 4194304 5970956 140735828974928 140735828971752 4934506 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35175 848 434 0 34348 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 163936
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 12420
/proc/meminfo: memFree=31859832/32770624 swapFree=5960/196972
[pid=12371] ppid=12368 vsize=163936 CPUtime=1541.87 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 182385 0 0 0 154176 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 163936
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 12421
/proc/meminfo: memFree=31859892/32770624 swapFree=5960/196996
[pid=12371] ppid=12368 vsize=163936 CPUtime=1601.85 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 182881 0 0 0 160174 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 4934354 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 163936
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 12422
/proc/meminfo: memFree=31860312/32770624 swapFree=5960/197020
[pid=12371] ppid=12368 vsize=163936 CPUtime=1661.84 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 183396 0 0 0 166173 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 5136623 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 163936
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 12423
/proc/meminfo: memFree=31860072/32770624 swapFree=5960/197052
[pid=12371] ppid=12368 vsize=163936 CPUtime=1721.82 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 183909 0 0 0 172171 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 163936
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/243 12424
/proc/meminfo: memFree=31859700/32770624 swapFree=5960/197080
[pid=12371] ppid=12368 vsize=163936 CPUtime=1781.81 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 184420 0 0 0 178170 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 5136625 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 163936
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/243 12425
/proc/meminfo: memFree=31859952/32770624 swapFree=5960/197108
[pid=12371] ppid=12368 vsize=163936 CPUtime=1841.8 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 184915 0 0 0 184169 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 1841.8
Current children cumulated vsize (KiB) 163936
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/243 12426
/proc/meminfo: memFree=31861076/32770624 swapFree=5960/197132
[pid=12371] ppid=12368 vsize=163936 CPUtime=1901.78 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 185428 0 0 0 190167 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 5136623 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 1901.78
Current children cumulated vsize (KiB) 163936
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 12427
/proc/meminfo: memFree=31860016/32770624 swapFree=5960/197156
[pid=12371] ppid=12368 vsize=163936 CPUtime=1961.77 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 185920 0 0 0 196166 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 5031424 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 1961.77
Current children cumulated vsize (KiB) 163936
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 12435
/proc/meminfo: memFree=31858812/32770624 swapFree=5960/197192
[pid=12371] ppid=12368 vsize=163936 CPUtime=2021.76 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 186412 0 0 0 202165 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 5136625 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 2021.76
Current children cumulated vsize (KiB) 163936
[startup+2082.3 s]
/proc/loadavg: 2.07 2.03 1.99 3/243 12436
/proc/meminfo: memFree=31858804/32770624 swapFree=5960/197232
[pid=12371] ppid=12368 vsize=163936 CPUtime=2081.76 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 186925 0 0 0 208165 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 4934320 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 2081.76
Current children cumulated vsize (KiB) 163936
[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 1.99 3/243 12437
/proc/meminfo: memFree=31859224/32770624 swapFree=5960/197256
[pid=12371] ppid=12368 vsize=163936 CPUtime=2141.74 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 187436 0 0 0 214163 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 2141.74
Current children cumulated vsize (KiB) 163936
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 1.99 3/243 12438
/proc/meminfo: memFree=31859596/32770624 swapFree=5960/197284
[pid=12371] ppid=12368 vsize=163936 CPUtime=2201.74 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 187927 0 0 0 220163 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 2201.74
Current children cumulated vsize (KiB) 163936
[startup+2262.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/243 12439
/proc/meminfo: memFree=31858232/32770624 swapFree=5960/197304
[pid=12371] ppid=12368 vsize=163936 CPUtime=2261.71 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 188439 0 0 0 226160 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 5136625 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 2261.71
Current children cumulated vsize (KiB) 163936
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/243 12440
/proc/meminfo: memFree=31859560/32770624 swapFree=5960/197340
[pid=12371] ppid=12368 vsize=163936 CPUtime=2321.71 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 188929 0 0 0 232160 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 2321.71
Current children cumulated vsize (KiB) 163936
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/243 12441
/proc/meminfo: memFree=31860568/32770624 swapFree=5960/197364
[pid=12371] ppid=12368 vsize=163936 CPUtime=2381.69 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 189440 0 0 0 238158 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 5136625 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 2381.69
Current children cumulated vsize (KiB) 163936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/243 12441
/proc/meminfo: memFree=31860568/32770624 swapFree=5960/197364
[pid=12371] ppid=12368 vsize=163936 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 189925 0 0 0 239998 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 163936
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 12371 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/243 12441
/proc/meminfo: memFree=31860568/32770624 swapFree=5960/197364
[pid=12371] ppid=12368 vsize=163936 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/12371/stat : 12371 (cosoco) R 12368 12371 9826 0 -1 4202496 189925 0 0 0 239998 11 0 0 20 0 1 0 2024149 167870464 35176 33554432000 4194304 5970956 140735828974928 140735828971752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 19152896 140735828980929 140735828981059 140735828981059 140735828983758 0
/proc/12371/statm: 40984 35176 848 434 0 34348 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 163936
Child status: 1
Real time (s): 2400.7
CPU time (s): 2400.1
CPU user time (s): 2399.98
CPU system time (s): 0.116971
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 163936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.116971
maximum resident set size= 140748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189953
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= 120645
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70244 second user time and 12.5993 second system time
The end