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-4240911-1500640760/watcher-4240911-1500640760 -o /tmp/evaluation-result-4240911-1500640760/solver-4240911-1500640760 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500635810-5919 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240911-1500640760.xml
pid=6677
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.00 2.01 2.05 3/186 6680
/proc/meminfo: memFree=31262672/32770624 swapFree=6652/527640
[pid=6680] ppid=6677 vsize=27120 CPUtime=0 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 967 0 0 0 0 0 0 0 20 0 1 0 17510542 27770880 801 33554432000 4194304 5970956 140736220249568 140736220246216 140583066074085 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 6780 801 698 434 0 144 0
[startup+0.100131 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6680
/proc/meminfo: memFree=31262672/32770624 swapFree=6652/527640
[pid=6680] ppid=6677 vsize=33200 CPUtime=0.09 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 2598 0 0 0 9 0 0 0 20 0 1 0 17510542 33996800 2420 33554432000 4194304 5970956 140736220249568 140736220241904 5172279 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 8300 2420 794 434 0 1664 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33200
[startup+0.200304 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6680
/proc/meminfo: memFree=31262672/32770624 swapFree=6652/527640
[pid=6680] ppid=6677 vsize=43720 CPUtime=0.19 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 4608 0 0 0 18 1 0 0 20 0 1 0 17510542 44769280 4934 33554432000 4194304 5970956 140736220249568 140736220246600 140583066074085 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 10930 4934 843 434 0 4294 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 43720
[startup+0.300259 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6680
/proc/meminfo: memFree=31262672/32770624 swapFree=6652/527640
[pid=6680] ppid=6677 vsize=46628 CPUtime=0.29 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 5322 0 0 0 28 1 0 0 20 0 1 0 17510542 47747072 5660 33554432000 4194304 5970956 140736220249568 140736220246440 140583066074085 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 11657 5660 843 434 0 5021 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46628
[startup+0.700186 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6680
/proc/meminfo: memFree=31262672/32770624 swapFree=6652/527640
[pid=6680] ppid=6677 vsize=47960 CPUtime=0.69 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 5648 0 0 0 68 1 0 0 20 0 1 0 17510542 49111040 5990 33554432000 4194304 5970956 140736220249568 140736220246312 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 11990 5990 844 434 0 5354 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47960
[startup+1.50017 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6681
/proc/meminfo: memFree=31241132/32770624 swapFree=6652/527652
[pid=6680] ppid=6677 vsize=48756 CPUtime=1.49 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 5852 0 0 0 148 1 0 0 20 0 1 0 17510542 49926144 6160 33554432000 4194304 5970956 140736220249568 140736220246312 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12189 6160 844 434 0 5553 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48756
[startup+3.10019 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6681
/proc/meminfo: memFree=31240388/32770624 swapFree=6652/527652
[pid=6680] ppid=6677 vsize=48880 CPUtime=3.09 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 8935 0 0 0 308 1 0 0 20 0 1 0 17510542 50053120 6242 33554432000 4194304 5970956 140736220249568 140736220246904 5136608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12220 6242 844 434 0 5584 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48880
[startup+6.30017 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6681
/proc/meminfo: memFree=31241148/32770624 swapFree=6652/527664
[pid=6680] ppid=6677 vsize=48984 CPUtime=6.29 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 12088 0 0 0 628 1 0 0 20 0 1 0 17510542 50159616 6257 33554432000 4194304 5970956 140736220249568 140736220246904 5045333 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12246 6257 844 434 0 5610 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48984
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6681
/proc/meminfo: memFree=31240388/32770624 swapFree=6652/527672
[pid=6680] ppid=6677 vsize=48984 CPUtime=12.68 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 15280 0 0 0 1267 1 0 0 20 0 1 0 17510542 50159616 6275 33554432000 4194304 5970956 140736220249568 140736220246904 5047044 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12246 6275 844 434 0 5610 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48984
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6681
/proc/meminfo: memFree=31239736/32770624 swapFree=6652/527676
[pid=6680] ppid=6677 vsize=49088 CPUtime=25.49 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 21614 0 0 0 2547 2 0 0 20 0 1 0 17510542 50266112 6377 33554432000 4194304 5970956 140736220249568 140736220246904 5045304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12272 6377 844 434 0 5636 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49088
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6688
/proc/meminfo: memFree=31235612/32770624 swapFree=6652/527688
[pid=6680] ppid=6677 vsize=51808 CPUtime=51.08 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 23077 0 0 0 5106 2 0 0 20 0 1 0 17510542 53051392 6655 33554432000 4194304 5970956 140736220249568 140736220246840 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 6655 844 434 0 6316 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 51808
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6689
/proc/meminfo: memFree=31232324/32770624 swapFree=6652/527724
[pid=6680] ppid=6677 vsize=51808 CPUtime=102.28 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 24713 0 0 0 10226 2 0 0 20 0 1 0 17510542 53051392 6902 33554432000 4194304 5970956 140736220249568 140736220246840 5045736 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 6902 844 434 0 6316 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 51808
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 6690
/proc/meminfo: memFree=31228052/32770624 swapFree=6652/527756
[pid=6680] ppid=6677 vsize=51808 CPUtime=162.27 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 26197 0 0 0 16225 2 0 0 20 0 1 0 17510542 53051392 6974 33554432000 4194304 5970956 140736220249568 140736220246840 5136560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 6974 844 434 0 6316 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 51808
[startup+222.306 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6691
/proc/meminfo: memFree=31221340/32770624 swapFree=6652/527784
[pid=6680] ppid=6677 vsize=51808 CPUtime=222.27 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 27668 0 0 0 22225 2 0 0 20 0 1 0 17510542 53051392 6986 33554432000 4194304 5970956 140736220249568 140736220246840 5045321 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 6986 844 434 0 6316 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 51808
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6692
/proc/meminfo: memFree=31217580/32770624 swapFree=6652/527816
[pid=6680] ppid=6677 vsize=51808 CPUtime=282.26 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 28639 0 0 0 28224 2 0 0 20 0 1 0 17510542 53051392 7001 33554432000 4194304 5970956 140736220249568 140736220246840 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7001 844 434 0 6316 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 51808
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6693
/proc/meminfo: memFree=31212752/32770624 swapFree=6652/527848
[pid=6680] ppid=6677 vsize=51808 CPUtime=342.26 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 29616 0 0 0 34224 2 0 0 20 0 1 0 17510542 53051392 7006 33554432000 4194304 5970956 140736220249568 140736220246840 5045347 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7006 844 434 0 6316 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 51808
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6694
/proc/meminfo: memFree=31208040/32770624 swapFree=6652/527876
[pid=6680] ppid=6677 vsize=51808 CPUtime=402.25 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 30576 0 0 0 40223 2 0 0 20 0 1 0 17510542 53051392 7018 33554432000 4194304 5970956 140736220249568 140736220246840 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7018 844 434 0 6316 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 51808
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 6695
/proc/meminfo: memFree=31203348/32770624 swapFree=6652/527916
[pid=6680] ppid=6677 vsize=51808 CPUtime=462.25 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 31548 0 0 0 46223 2 0 0 20 0 1 0 17510542 53051392 7024 33554432000 4194304 5970956 140736220249568 140736220246840 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7024 844 434 0 6316 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 51808
[startup+522.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 6696
/proc/meminfo: memFree=31203112/32770624 swapFree=6652/527944
[pid=6680] ppid=6677 vsize=51808 CPUtime=522.24 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 32541 0 0 0 52222 2 0 0 20 0 1 0 17510542 53051392 7031 33554432000 4194304 5970956 140736220249568 140736220246840 5136608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7031 844 434 0 6316 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 51808
[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 6697
/proc/meminfo: memFree=31203312/32770624 swapFree=6652/527968
[pid=6680] ppid=6677 vsize=51808 CPUtime=582.24 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 33516 0 0 0 58222 2 0 0 20 0 1 0 17510542 53051392 7038 33554432000 4194304 5970956 140736220249568 140736220246840 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7038 844 434 0 6316 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 51808
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6751
/proc/meminfo: memFree=31200784/32770624 swapFree=6652/528496
[pid=6680] ppid=6677 vsize=51808 CPUtime=1482.17 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 45971 0 0 0 148215 2 0 0 20 0 1 0 17510542 53051392 7092 33554432000 4194304 5970956 140736220249568 140736220246840 5136615 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7092 844 434 0 6316 0
Current children cumulated CPU time (s) 1482.17
Current children cumulated vsize (KiB) 51808
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6752
/proc/meminfo: memFree=31200876/32770624 swapFree=6652/528528
[pid=6680] ppid=6677 vsize=51808 CPUtime=1542.17 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 46999 0 0 0 154215 2 0 0 20 0 1 0 17510542 53051392 7100 33554432000 4194304 5970956 140736220249568 140736220246840 5136608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7100 844 434 0 6316 0
Current children cumulated CPU time (s) 1542.17
Current children cumulated vsize (KiB) 51808
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 6753
/proc/meminfo: memFree=31200620/32770624 swapFree=6652/528556
[pid=6680] ppid=6677 vsize=51808 CPUtime=1602.16 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 47617 0 0 0 160214 2 0 0 20 0 1 0 17510542 53051392 7100 33554432000 4194304 5970956 140736220249568 140736220246840 5045304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7100 844 434 0 6316 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 51808
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 6754
/proc/meminfo: memFree=31200588/32770624 swapFree=6652/528592
[pid=6680] ppid=6677 vsize=51808 CPUtime=1662.16 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 48213 0 0 0 166214 2 0 0 20 0 1 0 17510542 53051392 7100 33554432000 4194304 5970956 140736220249568 140736220246840 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7100 844 434 0 6316 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 51808
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 6755
/proc/meminfo: memFree=31201136/32770624 swapFree=6652/528620
[pid=6680] ppid=6677 vsize=51808 CPUtime=1722.15 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 49236 0 0 0 172213 2 0 0 20 0 1 0 17510542 53051392 7104 33554432000 4194304 5970956 140736220249568 140736220246840 5047048 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7104 844 434 0 6316 0
Current children cumulated CPU time (s) 1722.15
Current children cumulated vsize (KiB) 51808
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6756
/proc/meminfo: memFree=31200904/32770624 swapFree=6652/528648
[pid=6680] ppid=6677 vsize=51808 CPUtime=1782.15 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 49841 0 0 0 178213 2 0 0 20 0 1 0 17510542 53051392 7104 33554432000 4194304 5970956 140736220249568 140736220246840 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7104 844 434 0 6316 0
Current children cumulated CPU time (s) 1782.15
Current children cumulated vsize (KiB) 51808
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 6765
/proc/meminfo: memFree=31200036/32770624 swapFree=6652/528684
[pid=6680] ppid=6677 vsize=51808 CPUtime=1842.14 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 50423 0 0 0 184212 2 0 0 20 0 1 0 17510542 53051392 7104 33554432000 4194304 5970956 140736220249568 140736220246840 5136570 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7104 844 434 0 6316 0
Current children cumulated CPU time (s) 1842.14
Current children cumulated vsize (KiB) 51808
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6766
/proc/meminfo: memFree=31200316/32770624 swapFree=6652/528720
[pid=6680] ppid=6677 vsize=51808 CPUtime=1902.14 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 51447 0 0 0 190212 2 0 0 20 0 1 0 17510542 53051392 7108 33554432000 4194304 5970956 140736220249568 140736220246840 5045304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7108 844 434 0 6316 0
Current children cumulated CPU time (s) 1902.14
Current children cumulated vsize (KiB) 51808
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6767
/proc/meminfo: memFree=31198312/32770624 swapFree=6652/528752
[pid=6680] ppid=6677 vsize=51808 CPUtime=1962.13 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 52056 0 0 0 196211 2 0 0 20 0 1 0 17510542 53051392 7108 33554432000 4194304 5970956 140736220249568 140736220246840 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7108 844 434 0 6316 0
Current children cumulated CPU time (s) 1962.13
Current children cumulated vsize (KiB) 51808
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6768
/proc/meminfo: memFree=31198356/32770624 swapFree=6652/528784
[pid=6680] ppid=6677 vsize=51808 CPUtime=2022.13 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 52639 0 0 0 202211 2 0 0 20 0 1 0 17510542 53051392 7108 33554432000 4194304 5970956 140736220249568 140736220246840 5136608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7108 844 434 0 6316 0
Current children cumulated CPU time (s) 2022.13
Current children cumulated vsize (KiB) 51808
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6769
/proc/meminfo: memFree=31198380/32770624 swapFree=6652/528812
[pid=6680] ppid=6677 vsize=51808 CPUtime=2082.13 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 53212 0 0 0 208211 2 0 0 20 0 1 0 17510542 53051392 7108 33554432000 4194304 5970956 140736220249568 140736220246840 5045316 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7108 844 434 0 6316 0
Current children cumulated CPU time (s) 2082.13
Current children cumulated vsize (KiB) 51808
[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 6770
/proc/meminfo: memFree=31198576/32770624 swapFree=6652/528840
[pid=6680] ppid=6677 vsize=51808 CPUtime=2142.12 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 54249 0 0 0 214210 2 0 0 20 0 1 0 17510542 53051392 7116 33554432000 4194304 5970956 140736220249568 140736220246840 5031424 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7116 844 434 0 6316 0
Current children cumulated CPU time (s) 2142.12
Current children cumulated vsize (KiB) 51808
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6771
/proc/meminfo: memFree=31198740/32770624 swapFree=6652/528872
[pid=6680] ppid=6677 vsize=51808 CPUtime=2202.12 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 54858 0 0 0 220210 2 0 0 20 0 1 0 17510542 53051392 7116 33554432000 4194304 5970956 140736220249568 140736220246840 5136560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7116 844 434 0 6316 0
Current children cumulated CPU time (s) 2202.12
Current children cumulated vsize (KiB) 51808
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6773
/proc/meminfo: memFree=31198524/32770624 swapFree=6652/528912
[pid=6680] ppid=6677 vsize=51808 CPUtime=2262.11 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 55441 0 0 0 226209 2 0 0 20 0 1 0 17510542 53051392 7116 33554432000 4194304 5970956 140736220249568 140736220246840 5045308 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7116 844 434 0 6316 0
Current children cumulated CPU time (s) 2262.11
Current children cumulated vsize (KiB) 51808
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 6774
/proc/meminfo: memFree=31386520/32770624 swapFree=6652/528936
[pid=6680] ppid=6677 vsize=51808 CPUtime=2322.11 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 56019 0 0 0 232209 2 0 0 20 0 1 0 17510542 53051392 7116 33554432000 4194304 5970956 140736220249568 140736220246840 5136608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12952 7116 844 434 0 6316 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 51808
[startup+2382.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 6896
/proc/meminfo: memFree=27571564/32770624 swapFree=6652/529036
[pid=6680] ppid=6677 vsize=51920 CPUtime=2382.11 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 57060 0 0 0 238208 3 0 0 20 0 1 0 17510542 53166080 7123 33554432000 4194304 5970956 140736220249568 140736220246904 5044841 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12980 7123 844 434 0 6344 0
Current children cumulated CPU time (s) 2382.11
Current children cumulated vsize (KiB) 51920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 6897
/proc/meminfo: memFree=27279008/32770624 swapFree=6652/529076
[pid=6680] ppid=6677 vsize=51920 CPUtime=2400.02 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 3969 0 -1 4202496 57547 0 0 0 239999 3 0 0 20 0 1 0 17510542 53166080 7123 33554432000 4194304 5970956 140736220249568 140736220246904 5136560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19759104 140736220251324 140736220251459 140736220251459 140736220254158 0
/proc/6680/statm: 12980 7123 844 434 0 6344 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 51920
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 6680 sig 9
??? kill -6680 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.02
CPU user time (s): 2399.99
CPU system time (s): 0.031997
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 51920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.99
system time used= 0.031997
maximum resident set size= 28536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57581
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= 19
involuntary context switches= 120691
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.54616 second user time and 8.22355 second system time
The end