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-4240836-1500640299/watcher-4240836-1500640299 -o /tmp/evaluation-result-4240836-1500640299/solver-4240836-1500640299 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500623784-4669 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240836-1500640299.xml
pid=6800
running on 4 cores: 1,3,5,7
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.02 2.02 2.05 4/186 6803
/proc/meminfo: memFree=31808624/32770624 swapFree=6644/17588
[pid=6803] ppid=6800 vsize=27124 CPUtime=0 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 977 0 0 0 0 0 0 0 20 0 1 0 18661865 27774976 766 33554432000 4194304 5970956 140723704312976 140723704309624 139763093994469 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 6781 766 683 434 0 145 0
[startup+0.100115 s]
/proc/loadavg: 2.02 2.02 2.05 4/186 6803
/proc/meminfo: memFree=31808624/32770624 swapFree=6644/17588
[pid=6803] ppid=6800 vsize=36124 CPUtime=0.09 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 3243 0 0 0 9 0 0 0 20 0 1 0 18661865 36990976 3053 33554432000 4194304 5970956 140723704312976 140723704307480 5403024 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 9031 3053 733 434 0 2395 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36124
[startup+0.200311 s]
/proc/loadavg: 2.02 2.02 2.05 4/186 6803
/proc/meminfo: memFree=31808624/32770624 swapFree=6644/17588
[pid=6803] ppid=6800 vsize=96684 CPUtime=0.19 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 17351 0 0 0 17 2 0 0 20 0 1 0 18661865 99004416 17685 33554432000 4194304 5970956 140723704312976 140723704307848 5275333 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 24171 17685 780 434 0 17535 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 96684
[startup+0.300293 s]
/proc/loadavg: 2.02 2.02 2.05 4/186 6803
/proc/meminfo: memFree=31808624/32770624 swapFree=6644/17588
[pid=6803] ppid=6800 vsize=159768 CPUtime=0.29 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 28133 0 0 0 25 4 0 0 20 0 1 0 18661865 163602432 31489 33554432000 4194304 5970956 140723704312976 140723704310392 5279833 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 39942 31489 780 434 0 33306 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 159768
[startup+0.700249 s]
/proc/loadavg: 2.02 2.02 2.05 4/186 6803
/proc/meminfo: memFree=31808624/32770624 swapFree=6644/17588
[pid=6803] ppid=6800 vsize=398724 CPUtime=0.69 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 60558 0 0 0 59 10 0 0 20 0 1 0 18661865 408293376 86449 33554432000 4194304 5970956 140723704312976 140723704309800 139763093994469 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 99681 86449 780 434 0 93045 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 398724
[startup+1.50025 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6804
/proc/meminfo: memFree=31247048/32770624 swapFree=6644/17608
[pid=6803] ppid=6800 vsize=904644 CPUtime=1.49 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 118084 0 0 0 128 21 0 0 20 0 1 0 18661865 926355456 195067 33554432000 4194304 5970956 140723704312976 140723704309800 139763094000536 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 226161 195067 780 434 0 219525 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 904644
[startup+3.10025 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6804
/proc/meminfo: memFree=30670920/32770624 swapFree=6644/17608
[pid=6803] ppid=6800 vsize=2025344 CPUtime=3.09 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 235224 0 0 0 268 41 0 0 20 0 1 0 18661865 2073952256 398936 33554432000 4194304 5970956 140723704312976 140723704309800 5279679 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 506336 399448 780 434 0 499700 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2025344
[startup+6.30024 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6804
/proc/meminfo: memFree=29878268/32770624 swapFree=6644/17608
[pid=6803] ppid=6800 vsize=2213812 CPUtime=6.28 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 302454 0 0 0 577 51 0 0 20 0 1 0 18661865 2266943488 485517 33554432000 4194304 5970956 140723704312976 140723704309720 5038183 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553453 485517 800 434 0 546817 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 2213812
[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6804
/proc/meminfo: memFree=29866856/32770624 swapFree=6644/17620
[pid=6803] ppid=6800 vsize=2213944 CPUtime=12.69 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 317587 0 0 0 1216 53 0 0 20 0 1 0 18661865 2267078656 485523 33554432000 4194304 5970956 140723704312976 140723704309720 5040570 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553486 485523 800 434 0 546850 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2213944
[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6804
/proc/meminfo: memFree=29867052/32770624 swapFree=6644/17632
[pid=6803] ppid=6800 vsize=2214076 CPUtime=25.49 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 334849 0 0 0 2495 54 0 0 20 0 1 0 18661865 2267213824 485566 33554432000 4194304 5970956 140723704312976 140723704309704 5038624 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553519 485566 800 434 0 546883 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2214076
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6804
/proc/meminfo: memFree=29867300/32770624 swapFree=6644/17648
[pid=6803] ppid=6800 vsize=2214076 CPUtime=51.08 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 354816 0 0 0 5053 55 0 0 20 0 1 0 18661865 2267213824 485580 33554432000 4194304 5970956 140723704312976 140723704309704 5038183 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553519 485580 800 434 0 546883 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2214076
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6805
/proc/meminfo: memFree=29864904/32770624 swapFree=6644/17688
[pid=6803] ppid=6800 vsize=2214076 CPUtime=102.28 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 376980 0 0 0 10172 56 0 0 20 0 1 0 18661865 2267213824 485596 33554432000 4194304 5970956 140723704312976 140723704309704 5039178 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553519 485596 800 434 0 546883 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2214076
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6806
/proc/meminfo: memFree=29865064/32770624 swapFree=6644/17720
[pid=6803] ppid=6800 vsize=2214076 CPUtime=162.27 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 391554 0 0 0 16170 57 0 0 20 0 1 0 18661865 2267213824 485596 33554432000 4194304 5970956 140723704312976 140723704309704 5093256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553519 485596 800 434 0 546883 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2214076
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6807
/proc/meminfo: memFree=29865076/32770624 swapFree=6644/17748
[pid=6803] ppid=6800 vsize=2214076 CPUtime=222.27 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 406003 0 0 0 22169 58 0 0 20 0 1 0 18661865 2267213824 485597 33554432000 4194304 5970956 140723704312976 140723704309704 5039178 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553519 485597 800 434 0 546883 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 2214076
[startup+282.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 6808
/proc/meminfo: memFree=29865100/32770624 swapFree=6644/17776
[pid=6803] ppid=6800 vsize=2214076 CPUtime=282.26 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 419943 0 0 0 28167 59 0 0 20 0 1 0 18661865 2267213824 485597 33554432000 4194304 5970956 140723704312976 140723704309704 5098928 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553519 485597 800 434 0 546883 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 2214076
[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 6809
/proc/meminfo: memFree=29864756/32770624 swapFree=6644/17812
[pid=6803] ppid=6800 vsize=2214076 CPUtime=342.26 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 432973 0 0 0 34166 60 0 0 20 0 1 0 18661865 2267213824 485597 33554432000 4194304 5970956 140723704312976 140723704309704 5047545 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553519 485597 800 434 0 546883 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 2214076
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6810
/proc/meminfo: memFree=29864932/32770624 swapFree=6644/17844
[pid=6803] ppid=6800 vsize=2214076 CPUtime=402.25 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 447736 0 0 0 40165 60 0 0 20 0 1 0 18661865 2267213824 485597 33554432000 4194304 5970956 140723704312976 140723704309704 5038965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553519 485597 800 434 0 546883 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 2214076
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6811
/proc/meminfo: memFree=29864828/32770624 swapFree=6644/17876
[pid=6803] ppid=6800 vsize=2214076 CPUtime=462.25 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 461298 0 0 0 46164 61 0 0 20 0 1 0 18661865 2267213824 485597 33554432000 4194304 5970956 140723704312976 140723704309704 5038725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553519 485597 800 434 0 546883 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 2214076
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6819
/proc/meminfo: memFree=29864132/32770624 swapFree=6644/17912
[pid=6803] ppid=6800 vsize=2214076 CPUtime=522.24 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 473500 0 0 0 52162 62 0 0 20 0 1 0 18661865 2267213824 485601 33554432000 4194304 5970956 140723704312976 140723704309704 5098899 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553519 485601 800 434 0 546883 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 2214076
[startup+582.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 6820
/proc/meminfo: memFree=29864648/32770624 swapFree=6644/17940
[pid=6803] ppid=6800 vsize=2214076 CPUtime=582.24 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 479573 0 0 0 58162 62 0 0 20 0 1 0 18661865 2267213824 485601 33554432000 4194304 5970956 140723704312976 140723704309704 5098896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553519 485601 800 434 0 546883 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 2214076
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6926
/proc/meminfo: memFree=29559440/32770624 swapFree=6644/19712
[pid=6803] ppid=6800 vsize=2214196 CPUtime=1482.2 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 558223 0 0 0 148153 67 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5039178 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 1482.2
Current children cumulated vsize (KiB) 2214196
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6927
/proc/meminfo: memFree=29558172/32770624 swapFree=6644/19752
[pid=6803] ppid=6800 vsize=2214196 CPUtime=1542.21 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 559641 0 0 0 154154 67 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5038191 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 1542.21
Current children cumulated vsize (KiB) 2214196
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6929
/proc/meminfo: memFree=29546676/32770624 swapFree=6644/19792
[pid=6803] ppid=6800 vsize=2214196 CPUtime=1602.2 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 560818 0 0 0 160153 67 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5098896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 2214196
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6930
/proc/meminfo: memFree=29546684/32770624 swapFree=6644/19812
[pid=6803] ppid=6800 vsize=2214196 CPUtime=1662.21 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 562211 0 0 0 166153 68 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5040521 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 2214196
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6939
/proc/meminfo: memFree=29545488/32770624 swapFree=6644/19864
[pid=6803] ppid=6800 vsize=2214196 CPUtime=1722.2 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 563592 0 0 0 172152 68 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5040507 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 2214196
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 6962
/proc/meminfo: memFree=29542500/32770624 swapFree=6644/19896
[pid=6803] ppid=6800 vsize=2214196 CPUtime=1782.2 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 564907 0 0 0 178152 68 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5038721 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 2214196
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 6963
/proc/meminfo: memFree=29541272/32770624 swapFree=6644/19936
[pid=6803] ppid=6800 vsize=2214196 CPUtime=1842.2 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 566359 0 0 0 184152 68 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5038640 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 1842.2
Current children cumulated vsize (KiB) 2214196
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 6964
/proc/meminfo: memFree=29541388/32770624 swapFree=6644/19964
[pid=6803] ppid=6800 vsize=2214196 CPUtime=1902.2 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 567705 0 0 0 190152 68 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5038217 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 1902.2
Current children cumulated vsize (KiB) 2214196
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6965
/proc/meminfo: memFree=29541420/32770624 swapFree=6644/19996
[pid=6803] ppid=6800 vsize=2214196 CPUtime=1962.19 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 568983 0 0 0 196151 68 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5040570 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 1962.19
Current children cumulated vsize (KiB) 2214196
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6966
/proc/meminfo: memFree=29539332/32770624 swapFree=6644/20020
[pid=6803] ppid=6800 vsize=2214196 CPUtime=2022.19 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 570484 0 0 0 202151 68 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5038191 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 2022.19
Current children cumulated vsize (KiB) 2214196
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6967
/proc/meminfo: memFree=29539284/32770624 swapFree=6644/20056
[pid=6803] ppid=6800 vsize=2214196 CPUtime=2082.19 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 571860 0 0 0 208151 68 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5039178 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 2082.19
Current children cumulated vsize (KiB) 2214196
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6968
/proc/meminfo: memFree=29539160/32770624 swapFree=6644/20088
[pid=6803] ppid=6800 vsize=2214196 CPUtime=2142.19 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 572877 0 0 0 214151 68 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5039178 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 2142.19
Current children cumulated vsize (KiB) 2214196
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6969
/proc/meminfo: memFree=29537036/32770624 swapFree=6644/20120
[pid=6803] ppid=6800 vsize=2214196 CPUtime=2202.19 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 574279 0 0 0 220151 68 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5038725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 2202.19
Current children cumulated vsize (KiB) 2214196
[startup+2262.3 s]
/proc/loadavg: 2.13 2.05 2.05 3/187 6970
/proc/meminfo: memFree=29537408/32770624 swapFree=6644/20148
[pid=6803] ppid=6800 vsize=2214196 CPUtime=2262.18 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 575285 0 0 0 226150 68 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5038502 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 2262.18
Current children cumulated vsize (KiB) 2214196
[startup+2322.3 s]
/proc/loadavg: 2.11 2.05 2.05 3/187 6978
/proc/meminfo: memFree=29535268/32770624 swapFree=6644/20188
[pid=6803] ppid=6800 vsize=2214196 CPUtime=2322.19 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 576901 0 0 0 232150 69 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5337487 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 2322.19
Current children cumulated vsize (KiB) 2214196
[startup+2382.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 6979
/proc/meminfo: memFree=29535144/32770624 swapFree=6644/20212
[pid=6803] ppid=6800 vsize=2214196 CPUtime=2382.19 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 578212 0 0 0 238150 69 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5038183 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 2382.19
Current children cumulated vsize (KiB) 2214196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 6979
/proc/meminfo: memFree=29535268/32770624 swapFree=6644/20224
[pid=6803] ppid=6800 vsize=2214196 CPUtime=2400.09 cores=1,3,5,7
/proc/6803/stat : 6803 (cosoco) R 6800 6803 4637 0 -1 4202496 578791 0 0 0 239940 69 0 0 20 0 1 0 18661865 2267336704 487068 33554432000 4194304 5970956 140723704312976 140723704310312 5038965 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 14680064 140723704317116 140723704317251 140723704317251 140723704319950 0
/proc/6803/statm: 553549 487068 805 434 0 546913 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 2214196
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 6803 sig 9
??? kill -6803 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.11
CPU user time (s): 2399.41
CPU system time (s): 0.69998
CPU usage (%): 99.9956
Max. virtual memory (cumulated for all children) (KiB): 2214196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.41
system time used= 0.69998
maximum resident set size= 1948320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578815
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= 70
involuntary context switches= 120620
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.22952 second user time and 8.30247 second system time
The end