runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14455 MiB free)
memory of node 1: 16384 MiB (15244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390229-1568335453/watcher-4390229-1568335453 -o /tmp/evaluation-result-4390229-1568335453/solver-4390229-1568335453 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568335411-5299 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390229-1568335453.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5329, runsolver pid=5322
Current StackSize limit: 8192 KiB
[startup+0.100643 s]*
/proc/loadavg: 0.61 0.73 0.98 4/203 5330
/proc/meminfo: memFree=30408668/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=28692 memory=4956 CPUtime=0.09 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 1447 0 0 0 9 0 0 0 20 0 1 0 409795825 29380608 1239 33554432000 4194304 6210612 140723935358528 140723935338776 139970586069989 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 7173 1239 845 493 0 478 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28692 KiB
Current children cumulated memory: 4956 KiB
[startup+0.209732 s]*
/proc/loadavg: 0.61 0.73 0.98 4/203 5330
/proc/meminfo: memFree=30407612/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=29800 memory=6012 CPUtime=0.2 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 1721 0 0 0 20 0 0 0 20 0 1 0 409795825 30515200 1503 33554432000 4194304 6210612 140723935358528 140723935338776 139970586069989 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 7450 1503 845 493 0 755 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29800 KiB
Current children cumulated memory: 6012 KiB
[startup+0.309257 s]*
/proc/loadavg: 0.61 0.73 0.98 4/203 5330
/proc/meminfo: memFree=30405196/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=30764 memory=7068 CPUtime=0.3 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 1974 0 0 0 30 0 0 0 20 0 1 0 409795825 31502336 1767 33554432000 4194304 6210612 140723935358528 140723935338776 139970586069989 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 7691 1767 845 493 0 996 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30764 KiB
Current children cumulated memory: 7068 KiB
[startup+0.700231 s]
/proc/loadavg: 0.61 0.73 0.98 4/203 5330
/proc/meminfo: memFree=30402020/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=34668 memory=11100 CPUtime=0.68 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 2948 0 0 0 68 0 0 0 20 0 1 0 409795825 35500032 2775 33554432000 4194304 6210612 140723935358528 140723935338776 5451412 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 8667 2775 845 493 0 1972 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 11100 KiB
[startup+1.50023 s]
/proc/loadavg: 0.61 0.73 0.98 4/203 5330
/proc/meminfo: memFree=30393216/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=42932 memory=19164 CPUtime=1.48 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 4986 0 0 0 148 0 0 0 20 0 1 0 409795825 43962368 4791 33554432000 4194304 6210612 140723935358528 140723935338776 5478541 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 10733 4791 845 493 0 4038 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42932 KiB
Current children cumulated memory: 19164 KiB
[startup+3.10949 s]
/proc/loadavg: 0.64 0.73 0.98 4/203 5330
/proc/meminfo: memFree=30357584/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=59708 memory=35564 CPUtime=3.09 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 9132 0 0 0 308 1 0 0 20 0 1 0 409795825 61140992 8891 33554432000 4194304 6210612 140723935358528 140723935338776 5440971 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 14927 8891 845 493 0 8232 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 59708 KiB
Current children cumulated memory: 35564 KiB
[startup+6.30022 s]
/proc/loadavg: 0.64 0.73 0.98 4/203 5330
/proc/meminfo: memFree=30304116/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=92996 memory=67920 CPUtime=6.28 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 17301 0 0 0 625 3 0 0 20 0 1 0 409795825 95227904 16980 33554432000 4194304 6210612 140723935358528 140723935338776 5440946 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 23249 16980 845 493 0 16554 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 92996 KiB
Current children cumulated memory: 67920 KiB
[startup+12.7002 s]
/proc/loadavg: 0.85 0.78 0.99 4/203 5330
/proc/meminfo: memFree=30197100/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=157460 memory=133164 CPUtime=12.68 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 33662 0 0 0 1263 5 0 0 20 0 1 0 409795825 161239040 33291 33554432000 4194304 6210612 140723935358528 140723935338776 5451376 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 39365 33291 845 493 0 32670 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 157460 KiB
Current children cumulated memory: 133164 KiB
[startup+25.5002 s]
/proc/loadavg: 1.03 0.82 1.00 4/203 5330
/proc/meminfo: memFree=29963096/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=290040 memory=264884 CPUtime=25.48 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 65646 0 0 0 2539 9 0 0 20 0 1 0 409795825 297000960 66221 33554432000 4194304 6210612 140723935358528 140723935338776 139970586993494 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 72510 66221 845 493 0 65815 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 290040 KiB
Current children cumulated memory: 264884 KiB
[startup+51.1096 s]
/proc/loadavg: 1.36 0.91 1.03 4/203 5332
/proc/meminfo: memFree=29495780/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=557352 memory=525332 CPUtime=51.08 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 129338 0 0 0 5090 18 0 0 20 0 1 0 409795825 570728448 131333 33554432000 4194304 6210612 140723935358528 140723935338776 139970586069989 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 139338 131333 845 493 0 132643 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 557352 KiB
Current children cumulated memory: 525332 KiB
[startup+102.3 s]
/proc/loadavg: 1.74 1.09 1.08 4/202 5336
/proc/meminfo: memFree=28578916/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=1071556 memory=1047980 CPUtime=102.26 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 253897 0 0 0 10193 33 0 0 20 0 1 0 409795825 1097273344 261995 33554432000 4194304 6210612 140723935358528 140723935338776 5478246 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 267889 261995 845 493 0 261194 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 1071556 KiB
Current children cumulated memory: 1047980 KiB
[startup+162.3 s]
/proc/loadavg: 1.91 1.26 1.14 4/203 5341
/proc/meminfo: memFree=27498380/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=1716900 memory=1658416 CPUtime=162.25 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 400396 0 0 0 16175 50 0 0 20 0 1 0 409795825 1758105600 414604 33554432000 4194304 6210612 140723935358528 140723935338776 5452063 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 429225 414604 845 493 0 422530 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 1716900 KiB
Current children cumulated memory: 1658416 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.39 1.19 4/203 5347
/proc/meminfo: memFree=26420060/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=2300664 memory=2268908 CPUtime=222.24 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 546362 0 0 0 22157 67 0 0 20 0 1 0 409795825 2355879936 567227 33554432000 4194304 6210612 140723935358528 140723935338776 5012637 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 575166 567227 845 493 0 568471 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2300664 KiB
Current children cumulated memory: 2268908 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.50 1.24 4/204 5352
/proc/meminfo: memFree=25339412/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=2940676 memory=2882088 CPUtime=282.23 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 693056 0 0 0 28137 86 0 0 20 0 1 0 409795825 3011252224 720522 33554432000 4194304 6210612 140723935358528 140723935338776 139970586069989 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 735169 720522 845 493 0 728474 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2940676 KiB
Current children cumulated memory: 2882088 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.59 1.29 4/204 5356
/proc/meminfo: memFree=24259748/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=3527052 memory=3494816 CPUtime=342.22 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 839653 0 0 0 34118 104 0 0 20 0 1 0 409795825 3611701248 873704 33554432000 4194304 6210612 140723935358528 140723935338776 139970586069989 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 881763 873704 845 493 0 875068 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 3527052 KiB
Current children cumulated memory: 3494816 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.67 1.34 4/204 5369
/proc/meminfo: memFree=23175976/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=4196044 memory=4109108 CPUtime=402.22 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 986612 0 0 0 40099 123 0 0 20 0 1 0 409795825 4296749056 1027277 33554432000 4194304 6210612 140723935358528 140723935338776 139970586069989 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 1049011 1027277 845 493 0 1042316 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 4196044 KiB
Current children cumulated memory: 4109108 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.73 1.38 4/203 5373
/proc/meminfo: memFree=22094376/32770624 swapFree=66915816/67108860
[pid=5329] ppid=5322 vsize=4781860 memory=4723568 CPUtime=462.21 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 1133217 0 0 0 46077 144 0 0 20 0 1 0 409795825 4896624640 1180892 33554432000 4194304 6210612 140723935358528 140723935338776 139970586069989 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 1195465 1180892 845 493 0 1188770 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 4781860 KiB
Current children cumulated memory: 4723568 KiB
################
# More data... #
################
Current children cumulated vsize: 9774272 KiB
Current children cumulated memory: 9624052 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 1.95 1.65 4/204 5427
/proc/meminfo: memFree=12374052/32770624 swapFree=66915828/67108860
[pid=5329] ppid=5322 vsize=10359428 memory=10236236 CPUtime=1002.16 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 2452877 0 0 0 99864 352 0 0 20 0 1 0 409795825 10608054272 2559059 33554432000 4194304 6210612 140723935358528 140723935338776 139970586069989 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 2589857 2559059 845 493 0 2583162 0
Current children cumulated CPU time: 1002.16 s
Current children cumulated vsize: 10359428 KiB
Current children cumulated memory: 10236236 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.67 4/205 5453
/proc/meminfo: memFree=11288960/32770624 swapFree=66915832/67108860
[pid=5329] ppid=5322 vsize=10944716 memory=10850660 CPUtime=1062.15 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 2599526 0 0 0 105837 378 0 0 20 0 1 0 409795825 11207389184 2712665 33554432000 4194304 6210612 140723935358528 140723935338776 139970586069989 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 2736179 2712665 845 493 0 2729484 0
Current children cumulated CPU time: 1062.15 s
Current children cumulated vsize: 10944716 KiB
Current children cumulated memory: 10850660 KiB
[startup+1122.3 s]
/proc/loadavg: 1.96 1.95 1.69 4/205 5459
/proc/meminfo: memFree=10212236/32770624 swapFree=66915832/67108860
[pid=5329] ppid=5322 vsize=11530976 memory=11461848 CPUtime=1122.14 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 2746005 0 0 0 111811 403 0 0 20 0 1 0 409795825 11807719424 2865462 33554432000 4194304 6210612 140723935358528 140723935338776 5446744 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 2882744 2865462 845 493 0 2876049 0
Current children cumulated CPU time: 1122.14 s
Current children cumulated vsize: 11530976 KiB
Current children cumulated memory: 11461848 KiB
[startup+1182.3 s]
/proc/loadavg: 1.99 1.96 1.70 4/205 5463
/proc/meminfo: memFree=9133944/32770624 swapFree=66915832/67108860
[pid=5329] ppid=5322 vsize=12114812 memory=12073192 CPUtime=1182.13 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 2892439 0 0 0 117781 432 0 0 20 0 1 0 409795825 12405567488 3018298 33554432000 4194304 6210612 140723935358528 140723935338776 139970586996173 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 3028703 3018298 845 493 0 3022008 0
Current children cumulated CPU time: 1182.13 s
Current children cumulated vsize: 12114812 KiB
Current children cumulated memory: 12073192 KiB
[startup+1242.3 s]
/proc/loadavg: 1.99 1.96 1.72 4/205 5467
/proc/meminfo: memFree=8053868/32770624 swapFree=66915832/67108860
[pid=5329] ppid=5322 vsize=12977608 memory=12684620 CPUtime=1242.12 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 3038888 0 0 0 123753 459 0 0 20 0 1 0 409795825 13289070592 3171155 33554432000 4194304 6210612 140723935358528 140723935338776 5478501 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 3244402 3171155 845 493 0 3237707 0
Current children cumulated CPU time: 1242.12 s
Current children cumulated vsize: 12977608 KiB
Current children cumulated memory: 12684620 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.74 4/203 5473
/proc/meminfo: memFree=6977644/32770624 swapFree=66915832/67108860
[pid=5329] ppid=5322 vsize=13560652 memory=13294204 CPUtime=1302.12 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 3184978 0 0 0 129728 484 0 0 20 0 1 0 409795825 13886107648 3323551 33554432000 4194304 6210612 140723935358528 140723935338776 139970586069989 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 3390163 3323551 845 493 0 3383468 0
Current children cumulated CPU time: 1302.12 s
Current children cumulated vsize: 13560652 KiB
Current children cumulated memory: 13294204 KiB
[startup+1362.3 s]
/proc/loadavg: 1.89 1.94 1.75 4/204 5478
/proc/meminfo: memFree=5899848/32770624 swapFree=66915832/67108860
[pid=5329] ppid=5322 vsize=14142904 memory=13905252 CPUtime=1362.11 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 3330842 0 0 0 135702 509 0 0 20 0 1 0 409795825 14482333696 3476313 33554432000 4194304 6210612 140723935358528 140723935338776 139970586069989 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 3535726 3476313 845 493 0 3529031 0
Current children cumulated CPU time: 1362.11 s
Current children cumulated vsize: 14142904 KiB
Current children cumulated memory: 13905252 KiB
[startup+1422.3 s]
/proc/loadavg: 2.02 1.97 1.77 4/204 5482
/proc/meminfo: memFree=4823060/32770624 swapFree=66915832/67108860
[pid=5329] ppid=5322 vsize=14725156 memory=14514484 CPUtime=1422.09 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 3476720 0 0 0 141672 537 0 0 20 0 1 0 409795825 15078559744 3628621 33554432000 4194304 6210612 140723935358528 140723935338776 5442952 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 3681289 3628621 845 493 0 3674594 0
Current children cumulated CPU time: 1422.09 s
Current children cumulated vsize: 14725156 KiB
Current children cumulated memory: 14514484 KiB
[startup+1482.3 s]
/proc/loadavg: 2.01 1.98 1.78 4/204 5488
/proc/meminfo: memFree=3748336/32770624 swapFree=66915832/67108860
[pid=5329] ppid=5322 vsize=15305824 memory=15124052 CPUtime=1482.08 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 3622353 0 0 0 147637 571 0 0 20 0 1 0 409795825 15673163776 3781013 33554432000 4194304 6210612 140723935358528 140723935338776 5442952 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 3826456 3781013 845 493 0 3819761 0
Current children cumulated CPU time: 1482.08 s
Current children cumulated vsize: 15305824 KiB
Current children cumulated memory: 15124052 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1541 s]*
/proc/loadavg: 2.00 1.98 1.79 4/204 5492
/proc/meminfo: memFree=2688848/32770624 swapFree=66915832/67108860
[pid=5329] ppid=5322 vsize=15872500 memory=15717560 CPUtime=1540.78 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5322 5329 5268 0 -1 4202496 3764624 0 0 0 153462 616 0 0 20 0 1 0 409795825 16253440000 3929390 33554432000 4194304 6210612 140723935358528 140723935338776 5452071 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 3968125 3929390 845 493 0 3961430 0
Current children cumulated CPU time: 1540.78 s
Current children cumulated vsize: 15872500 KiB
Current children cumulated memory: 15717560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.79 4/205 5493
/proc/meminfo: memFree=2227120/32770624 swapFree=66915836/67108860
[pid=5329] ppid=5322 vsize=15872500 memory=15717560 CPUtime=1540.95 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) S 5322 5329 5268 0 -1 512 3764632 0 0 0 153477 618 0 0 20 0 1 0 409795825 16253440000 3929390 33554432000 4194304 6210612 140723935358528 140723935338776 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 3968125 3929390 845 493 0 3961430 0
Current children cumulated CPU time: 1540.95 s
Current children cumulated vsize: 15872500 KiB
Current children cumulated memory: 15717560 KiB
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1543.88 s]
# the end of solver process 5329 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1534.86 s, system=7.05112 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1542.4 s]
/proc/loadavg: 2.00 1.98 1.79 4/205 5493
/proc/meminfo: memFree=2227120/32770624 swapFree=66915836/67108860
[pid=5329] ppid=5322 vsize=15872500 memory=15717560 CPUtime=1540.96 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) S 5322 5329 5268 0 -1 512 3764632 0 0 0 153478 618 0 0 20 0 1 0 409795825 16253440000 3929390 33554432000 4194304 6210612 140723935358528 140723935338776 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 3968125 3929390 845 493 0 3961430 0
Current children cumulated CPU time: 1540.96 s
Current children cumulated vsize: 15872500 KiB
Current children cumulated memory: 15717560 KiB
[startup+1542.8 s]
/proc/loadavg: 2.00 1.98 1.79 4/205 5493
/proc/meminfo: memFree=2227120/32770624 swapFree=66915836/67108860
[pid=5329] ppid=5322 vsize=15872500 memory=15717560 CPUtime=1541.02 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) S 5322 5329 5268 0 -1 512 3764632 0 0 0 153484 618 0 0 20 0 1 0 409795825 16253440000 3929390 33554432000 4194304 6210612 140723935358528 140723935338776 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 3968125 3929390 845 493 0 3961430 0
Current children cumulated CPU time: 1541.02 s
Current children cumulated vsize: 15872500 KiB
Current children cumulated memory: 15717560 KiB
[startup+1543 s]*
/proc/loadavg: 2.00 1.98 1.79 4/205 5493
/proc/meminfo: memFree=1771444/32770624 swapFree=66915836/67108860
[pid=5329] ppid=5322 vsize=15872500 memory=15717560 CPUtime=1541.03 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) S 5322 5329 5268 0 -1 512 3764632 0 0 0 153485 618 0 0 20 0 1 0 409795825 16253440000 3929390 33554432000 4194304 6210612 140723935358528 140723935338776 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 20660224 140723935364107 140723935364209 140723935364209 140723935367118 0
/proc/5329/statm: 3968125 3929390 845 493 0 3961430 0
Current children cumulated CPU time: 1541.03 s
Current children cumulated vsize: 15872500 KiB
Current children cumulated memory: 15717560 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1543.88
CPU time (s): 1541.91
CPU user time (s): 1534.86
CPU system time (s): 7.05112
CPU usage (%): 99.8725
Max. virtual memory (cumulated for all children) (KiB): 15872500
Max. memory (cumulated for all children) (KiB): 15717560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1534.86
system time used= 7.05112
maximum resident set size= 15717644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3764632
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= 110795
involuntary context switches= 3157
# summary of solver processes directly reported to runsolver:
# pid: 5329
# total CPU time (s): 1541.91
# total CPU user time (s): 1534.86
# total CPU system time (s): 7.05112
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.82628 second user time and 10.5408 second system time
The end