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-4267919-1502517236/watcher-4267919-1502517236 -o /tmp/evaluation-result-4267919-1502517236/solver-4267919-1502517236 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1849 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267919-1502517236.xml
pid=7099
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.02 2.05 3/180 7102
/proc/meminfo: memFree=31367016/32770624 swapFree=0/322236
[pid=7102] ppid=7099 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7102/stat : 7102 (runsolver) D 7099 7102 1785 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 53919129 24240128 106 18446744073709551615 4194304 4338465 140721900738912 140721900736552 139880663786199 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 34406400 140721900740802 140721900741193 140721900741193 140721900744650 0
/proc/7102/statm: 5918 106 53 36 0 2156 0
[startup+0.100173 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 7102
/proc/meminfo: memFree=31367016/32770624 swapFree=0/322236
[pid=7102] ppid=7099 vsize=28800 CPUtime=0.03 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 1496 0 0 0 3 0 0 0 20 0 1 0 53919129 29491200 1289 18446744073709551615 4194304 5972588 140721691219088 140721691215736 139733781093860 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 7200 1289 796 435 0 563 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28800
[startup+0.200296 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 7102
/proc/meminfo: memFree=31367016/32770624 swapFree=0/322236
[pid=7102] ppid=7099 vsize=30996 CPUtime=0.13 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 2044 0 0 0 13 0 0 0 20 0 1 0 53919129 31739904 1870 18446744073709551615 4194304 5972588 140721691219088 140721691215736 139733790358501 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 7749 1870 796 435 0 1112 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 30996
[startup+0.300272 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 7102
/proc/meminfo: memFree=31367016/32770624 swapFree=0/322236
[pid=7102] ppid=7099 vsize=32308 CPUtime=0.23 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 2402 0 0 0 23 0 0 0 20 0 1 0 53919129 33083392 2196 18446744073709551615 4194304 5972588 140721691219088 140721691215736 5070704 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 8077 2196 799 435 0 1440 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 32308
[startup+0.700236 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 7102
/proc/meminfo: memFree=31367016/32770624 swapFree=0/322236
[pid=7102] ppid=7099 vsize=32968 CPUtime=0.63 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 2579 0 0 0 63 0 0 0 20 0 1 0 53919129 33759232 2394 18446744073709551615 4194304 5972588 140721691219088 140721691216120 5071456 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 8242 2394 828 435 0 1605 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 32968
[startup+1.50022 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 7103
/proc/meminfo: memFree=31360180/32770624 swapFree=0/322288
[pid=7102] ppid=7099 vsize=34288 CPUtime=1.43 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 2906 0 0 0 143 0 0 0 20 0 1 0 53919129 35110912 2724 18446744073709551615 4194304 5972588 140721691219088 140721691216120 5070704 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 8572 2724 828 435 0 1935 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 34288
[startup+3.10021 s]
/proc/loadavg: 1.93 2.01 2.04 3/181 7103
/proc/meminfo: memFree=31357948/32770624 swapFree=0/322288
[pid=7102] ppid=7099 vsize=37060 CPUtime=3.02 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 3855 0 0 0 302 0 0 0 20 0 1 0 53919129 37949440 3380 18446744073709551615 4194304 5972588 140721691219088 140721691216120 5071499 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 9265 3380 829 435 0 2628 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 37060
[startup+6.30022 s]
/proc/loadavg: 1.93 2.01 2.04 3/184 7117
/proc/meminfo: memFree=31346992/32770624 swapFree=0/322248
[pid=7102] ppid=7099 vsize=42472 CPUtime=6.23 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 6057 0 0 0 622 1 0 0 20 0 1 0 53919129 43491328 4786 18446744073709551615 4194304 5972588 140721691219088 140721691216120 4909657 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 10618 4786 829 435 0 3981 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 42472
[startup+12.7002 s]
/proc/loadavg: 1.94 2.01 2.04 3/184 7117
/proc/meminfo: memFree=31339800/32770624 swapFree=0/322248
[pid=7102] ppid=7099 vsize=48412 CPUtime=12.62 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 7882 0 0 0 1261 1 0 0 20 0 1 0 53919129 49573888 6283 18446744073709551615 4194304 5972588 140721691219088 140721691216664 4965560 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6283 831 435 0 5466 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 48412
[startup+25.5003 s]
/proc/loadavg: 1.95 2.01 2.04 4/184 7117
/proc/meminfo: memFree=31339832/32770624 swapFree=0/322244
[pid=7102] ppid=7099 vsize=48412 CPUtime=25.42 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 8099 0 0 0 2541 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5071501 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 48412
[startup+51.1003 s]
/proc/loadavg: 1.96 2.01 2.04 3/184 7117
/proc/meminfo: memFree=31340096/32770624 swapFree=0/322244
[pid=7102] ppid=7099 vsize=48412 CPUtime=51.02 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 8297 0 0 0 5101 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5099674 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 48412
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/184 7119
/proc/meminfo: memFree=31340168/32770624 swapFree=0/322260
[pid=7102] ppid=7099 vsize=48412 CPUtime=102.21 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 8530 0 0 0 10220 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5070704 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 48412
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 7121
/proc/meminfo: memFree=31343188/32770624 swapFree=0/322260
[pid=7102] ppid=7099 vsize=48412 CPUtime=162.2 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 8622 0 0 0 16219 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 4909657 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 48412
[startup+222.305 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 7123
/proc/meminfo: memFree=31342568/32770624 swapFree=0/322260
[pid=7102] ppid=7099 vsize=48412 CPUtime=222.19 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 8807 0 0 0 22218 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 4968804 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 48412
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 7125
/proc/meminfo: memFree=31343188/32770624 swapFree=0/322276
[pid=7102] ppid=7099 vsize=48412 CPUtime=282.18 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 8875 0 0 0 28217 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5053069 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 48412
[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/181 7127
/proc/meminfo: memFree=31342448/32770624 swapFree=0/322292
[pid=7102] ppid=7099 vsize=48412 CPUtime=342.17 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 8954 0 0 0 34216 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 4965560 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 48412
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 7129
/proc/meminfo: memFree=31343068/32770624 swapFree=0/322320
[pid=7102] ppid=7099 vsize=48412 CPUtime=402.16 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 9133 0 0 0 40215 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5099668 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 48412
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 7131
/proc/meminfo: memFree=31342944/32770624 swapFree=0/322332
[pid=7102] ppid=7099 vsize=48412 CPUtime=462.15 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 9178 0 0 0 46214 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5071499 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 48412
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7133
/proc/meminfo: memFree=31343016/32770624 swapFree=0/322336
[pid=7102] ppid=7099 vsize=48412 CPUtime=522.14 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 9235 0 0 0 52213 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5070711 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 48412
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7135
/proc/meminfo: memFree=31342768/32770624 swapFree=0/322332
[pid=7102] ppid=7099 vsize=48412 CPUtime=582.13 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 9288 0 0 0 58212 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5071463 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 48412
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 7287
/proc/meminfo: memFree=31300412/32770624 swapFree=0/322596
[pid=7102] ppid=7099 vsize=48412 CPUtime=1601.96 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10282 0 0 0 160195 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 4909624 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 48412
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 7289
/proc/meminfo: memFree=31300784/32770624 swapFree=0/322616
[pid=7102] ppid=7099 vsize=48412 CPUtime=1661.95 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10313 0 0 0 166194 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5099674 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 48412
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 7291
/proc/meminfo: memFree=31300536/32770624 swapFree=0/322632
[pid=7102] ppid=7099 vsize=48412 CPUtime=1721.94 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10357 0 0 0 172193 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5070704 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 48412
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 7293
/proc/meminfo: memFree=31300576/32770624 swapFree=0/322640
[pid=7102] ppid=7099 vsize=48412 CPUtime=1781.93 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10387 0 0 0 178192 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5099664 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 48412
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 7310
/proc/meminfo: memFree=31297080/32770624 swapFree=0/322680
[pid=7102] ppid=7099 vsize=48412 CPUtime=1841.92 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10431 0 0 0 184191 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5071492 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 1841.92
Current children cumulated vsize (KiB) 48412
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7312
/proc/meminfo: memFree=31296584/32770624 swapFree=0/322700
[pid=7102] ppid=7099 vsize=48412 CPUtime=1901.91 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10462 0 0 0 190190 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5070704 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 1901.91
Current children cumulated vsize (KiB) 48412
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 7314
/proc/meminfo: memFree=31299484/32770624 swapFree=0/322700
[pid=7102] ppid=7099 vsize=48412 CPUtime=1961.9 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10507 0 0 0 196189 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5099674 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 1961.9
Current children cumulated vsize (KiB) 48412
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7316
/proc/meminfo: memFree=31300104/32770624 swapFree=0/322712
[pid=7102] ppid=7099 vsize=48412 CPUtime=2021.89 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10538 0 0 0 202188 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 4965552 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 2021.89
Current children cumulated vsize (KiB) 48412
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7318
/proc/meminfo: memFree=31300104/32770624 swapFree=0/322728
[pid=7102] ppid=7099 vsize=48412 CPUtime=2081.88 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10582 0 0 0 208187 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5053071 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 2081.88
Current children cumulated vsize (KiB) 48412
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7320
/proc/meminfo: memFree=31299996/32770624 swapFree=0/322744
[pid=7102] ppid=7099 vsize=48412 CPUtime=2141.87 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10611 0 0 0 214186 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 4968848 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 2141.87
Current children cumulated vsize (KiB) 48412
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7322
/proc/meminfo: memFree=31299624/32770624 swapFree=0/322756
[pid=7102] ppid=7099 vsize=48412 CPUtime=2201.86 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10652 0 0 0 220185 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5099674 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 2201.86
Current children cumulated vsize (KiB) 48412
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 7324
/proc/meminfo: memFree=31299872/32770624 swapFree=0/322764
[pid=7102] ppid=7099 vsize=48412 CPUtime=2261.85 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10681 0 0 0 226184 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 4909657 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 2261.85
Current children cumulated vsize (KiB) 48412
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 7326
/proc/meminfo: memFree=31299376/32770624 swapFree=0/322776
[pid=7102] ppid=7099 vsize=48412 CPUtime=2321.84 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10726 0 0 0 232183 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5070704 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 2321.84
Current children cumulated vsize (KiB) 48412
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 7328
/proc/meminfo: memFree=31299624/32770624 swapFree=0/322776
[pid=7102] ppid=7099 vsize=48412 CPUtime=2381.83 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10758 0 0 0 238182 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5071499 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 2381.83
Current children cumulated vsize (KiB) 48412
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 7344
/proc/meminfo: memFree=31296192/32770624 swapFree=0/322812
[pid=7102] ppid=7099 vsize=48412 CPUtime=2441.82 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10802 0 0 0 244181 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5099664 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 2441.82
Current children cumulated vsize (KiB) 48412
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 7346
/proc/meminfo: memFree=31295536/32770624 swapFree=0/322820
[pid=7102] ppid=7099 vsize=48412 CPUtime=2501.81 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10831 0 0 0 250180 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 5053066 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 2501.81
Current children cumulated vsize (KiB) 48412
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7347
/proc/meminfo: memFree=31298800/32770624 swapFree=0/322832
[pid=7102] ppid=7099 vsize=48412 CPUtime=2519.5 cores=1,3,5,7
/proc/7102/stat : 7102 (cosoco) R 7099 7102 1785 0 -1 4202496 10860 0 0 0 251949 1 0 0 20 0 1 0 53919129 49573888 6285 18446744073709551615 4194304 5972588 140721691219088 140721691216664 4909660 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 30085120 140721691222510 140721691222605 140721691222605 140721691226062 0
/proc/7102/statm: 12103 6285 833 435 0 5466 0
Current children cumulated CPU time (s) 2519.5
Current children cumulated vsize (KiB) 48412
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 7102 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2519.52
CPU user time (s): 2519.5
CPU system time (s): 0.017996
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 48412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.5
system time used= 0.017996
maximum resident set size= 25208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10912
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= 12
involuntary context switches= 1984
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75723 second user time and 7.29402 second system time
The end