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 (10993 MiB free)
memory of node 1: 16384 MiB (11645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397145-1568575778/watcher-4397145-1568575778 -o /tmp/evaluation-result-4397145-1568575778/solver-4397145-1568575778 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568572745-9395 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397145-1568575778.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10247, runsolver pid=10244
[startup+0.100158 s]*
/proc/loadavg: 2.08 2.05 1.96 3/199 10248
/proc/meminfo: memFree=23180188/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=28736 memory=5008 CPUtime=0.1 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 1461 0 0 0 10 0 0 0 20 0 1 0 433492719 29425664 1252 33554432000 4194304 6211092 140731605612848 140731605609384 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 7184 1252 845 493 0 489 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28736 KiB
Current children cumulated memory: 5008 KiB
[startup+0.209422 s]*
/proc/loadavg: 2.08 2.05 1.96 3/199 10248
/proc/meminfo: memFree=23178080/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=30148 memory=6592 CPUtime=0.21 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 1811 0 0 0 21 0 0 0 20 0 1 0 433492719 30871552 1648 33554432000 4194304 6211092 140731605612848 140731605609384 5013384 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 7537 1648 846 493 0 842 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30148 KiB
Current children cumulated memory: 6592 KiB
[startup+0.308841 s]*
/proc/loadavg: 2.08 2.05 1.96 3/199 10248
/proc/meminfo: memFree=23176344/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=31204 memory=7648 CPUtime=0.31 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 2082 0 0 0 31 0 0 0 20 0 1 0 433492719 31952896 1912 33554432000 4194304 6211092 140731605612848 140731605609384 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 7801 1912 846 493 0 1106 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31204 KiB
Current children cumulated memory: 7648 KiB
[startup+0.700283 s]
/proc/loadavg: 2.08 2.05 1.96 3/199 10248
/proc/meminfo: memFree=23172092/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=35768 memory=12204 CPUtime=0.69 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 3224 0 0 0 69 0 0 0 20 0 1 0 433492719 36626432 3051 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 8942 3051 846 493 0 2247 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35768 KiB
Current children cumulated memory: 12204 KiB
[startup+1.50029 s]
/proc/loadavg: 2.08 2.05 1.96 3/199 10248
/proc/meminfo: memFree=23161228/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=45352 memory=21600 CPUtime=1.49 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 5609 0 0 0 149 0 0 0 20 0 1 0 433492719 46440448 5400 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 11338 5400 846 493 0 4643 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45352 KiB
Current children cumulated memory: 21600 KiB
[startup+3.10921 s]
/proc/loadavg: 2.08 2.05 1.96 3/199 10248
/proc/meminfo: memFree=23122968/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=64636 memory=40700 CPUtime=3.1 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 10445 0 0 0 309 1 0 0 20 0 1 0 433492719 66187264 10175 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 16159 10175 846 493 0 9464 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 64636 KiB
Current children cumulated memory: 40700 KiB
[startup+6.30027 s]
/proc/loadavg: 2.16 2.06 1.97 3/199 10248
/proc/meminfo: memFree=23063556/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=103468 memory=78848 CPUtime=6.29 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 20001 0 0 0 627 2 0 0 20 0 1 0 433492719 105951232 19712 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 25867 19712 846 493 0 19172 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 103468 KiB
Current children cumulated memory: 78848 KiB
[startup+12.7003 s]
/proc/loadavg: 2.14 2.06 1.97 3/199 10248
/proc/meminfo: memFree=22945136/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=181764 memory=155104 CPUtime=12.69 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 39140 0 0 0 1264 5 0 0 20 0 1 0 433492719 186126336 38776 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 45441 38776 846 493 0 38746 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 181764 KiB
Current children cumulated memory: 155104 KiB
[startup+25.5003 s]
/proc/loadavg: 2.11 2.06 1.97 3/200 10250
/proc/meminfo: memFree=22689772/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=332352 memory=307708 CPUtime=25.48 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 76366 0 0 0 2538 10 0 0 20 0 1 0 433492719 340328448 76927 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 83088 76927 846 493 0 76393 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 332352 KiB
Current children cumulated memory: 307708 KiB
[startup+51.1094 s]
/proc/loadavg: 2.07 2.05 1.97 3/199 10250
/proc/meminfo: memFree=22179280/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=641848 memory=612728 CPUtime=51.1 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 150117 0 0 0 5092 18 0 0 20 0 1 0 433492719 657252352 153182 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 160462 153182 846 493 0 153767 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 641848 KiB
Current children cumulated memory: 612728 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 1.97 3/200 10262
/proc/meminfo: memFree=21176108/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=1265980 memory=1224648 CPUtime=102.29 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 296933 0 0 0 10192 37 0 0 20 0 1 0 433492719 1296363520 306162 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 316495 306162 846 493 0 309800 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1265980 KiB
Current children cumulated memory: 1224648 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/201 10268
/proc/meminfo: memFree=19998320/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=1986156 memory=1938860 CPUtime=162.28 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 468328 0 0 0 16171 57 0 0 20 0 1 0 433492719 2033823744 484715 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 496539 484715 846 493 0 489844 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1986156 KiB
Current children cumulated memory: 1938860 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/200 10272
/proc/meminfo: memFree=18818728/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=2725956 memory=2655536 CPUtime=222.29 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 639905 0 0 0 22151 78 0 0 20 0 1 0 433492719 2791378944 663884 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 681489 663884 846 493 0 674794 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2725956 KiB
Current children cumulated memory: 2655536 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/200 10276
/proc/meminfo: memFree=17642448/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=3409572 memory=3369092 CPUtime=282.29 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 810738 0 0 0 28128 101 0 0 20 0 1 0 433492719 3491401728 842273 33554432000 4194304 6211092 140731605612848 140731605594632 139958334617150 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 852393 842273 846 493 0 845698 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 3409572 KiB
Current children cumulated memory: 3369092 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/201 10282
/proc/meminfo: memFree=16465792/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=4174660 memory=4083520 CPUtime=342.29 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 981794 0 0 0 34105 124 0 0 20 0 1 0 433492719 4274851840 1020880 33554432000 4194304 6211092 140731605612848 140731605594632 139958333688638 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 1043665 1020880 846 493 0 1036970 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 4174660 KiB
Current children cumulated memory: 4083520 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 10286
/proc/meminfo: memFree=15287308/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=4856968 memory=4799444 CPUtime=402.29 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 1152687 0 0 0 40082 147 0 0 20 0 1 0 433492719 4973535232 1199861 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 1214242 1199861 846 493 0 1207547 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 4856968 KiB
Current children cumulated memory: 4799444 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 10290
/proc/meminfo: memFree=14110104/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=5541436 memory=5513324 CPUtime=462.28 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 1323672 0 0 0 46057 171 0 0 20 0 1 0 433492719 5674430464 1378331 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 1385359 1378331 846 493 0 1378664 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 5541436 KiB
Current children cumulated memory: 5513324 KiB
################
# More data... #
################
Current children cumulated vsize: 9949924 KiB
Current children cumulated memory: 9797444 KiB
[startup+882.3 s]
/proc/loadavg: 2.41 2.14 2.01 3/202 10334
/proc/meminfo: memFree=5876948/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=10630648 memory=10512344 CPUtime=882.28 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 2519535 0 0 0 87858 370 0 0 20 0 1 0 433492719 10885783552 2628086 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 2657662 2628086 846 493 0 2650967 0
Current children cumulated CPU time: 882.28 s
Current children cumulated vsize: 10630648 KiB
Current children cumulated memory: 10512344 KiB
[startup+942.3 s]
/proc/loadavg: 2.15 2.12 2.01 3/201 10338
/proc/meminfo: memFree=4701832/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=11311636 memory=11223892 CPUtime=942.29 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 2690031 0 0 0 93826 403 0 0 20 0 1 0 433492719 11583115264 2805973 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 2827909 2805973 846 493 0 2821214 0
Current children cumulated CPU time: 942.29 s
Current children cumulated vsize: 11311636 KiB
Current children cumulated memory: 11223892 KiB
[startup+1002.3 s]
/proc/loadavg: 2.05 2.10 2.01 3/199 10342
/proc/meminfo: memFree=3525564/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=11992624 memory=11937876 CPUtime=1002.28 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 2860552 0 0 0 99793 435 0 0 20 0 1 0 433492719 12280446976 2984469 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 2998156 2984469 846 493 0 2991461 0
Current children cumulated CPU time: 1002.28 s
Current children cumulated vsize: 11992624 KiB
Current children cumulated memory: 11937876 KiB
[startup+1062.3 s]
/proc/loadavg: 2.02 2.08 2.01 3/200 10348
/proc/meminfo: memFree=2354816/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=12670180 memory=12646008 CPUtime=1062.28 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 3031111 0 0 0 105737 491 0 0 20 0 1 0 433492719 12974264320 3161502 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 3167545 3161502 846 493 0 3160850 0
Current children cumulated CPU time: 1062.28 s
Current children cumulated vsize: 12670180 KiB
Current children cumulated memory: 12646008 KiB
[startup+1122.3 s]
/proc/loadavg: 2.01 2.07 2.01 3/199 10352
/proc/meminfo: memFree=1188228/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=13628444 memory=13350972 CPUtime=1122.28 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 3200747 0 0 0 111634 594 0 0 20 0 1 0 433492719 13955526656 3337743 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 3407111 3337743 846 493 0 3400416 0
Current children cumulated CPU time: 1122.28 s
Current children cumulated vsize: 13628444 KiB
Current children cumulated memory: 13350972 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/199 10356
/proc/meminfo: memFree=208088/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=14299004 memory=14052340 CPUtime=1182.28 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 3370002 0 0 0 117525 703 0 0 20 0 1 0 433492719 14642180096 3513085 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 3574751 3513085 846 493 0 3568056 0
Current children cumulated CPU time: 1182.28 s
Current children cumulated vsize: 14299004 KiB
Current children cumulated memory: 14052340 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/200 10362
/proc/meminfo: memFree=193568/32770624 swapFree=66939852/67108860
[pid=10247] ppid=10244 vsize=14977220 memory=14763204 CPUtime=1242.28 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 3540832 0 0 0 123475 753 0 0 20 0 1 0 433492719 15336673280 3690801 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 3744305 3690801 846 493 0 3737610 0
Current children cumulated CPU time: 1242.28 s
Current children cumulated vsize: 14977220 KiB
Current children cumulated memory: 14763204 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/200 10374
/proc/meminfo: memFree=184300/32770624 swapFree=66939884/67108860
[pid=10247] ppid=10244 vsize=15655832 memory=15474556 CPUtime=1302.27 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 3710720 0 0 0 129427 800 0 0 20 0 1 0 433492719 16031571968 3868639 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 3913958 3868639 846 493 0 3907263 0
Current children cumulated CPU time: 1302.27 s
Current children cumulated vsize: 15655832 KiB
Current children cumulated memory: 15474556 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1321.5 s]
/proc/loadavg: 2.00 2.04 2.01 3/200 10376
/proc/meminfo: memFree=208000/32770624 swapFree=66939884/67108860
[pid=10247] ppid=10244 vsize=15872444 memory=15703384 CPUtime=1321.47 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 4202496 3764942 0 0 0 131328 819 0 0 20 0 1 0 433492719 16253382656 3925846 33554432000 4194304 6211092 140731605612848 140731605594632 139958333692901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 3968111 3925846 846 493 0 3961416 0
Current children cumulated CPU time: 1321.47 s
Current children cumulated vsize: 15872444 KiB
Current children cumulated memory: 15703384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1324.35 s]
# the end of solver process 10247 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1313.55 s, system=9.06467 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1321.6 s]
/proc/loadavg: 2.00 2.04 2.01 3/200 10376
/proc/meminfo: memFree=208000/32770624 swapFree=66939884/67108860
[pid=10247] ppid=10244 vsize=15872444 memory=15703384 CPUtime=1321.48 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) S 10244 10247 9363 0 -1 512 3764947 0 0 0 131329 819 0 0 20 0 1 0 433492719 16253382656 3925846 33554432000 4194304 6211092 140731605612848 140731605594632 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 3968111 3925846 846 493 0 3961416 0
Current children cumulated CPU time: 1321.48 s
Current children cumulated vsize: 15872444 KiB
Current children cumulated memory: 15703384 KiB
[startup+1322.4 s]
/proc/loadavg: 2.00 2.04 2.01 3/201 10377
/proc/meminfo: memFree=186196/32770624 swapFree=66939884/67108860
[pid=10247] ppid=10244 vsize=15872444 memory=15703384 CPUtime=1321.61 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) S 10244 10247 9363 0 -1 512 3764947 0 0 0 131341 820 0 0 20 0 1 0 433492719 16253382656 3925846 33554432000 4194304 6211092 140731605612848 140731605594632 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 3968111 3925846 846 493 0 3961416 0
Current children cumulated CPU time: 1321.61 s
Current children cumulated vsize: 15872444 KiB
Current children cumulated memory: 15703384 KiB
[startup+1323.2 s]
/proc/loadavg: 2.00 2.04 2.01 2/201 10377
/proc/meminfo: memFree=186872/32770624 swapFree=66939884/67108860
[pid=10247] ppid=10244 vsize=15872444 memory=15703384 CPUtime=1321.71 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) R 10244 10247 9363 0 -1 512 3764947 0 0 0 131350 821 0 0 20 0 1 0 433492719 16253382656 3925846 33554432000 4194304 6211092 140731605612848 140731605594632 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 3968111 3925846 846 493 0 3961416 0
Current children cumulated CPU time: 1321.71 s
Current children cumulated vsize: 15872444 KiB
Current children cumulated memory: 15703384 KiB
[startup+1323.4 s]
/proc/loadavg: 2.00 2.04 2.01 2/201 10377
/proc/meminfo: memFree=186872/32770624 swapFree=66939884/67108860
[pid=10247] ppid=10244 vsize=15872444 memory=15703384 CPUtime=1321.74 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) S 10244 10247 9363 0 -1 512 3764947 0 0 0 131353 821 0 0 20 0 1 0 433492719 16253382656 3925846 33554432000 4194304 6211092 140731605612848 140731605594632 5189768 0 16384 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 3968111 3925846 846 493 0 3961416 0
Current children cumulated CPU time: 1321.74 s
Current children cumulated vsize: 15872444 KiB
Current children cumulated memory: 15703384 KiB
[startup+1323.5 s]
/proc/loadavg: 2.00 2.04 2.01 2/201 10377
/proc/meminfo: memFree=186872/32770624 swapFree=66939884/67108860
[pid=10247] ppid=10244 vsize=15872444 memory=15703384 CPUtime=1321.75 cores=1,3,5,7
/proc/10247/stat : 10247 (cosoco) S 10244 10247 9363 0 -1 512 3764947 0 0 0 131354 821 0 0 20 0 1 0 433492719 16253382656 3925846 33554432000 4194304 6211092 140731605612848 140731605594632 5189768 0 16384 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11948032 140731605615627 140731605615729 140731605615729 140731605618638 0
/proc/10247/statm: 3968111 3925846 846 493 0 3961416 0
Current children cumulated CPU time: 1321.75 s
Current children cumulated vsize: 15872444 KiB
Current children cumulated memory: 15703384 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1324.35
CPU time (s): 1322.61
CPU user time (s): 1313.55
CPU system time (s): 9.06467
CPU usage (%): 99.8689
Max. virtual memory (cumulated for all children) (KiB): 15872444
Max. memory (cumulated for all children) (KiB): 15703384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1313.55
system time used= 9.06467
maximum resident set size= 15703560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3764947
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= 119335
involuntary context switches= 1665
# summary of solver processes directly reported to runsolver:
# pid: 10247
# total CPU time (s): 1322.61
# total CPU user time (s): 1313.55
# total CPU system time (s): 9.06467
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47231 second user time and 9.04508 second system time
The end