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-4260248-1502020256/watcher-4260248-1502020256 -o /tmp/evaluation-result-4260248-1502020256/solver-4260248-1502020256 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502014511-21396 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260248-1502020256.xml
pid=22446
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.94 2.00 2.04 2/180 22449
/proc/meminfo: memFree=31763084/32770624 swapFree=0/313304
[pid=22449] ppid=22446 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/22449/stat : 22449 (runsolver) D 22446 22449 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4219371 24240128 107 18446744073709551615 4194304 4338465 140721459246256 140721459243896 139814031684311 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 9797632 140721459253442 140721459253834 140721459253834 140721459257290 0
/proc/22449/statm: 5918 107 54 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 1.94 2.00 2.04 2/180 22449
/proc/meminfo: memFree=31763084/32770624 swapFree=0/313304
[pid=22449] ppid=22446 vsize=27056 CPUtime=0 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 992 0 0 0 0 0 0 0 20 0 1 0 4219371 27705344 825 18446744073709551615 4194304 5747388 140721347981424 140721347978072 5186938 0 0 1 0 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 6764 825 702 380 0 182 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 27056
[startup+0.200263 s]
/proc/loadavg: 1.94 2.00 2.04 2/180 22449
/proc/meminfo: memFree=31763084/32770624 swapFree=0/313304
[pid=22449] ppid=22446 vsize=29028 CPUtime=0.1 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 1517 0 0 0 10 0 0 0 20 0 1 0 4219371 29724672 1267 18446744073709551615 4194304 5747388 140721347981424 140721347978072 5471759 0 0 1 0 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 7257 1267 706 380 0 675 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29028
[startup+0.300259 s]
/proc/loadavg: 1.94 2.00 2.04 2/180 22449
/proc/meminfo: memFree=31763084/32770624 swapFree=0/313304
[pid=22449] ppid=22446 vsize=30716 CPUtime=0.2 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 1900 0 0 0 20 0 0 0 20 0 1 0 4219371 31453184 1663 18446744073709551615 4194304 5747388 140721347981424 140721347978072 5221474 0 0 1 0 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 7679 1663 706 380 0 1097 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 30716
[startup+0.700222 s]
/proc/loadavg: 1.94 2.00 2.04 2/180 22449
/proc/meminfo: memFree=31763084/32770624 swapFree=0/313304
[pid=22449] ppid=22446 vsize=36768 CPUtime=0.6 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 3309 0 0 0 60 0 0 0 20 0 1 0 4219371 37650432 3049 18446744073709551615 4194304 5747388 140721347981424 140721347978072 5032921 0 0 1 0 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 9262 3115 707 380 0 2680 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 36768
[startup+1.50022 s]
/proc/loadavg: 1.94 2.00 2.04 3/181 22450
/proc/meminfo: memFree=31747816/32770624 swapFree=0/313292
[pid=22449] ppid=22446 vsize=49288 CPUtime=1.4 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 6096 0 0 0 139 1 0 0 20 0 1 0 4219371 50470912 5887 18446744073709551615 4194304 5747388 140721347981424 140721347978072 140609001597483 0 0 1 0 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 12322 5887 707 380 0 5740 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 49288
[startup+3.10032 s]
/proc/loadavg: 1.94 2.00 2.04 3/181 22450
/proc/meminfo: memFree=31732320/32770624 swapFree=0/313288
[pid=22449] ppid=22446 vsize=72232 CPUtime=3 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 18714 0 0 0 298 2 0 0 20 0 1 0 4219371 73965568 11321 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4894018 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 11321 745 380 0 11476 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 72232
[startup+6.30032 s]
/proc/loadavg: 1.86 1.98 2.03 3/181 22450
/proc/meminfo: memFree=31720156/32770624 swapFree=0/313300
[pid=22449] ppid=22446 vsize=72232 CPUtime=6.2 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 29170 0 0 0 618 2 0 0 20 0 1 0 4219371 73965568 11326 18446744073709551615 4194304 5747388 140721347981424 140721347978824 5125648 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 11326 748 380 0 11476 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 72232
[startup+12.7003 s]
/proc/loadavg: 1.87 1.98 2.03 3/181 22451
/proc/meminfo: memFree=31719908/32770624 swapFree=0/313308
[pid=22449] ppid=22446 vsize=72232 CPUtime=12.6 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 39626 0 0 0 1258 2 0 0 20 0 1 0 4219371 73965568 11326 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4894553 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 11326 748 380 0 11476 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 72232
[startup+25.5004 s]
/proc/loadavg: 1.90 1.98 2.03 2/177 22460
/proc/meminfo: memFree=31720944/32770624 swapFree=0/313324
[pid=22449] ppid=22446 vsize=72232 CPUtime=25.4 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 60538 0 0 0 2536 4 0 0 20 0 1 0 4219371 73965568 11326 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893982 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 11326 748 380 0 11476 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 72232
[startup+51.1003 s]
/proc/loadavg: 1.86 1.97 2.03 3/181 22951
/proc/meminfo: memFree=31462820/32770624 swapFree=0/313692
[pid=22449] ppid=22446 vsize=72232 CPUtime=50.99 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 64537 0 0 0 5095 4 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893982 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 72232
[startup+102.3 s]
/proc/loadavg: 1.94 1.97 2.03 3/181 22952
/proc/meminfo: memFree=31384424/32770624 swapFree=0/313736
[pid=22449] ppid=22446 vsize=72232 CPUtime=102.19 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 65194 0 0 0 10215 4 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893991 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 72232
[startup+162.3 s]
/proc/loadavg: 1.98 1.98 2.03 3/181 22954
/proc/meminfo: memFree=31371440/32770624 swapFree=0/313804
[pid=22449] ppid=22446 vsize=72232 CPUtime=162.19 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 65851 0 0 0 16215 4 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4894030 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 72232
[startup+222.306 s]
/proc/loadavg: 2.04 2.00 2.03 3/186 22972
/proc/meminfo: memFree=31362568/32770624 swapFree=0/313880
[pid=22449] ppid=22446 vsize=72232 CPUtime=222.19 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 66508 0 0 0 22215 4 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893987 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 72232
[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/186 22974
/proc/meminfo: memFree=31361276/32770624 swapFree=0/313928
[pid=22449] ppid=22446 vsize=72232 CPUtime=282.18 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 67165 0 0 0 28214 4 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4894030 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 72232
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/183 22976
/proc/meminfo: memFree=31365860/32770624 swapFree=0/313972
[pid=22449] ppid=22446 vsize=72232 CPUtime=342.18 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 67822 0 0 0 34214 4 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893991 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 72232
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/183 22978
/proc/meminfo: memFree=31366224/32770624 swapFree=0/314020
[pid=22449] ppid=22446 vsize=72232 CPUtime=402.17 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 68479 0 0 0 40213 4 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893991 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 72232
[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.04 3/183 22980
/proc/meminfo: memFree=31366104/32770624 swapFree=0/314056
[pid=22449] ppid=22446 vsize=72232 CPUtime=462.17 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 69136 0 0 0 46213 4 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893991 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 72232
[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.04 3/181 22982
/proc/meminfo: memFree=31365864/32770624 swapFree=0/314096
[pid=22449] ppid=22446 vsize=72232 CPUtime=522.17 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 69793 0 0 0 52213 4 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4892866 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 72232
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/181 22984
/proc/meminfo: memFree=31365196/32770624 swapFree=0/314140
[pid=22449] ppid=22446 vsize=72232 CPUtime=582.16 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 70450 0 0 0 58212 4 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893991 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 72232
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/184 23071
/proc/meminfo: memFree=31359864/32770624 swapFree=0/314788
[pid=22449] ppid=22446 vsize=72232 CPUtime=1542.12 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 80354 0 0 0 154208 4 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893991 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 72232
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 23073
/proc/meminfo: memFree=31363656/32770624 swapFree=0/314820
[pid=22449] ppid=22446 vsize=72232 CPUtime=1602.12 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 81011 0 0 0 160207 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893991 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 72232
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 23075
/proc/meminfo: memFree=31364232/32770624 swapFree=0/314848
[pid=22449] ppid=22446 vsize=72232 CPUtime=1662.12 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 81572 0 0 0 166207 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893991 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 1662.12
Current children cumulated vsize (KiB) 72232
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 23077
/proc/meminfo: memFree=31364488/32770624 swapFree=0/314884
[pid=22449] ppid=22446 vsize=72232 CPUtime=1722.12 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 82188 0 0 0 172207 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 5125648 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 72232
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23079
/proc/meminfo: memFree=31364248/32770624 swapFree=0/314920
[pid=22449] ppid=22446 vsize=72232 CPUtime=1782.11 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 82808 0 0 0 178206 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893991 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 72232
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23081
/proc/meminfo: memFree=31364124/32770624 swapFree=0/314948
[pid=22449] ppid=22446 vsize=72232 CPUtime=1842.11 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 83379 0 0 0 184206 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4894030 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 1842.11
Current children cumulated vsize (KiB) 72232
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23083
/proc/meminfo: memFree=31364372/32770624 swapFree=0/314984
[pid=22449] ppid=22446 vsize=72232 CPUtime=1902.11 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 84036 0 0 0 190206 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893982 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 1902.11
Current children cumulated vsize (KiB) 72232
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 23085
/proc/meminfo: memFree=31364496/32770624 swapFree=0/315016
[pid=22449] ppid=22446 vsize=72232 CPUtime=1962.11 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 84558 0 0 0 196206 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893982 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 1962.11
Current children cumulated vsize (KiB) 72232
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 23102
/proc/meminfo: memFree=31360132/32770624 swapFree=0/315076
[pid=22449] ppid=22446 vsize=72232 CPUtime=2022.1 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 85071 0 0 0 202205 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893991 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 2022.1
Current children cumulated vsize (KiB) 72232
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 23104
/proc/meminfo: memFree=31360444/32770624 swapFree=0/315112
[pid=22449] ppid=22446 vsize=72232 CPUtime=2082.11 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 85583 0 0 0 208206 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893991 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 2082.11
Current children cumulated vsize (KiB) 72232
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 23106
/proc/meminfo: memFree=31364080/32770624 swapFree=0/315140
[pid=22449] ppid=22446 vsize=72232 CPUtime=2142.1 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 86080 0 0 0 214205 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4892815 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 2142.1
Current children cumulated vsize (KiB) 72232
[startup+2202.31 s]
/proc/loadavg: 2.11 2.04 2.05 3/182 23108
/proc/meminfo: memFree=31364328/32770624 swapFree=0/315180
[pid=22449] ppid=22446 vsize=72232 CPUtime=2202.1 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 86819 0 0 0 220205 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4894074 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 2202.1
Current children cumulated vsize (KiB) 72232
[startup+2262.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 23110
/proc/meminfo: memFree=31364268/32770624 swapFree=0/315208
[pid=22449] ppid=22446 vsize=72232 CPUtime=2262.09 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 87394 0 0 0 226204 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4892793 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 72232
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 23112
/proc/meminfo: memFree=31364540/32770624 swapFree=0/315244
[pid=22449] ppid=22446 vsize=72232 CPUtime=2322.09 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 88051 0 0 0 232204 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4894018 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 2322.09
Current children cumulated vsize (KiB) 72232
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 23114
/proc/meminfo: memFree=31364540/32770624 swapFree=0/315264
[pid=22449] ppid=22446 vsize=72232 CPUtime=2382.08 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 88583 0 0 0 238203 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4892815 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 72232
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 23115
/proc/meminfo: memFree=31363912/32770624 swapFree=0/315296
[pid=22449] ppid=22446 vsize=72232 CPUtime=2400.09 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 89114 0 0 0 240004 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893991 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 72232
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 22449 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 23115
/proc/meminfo: memFree=31363912/32770624 swapFree=0/315296
[pid=22449] ppid=22446 vsize=72232 CPUtime=2400.09 cores=1,3,5,7
/proc/22449/stat : 22449 (cosoco) R 22446 22449 20633 0 -1 4202496 89114 0 0 0 240004 5 0 0 20 0 1 0 4219371 73965568 12205 18446744073709551615 4194304 5747388 140721347981424 140721347978824 4893991 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 7845728 7850568 28622848 140721347989999 140721347990094 140721347990094 140721347993550 0
/proc/22449/statm: 18058 12205 748 380 0 11476 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 72232
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.1
CPU user time (s): 2400.05
CPU system time (s): 0.053997
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 72232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.053997
maximum resident set size= 48896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89166
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= 24
involuntary context switches= 610
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17699 second user time and 9.40441 second system time
The end