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-4267909-1502517812/watcher-4267909-1502517812 -o /tmp/evaluation-result-4267909-1502517812/solver-4267909-1502517812 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31839 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267909-1502517812.xml
pid=6144
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.00 2.01 2.05 2/180 6147
/proc/meminfo: memFree=31551016/32770624 swapFree=0/421132
[pid=6147] ppid=6144 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6147/stat : 6147 (runsolver) D 6144 6147 31775 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 40121912 24240128 105 18446744073709551615 4194304 4338465 140721408444576 140721408442216 140679756743383 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 16330752 140721408446657 140721408447049 140721408447049 140721408450506 0
/proc/6147/statm: 5918 105 52 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 6147
/proc/meminfo: memFree=31551016/32770624 swapFree=0/421132
[pid=6147] ppid=6144 vsize=27248 CPUtime=0.03 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 1094 0 0 0 3 0 0 0 20 0 1 0 40121912 27901952 925 18446744073709551615 4194304 5972588 140731500685024 140731500681672 139969462971365 0 0 1 0 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6812 925 790 435 0 175 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27248
[startup+0.200262 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 6147
/proc/meminfo: memFree=31551016/32770624 swapFree=0/421132
[pid=6147] ppid=6144 vsize=27500 CPUtime=0.13 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 1199 0 0 0 13 0 0 0 20 0 1 0 40121912 28160000 1020 18446744073709551615 4194304 5972588 140731500685024 140731500681672 4909657 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1020 829 435 0 238 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 27500
[startup+0.300246 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 6147
/proc/meminfo: memFree=31551016/32770624 swapFree=0/421132
[pid=6147] ppid=6144 vsize=27500 CPUtime=0.23 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 1199 0 0 0 23 0 0 0 20 0 1 0 40121912 28160000 1020 18446744073709551615 4194304 5972588 140731500685024 140731500681672 4909584 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1020 829 435 0 238 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 27500
[startup+0.700222 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 6147
/proc/meminfo: memFree=31551016/32770624 swapFree=0/421132
[pid=6147] ppid=6144 vsize=27500 CPUtime=0.63 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 1207 0 0 0 63 0 0 0 20 0 1 0 40121912 28160000 1020 18446744073709551615 4194304 5972588 140731500685024 140731500681672 4962247 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1020 829 435 0 238 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 27500
[startup+1.50021 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6148
/proc/meminfo: memFree=31550272/32770624 swapFree=0/421132
[pid=6147] ppid=6144 vsize=27500 CPUtime=1.43 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 1214 0 0 0 143 0 0 0 20 0 1 0 40121912 28160000 1020 18446744073709551615 4194304 5972588 140731500685024 140731500682328 4962339 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1020 829 435 0 238 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 27500
[startup+3.10022 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 6148
/proc/meminfo: memFree=31549916/32770624 swapFree=0/421132
[pid=6147] ppid=6144 vsize=27500 CPUtime=3.03 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 1383 0 0 0 303 0 0 0 20 0 1 0 40121912 28160000 1056 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5071082 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1056 829 435 0 238 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 27500
[startup+6.30022 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 6148
/proc/meminfo: memFree=31549916/32770624 swapFree=0/421132
[pid=6147] ppid=6144 vsize=27500 CPUtime=6.23 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 1551 0 0 0 623 0 0 0 20 0 1 0 40121912 28160000 1057 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5071761 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1057 829 435 0 238 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 27500
[startup+12.7002 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 6148
/proc/meminfo: memFree=31549720/32770624 swapFree=0/421136
[pid=6147] ppid=6144 vsize=27500 CPUtime=12.63 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 1720 0 0 0 1263 0 0 0 20 0 1 0 40121912 28160000 1057 18446744073709551615 4194304 5972588 140731500685024 140731500682328 4979170 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1057 829 435 0 238 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 27500
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 6149
/proc/meminfo: memFree=31549720/32770624 swapFree=0/421136
[pid=6147] ppid=6144 vsize=27500 CPUtime=25.43 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 2057 0 0 0 2543 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5071040 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 27500
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.05 3/184 6163
/proc/meminfo: memFree=31545836/32770624 swapFree=0/421152
[pid=6147] ppid=6144 vsize=27500 CPUtime=51.03 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 2226 0 0 0 5103 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5099648 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 27500
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 6165
/proc/meminfo: memFree=31545480/32770624 swapFree=0/421176
[pid=6147] ppid=6144 vsize=27500 CPUtime=102.23 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 2395 0 0 0 10223 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5071040 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 27500
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 6167
/proc/meminfo: memFree=31548904/32770624 swapFree=0/421192
[pid=6147] ppid=6144 vsize=27500 CPUtime=162.23 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 2563 0 0 0 16223 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5070704 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 27500
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6169
/proc/meminfo: memFree=31549408/32770624 swapFree=0/421220
[pid=6147] ppid=6144 vsize=27500 CPUtime=222.24 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 2733 0 0 0 22224 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 4968801 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 27500
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6171
/proc/meminfo: memFree=31549780/32770624 swapFree=0/421208
[pid=6147] ppid=6144 vsize=27500 CPUtime=282.23 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 2902 0 0 0 28223 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5099648 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 27500
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6173
/proc/meminfo: memFree=31549920/32770624 swapFree=0/421232
[pid=6147] ppid=6144 vsize=27500 CPUtime=342.23 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 3071 0 0 0 34223 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5053099 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 27500
[startup+402.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 6176
/proc/meminfo: memFree=31550060/32770624 swapFree=0/421240
[pid=6147] ppid=6144 vsize=27500 CPUtime=402.23 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 3239 0 0 0 40223 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5071785 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 27500
[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 6178
/proc/meminfo: memFree=31549824/32770624 swapFree=0/421256
[pid=6147] ppid=6144 vsize=27500 CPUtime=462.23 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 3407 0 0 0 46223 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 4968773 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 27500
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 6180
/proc/meminfo: memFree=31549932/32770624 swapFree=0/421256
[pid=6147] ppid=6144 vsize=27500 CPUtime=522.24 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 3577 0 0 0 52224 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5071785 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 27500
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 6183
/proc/meminfo: memFree=31549664/32770624 swapFree=0/421268
[pid=6147] ppid=6144 vsize=27500 CPUtime=582.24 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 3702 0 0 0 58224 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5071040 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 27500
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6272
/proc/meminfo: memFree=31549004/32770624 swapFree=0/421552
[pid=6147] ppid=6144 vsize=27500 CPUtime=1602.24 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 6349 0 0 0 160224 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 4909679 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 27500
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 6274
/proc/meminfo: memFree=31549484/32770624 swapFree=0/421572
[pid=6147] ppid=6144 vsize=27500 CPUtime=1662.25 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 6486 0 0 0 166225 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 4975625 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 27500
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 6276
/proc/meminfo: memFree=31549128/32770624 swapFree=0/421584
[pid=6147] ppid=6144 vsize=27500 CPUtime=1722.25 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 6655 0 0 0 172225 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 4965840 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 27500
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 6278
/proc/meminfo: memFree=31549236/32770624 swapFree=0/421608
[pid=6147] ppid=6144 vsize=27500 CPUtime=1782.25 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 6793 0 0 0 178225 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 4909660 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 27500
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6280
/proc/meminfo: memFree=31548764/32770624 swapFree=0/421608
[pid=6147] ppid=6144 vsize=27500 CPUtime=1842.25 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 6962 0 0 0 184225 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 4977582 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 1842.25
Current children cumulated vsize (KiB) 27500
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 6296
/proc/meminfo: memFree=31544684/32770624 swapFree=0/421624
[pid=6147] ppid=6144 vsize=27500 CPUtime=1902.25 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 7096 0 0 0 190225 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5071744 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 1902.25
Current children cumulated vsize (KiB) 27500
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6359
/proc/meminfo: memFree=30850972/32770624 swapFree=0/421660
[pid=6147] ppid=6144 vsize=27500 CPUtime=1962.25 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 7229 0 0 0 196225 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5071767 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 1962.25
Current children cumulated vsize (KiB) 27500
[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/180 6361
/proc/meminfo: memFree=29609280/32770624 swapFree=0/421680
[pid=6147] ppid=6144 vsize=27500 CPUtime=2022.25 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 7395 0 0 0 202225 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 4909657 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 2022.25
Current children cumulated vsize (KiB) 27500
[startup+2082.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 6364
/proc/meminfo: memFree=29455700/32770624 swapFree=0/421672
[pid=6147] ppid=6144 vsize=27500 CPUtime=2082.26 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 7523 0 0 0 208226 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 4965560 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 2082.26
Current children cumulated vsize (KiB) 27500
[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 6366
/proc/meminfo: memFree=29455788/32770624 swapFree=0/421696
[pid=6147] ppid=6144 vsize=27500 CPUtime=2142.25 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 7651 0 0 0 214225 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 4962364 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 2142.25
Current children cumulated vsize (KiB) 27500
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 6369
/proc/meminfo: memFree=29456188/32770624 swapFree=0/421704
[pid=6147] ppid=6144 vsize=27500 CPUtime=2202.26 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 7779 0 0 0 220226 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 4968837 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 2202.26
Current children cumulated vsize (KiB) 27500
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 6371
/proc/meminfo: memFree=29456144/32770624 swapFree=0/421708
[pid=6147] ppid=6144 vsize=27500 CPUtime=2262.26 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 7947 0 0 0 226226 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5099648 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 2262.26
Current children cumulated vsize (KiB) 27500
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 6373
/proc/meminfo: memFree=29456304/32770624 swapFree=0/421724
[pid=6147] ppid=6144 vsize=27500 CPUtime=2322.26 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 8116 0 0 0 232226 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 4968801 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 2322.26
Current children cumulated vsize (KiB) 27500
[startup+2382.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 6376
/proc/meminfo: memFree=29455576/32770624 swapFree=0/421740
[pid=6147] ppid=6144 vsize=27500 CPUtime=2382.26 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 8247 0 0 0 238226 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5071744 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 2382.26
Current children cumulated vsize (KiB) 27500
[startup+2442.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 6378
/proc/meminfo: memFree=29454712/32770624 swapFree=0/421764
[pid=6147] ppid=6144 vsize=27500 CPUtime=2442.26 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 8378 0 0 0 244226 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5071769 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 2442.26
Current children cumulated vsize (KiB) 27500
[startup+2502.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/185 6395
/proc/meminfo: memFree=29448680/32770624 swapFree=0/421792
[pid=6147] ppid=6144 vsize=27500 CPUtime=2502.26 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 8508 0 0 0 250226 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5053056 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 2502.26
Current children cumulated vsize (KiB) 27500
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 6395
/proc/meminfo: memFree=29448472/32770624 swapFree=0/421800
[pid=6147] ppid=6144 vsize=27500 CPUtime=2519.96 cores=1,3,5,7
/proc/6147/stat : 6147 (cosoco) R 6144 6147 31775 0 -1 4202496 8639 0 0 0 251996 0 0 0 20 0 1 0 40121912 28160000 1058 18446744073709551615 4194304 5972588 140731500685024 140731500682328 5070704 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 37613568 140731500687854 140731500687949 140731500687949 140731500691406 0
/proc/6147/statm: 6875 1058 829 435 0 238 0
Current children cumulated CPU time (s) 2519.96
Current children cumulated vsize (KiB) 27500
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 6147 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.97
CPU user time (s): 2519.97
CPU system time (s): 0.006
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 27500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.97
system time used= 0.006
maximum resident set size= 4300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8689
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= 11
involuntary context switches= 658
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0575 second user time and 7.99113 second system time
The end