runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13002 MiB free)
  memory of node 1: 16384 MiB (15021 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265774-1502584684/watcher-4265774-1502584684 -o /tmp/evaluation-result-4265774-1502584684/solver-4265774-1502584684 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502567255-24592 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265774-1502584684.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26716, runsolver pid=26713

[startup+0.100154 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 26717
/proc/meminfo: memFree=28693612/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34428 memory=6524 CPUtime=0.1 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 1795 0 0 0 10 0 0 0 20 0 1 0 91556314 35254272 1631 33554432000 4194304 5972588 140734384134208 140734384130856 5139312 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8607 1631 784 435 0 1970 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34428 KiB
Current children cumulated memory: 6524 KiB

[startup+0.209492 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 26717
/proc/meminfo: memFree=28693240/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34548 memory=6668 CPUtime=0.21 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 1842 0 0 0 21 0 0 0 20 0 1 0 91556314 35377152 1667 33554432000 4194304 5972588 140734384134208 140734384130856 5139507 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8637 1667 784 435 0 2000 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34548 KiB
Current children cumulated memory: 6668 KiB

[startup+0.30886 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 26717
/proc/meminfo: memFree=28693240/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34548 memory=6668 CPUtime=0.31 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 1855 0 0 0 31 0 0 0 20 0 1 0 91556314 35377152 1667 33554432000 4194304 5972588 140734384134208 140734384130856 5045817 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8637 1667 784 435 0 2000 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34548 KiB
Current children cumulated memory: 6668 KiB

[startup+0.700273 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 26717
/proc/meminfo: memFree=28693240/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34668 memory=6832 CPUtime=0.69 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 1892 0 0 0 69 0 0 0 20 0 1 0 91556314 35500032 1708 33554432000 4194304 5972588 140734384134208 140734384131432 5139274 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8667 1708 784 435 0 2030 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 6832 KiB

[startup+1.50028 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 26717
/proc/meminfo: memFree=28693064/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34668 memory=7092 CPUtime=1.49 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 1946 0 0 0 149 0 0 0 20 0 1 0 91556314 35500032 1773 33554432000 4194304 5972588 140734384134208 140734384131432 5139294 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8667 1773 784 435 0 2030 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 7092 KiB

[startup+3.10897 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 26717
/proc/meminfo: memFree=28692684/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34668 memory=7348 CPUtime=3.1 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 2976 0 0 0 310 0 0 0 20 0 1 0 91556314 35500032 1837 33554432000 4194304 5972588 140734384134208 140734384131432 5139490 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8667 1837 784 435 0 2030 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 7348 KiB

[startup+6.30027 s]
/proc/loadavg: 1.85 1.98 2.03 3/188 26717
/proc/meminfo: memFree=28689836/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34668 memory=10184 CPUtime=6.29 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 4192 0 0 0 629 0 0 0 20 0 1 0 91556314 35500032 2546 33554432000 4194304 5972588 140734384134208 140734384131432 5139312 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8667 2546 784 435 0 2030 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 10184 KiB

[startup+12.7003 s]
/proc/loadavg: 1.86 1.98 2.03 3/188 26717
/proc/meminfo: memFree=28689844/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34668 memory=10260 CPUtime=12.69 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 5373 0 0 0 1269 0 0 0 20 0 1 0 91556314 35500032 2565 33554432000 4194304 5972588 140734384134208 140734384131432 5046608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8667 2565 784 435 0 2030 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 10260 KiB

[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 2.03 3/188 26717
/proc/meminfo: memFree=28689844/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34668 memory=10276 CPUtime=25.49 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 7633 0 0 0 2549 0 0 0 20 0 1 0 91556314 35500032 2569 33554432000 4194304 5972588 140734384134208 140734384131432 5139291 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8667 2569 784 435 0 2030 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 10276 KiB

[startup+51.109 s]
/proc/loadavg: 1.93 1.99 2.03 3/188 26717
/proc/meminfo: memFree=28689968/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34668 memory=10280 CPUtime=51.1 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 8842 0 0 0 5110 0 0 0 20 0 1 0 91556314 35500032 2570 33554432000 4194304 5972588 140734384134208 140734384131432 5139324 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8667 2570 784 435 0 2030 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 10280 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/187 26719
/proc/meminfo: memFree=28690004/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10284 CPUtime=102.29 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 10050 0 0 0 10229 0 0 0 20 0 1 0 91556314 35631104 2571 33554432000 4194304 5972588 140734384134208 140734384131432 5046280 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2571 784 435 0 2062 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10284 KiB

[startup+162.3 s]
/proc/loadavg: 2.05 2.00 2.04 3/187 26720
/proc/meminfo: memFree=28689880/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10288 CPUtime=162.3 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 11173 0 0 0 16230 0 0 0 20 0 1 0 91556314 35631104 2572 33554432000 4194304 5972588 140734384134208 140734384131432 5139312 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2572 784 435 0 2062 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10288 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/187 26721
/proc/meminfo: memFree=28687592/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10288 CPUtime=222.3 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 12321 0 0 0 22230 0 0 0 20 0 1 0 91556314 35631104 2572 33554432000 4194304 5972588 140734384134208 140734384131432 5139312 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2572 784 435 0 2062 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10288 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/187 26723
/proc/meminfo: memFree=28687644/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10288 CPUtime=282.3 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 12362 0 0 0 28230 0 0 0 20 0 1 0 91556314 35631104 2572 33554432000 4194304 5972588 140734384134208 140734384131432 5139329 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2572 784 435 0 2062 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10288 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 26724
/proc/meminfo: memFree=28687768/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10288 CPUtime=342.31 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 13386 0 0 0 34231 0 0 0 20 0 1 0 91556314 35631104 2572 33554432000 4194304 5972588 140734384134208 140734384131432 5046284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2572 784 435 0 2062 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10288 KiB

[startup+402.3 s]
/proc/loadavg: 2.60 2.16 2.09 3/188 26733
/proc/meminfo: memFree=28686608/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10296 CPUtime=402.31 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 13472 0 0 0 40231 0 0 0 20 0 1 0 91556314 35631104 2574 33554432000 4194304 5972588 140734384134208 140734384131432 5046284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2574 784 435 0 2062 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10296 KiB

[startup+462.3 s]
/proc/loadavg: 2.22 2.13 2.08 3/188 26734
/proc/meminfo: memFree=28687096/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10296 CPUtime=462.31 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 14456 0 0 0 46231 0 0 0 20 0 1 0 91556314 35631104 2574 33554432000 4194304 5972588 140734384134208 140734384131432 5046616 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2574 784 435 0 2062 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10296 KiB


################
# More data... #
################

/proc/26716/statm: 8699 2575 784 435 0 2062 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10300 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 26833
/proc/meminfo: memFree=28741344/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10300 CPUtime=1842.38 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 26864 0 0 0 184238 0 0 0 20 0 1 0 91556314 35631104 2575 33554432000 4194304 5972588 140734384134208 140734384131432 5046284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2575 784 435 0 2062 0
Current children cumulated CPU time: 1842.38 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10300 KiB

[startup+1902.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/187 26835
/proc/meminfo: memFree=28741596/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10300 CPUtime=1902.39 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 27270 0 0 0 190238 1 0 0 20 0 1 0 91556314 35631104 2575 33554432000 4194304 5972588 140734384134208 140734384131432 5046712 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2575 784 435 0 2062 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10300 KiB

[startup+1962.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/187 26836
/proc/meminfo: memFree=28741464/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10300 CPUtime=1962.39 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 27943 0 0 0 196238 1 0 0 20 0 1 0 91556314 35631104 2575 33554432000 4194304 5972588 140734384134208 140734384131432 5048201 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2575 784 435 0 2062 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10300 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 26837
/proc/meminfo: memFree=28741576/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10300 CPUtime=2022.4 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 27943 0 0 0 202239 1 0 0 20 0 1 0 91556314 35631104 2575 33554432000 4194304 5972588 140734384134208 140734384131432 5046712 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2575 784 435 0 2062 0
Current children cumulated CPU time: 2022.4 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10300 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26839
/proc/meminfo: memFree=28741564/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10300 CPUtime=2082.4 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 28978 0 0 0 208239 1 0 0 20 0 1 0 91556314 35631104 2575 33554432000 4194304 5972588 140734384134208 140734384131432 5048024 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2575 784 435 0 2062 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10300 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26840
/proc/meminfo: memFree=28741684/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10300 CPUtime=2142.4 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 28981 0 0 0 214239 1 0 0 20 0 1 0 91556314 35631104 2575 33554432000 4194304 5972588 140734384134208 140734384131432 5048024 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2575 784 435 0 2062 0
Current children cumulated CPU time: 2142.4 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10300 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26850
/proc/meminfo: memFree=28740748/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10300 CPUtime=2202.41 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 29610 0 0 0 220240 1 0 0 20 0 1 0 91556314 35631104 2575 33554432000 4194304 5972588 140734384134208 140734384131432 5139264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2575 784 435 0 2062 0
Current children cumulated CPU time: 2202.41 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10300 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 26873
/proc/meminfo: memFree=28739896/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10300 CPUtime=2262.41 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 29936 0 0 0 226240 1 0 0 20 0 1 0 91556314 35631104 2575 33554432000 4194304 5972588 140734384134208 140734384131432 5045825 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2575 784 435 0 2062 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10300 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 26874
/proc/meminfo: memFree=28739384/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10300 CPUtime=2322.41 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 30607 0 0 0 232240 1 0 0 20 0 1 0 91556314 35631104 2575 33554432000 4194304 5972588 140734384134208 140734384131432 5139329 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2575 784 435 0 2062 0
Current children cumulated CPU time: 2322.41 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10300 KiB

[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/190 26875
/proc/meminfo: memFree=28740080/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10300 CPUtime=2382.42 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 30609 0 0 0 238241 1 0 0 20 0 1 0 91556314 35631104 2575 33554432000 4194304 5972588 140734384134208 140734384131432 5048037 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2575 784 435 0 2062 0
Current children cumulated CPU time: 2382.42 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10300 KiB

[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 26876
/proc/meminfo: memFree=28740080/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10300 CPUtime=2442.42 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 31230 0 0 0 244241 1 0 0 20 0 1 0 91556314 35631104 2575 33554432000 4194304 5972588 140734384134208 140734384131432 5046284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2575 784 435 0 2062 0
Current children cumulated CPU time: 2442.42 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10300 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 26877
/proc/meminfo: memFree=28740364/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10300 CPUtime=2502.42 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 31527 0 0 0 250241 1 0 0 20 0 1 0 91556314 35631104 2575 33554432000 4194304 5972588 140734384134208 140734384131432 5139315 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2575 784 435 0 2062 0
Current children cumulated CPU time: 2502.42 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10300 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 26878
/proc/meminfo: memFree=28740232/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10300 CPUtime=2520.02 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 32103 0 0 0 252001 1 0 0 20 0 1 0 91556314 35631104 2575 33554432000 4194304 5972588 140734384134208 140734384131432 5046712 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2575 784 435 0 2062 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10300 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2519.9 s]
# the end of solver process 26716 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.02 s, system=0.011 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2519.9 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 26878
/proc/meminfo: memFree=28740232/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=34796 memory=10300 CPUtime=2520.02 cores=1,3,5,7
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24508 0 -1 4202496 32103 0 0 0 252001 1 0 0 20 0 1 0 91556314 35631104 2575 33554432000 4194304 5972588 140734384134208 140734384131432 5046712 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 8585216 140734384141498 140734384141598 140734384141598 140734384144334 0
/proc/26716/statm: 8699 2575 784 435 0 2062 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 10300 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.03
CPU user time (s): 2520.02
CPU system time (s): 0.011
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 34796
Max. memory (cumulated for all children) (KiB): 10300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.02
system time used= 0.011
maximum resident set size= 10380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 660


# summary of solver processes directly reported to runsolver:
#   pid: 26716
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2520.02
#   total CPU system time (s): 0.011

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10702 second user time and 17.6639 second system time

The end