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-4241166-1500648174/watcher-4241166-1500648174 -o /tmp/evaluation-result-4241166-1500648174/solver-4241166-1500648174 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500648173-9854 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241166-1500648174.xml
pid=9868
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: 0.00 0.02 0.05 1/238 9871
/proc/meminfo: memFree=32084876/32770624 swapFree=5956/172328
[pid=9871] ppid=9868 vsize=5512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) D 9868 9871 9822 0 -1 4194304 160 0 1 0 0 0 0 0 20 0 1 0 84325 5644288 37 33554432000 4194304 5970956 140735827083536 140735827080984 139723145317906 0 0 4096 0 18446744071580431491 0 0 17 12 0 0 0 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 1378 37 27 434 0 40 0
[startup+0.100147 s]
/proc/loadavg: 0.00 0.02 0.05 1/238 9871
/proc/meminfo: memFree=32084876/32770624 swapFree=5956/172328
[pid=9871] ppid=9868 vsize=28964 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 1525 0 3 0 6 0 0 0 20 0 1 0 84325 29659136 1349 33554432000 4194304 5970956 140735827083536 140735827077128 139723129211877 0 0 4096 0 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 7241 1349 782 434 0 605 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 28964
[startup+0.20031 s]
/proc/loadavg: 0.00 0.02 0.05 1/238 9871
/proc/meminfo: memFree=32084876/32770624 swapFree=5956/172328
[pid=9871] ppid=9868 vsize=30576 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 1931 0 3 0 16 0 0 0 20 0 1 0 84325 31309824 1711 33554432000 4194304 5970956 140735827083536 140735827077128 139723129211877 0 0 4096 0 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 7644 1711 782 434 0 1008 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 30576
[startup+0.300272 s]
/proc/loadavg: 0.00 0.02 0.05 1/238 9871
/proc/meminfo: memFree=32084876/32770624 swapFree=5956/172328
[pid=9871] ppid=9868 vsize=32188 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 2376 0 3 0 26 0 0 0 20 0 1 0 84325 32960512 2212 33554432000 4194304 5970956 140735827083536 140735827070856 5070791 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8047 2212 834 434 0 1411 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 32188
[startup+0.700184 s]
/proc/loadavg: 0.00 0.02 0.05 1/238 9871
/proc/meminfo: memFree=32084876/32770624 swapFree=5956/172328
[pid=9871] ppid=9868 vsize=32188 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 2395 0 3 0 66 0 0 0 20 0 1 0 84325 32960512 2212 33554432000 4194304 5970956 140735827083536 140735827070856 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8047 2212 834 434 0 1411 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 32188
[startup+1.50027 s]
/proc/loadavg: 0.00 0.02 0.05 3/245 9887
/proc/meminfo: memFree=32059264/32770624 swapFree=5956/171084
[pid=9871] ppid=9868 vsize=32320 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 2408 0 3 0 146 0 0 0 20 0 1 0 84325 33095680 2212 33554432000 4194304 5970956 140735827083536 140735827080504 4964363 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8080 2212 834 434 0 1444 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 32320
[startup+3.10029 s]
/proc/loadavg: 0.08 0.04 0.05 3/245 9887
/proc/meminfo: memFree=31994568/32770624 swapFree=5956/171084
[pid=9871] ppid=9868 vsize=32320 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 3184 0 3 0 306 0 0 0 20 0 1 0 84325 33095680 2259 33554432000 4194304 5970956 140735827083536 140735827080504 5070459 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8080 2259 835 434 0 1444 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 32320
[startup+6.30028 s]
/proc/loadavg: 0.08 0.04 0.05 3/245 9887
/proc/meminfo: memFree=31802876/32770624 swapFree=5956/171084
[pid=9871] ppid=9868 vsize=32452 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 4117 0 3 0 626 0 0 0 20 0 1 0 84325 33230848 2273 33554432000 4194304 5970956 140735827083536 140735827080504 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8113 2273 835 434 0 1477 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 32452
[startup+12.7002 s]
/proc/loadavg: 0.38 0.10 0.07 3/245 9887
/proc/meminfo: memFree=31421512/32770624 swapFree=5956/171084
[pid=9871] ppid=9868 vsize=32716 CPUtime=12.65 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 5158 0 3 0 1265 0 0 0 20 0 1 0 84325 33501184 2340 33554432000 4194304 5970956 140735827083536 140735827080504 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8179 2340 835 434 0 1543 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 32716
[startup+25.5003 s]
/proc/loadavg: 0.63 0.16 0.09 3/245 9887
/proc/meminfo: memFree=30659724/32770624 swapFree=5956/171084
[pid=9871] ppid=9868 vsize=33244 CPUtime=25.45 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 7317 0 3 0 2545 0 0 0 20 0 1 0 84325 34041856 2478 33554432000 4194304 5970956 140735827083536 140735827080504 4967758 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8311 2478 835 434 0 1675 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 33244
[startup+51.1003 s]
/proc/loadavg: 1.10 0.31 0.14 3/245 9887
/proc/meminfo: memFree=29157544/32770624 swapFree=5956/171084
[pid=9871] ppid=9868 vsize=33640 CPUtime=51.05 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 8824 0 3 0 5105 0 0 0 20 0 1 0 84325 34447360 2564 33554432000 4194304 5970956 140735827083536 140735827080504 4964584 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8410 2564 835 434 0 1774 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 33640
[startup+102.3 s]
/proc/loadavg: 1.64 0.60 0.25 3/246 9891
/proc/meminfo: memFree=28351996/32770624 swapFree=5956/172368
[pid=9871] ppid=9868 vsize=34304 CPUtime=102.26 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 9285 0 3 0 10226 0 0 0 20 0 1 0 84325 35127296 2725 33554432000 4194304 5970956 140735827083536 140735827080504 4964575 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8576 2725 835 434 0 1940 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 34304
[startup+162.3 s]
/proc/loadavg: 1.86 0.83 0.35 3/246 9892
/proc/meminfo: memFree=27982240/32770624 swapFree=5956/172580
[pid=9871] ppid=9868 vsize=34984 CPUtime=162.25 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 9743 0 3 0 16225 0 0 0 20 0 1 0 84325 35823616 2858 33554432000 4194304 5970956 140735827083536 140735827080504 5070407 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8746 2858 835 434 0 2110 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 34984
[startup+222.308 s]
/proc/loadavg: 1.95 1.06 0.46 3/246 9893
/proc/meminfo: memFree=27943488/32770624 swapFree=5956/172580
[pid=9871] ppid=9868 vsize=34984 CPUtime=222.26 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 10122 0 3 0 22226 0 0 0 20 0 1 0 84325 35823616 2911 33554432000 4194304 5970956 140735827083536 140735827080504 4977123 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8746 2911 835 434 0 2110 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 34984
[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.55 3/246 9894
/proc/meminfo: memFree=27816048/32770624 swapFree=5956/172580
[pid=9871] ppid=9868 vsize=34984 CPUtime=282.25 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 10538 0 3 0 28225 0 0 0 20 0 1 0 84325 35823616 2925 33554432000 4194304 5970956 140735827083536 140735827080504 4964352 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8746 2925 835 434 0 2110 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 34984
[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.65 3/244 9895
/proc/meminfo: memFree=27677024/32770624 swapFree=5956/172580
[pid=9871] ppid=9868 vsize=35248 CPUtime=342.24 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 11149 0 3 0 34224 0 0 0 20 0 1 0 84325 36093952 2978 33554432000 4194304 5970956 140735827083536 140735827080504 4961271 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8812 2978 835 434 0 2176 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 35248
[startup+402.3 s]
/proc/loadavg: 2.00 1.48 0.73 3/244 9896
/proc/meminfo: memFree=27532636/32770624 swapFree=5956/172668
[pid=9871] ppid=9868 vsize=35380 CPUtime=402.24 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 11736 0 3 0 40223 1 0 0 20 0 1 0 84325 36229120 2994 33554432000 4194304 5970956 140735827083536 140735827080504 5319616 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8845 2994 835 434 0 2209 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 35380
[startup+462.3 s]
/proc/loadavg: 2.00 1.57 0.81 3/243 9904
/proc/meminfo: memFree=27513008/32770624 swapFree=5956/172728
[pid=9871] ppid=9868 vsize=35644 CPUtime=462.23 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 12268 0 3 0 46222 1 0 0 20 0 1 0 84325 36499456 3076 33554432000 4194304 5970956 140735827083536 140735827080504 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8911 3076 835 434 0 2275 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 35644
[startup+522.3 s]
/proc/loadavg: 2.03 1.66 0.89 3/243 9905
/proc/meminfo: memFree=27372296/32770624 swapFree=5956/172728
[pid=9871] ppid=9868 vsize=35908 CPUtime=522.22 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 12982 0 3 0 52221 1 0 0 20 0 1 0 84325 36769792 3141 33554432000 4194304 5970956 140735827083536 140735827070840 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 8977 3141 835 434 0 2341 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 35908
[startup+582.3 s]
/proc/loadavg: 2.01 1.72 0.96 3/243 9906
/proc/meminfo: memFree=27305360/32770624 swapFree=5956/172728
[pid=9871] ppid=9868 vsize=36040 CPUtime=582.21 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 13714 0 3 0 58220 1 0 0 20 0 1 0 84325 36904960 3153 33554432000 4194304 5970956 140735827083536 140735827080504 4967857 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9010 3153 836 434 0 2374 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 36040
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 1.64 3/243 9954
/proc/meminfo: memFree=26689872/32770624 swapFree=5956/173156
[pid=9871] ppid=9868 vsize=36172 CPUtime=1542.03 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 24637 0 3 0 154202 1 0 0 20 0 1 0 84325 37040128 3218 33554432000 4194304 5970956 140735827083536 140735827080504 4909007 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3218 836 434 0 2407 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 36172
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.66 4/243 9955
/proc/meminfo: memFree=26689768/32770624 swapFree=5956/173296
[pid=9871] ppid=9868 vsize=36172 CPUtime=1602.01 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 25258 0 3 0 160200 1 0 0 20 0 1 0 84325 37040128 3218 33554432000 4194304 5970956 140735827083536 140735827080504 4908982 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3218 836 434 0 2407 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 36172
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.68 3/243 9963
/proc/meminfo: memFree=26653136/32770624 swapFree=5956/173344
[pid=9871] ppid=9868 vsize=36172 CPUtime=1662 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 25918 0 3 0 166199 1 0 0 20 0 1 0 84325 37040128 3222 33554432000 4194304 5970956 140735827083536 140735827080504 5070437 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3222 836 434 0 2407 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 36172
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.70 3/243 9964
/proc/meminfo: memFree=26652744/32770624 swapFree=5956/173344
[pid=9871] ppid=9868 vsize=36172 CPUtime=1721.98 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 26457 0 3 0 172197 1 0 0 20 0 1 0 84325 37040128 3226 33554432000 4194304 5970956 140735827083536 140735827080504 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3226 836 434 0 2407 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 36172
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.72 3/243 9965
/proc/meminfo: memFree=26651452/32770624 swapFree=5956/173344
[pid=9871] ppid=9868 vsize=36172 CPUtime=1781.97 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 26995 0 3 0 178196 1 0 0 20 0 1 0 84325 37040128 3226 33554432000 4194304 5970956 140735827083536 140735827080504 4964524 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3226 836 434 0 2407 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 36172
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.74 3/243 9966
/proc/meminfo: memFree=26651504/32770624 swapFree=5956/173344
[pid=9871] ppid=9868 vsize=36172 CPUtime=1841.96 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 27535 0 3 0 184195 1 0 0 20 0 1 0 84325 37040128 3227 33554432000 4194304 5970956 140735827083536 140735827080504 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3227 836 434 0 2407 0
Current children cumulated CPU time (s) 1841.96
Current children cumulated vsize (KiB) 36172
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/243 9967
/proc/meminfo: memFree=26651968/32770624 swapFree=5956/173436
[pid=9871] ppid=9868 vsize=36172 CPUtime=1901.94 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 28079 0 3 0 190193 1 0 0 20 0 1 0 84325 37040128 3227 33554432000 4194304 5970956 140735827083536 140735827080504 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3227 836 434 0 2407 0
Current children cumulated CPU time (s) 1901.94
Current children cumulated vsize (KiB) 36172
[startup+1962.3 s]
/proc/loadavg: 2.07 2.03 1.78 3/243 9968
/proc/meminfo: memFree=26621976/32770624 swapFree=5956/173436
[pid=9871] ppid=9868 vsize=36172 CPUtime=1961.93 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 28833 0 3 0 196192 1 0 0 20 0 1 0 84325 37040128 3227 33554432000 4194304 5970956 140735827083536 140735827080504 4964477 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3227 836 434 0 2407 0
Current children cumulated CPU time (s) 1961.93
Current children cumulated vsize (KiB) 36172
[startup+2022.3 s]
/proc/loadavg: 2.06 2.04 1.79 4/243 9969
/proc/meminfo: memFree=26605880/32770624 swapFree=5956/173436
[pid=9871] ppid=9868 vsize=36172 CPUtime=2021.91 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 29521 0 3 0 202190 1 0 0 20 0 1 0 84325 37040128 3227 33554432000 4194304 5970956 140735827083536 140735827080504 5093197 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3227 836 434 0 2407 0
Current children cumulated CPU time (s) 2021.91
Current children cumulated vsize (KiB) 36172
[startup+2082.3 s]
/proc/loadavg: 2.02 2.03 1.81 3/243 9970
/proc/meminfo: memFree=26581816/32770624 swapFree=5956/173436
[pid=9871] ppid=9868 vsize=36172 CPUtime=2081.9 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 30159 0 3 0 208189 1 0 0 20 0 1 0 84325 37040128 3227 33554432000 4194304 5970956 140735827083536 140735827080504 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3227 836 434 0 2407 0
Current children cumulated CPU time (s) 2081.9
Current children cumulated vsize (KiB) 36172
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 1.82 3/243 9971
/proc/meminfo: memFree=26498908/32770624 swapFree=5956/173436
[pid=9871] ppid=9868 vsize=36172 CPUtime=2141.88 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 30920 0 3 0 214187 1 0 0 20 0 1 0 84325 37040128 3229 33554432000 4194304 5970956 140735827083536 140735827080504 4967836 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3229 836 434 0 2407 0
Current children cumulated CPU time (s) 2141.88
Current children cumulated vsize (KiB) 36172
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 1.83 4/243 9972
/proc/meminfo: memFree=26482408/32770624 swapFree=5956/173576
[pid=9871] ppid=9868 vsize=36172 CPUtime=2201.88 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 31655 0 3 0 220187 1 0 0 20 0 1 0 84325 37040128 3231 33554432000 4194304 5970956 140735827083536 140735827080504 5070844 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3231 836 434 0 2407 0
Current children cumulated CPU time (s) 2201.88
Current children cumulated vsize (KiB) 36172
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.84 4/243 9980
/proc/meminfo: memFree=26475968/32770624 swapFree=5956/173576
[pid=9871] ppid=9868 vsize=36172 CPUtime=2261.85 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 32393 0 3 0 226184 1 0 0 20 0 1 0 84325 37040128 3231 33554432000 4194304 5970956 140735827083536 140735827080504 5070768 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3231 836 434 0 2407 0
Current children cumulated CPU time (s) 2261.85
Current children cumulated vsize (KiB) 36172
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/243 9981
/proc/meminfo: memFree=26462432/32770624 swapFree=5956/173576
[pid=9871] ppid=9868 vsize=36172 CPUtime=2321.84 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 33148 0 3 0 232183 1 0 0 20 0 1 0 84325 37040128 3231 33554432000 4194304 5970956 140735827083536 140735827080504 4964584 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3231 836 434 0 2407 0
Current children cumulated CPU time (s) 2321.84
Current children cumulated vsize (KiB) 36172
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/243 9982
/proc/meminfo: memFree=26401176/32770624 swapFree=5956/173576
[pid=9871] ppid=9868 vsize=36172 CPUtime=2381.83 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 33804 0 3 0 238182 1 0 0 20 0 1 0 84325 37040128 3233 33554432000 4194304 5970956 140735827083536 140735827080504 5070776 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3233 836 434 0 2407 0
Current children cumulated CPU time (s) 2381.83
Current children cumulated vsize (KiB) 36172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 1.87 3/243 9982
/proc/meminfo: memFree=26401268/32770624 swapFree=5956/173576
[pid=9871] ppid=9868 vsize=36172 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 34548 0 3 0 240001 1 0 0 20 0 1 0 84325 37040128 3234 33554432000 4194304 5970956 140735827083536 140735827080504 4967861 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3234 836 434 0 2407 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 36172
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 9871 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 1.87 3/243 9982
/proc/meminfo: memFree=26401268/32770624 swapFree=5956/173576
[pid=9871] ppid=9868 vsize=36172 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/9871/stat : 9871 (cosoco) R 9868 9871 9822 0 -1 4202496 34548 0 3 0 240001 1 0 0 20 0 1 0 84325 37040128 3234 33554432000 4194304 5970956 140735827083536 140735827080504 4967861 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 9949184 140735827088577 140735827088707 140735827088707 140735827091406 0
/proc/9871/statm: 9043 3234 836 434 0 2407 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 36172
Child status: 1
Real time (s): 2400.5
CPU time (s): 2400.03
CPU user time (s): 2400.02
CPU system time (s): 0.016996
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 36172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.016996
maximum resident set size= 12980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34586
page faults= 3
swaps= 0
block input operations= 3320
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 121910
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.18658 second user time and 10.17 second system time
The end