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 (15125 MiB free)
memory of node 1: 16384 MiB (15169 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408582-1569800560/watcher-4408582-1569800560 -o /tmp/evaluation-result-4408582-1569800560/solver-4408582-1569800560 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1569783690-24391 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408582-1569800560.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27406, runsolver pid=27403
Current StackSize limit: 8192 KiB
[startup+0.100207 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=31013208/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=38572 memory=14984 CPUtime=0.1 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 3921 0 0 0 10 0 0 0 20 0 1 0 556313424 39497728 3746 33554432000 4194304 6211132 140735211683904 140735211680440 140443796581349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 9643 3746 837 493 0 2948 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38572 KiB
Current children cumulated memory: 14984 KiB
[startup+0.209954 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=30996592/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=54992 memory=31408 CPUtime=0.21 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 8015 0 0 0 20 1 0 0 20 0 1 0 556313424 56311808 7852 33554432000 4194304 6211132 140735211683904 140735211680440 5817902 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 13748 7852 837 493 0 7053 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54992 KiB
Current children cumulated memory: 31408 KiB
[startup+0.309864 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=30992004/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=59988 memory=36660 CPUtime=0.31 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 9317 0 0 0 30 1 0 0 20 0 1 0 556313424 61427712 9099 33554432000 4194304 6211132 140735211683904 140735211680440 5185175 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 14997 9099 874 493 0 8302 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 59988 KiB
Current children cumulated memory: 36660 KiB
[startup+0.700429 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=30968228/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=86540 memory=62796 CPUtime=0.69 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 15885 0 0 0 67 2 0 0 20 0 1 0 556313424 88616960 15699 33554432000 4194304 6211132 140735211683904 140735211681496 5409456 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 21635 15699 875 493 0 14940 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 86540 KiB
Current children cumulated memory: 62796 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=30963332/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=88036 memory=64116 CPUtime=1.49 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 16255 0 0 0 147 2 0 0 20 0 1 0 556313424 90148864 16029 33554432000 4194304 6211132 140735211683904 140735211681864 5156112 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22009 16029 875 493 0 15314 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 88036 KiB
Current children cumulated memory: 64116 KiB
[startup+3.10965 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=30962712/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=88440 memory=64776 CPUtime=3.1 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 24700 0 0 0 307 3 0 0 20 0 1 0 556313424 90562560 16194 33554432000 4194304 6211132 140735211683904 140735211681864 5155836 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22110 16194 875 493 0 15415 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 88440 KiB
Current children cumulated memory: 64776 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=30961600/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=88984 memory=65336 CPUtime=6.29 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 33851 0 0 0 626 3 0 0 20 0 1 0 556313424 91119616 16334 33554432000 4194304 6211132 140735211683904 140735211681864 5409508 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22246 16334 875 493 0 15551 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 88984 KiB
Current children cumulated memory: 65336 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=30961724/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=88984 memory=65376 CPUtime=12.69 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 42115 0 0 0 1265 4 0 0 20 0 1 0 556313424 91119616 16344 33554432000 4194304 6211132 140735211683904 140735211681864 5155373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22246 16344 875 493 0 15551 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 88984 KiB
Current children cumulated memory: 65376 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27408
/proc/meminfo: memFree=30960948/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89120 memory=65464 CPUtime=25.49 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 58298 0 0 0 2545 4 0 0 20 0 1 0 556313424 91258880 16366 33554432000 4194304 6211132 140735211683904 140735211681864 5155832 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22280 16366 875 493 0 15585 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 89120 KiB
Current children cumulated memory: 65464 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27410
/proc/meminfo: memFree=30960996/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89120 memory=65496 CPUtime=51.11 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 66803 0 0 0 5106 5 0 0 20 0 1 0 556313424 91258880 16374 33554432000 4194304 6211132 140735211683904 140735211681864 5250266 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22280 16374 875 493 0 15585 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 89120 KiB
Current children cumulated memory: 65496 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27414
/proc/meminfo: memFree=30960744/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89260 memory=65772 CPUtime=102.28 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 69308 0 0 0 10223 5 0 0 20 0 1 0 556313424 91402240 16443 33554432000 4194304 6211132 140735211683904 140735211681496 5380299 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22315 16443 875 493 0 15620 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 89260 KiB
Current children cumulated memory: 65772 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27418
/proc/meminfo: memFree=30960692/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89392 memory=66036 CPUtime=162.29 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 69918 0 0 0 16224 5 0 0 20 0 1 0 556313424 91537408 16509 33554432000 4194304 6211132 140735211683904 140735211681864 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22348 16509 875 493 0 15653 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 89392 KiB
Current children cumulated memory: 66036 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27424
/proc/meminfo: memFree=30960328/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89524 memory=66100 CPUtime=222.29 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 70518 0 0 0 22224 5 0 0 20 0 1 0 556313424 91672576 16525 33554432000 4194304 6211132 140735211683904 140735211681864 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22381 16525 875 493 0 15686 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 89524 KiB
Current children cumulated memory: 66100 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27428
/proc/meminfo: memFree=30961040/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66168 CPUtime=282.3 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 70588 0 0 0 28225 5 0 0 20 0 1 0 556313424 91807744 16542 33554432000 4194304 6211132 140735211683904 140735211681496 5250319 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16542 875 493 0 15719 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66168 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27432
/proc/meminfo: memFree=30961024/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66240 CPUtime=342.3 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 71182 0 0 0 34225 5 0 0 20 0 1 0 556313424 91807744 16560 33554432000 4194304 6211132 140735211683904 140735211681864 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16560 875 493 0 15719 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66240 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27438
/proc/meminfo: memFree=30960524/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66240 CPUtime=402.31 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 71217 0 0 0 40226 5 0 0 20 0 1 0 556313424 91807744 16560 33554432000 4194304 6211132 140735211683904 140735211681864 5409481 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16560 875 493 0 15719 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66240 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27442
/proc/meminfo: memFree=30960712/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66264 CPUtime=462.31 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 71746 0 0 0 46226 5 0 0 20 0 1 0 556313424 91807744 16566 33554432000 4194304 6211132 140735211683904 140735211681864 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16566 875 493 0 15719 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66264 KiB
################
# More data... #
################
/proc/27406/statm: 22414 16571 875 493 0 15719 0
Current children cumulated CPU time: 1662.42 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66284 KiB
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/198 27646
/proc/meminfo: memFree=28098876/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66284 CPUtime=1722.42 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 76832 0 0 0 172237 5 0 0 20 0 1 0 556313424 91807744 16571 33554432000 4194304 6211132 140735211683904 140735211681864 5409476 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16571 875 493 0 15719 0
Current children cumulated CPU time: 1722.42 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66284 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 27658
/proc/meminfo: memFree=28098072/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66296 CPUtime=1782.43 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 77070 0 0 0 178238 5 0 0 20 0 1 0 556313424 91807744 16574 33554432000 4194304 6211132 140735211683904 140735211681864 5409471 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16574 875 493 0 15719 0
Current children cumulated CPU time: 1782.43 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66296 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 27664
/proc/meminfo: memFree=28098268/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66296 CPUtime=1842.43 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 77312 0 0 0 184238 5 0 0 20 0 1 0 556313424 91807744 16574 33554432000 4194304 6211132 140735211683904 140735211681864 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16574 875 493 0 15719 0
Current children cumulated CPU time: 1842.43 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66296 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27668
/proc/meminfo: memFree=28098440/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66296 CPUtime=1902.44 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 77550 0 0 0 190239 5 0 0 20 0 1 0 556313424 91807744 16574 33554432000 4194304 6211132 140735211683904 140735211681864 5250485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16574 875 493 0 15719 0
Current children cumulated CPU time: 1902.44 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66296 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27672
/proc/meminfo: memFree=28098980/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66296 CPUtime=1962.44 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 77815 0 0 0 196239 5 0 0 20 0 1 0 556313424 91807744 16574 33554432000 4194304 6211132 140735211683904 140735211681864 5409476 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16574 875 493 0 15719 0
Current children cumulated CPU time: 1962.44 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66296 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27678
/proc/meminfo: memFree=28098212/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66296 CPUtime=2022.45 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 78078 0 0 0 202240 5 0 0 20 0 1 0 556313424 91807744 16574 33554432000 4194304 6211132 140735211683904 140735211681864 5250330 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16574 875 493 0 15719 0
Current children cumulated CPU time: 2022.45 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66296 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27682
/proc/meminfo: memFree=28098108/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66296 CPUtime=2082.45 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 78338 0 0 0 208240 5 0 0 20 0 1 0 556313424 91807744 16574 33554432000 4194304 6211132 140735211683904 140735211681864 5409497 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16574 875 493 0 15719 0
Current children cumulated CPU time: 2082.45 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66296 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27686
/proc/meminfo: memFree=28098332/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66304 CPUtime=2142.46 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 78621 0 0 0 214241 5 0 0 20 0 1 0 556313424 91807744 16576 33554432000 4194304 6211132 140735211683904 140735211681864 5409489 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16576 875 493 0 15719 0
Current children cumulated CPU time: 2142.46 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66304 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27692
/proc/meminfo: memFree=28098504/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66304 CPUtime=2202.46 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 78621 0 0 0 220241 5 0 0 20 0 1 0 556313424 91807744 16576 33554432000 4194304 6211132 140735211683904 140735211681864 5155687 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16576 875 493 0 15719 0
Current children cumulated CPU time: 2202.46 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66304 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27696
/proc/meminfo: memFree=28093720/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66304 CPUtime=2262.47 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 78910 0 0 0 226242 5 0 0 20 0 1 0 556313424 91807744 16576 33554432000 4194304 6211132 140735211683904 140735211681864 5250319 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16576 875 493 0 15719 0
Current children cumulated CPU time: 2262.47 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66304 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27700
/proc/meminfo: memFree=28092012/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66304 CPUtime=2322.47 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 78910 0 0 0 232242 5 0 0 20 0 1 0 556313424 91807744 16576 33554432000 4194304 6211132 140735211683904 140735211681864 5155402 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16576 875 493 0 15719 0
Current children cumulated CPU time: 2322.47 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66304 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27714
/proc/meminfo: memFree=28079132/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66304 CPUtime=2382.48 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 79198 0 0 0 238243 5 0 0 20 0 1 0 556313424 91807744 16576 33554432000 4194304 6211132 140735211683904 140735211681864 5409471 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16576 875 493 0 15719 0
Current children cumulated CPU time: 2382.48 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27714
/proc/meminfo: memFree=28077276/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66304 CPUtime=2400.08 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 79198 0 0 0 240003 5 0 0 20 0 1 0 556313424 91807744 16576 33554432000 4194304 6211132 140735211683904 140735211681864 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16576 875 493 0 15719 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.9 s]
# the end of solver process 27406 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.04 s, system=0.058005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27714
/proc/meminfo: memFree=28077276/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66304 CPUtime=2400.08 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 79198 0 0 0 240003 5 0 0 20 0 1 0 556313424 91807744 16576 33554432000 4194304 6211132 140735211683904 140735211681864 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16576 875 493 0 15719 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66304 KiB
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.09
CPU user time (s): 2400.04
CPU system time (s): 0.058005
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 89656
Max. memory (cumulated for all children) (KiB): 66304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.058005
maximum resident set size= 66368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79251
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= 39
involuntary context switches= 3000
# summary of solver processes directly reported to runsolver:
# pid: 27406
# total CPU time (s): 2400.09
# total CPU user time (s): 2400.04
# total CPU system time (s): 0.058005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.85898 second user time and 15.977 second system time
The end