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-4242604-1500665709/watcher-4242604-1500665709 -o /tmp/evaluation-result-4242604-1500665709/solver-4242604-1500665709 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500648174-2491 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242604-1500665709.xml
pid=5335
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: 2.08 2.04 2.05 3/242 5338
/proc/meminfo: memFree=32032860/32770624 swapFree=5840/219592
[pid=5338] ppid=5335 vsize=27256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 1055 0 0 0 0 0 0 0 20 0 1 0 1838723 27910144 832 33554432000 4194304 5970956 140737467237840 140737467234488 140628179659749 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 6814 832 703 434 0 178 0
[startup+0.100121 s]
/proc/loadavg: 2.08 2.04 2.05 3/242 5338
/proc/meminfo: memFree=32032860/32770624 swapFree=5840/219592
[pid=5338] ppid=5335 vsize=29048 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 1552 0 0 0 9 0 0 0 20 0 1 0 1838723 29745152 1355 33554432000 4194304 5970956 140737467237840 140737467235400 140628179659749 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7262 1355 779 434 0 626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29048
[startup+0.200288 s]
/proc/loadavg: 2.08 2.04 2.05 3/242 5338
/proc/meminfo: memFree=32032860/32770624 swapFree=5840/219592
[pid=5338] ppid=5335 vsize=29312 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 1605 0 0 0 19 0 0 0 20 0 1 0 1838723 30015488 1421 33554432000 4194304 5970956 140737467237840 140737467234584 5047061 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7328 1421 781 434 0 692 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29312
[startup+0.300261 s]
/proc/loadavg: 2.08 2.04 2.05 3/242 5338
/proc/meminfo: memFree=32032860/32770624 swapFree=5840/219592
[pid=5338] ppid=5335 vsize=29312 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 1619 0 0 0 29 0 0 0 20 0 1 0 1838723 30015488 1421 33554432000 4194304 5970956 140737467237840 140737467225144 5045304 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7328 1421 781 434 0 692 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29312
[startup+0.700238 s]
/proc/loadavg: 2.08 2.04 2.05 3/242 5338
/proc/meminfo: memFree=32032860/32770624 swapFree=5840/219592
[pid=5338] ppid=5335 vsize=29444 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 1635 0 0 0 69 0 0 0 20 0 1 0 1838723 30150656 1421 33554432000 4194304 5970956 140737467237840 140737467235400 5136560 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1421 781 434 0 725 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29444
[startup+1.50027 s]
/proc/loadavg: 2.08 2.04 2.05 3/243 5339
/proc/meminfo: memFree=32029796/32770624 swapFree=5840/219576
[pid=5338] ppid=5335 vsize=29444 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 1641 0 0 0 149 0 0 0 20 0 1 0 1838723 30150656 1421 33554432000 4194304 5970956 140737467237840 140737467225144 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1421 781 434 0 725 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29444
[startup+3.10028 s]
/proc/loadavg: 2.07 2.04 2.05 3/243 5339
/proc/meminfo: memFree=32029548/32770624 swapFree=5840/219576
[pid=5338] ppid=5335 vsize=29444 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 2267 0 0 0 309 0 0 0 20 0 1 0 1838723 30150656 1483 33554432000 4194304 5970956 140737467237840 140737467235400 5045316 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1483 781 434 0 725 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29444
[startup+6.30015 s]
/proc/loadavg: 2.07 2.04 2.05 3/243 5339
/proc/meminfo: memFree=32028796/32770624 swapFree=5840/219576
[pid=5338] ppid=5335 vsize=29444 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 2885 0 0 0 629 0 0 0 20 0 1 0 1838723 30150656 1485 33554432000 4194304 5970956 140737467237840 140737467235400 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1485 781 434 0 725 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29444
[startup+12.7003 s]
/proc/loadavg: 2.14 2.05 2.05 3/243 5339
/proc/meminfo: memFree=32028424/32770624 swapFree=5840/219576
[pid=5338] ppid=5335 vsize=29444 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 3503 0 0 0 1269 0 0 0 20 0 1 0 1838723 30150656 1486 33554432000 4194304 5970956 140737467237840 140737467235400 5136560 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1486 781 434 0 725 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29444
[startup+25.5003 s]
/proc/loadavg: 2.12 2.05 2.05 3/243 5339
/proc/meminfo: memFree=32028424/32770624 swapFree=5840/219576
[pid=5338] ppid=5335 vsize=29444 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 4738 0 0 0 2548 0 0 0 20 0 1 0 1838723 30150656 1487 33554432000 4194304 5970956 140737467237840 140737467235400 5044857 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1487 781 434 0 725 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29444
[startup+51.1003 s]
/proc/loadavg: 2.14 2.06 2.06 3/243 5339
/proc/meminfo: memFree=32027016/32770624 swapFree=5840/219640
[pid=5338] ppid=5335 vsize=29444 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 5359 0 0 0 5108 0 0 0 20 0 1 0 1838723 30150656 1489 33554432000 4194304 5970956 140737467237840 140737467235400 5045308 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1489 781 434 0 725 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29444
[startup+102.3 s]
/proc/loadavg: 2.14 2.08 2.06 3/243 5340
/proc/meminfo: memFree=32026808/32770624 swapFree=5840/219640
[pid=5338] ppid=5335 vsize=29444 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 5976 0 0 0 10227 0 0 0 20 0 1 0 1838723 30150656 1489 33554432000 4194304 5970956 140737467237840 140737467235400 5136786 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1489 781 434 0 725 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29444
[startup+162.3 s]
/proc/loadavg: 2.05 2.07 2.06 3/243 5341
/proc/meminfo: memFree=32027492/32770624 swapFree=5840/219724
[pid=5338] ppid=5335 vsize=29444 CPUtime=162.25 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 6595 0 0 0 16225 0 0 0 20 0 1 0 1838723 30150656 1489 33554432000 4194304 5970956 140737467237840 140737467235400 5047044 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1489 781 434 0 725 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 29444
[startup+222.308 s]
/proc/loadavg: 2.08 2.07 2.05 3/243 5342
/proc/meminfo: memFree=32027428/32770624 swapFree=5840/219760
[pid=5338] ppid=5335 vsize=29444 CPUtime=222.24 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 7208 0 0 0 22224 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467235400 5136615 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 29444
[startup+282.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/243 5343
/proc/meminfo: memFree=32027480/32770624 swapFree=5840/219800
[pid=5338] ppid=5335 vsize=29444 CPUtime=282.22 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 7822 0 0 0 28222 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467235400 5045760 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 29444
[startup+342.3 s]
/proc/loadavg: 2.08 2.08 2.05 3/244 5352
/proc/meminfo: memFree=32027428/32770624 swapFree=5840/219832
[pid=5338] ppid=5335 vsize=29444 CPUtime=342.2 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 8436 0 0 0 34220 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467235400 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 29444
[startup+402.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/244 5353
/proc/meminfo: memFree=32027216/32770624 swapFree=5840/219884
[pid=5338] ppid=5335 vsize=29444 CPUtime=402.19 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 9050 0 0 0 40219 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467235400 5045308 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 29444
[startup+462.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/244 5354
/proc/meminfo: memFree=32026740/32770624 swapFree=5840/219884
[pid=5338] ppid=5335 vsize=29444 CPUtime=462.17 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 9668 0 0 0 46217 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467235400 5045304 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 29444
[startup+522.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/245 5421
/proc/meminfo: memFree=32032356/32770624 swapFree=5840/219988
[pid=5338] ppid=5335 vsize=29444 CPUtime=522.16 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 10282 0 0 0 52216 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467235400 5136570 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 29444
[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/245 5422
/proc/meminfo: memFree=32031936/32770624 swapFree=5840/219988
[pid=5338] ppid=5335 vsize=29444 CPUtime=582.14 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 10899 0 0 0 58214 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467235400 5045333 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 29444
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 5456
/proc/meminfo: memFree=32028188/32770624 swapFree=5840/220604
[pid=5338] ppid=5335 vsize=29444 CPUtime=1541.89 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 19040 0 0 0 154189 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5045316 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 29444
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 5479
/proc/meminfo: memFree=32027524/32770624 swapFree=5840/220668
[pid=5338] ppid=5335 vsize=29444 CPUtime=1601.87 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 19385 0 0 0 160187 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5047024 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 29444
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 5480
/proc/meminfo: memFree=32028032/32770624 swapFree=5840/220680
[pid=5338] ppid=5335 vsize=29444 CPUtime=1661.86 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 20002 0 0 0 166186 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5136570 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 29444
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5481
/proc/meminfo: memFree=32028552/32770624 swapFree=5840/220752
[pid=5338] ppid=5335 vsize=29444 CPUtime=1721.84 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 20320 0 0 0 172184 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5045308 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 29444
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5482
/proc/meminfo: memFree=32028232/32770624 swapFree=5840/220756
[pid=5338] ppid=5335 vsize=29444 CPUtime=1781.83 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 20665 0 0 0 178183 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5136786 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 29444
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 5483
/proc/meminfo: memFree=32027724/32770624 swapFree=5840/220756
[pid=5338] ppid=5335 vsize=29444 CPUtime=1841.81 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 21280 0 0 0 184181 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5136620 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 1841.81
Current children cumulated vsize (KiB) 29444
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 5484
/proc/meminfo: memFree=32027996/32770624 swapFree=5840/220836
[pid=5338] ppid=5335 vsize=29444 CPUtime=1901.79 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 21619 0 0 0 190179 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5045736 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 1901.79
Current children cumulated vsize (KiB) 29444
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5485
/proc/meminfo: memFree=32028380/32770624 swapFree=5840/220836
[pid=5338] ppid=5335 vsize=29444 CPUtime=1961.78 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 21957 0 0 0 196178 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5045736 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 1961.78
Current children cumulated vsize (KiB) 29444
[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 5486
/proc/meminfo: memFree=32029020/32770624 swapFree=5840/220920
[pid=5338] ppid=5335 vsize=29444 CPUtime=2021.76 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 22570 0 0 0 202176 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5045308 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 2021.76
Current children cumulated vsize (KiB) 29444
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 5487
/proc/meminfo: memFree=32029308/32770624 swapFree=5840/220920
[pid=5338] ppid=5335 vsize=29444 CPUtime=2081.75 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 22903 0 0 0 208175 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5136803 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 2081.75
Current children cumulated vsize (KiB) 29444
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 5496
/proc/meminfo: memFree=32028248/32770624 swapFree=5840/220976
[pid=5338] ppid=5335 vsize=29444 CPUtime=2141.73 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 23251 0 0 0 214173 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5045736 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 2141.73
Current children cumulated vsize (KiB) 29444
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5497
/proc/meminfo: memFree=32027852/32770624 swapFree=5840/220976
[pid=5338] ppid=5335 vsize=29444 CPUtime=2201.72 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 23594 0 0 0 220172 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5047460 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 2201.72
Current children cumulated vsize (KiB) 29444
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5498
/proc/meminfo: memFree=32027804/32770624 swapFree=5840/221076
[pid=5338] ppid=5335 vsize=29444 CPUtime=2261.7 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 24177 0 0 0 226170 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5136799 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 2261.7
Current children cumulated vsize (KiB) 29444
[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 5499
/proc/meminfo: memFree=32029428/32770624 swapFree=5840/221100
[pid=5338] ppid=5335 vsize=29444 CPUtime=2321.68 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 24495 0 0 0 232168 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5045308 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 2321.68
Current children cumulated vsize (KiB) 29444
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 5500
/proc/meminfo: memFree=32028864/32770624 swapFree=5840/221116
[pid=5338] ppid=5335 vsize=29444 CPUtime=2381.67 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 24810 0 0 0 238167 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5136577 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 2381.67
Current children cumulated vsize (KiB) 29444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.7 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5501
/proc/meminfo: memFree=32028720/32770624 swapFree=5840/221172
[pid=5338] ppid=5335 vsize=29444 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 25102 0 0 0 240006 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5136577 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 29444
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 5338 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.05 3/243 5501
/proc/meminfo: memFree=32028720/32770624 swapFree=5840/221172
[pid=5338] ppid=5335 vsize=29444 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/5338/stat : 5338 (cosoco) R 5335 5338 2458 0 -1 4202496 25102 0 0 0 240006 0 0 0 20 0 1 0 1838723 30150656 1490 33554432000 4194304 5970956 140737467237840 140737467225144 5136577 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15581184 140737467245761 140737467245891 140737467245891 140737467248590 0
/proc/5338/statm: 7361 1490 781 434 0 725 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 29444
Child status: 1
Real time (s): 2400.7
CPU time (s): 2400.08
CPU user time (s): 2400.07
CPU system time (s): 0.009997
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 29444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.009997
maximum resident set size= 6008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25144
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= 121843
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73441 second user time and 10.3177 second system time
The end