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-4242985-1500670263/watcher-4242985-1500670263 -o /tmp/evaluation-result-4242985-1500670263/solver-4242985-1500670263 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500667606-6123 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242985-1500670263.xml
pid=6804
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 1.99 3/243 6807
/proc/meminfo: memFree=32024056/32770624 swapFree=5956/222280
[pid=6807] ppid=6804 vsize=27124 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 1012 0 0 0 0 0 0 0 20 0 1 0 2294851 27774976 832 33554432000 4194304 5970956 140729645843024 140729645836368 5670573 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 6781 832 712 434 0 145 0
[startup+0.100112 s]
/proc/loadavg: 2.01 2.01 1.99 3/243 6807
/proc/meminfo: memFree=32024056/32770624 swapFree=5956/222280
[pid=6807] ppid=6804 vsize=27492 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 1158 0 0 0 9 0 0 0 20 0 1 0 2294851 28151808 944 33554432000 4194304 5970956 140729645843024 140729645836856 139844111453157 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 6873 944 775 434 0 237 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27492
[startup+0.200204 s]
/proc/loadavg: 2.01 2.01 1.99 3/243 6807
/proc/meminfo: memFree=32024056/32770624 swapFree=5956/222280
[pid=6807] ppid=6804 vsize=28116 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 1307 0 0 0 19 0 0 0 20 0 1 0 2294851 28790784 1132 33554432000 4194304 5970956 140729645843024 140729645839624 139844111453157 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 7029 1132 776 434 0 393 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28116
[startup+0.300208 s]
/proc/loadavg: 2.01 2.01 1.99 3/243 6807
/proc/meminfo: memFree=32024056/32770624 swapFree=5956/222280
[pid=6807] ppid=6804 vsize=28720 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 1443 0 0 0 29 0 0 0 20 0 1 0 2294851 29409280 1283 33554432000 4194304 5970956 140729645843024 140729645836856 139844111913964 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 7180 1283 776 434 0 544 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28720
[startup+0.700181 s]
/proc/loadavg: 2.01 2.01 1.99 3/243 6807
/proc/meminfo: memFree=32024056/32770624 swapFree=5956/222280
[pid=6807] ppid=6804 vsize=30944 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 2003 0 0 0 69 0 0 0 20 0 1 0 2294851 31686656 1804 33554432000 4194304 5970956 140729645843024 140729645834632 139844111453157 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 7736 1804 776 434 0 1100 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30944
[startup+1.50024 s]
/proc/loadavg: 2.01 2.01 1.99 3/244 6808
/proc/meminfo: memFree=32014120/32770624 swapFree=5956/222268
[pid=6807] ppid=6804 vsize=37296 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 3659 0 0 0 149 0 0 0 20 0 1 0 2294851 38191104 3495 33554432000 4194304 5970956 140729645843024 140729645840360 5070141 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9324 3495 822 434 0 2688 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37296
[startup+3.10023 s]
/proc/loadavg: 2.01 2.01 1.99 3/244 6808
/proc/meminfo: memFree=32012888/32770624 swapFree=5956/222268
[pid=6807] ppid=6804 vsize=37560 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 6347 0 0 0 308 0 0 0 20 0 1 0 2294851 38461440 3529 33554432000 4194304 5970956 140729645843024 140729645840360 5069728 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3529 822 434 0 2754 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 37560
[startup+6.30022 s]
/proc/loadavg: 2.01 2.01 1.99 3/244 6808
/proc/meminfo: memFree=32012280/32770624 swapFree=5956/222292
[pid=6807] ppid=6804 vsize=37560 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 9022 0 0 0 628 0 0 0 20 0 1 0 2294851 38461440 3551 33554432000 4194304 5970956 140729645843024 140729645840360 5070400 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3551 822 434 0 2754 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 37560
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 1.99 3/244 6808
/proc/meminfo: memFree=32012032/32770624 swapFree=5956/222300
[pid=6807] ppid=6804 vsize=37560 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 11700 0 0 0 1268 1 0 0 20 0 1 0 2294851 38461440 3557 33554432000 4194304 5970956 140729645843024 140729645840360 5069712 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3557 822 434 0 2754 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37560
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 1.99 3/244 6808
/proc/meminfo: memFree=32011660/32770624 swapFree=5956/222316
[pid=6807] ppid=6804 vsize=37560 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 17052 0 0 0 2548 1 0 0 20 0 1 0 2294851 38461440 3563 33554432000 4194304 5970956 140729645843024 140729645840360 4908912 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3563 822 434 0 2754 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37560
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 1.99 3/244 6808
/proc/meminfo: memFree=32011528/32770624 swapFree=5956/222356
[pid=6807] ppid=6804 vsize=37560 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 17701 0 0 0 5107 1 0 0 20 0 1 0 2294851 38461440 3564 33554432000 4194304 5970956 140729645843024 140729645840360 5070112 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3564 822 434 0 2754 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37560
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/244 6809
/proc/meminfo: memFree=32011528/32770624 swapFree=5956/222428
[pid=6807] ppid=6804 vsize=37560 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 18340 0 0 0 10227 1 0 0 20 0 1 0 2294851 38461440 3566 33554432000 4194304 5970956 140729645843024 140729645840360 5070112 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3566 822 434 0 2754 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 37560
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/244 6810
/proc/meminfo: memFree=32011404/32770624 swapFree=5956/222488
[pid=6807] ppid=6804 vsize=37560 CPUtime=162.26 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 18979 0 0 0 16225 1 0 0 20 0 1 0 2294851 38461440 3566 33554432000 4194304 5970956 140729645843024 140729645840360 4909022 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3566 822 434 0 2754 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 37560
[startup+222.308 s]
/proc/loadavg: 2.03 2.02 1.99 3/244 6811
/proc/meminfo: memFree=32011284/32770624 swapFree=5956/222548
[pid=6807] ppid=6804 vsize=37560 CPUtime=222.26 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 19620 0 0 0 22225 1 0 0 20 0 1 0 2294851 38461440 3567 33554432000 4194304 5970956 140729645843024 140729645840360 4964705 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3567 822 434 0 2754 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 37560
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/243 6813
/proc/meminfo: memFree=32011272/32770624 swapFree=5956/222592
[pid=6807] ppid=6804 vsize=37560 CPUtime=282.24 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 20260 0 0 0 28223 1 0 0 20 0 1 0 2294851 38461440 3567 33554432000 4194304 5970956 140729645843024 140729645840360 5069728 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3567 822 434 0 2754 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 37560
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 6814
/proc/meminfo: memFree=32011156/32770624 swapFree=5956/222628
[pid=6807] ppid=6804 vsize=37560 CPUtime=342.23 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 20897 0 0 0 34222 1 0 0 20 0 1 0 2294851 38461440 3568 33554432000 4194304 5970956 140729645843024 140729645840360 4964389 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3568 822 434 0 2754 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 37560
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 6815
/proc/meminfo: memFree=32010656/32770624 swapFree=5956/222660
[pid=6807] ppid=6804 vsize=37560 CPUtime=402.22 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 21532 0 0 0 40221 1 0 0 20 0 1 0 2294851 38461440 3568 33554432000 4194304 5970956 140729645843024 140729645840360 5052114 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3568 822 434 0 2754 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 37560
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 6817
/proc/meminfo: memFree=32011096/32770624 swapFree=5956/222692
[pid=6807] ppid=6804 vsize=37560 CPUtime=462.21 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 22168 0 0 0 46220 1 0 0 20 0 1 0 2294851 38461440 3568 33554432000 4194304 5970956 140729645843024 140729645840360 4964366 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3568 822 434 0 2754 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 37560
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 6818
/proc/meminfo: memFree=32011236/32770624 swapFree=5956/222744
[pid=6807] ppid=6804 vsize=37560 CPUtime=522.2 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 22805 0 0 0 52219 1 0 0 20 0 1 0 2294851 38461440 3568 33554432000 4194304 5970956 140729645843024 140729645840360 4964406 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3568 822 434 0 2754 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 37560
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 6826
/proc/meminfo: memFree=32010244/32770624 swapFree=5956/222784
[pid=6807] ppid=6804 vsize=37560 CPUtime=582.19 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 23442 0 0 0 58218 1 0 0 20 0 1 0 2294851 38461440 3568 33554432000 4194304 5970956 140729645843024 140729645840360 4964366 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3568 822 434 0 2754 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 37560
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 6872
/proc/meminfo: memFree=32007552/32770624 swapFree=5956/223308
[pid=6807] ppid=6804 vsize=37560 CPUtime=1542.02 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 33197 0 0 0 154201 1 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 5070435 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 37560
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 6873
/proc/meminfo: memFree=32007208/32770624 swapFree=5956/223344
[pid=6807] ppid=6804 vsize=37560 CPUtime=1602.01 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 33847 0 0 0 160200 1 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 5070146 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 37560
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.02 3/243 6874
/proc/meminfo: memFree=32007220/32770624 swapFree=5956/223368
[pid=6807] ppid=6804 vsize=37560 CPUtime=1661.99 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 34414 0 0 0 166198 1 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 5070435 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 37560
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/243 6875
/proc/meminfo: memFree=32006588/32770624 swapFree=5956/223400
[pid=6807] ppid=6804 vsize=37560 CPUtime=1721.99 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 35052 0 0 0 172197 2 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 4964340 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 37560
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/243 6883
/proc/meminfo: memFree=32006852/32770624 swapFree=5956/223432
[pid=6807] ppid=6804 vsize=37560 CPUtime=1781.98 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 35632 0 0 0 178196 2 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 4964366 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 37560
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 6884
/proc/meminfo: memFree=32007108/32770624 swapFree=5956/223456
[pid=6807] ppid=6804 vsize=37560 CPUtime=1841.97 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 36215 0 0 0 184195 2 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 4964836 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 1841.97
Current children cumulated vsize (KiB) 37560
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 6885
/proc/meminfo: memFree=32006544/32770624 swapFree=5956/223492
[pid=6807] ppid=6804 vsize=37560 CPUtime=1901.96 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 36855 0 0 0 190194 2 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 4909007 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 1901.96
Current children cumulated vsize (KiB) 37560
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 6886
/proc/meminfo: memFree=32006608/32770624 swapFree=5956/223520
[pid=6807] ppid=6804 vsize=37560 CPUtime=1961.95 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 37430 0 0 0 196193 2 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 4964389 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 1961.95
Current children cumulated vsize (KiB) 37560
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 6887
/proc/meminfo: memFree=32006568/32770624 swapFree=5956/223548
[pid=6807] ppid=6804 vsize=37560 CPUtime=2021.94 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 38011 0 0 0 202192 2 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 5071026 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 2021.94
Current children cumulated vsize (KiB) 37560
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 6889
/proc/meminfo: memFree=32006216/32770624 swapFree=5956/223596
[pid=6807] ppid=6804 vsize=37560 CPUtime=2081.94 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 38645 0 0 0 208192 2 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 4964389 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 2081.94
Current children cumulated vsize (KiB) 37560
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 6890
/proc/meminfo: memFree=32006068/32770624 swapFree=5956/223620
[pid=6807] ppid=6804 vsize=37560 CPUtime=2141.92 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 39203 0 0 0 214190 2 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 5069712 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 2141.92
Current children cumulated vsize (KiB) 37560
[startup+2202.31 s]
/proc/loadavg: 1.51 1.89 1.98 2/236 6941
/proc/meminfo: memFree=32012092/32770624 swapFree=5956/223656
[pid=6807] ppid=6804 vsize=37560 CPUtime=2201.91 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 39775 0 0 0 220189 2 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 5070459 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 2201.91
Current children cumulated vsize (KiB) 37560
[startup+2262.3 s]
/proc/loadavg: 1.19 1.73 1.91 2/236 6943
/proc/meminfo: memFree=32012384/32770624 swapFree=5956/223692
[pid=6807] ppid=6804 vsize=37560 CPUtime=2261.89 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 40343 0 0 0 226187 2 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 5070400 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 2261.89
Current children cumulated vsize (KiB) 37560
[startup+2322.3 s]
/proc/loadavg: 1.07 1.59 1.86 2/236 6944
/proc/meminfo: memFree=32013412/32770624 swapFree=5956/223732
[pid=6807] ppid=6804 vsize=37560 CPUtime=2321.88 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 40976 0 0 0 232186 2 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 5070432 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 2321.88
Current children cumulated vsize (KiB) 37560
[startup+2382.3 s]
/proc/loadavg: 1.03 1.49 1.81 2/236 6952
/proc/meminfo: memFree=32012960/32770624 swapFree=5956/223764
[pid=6807] ppid=6804 vsize=37560 CPUtime=2381.87 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 41552 0 0 0 238185 2 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 4908967 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 2381.87
Current children cumulated vsize (KiB) 37560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 1.02 1.46 1.79 2/236 6953
/proc/meminfo: memFree=32013572/32770624 swapFree=5956/223792
[pid=6807] ppid=6804 vsize=37560 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 42124 0 0 0 240004 2 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 5070435 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 37560
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 6807 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 1.02 1.46 1.79 2/236 6953
/proc/meminfo: memFree=32013572/32770624 swapFree=5956/223792
[pid=6807] ppid=6804 vsize=37560 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/6807/stat : 6807 (cosoco) R 6804 6807 2444 0 -1 4202496 42124 0 0 0 240004 2 0 0 20 0 1 0 2294851 38461440 3569 33554432000 4194304 5970956 140729645843024 140729645840360 5070435 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 11960320 140729645851841 140729645851971 140729645851971 140729645854670 0
/proc/6807/statm: 9390 3569 822 434 0 2754 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 37560
Child status: 1
Real time (s): 2400.5
CPU time (s): 2400.07
CPU user time (s): 2400.05
CPU system time (s): 0.025995
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 37560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.025995
maximum resident set size= 14320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42152
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= 16
involuntary context switches= 120636
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.46262 second user time and 10.4922 second system time
The end