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-4242508-1500663783/watcher-4242508-1500663783 -o /tmp/evaluation-result-4242508-1500663783/solver-4242508-1500663783 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500648178-9851 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242508-1500663783.xml
pid=14343
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: 2.00 2.01 2.05 3/243 14346
/proc/meminfo: memFree=32002224/32770624 swapFree=5992/197356
[pid=14346] ppid=14343 vsize=27384 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 1118 0 0 0 0 0 0 0 20 0 1 0 1648267 28041216 919 33554432000 4194304 5970956 140732588652352 140732588649000 140159358446565 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 6846 919 748 434 0 210 0
[startup+0.100146 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14346
/proc/meminfo: memFree=32002224/32770624 swapFree=5992/197356
[pid=14346] ppid=14343 vsize=27996 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 1283 0 0 0 9 0 0 0 20 0 1 0 1648267 28667904 1110 33554432000 4194304 5970956 140732588652352 140732588646056 140159358446565 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 6999 1110 787 434 0 363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27996
[startup+0.200254 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14346
/proc/meminfo: memFree=32002224/32770624 swapFree=5992/197356
[pid=14346] ppid=14343 vsize=28884 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 1510 0 0 0 19 0 0 0 20 0 1 0 1648267 29577216 1300 33554432000 4194304 5970956 140732588652352 140732588646056 140159358446565 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7221 1300 788 434 0 585 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28884
[startup+0.300248 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14346
/proc/meminfo: memFree=32002224/32770624 swapFree=5992/197356
[pid=14346] ppid=14343 vsize=29400 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 1684 0 0 0 29 0 0 0 20 0 1 0 1648267 30105600 1494 33554432000 4194304 5970956 140732588652352 140732588649416 140159358446565 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7350 1494 831 434 0 714 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29400
[startup+0.700207 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14346
/proc/meminfo: memFree=32002224/32770624 swapFree=5992/197356
[pid=14346] ppid=14343 vsize=29928 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 1801 0 0 0 69 0 0 0 20 0 1 0 1648267 30646272 1626 33554432000 4194304 5970956 140732588652352 140732588649160 4974816 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7482 1626 831 434 0 846 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29928
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 14347
/proc/meminfo: memFree=31998304/32770624 swapFree=5992/197144
[pid=14346] ppid=14343 vsize=30060 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 1838 0 0 0 149 0 0 0 20 0 1 0 1648267 30781440 1626 33554432000 4194304 5970956 140732588652352 140732588649688 5069968 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7515 1626 831 434 0 879 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30060
[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 14347
/proc/meminfo: memFree=31997688/32770624 swapFree=5992/197144
[pid=14346] ppid=14343 vsize=30324 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 2734 0 0 0 309 0 0 0 20 0 1 0 1648267 31051776 1757 33554432000 4194304 5970956 140732588652352 140732588649688 5071026 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7581 1757 832 434 0 945 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30324
[startup+6.30021 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 14347
/proc/meminfo: memFree=31997284/32770624 swapFree=5992/197156
[pid=14346] ppid=14343 vsize=30456 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 3631 0 0 0 629 0 0 0 20 0 1 0 1648267 31186944 1773 33554432000 4194304 5970956 140732588652352 140732588649688 4970607 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7614 1773 832 434 0 978 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30456
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 14347
/proc/meminfo: memFree=31996664/32770624 swapFree=5992/197164
[pid=14346] ppid=14343 vsize=30588 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 4555 0 0 0 1269 0 0 0 20 0 1 0 1648267 31322112 1790 33554432000 4194304 5970956 140732588652352 140732588649688 4970936 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1790 832 434 0 1011 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30588
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 14347
/proc/meminfo: memFree=31996228/32770624 swapFree=5992/197180
[pid=14346] ppid=14343 vsize=30588 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 5918 0 0 0 2548 0 0 0 20 0 1 0 1648267 31322112 1834 33554432000 4194304 5970956 140732588652352 140732588649688 5070008 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1834 832 434 0 1011 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30588
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 14347
/proc/meminfo: memFree=31996364/32770624 swapFree=5992/197212
[pid=14346] ppid=14343 vsize=30588 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 6368 0 0 0 5108 0 0 0 20 0 1 0 1648267 31322112 1838 33554432000 4194304 5970956 140732588652352 140732588649688 4974128 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1838 832 434 0 1011 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30588
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 14348
/proc/meminfo: memFree=31996712/32770624 swapFree=5992/197244
[pid=14346] ppid=14343 vsize=30588 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 6814 0 0 0 10227 0 0 0 20 0 1 0 1648267 31322112 1846 33554432000 4194304 5970956 140732588652352 140732588649688 5070930 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1846 832 434 0 1011 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 30588
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 14349
/proc/meminfo: memFree=31996400/32770624 swapFree=5992/197308
[pid=14346] ppid=14343 vsize=30588 CPUtime=162.26 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 7261 0 0 0 16226 0 0 0 20 0 1 0 1648267 31322112 1846 33554432000 4194304 5970956 140732588652352 140732588649688 4967778 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1846 832 434 0 1011 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 30588
[startup+222.308 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 14350
/proc/meminfo: memFree=31996624/32770624 swapFree=5992/197368
[pid=14346] ppid=14343 vsize=30588 CPUtime=222.25 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 7708 0 0 0 22225 0 0 0 20 0 1 0 1648267 31322112 1847 33554432000 4194304 5970956 140732588652352 140732588649688 5070008 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1847 832 434 0 1011 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 30588
[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/243 14351
/proc/meminfo: memFree=31996772/32770624 swapFree=5992/197408
[pid=14346] ppid=14343 vsize=30588 CPUtime=282.23 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 8153 0 0 0 28223 0 0 0 20 0 1 0 1648267 31322112 1847 33554432000 4194304 5970956 140732588652352 140732588649688 5070008 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1847 832 434 0 1011 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 30588
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 14352
/proc/meminfo: memFree=31996856/32770624 swapFree=5992/197464
[pid=14346] ppid=14343 vsize=30588 CPUtime=342.22 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 8600 0 0 0 34222 0 0 0 20 0 1 0 1648267 31322112 1847 33554432000 4194304 5970956 140732588652352 140732588649688 4961411 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1847 832 434 0 1011 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 30588
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 14353
/proc/meminfo: memFree=31996752/32770624 swapFree=5992/197512
[pid=14346] ppid=14343 vsize=30588 CPUtime=402.21 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 9047 0 0 0 40221 0 0 0 20 0 1 0 1648267 31322112 1847 33554432000 4194304 5970956 140732588652352 140732588649688 5071028 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1847 832 434 0 1011 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 30588
[startup+462.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/243 14361
/proc/meminfo: memFree=31995784/32770624 swapFree=5992/197548
[pid=14346] ppid=14343 vsize=30588 CPUtime=462.2 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 9494 0 0 0 46220 0 0 0 20 0 1 0 1648267 31322112 1847 33554432000 4194304 5970956 140732588652352 140732588649688 4969696 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1847 832 434 0 1011 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 30588
[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 14362
/proc/meminfo: memFree=31996652/32770624 swapFree=5992/197584
[pid=14346] ppid=14343 vsize=30588 CPUtime=522.18 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 9935 0 0 0 52218 0 0 0 20 0 1 0 1648267 31322112 1847 33554432000 4194304 5970956 140732588652352 140732588649688 4977769 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1847 832 434 0 1011 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 30588
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 14363
/proc/meminfo: memFree=31997016/32770624 swapFree=5992/197632
[pid=14346] ppid=14343 vsize=30588 CPUtime=582.17 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 10383 0 0 0 58217 0 0 0 20 0 1 0 1648267 31322112 1847 33554432000 4194304 5970956 140732588652352 140732588649688 4908971 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1847 832 434 0 1011 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 30588
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/242 14454
/proc/meminfo: memFree=31466848/32770624 swapFree=5992/198612
[pid=14346] ppid=14343 vsize=30588 CPUtime=1542 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 15582 0 0 0 154199 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 4909007 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 30588
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 14456
/proc/meminfo: memFree=31466140/32770624 swapFree=5992/198660
[pid=14346] ppid=14343 vsize=30588 CPUtime=1601.98 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 15744 0 0 0 160197 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 4964496 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 30588
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 14464
/proc/meminfo: memFree=31463992/32770624 swapFree=5992/198700
[pid=14346] ppid=14343 vsize=30588 CPUtime=1661.97 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 15904 0 0 0 166196 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 4974624 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 30588
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 14465
/proc/meminfo: memFree=31464136/32770624 swapFree=5992/198744
[pid=14346] ppid=14343 vsize=30588 CPUtime=1721.96 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 16348 0 0 0 172195 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 5070898 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 30588
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 14466
/proc/meminfo: memFree=31463776/32770624 swapFree=5992/198776
[pid=14346] ppid=14343 vsize=30588 CPUtime=1781.95 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 16530 0 0 0 178194 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 4969776 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 30588
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14467
/proc/meminfo: memFree=31464768/32770624 swapFree=5992/198820
[pid=14346] ppid=14343 vsize=30588 CPUtime=1841.94 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 16977 0 0 0 184193 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 5070016 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 1841.94
Current children cumulated vsize (KiB) 30588
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 14469
/proc/meminfo: memFree=31465112/32770624 swapFree=5992/198868
[pid=14346] ppid=14343 vsize=30588 CPUtime=1901.93 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 17181 0 0 0 190192 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 5070025 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 1901.93
Current children cumulated vsize (KiB) 30588
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 14470
/proc/meminfo: memFree=31465112/32770624 swapFree=5992/198908
[pid=14346] ppid=14343 vsize=30588 CPUtime=1961.91 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 17358 0 0 0 196190 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 4970523 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 1961.91
Current children cumulated vsize (KiB) 30588
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 14471
/proc/meminfo: memFree=31464988/32770624 swapFree=5992/198952
[pid=14346] ppid=14343 vsize=30588 CPUtime=2021.9 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 17535 0 0 0 202189 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 4967825 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 2021.9
Current children cumulated vsize (KiB) 30588
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 14472
/proc/meminfo: memFree=31465284/32770624 swapFree=5992/198984
[pid=14346] ppid=14343 vsize=30588 CPUtime=2081.9 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 17979 0 0 0 208189 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 5070791 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 2081.9
Current children cumulated vsize (KiB) 30588
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 14473
/proc/meminfo: memFree=31463856/32770624 swapFree=5992/199020
[pid=14346] ppid=14343 vsize=30588 CPUtime=2141.88 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 18143 0 0 0 214187 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 5070006 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 2141.88
Current children cumulated vsize (KiB) 30588
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14474
/proc/meminfo: memFree=31464984/32770624 swapFree=5992/199060
[pid=14346] ppid=14343 vsize=30588 CPUtime=2201.87 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 18318 0 0 0 220186 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 5070892 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 2201.87
Current children cumulated vsize (KiB) 30588
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 14483
/proc/meminfo: memFree=31463724/32770624 swapFree=5992/199100
[pid=14346] ppid=14343 vsize=30588 CPUtime=2261.86 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 18481 0 0 0 226185 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 5070892 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 2261.86
Current children cumulated vsize (KiB) 30588
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 14484
/proc/meminfo: memFree=31464468/32770624 swapFree=5992/199136
[pid=14346] ppid=14343 vsize=30588 CPUtime=2321.84 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 18927 0 0 0 232183 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 5070008 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 2321.84
Current children cumulated vsize (KiB) 30588
[startup+2382.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/244 14485
/proc/meminfo: memFree=31465588/32770624 swapFree=5992/199172
[pid=14346] ppid=14343 vsize=30588 CPUtime=2381.83 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 19083 0 0 0 238182 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 5323218 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 2381.83
Current children cumulated vsize (KiB) 30588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.08 2.04 2.05 3/244 14485
/proc/meminfo: memFree=31465588/32770624 swapFree=5992/199176
[pid=14346] ppid=14343 vsize=30588 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 19197 0 0 0 240002 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 4976570 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 30588
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 14346 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.08 2.04 2.05 3/244 14485
/proc/meminfo: memFree=31465588/32770624 swapFree=5992/199176
[pid=14346] ppid=14343 vsize=30588 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/14346/stat : 14346 (cosoco) R 14343 14346 9819 0 -1 4202496 19197 0 0 0 240002 1 0 0 20 0 1 0 1648267 31322112 1848 33554432000 4194304 5970956 140732588652352 140732588649688 4976570 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140732588655809 140732588655939 140732588655939 140732588658638 0
/proc/14346/statm: 7647 1848 832 434 0 1011 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 30588
Child status: 1
Real time (s): 2400.5
CPU time (s): 2400.04
CPU user time (s): 2400.02
CPU system time (s): 0.015996
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 30588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.015996
maximum resident set size= 7436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19225
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= 7
involuntary context switches= 122023
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14276 second user time and 10.6085 second system time
The end