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 (14803 MiB free)
memory of node 1: 16384 MiB (13424 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396910-1568577867/watcher-4396910-1568577867 -o /tmp/evaluation-result-4396910-1568577867/solver-4396910-1568577867 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568572742-17154 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396910-1568577867.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=18131, runsolver pid=18128
[startup+0.100156 s]*
/proc/loadavg: 1.92 2.00 2.04 3/201 18132
/proc/meminfo: memFree=28903652/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=29104 memory=5468 CPUtime=0.1 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 1550 0 0 0 10 0 0 0 20 0 1 0 433723233 29802496 1367 33554432000 4194304 6211092 140734616255920 140734616252456 5478709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 7276 1367 842 493 0 581 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29104 KiB
Current children cumulated memory: 5468 KiB
[startup+0.209626 s]*
/proc/loadavg: 1.92 2.00 2.04 3/201 18132
/proc/meminfo: memFree=28902536/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=30252 memory=6524 CPUtime=0.21 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 1856 0 0 0 21 0 0 0 20 0 1 0 433723233 30978048 1631 33554432000 4194304 6211092 140734616255920 140734616252456 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 7563 1631 842 493 0 868 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30252 KiB
Current children cumulated memory: 6524 KiB
[startup+0.309207 s]*
/proc/loadavg: 1.92 2.00 2.04 3/201 18132
/proc/meminfo: memFree=28901048/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=31348 memory=7844 CPUtime=0.31 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 2134 0 0 0 31 0 0 0 20 0 1 0 433723233 32100352 1961 33554432000 4194304 6211092 140734616255920 140734616252456 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 7837 1961 842 493 0 1142 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31348 KiB
Current children cumulated memory: 7844 KiB
[startup+0.70028 s]
/proc/loadavg: 1.92 2.00 2.04 3/201 18132
/proc/meminfo: memFree=28898816/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=35780 memory=11996 CPUtime=0.69 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 3205 0 0 0 69 0 0 0 20 0 1 0 433723233 36638720 2999 33554432000 4194304 6211092 140734616255920 140734616252456 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 8945 2999 842 493 0 2250 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35780 KiB
Current children cumulated memory: 11996 KiB
[startup+1.50029 s]
/proc/loadavg: 1.92 2.00 2.04 3/201 18132
/proc/meminfo: memFree=28893236/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=44704 memory=20904 CPUtime=1.49 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 5440 0 0 0 149 0 0 0 20 0 1 0 433723233 45776896 5226 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 11176 5226 842 493 0 4481 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44704 KiB
Current children cumulated memory: 20904 KiB
[startup+3.10953 s]
/proc/loadavg: 1.92 2.00 2.04 3/201 18132
/proc/meminfo: memFree=28870792/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=63096 memory=38972 CPUtime=3.1 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 10003 0 0 0 309 1 0 0 20 0 1 0 433723233 64610304 9743 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 15774 9743 842 493 0 9079 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 63096 KiB
Current children cumulated memory: 38972 KiB
[startup+6.30029 s]
/proc/loadavg: 1.93 2.00 2.04 3/201 18132
/proc/meminfo: memFree=28837340/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=99892 memory=74712 CPUtime=6.29 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 18995 0 0 0 627 2 0 0 20 0 1 0 433723233 102289408 18678 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 24973 18678 842 493 0 18278 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 99892 KiB
Current children cumulated memory: 74712 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/201 18132
/proc/meminfo: memFree=28769168/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=170904 memory=146420 CPUtime=12.69 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 36983 0 0 0 1265 4 0 0 20 0 1 0 433723233 175005696 36605 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 42726 36605 842 493 0 36031 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170904 KiB
Current children cumulated memory: 146420 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/201 18132
/proc/meminfo: memFree=28621936/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=316956 memory=290396 CPUtime=25.48 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 72572 0 0 0 2539 9 0 0 20 0 1 0 433723233 324562944 72599 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 79239 72599 842 493 0 72544 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 316956 KiB
Current children cumulated memory: 290396 KiB
[startup+51.1095 s]
/proc/loadavg: 1.97 2.00 2.04 3/201 18135
/proc/meminfo: memFree=28328352/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=611352 memory=578328 CPUtime=51.09 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 142581 0 0 0 5091 18 0 0 20 0 1 0 433723233 626024448 144582 33554432000 4194304 6211092 140734616255920 140734616237128 5443092 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 152838 144582 842 493 0 146143 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 611352 KiB
Current children cumulated memory: 578328 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/201 18139
/proc/meminfo: memFree=27755672/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=1180692 memory=1151584 CPUtime=102.29 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 280769 0 0 0 10193 36 0 0 20 0 1 0 433723233 1209028608 287896 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 295173 287896 842 493 0 288478 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1180692 KiB
Current children cumulated memory: 1151584 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 18143
/proc/meminfo: memFree=27082932/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=1851412 memory=1822496 CPUtime=162.28 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 442459 0 0 0 16174 54 0 0 20 0 1 0 433723233 1895845888 455624 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 462853 455624 842 493 0 456158 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1851412 KiB
Current children cumulated memory: 1822496 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18149
/proc/meminfo: memFree=26402924/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=2536872 memory=2495552 CPUtime=222.28 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 603604 0 0 0 22154 74 0 0 20 0 1 0 433723233 2597756928 623888 33554432000 4194304 6211092 140734616255920 140734616237128 140645557525310 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 634218 623888 842 493 0 627523 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2536872 KiB
Current children cumulated memory: 2495552 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18153
/proc/meminfo: memFree=25730836/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=3244428 memory=3167392 CPUtime=282.29 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 765032 0 0 0 28135 94 0 0 20 0 1 0 433723233 3322294272 791848 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 811107 791848 842 493 0 804412 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 3244428 KiB
Current children cumulated memory: 3167392 KiB
[startup+342.3 s]
/proc/loadavg: 2.39 2.09 2.07 3/199 18157
/proc/meminfo: memFree=25057436/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=3885420 memory=3839092 CPUtime=342.29 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 925418 0 0 0 34116 113 0 0 20 0 1 0 433723233 3978670080 959773 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 971355 959773 842 493 0 964660 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 3885420 KiB
Current children cumulated memory: 3839092 KiB
[startup+402.3 s]
/proc/loadavg: 2.33 2.15 2.09 3/200 18171
/proc/meminfo: memFree=24383312/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=4625728 memory=4509860 CPUtime=402.27 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 1086665 0 0 0 40092 135 0 0 20 0 1 0 433723233 4736745472 1127465 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 1156432 1127465 842 493 0 1149737 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 4625728 KiB
Current children cumulated memory: 4509860 KiB
[startup+462.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/200 18175
/proc/meminfo: memFree=23711124/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=5267248 memory=5184240 CPUtime=462.24 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 1247235 0 0 0 46066 158 0 0 20 0 1 0 433723233 5393661952 1296060 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 1316812 1296060 842 493 0 1310117 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 5267248 KiB
Current children cumulated memory: 5184240 KiB
################
# More data... #
################
Current children cumulated vsize: 8622172 KiB
Current children cumulated memory: 8541468 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 18203
/proc/meminfo: memFree=19672356/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=9300076 memory=9213128 CPUtime=822.1 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 2211636 0 0 0 81903 307 0 0 20 0 1 0 433723233 9523277824 2303282 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 2325019 2303282 842 493 0 2318324 0
Current children cumulated CPU time: 822.1 s
Current children cumulated vsize: 9300076 KiB
Current children cumulated memory: 9213128 KiB
[startup+882.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/199 18207
/proc/meminfo: memFree=18999292/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=9940672 memory=9884672 CPUtime=882.08 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 2372046 0 0 0 87875 333 0 0 20 0 1 0 433723233 10179248128 2471168 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 2485168 2471168 842 493 0 2478473 0
Current children cumulated CPU time: 882.08 s
Current children cumulated vsize: 9940672 KiB
Current children cumulated memory: 9884672 KiB
[startup+942.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/199 18213
/proc/meminfo: memFree=18329332/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=10768124 memory=10553336 CPUtime=942.05 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 2533301 0 0 0 93846 359 0 0 20 0 1 0 433723233 11026558976 2638334 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 2692031 2638334 842 493 0 2685336 0
Current children cumulated CPU time: 942.05 s
Current children cumulated vsize: 10768124 KiB
Current children cumulated memory: 10553336 KiB
[startup+1002.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/199 18224
/proc/meminfo: memFree=17656292/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=11408852 memory=11224508 CPUtime=1002.03 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 2693730 0 0 0 99820 383 0 0 20 0 1 0 433723233 11682664448 2806127 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 2852213 2806127 842 493 0 2845518 0
Current children cumulated CPU time: 1002.03 s
Current children cumulated vsize: 11408852 KiB
Current children cumulated memory: 11224508 KiB
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/199 18228
/proc/meminfo: memFree=16983772/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=12049316 memory=11895840 CPUtime=1062.01 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 2854071 0 0 0 105789 412 0 0 20 0 1 0 433723233 12338499584 2973960 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 3012329 2973960 842 493 0 3005634 0
Current children cumulated CPU time: 1062.01 s
Current children cumulated vsize: 12049316 KiB
Current children cumulated memory: 11895840 KiB
[startup+1122.3 s]
/proc/loadavg: 2.16 2.07 2.06 3/199 18234
/proc/meminfo: memFree=16310792/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=12689780 memory=12566960 CPUtime=1121.99 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 3014468 0 0 0 111755 444 0 0 20 0 1 0 433723233 12994334720 3141740 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 3172445 3141740 842 493 0 3165750 0
Current children cumulated CPU time: 1121.99 s
Current children cumulated vsize: 12689780 KiB
Current children cumulated memory: 12566960 KiB
[startup+1182.3 s]
/proc/loadavg: 2.35 2.16 2.09 3/199 18238
/proc/meminfo: memFree=15639120/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=13385608 memory=13238304 CPUtime=1181.97 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 3175361 0 0 0 117724 473 0 0 20 0 1 0 433723233 13706862592 3309576 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 3346402 3309576 842 493 0 3339707 0
Current children cumulated CPU time: 1181.97 s
Current children cumulated vsize: 13385608 KiB
Current children cumulated memory: 13238304 KiB
[startup+1242.3 s]
/proc/loadavg: 2.13 2.13 2.08 3/199 18242
/proc/meminfo: memFree=14967192/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=14025676 memory=13908948 CPUtime=1241.95 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 3335640 0 0 0 123689 506 0 0 20 0 1 0 433723233 14362292224 3477237 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 3506419 3477237 842 493 0 3499724 0
Current children cumulated CPU time: 1241.95 s
Current children cumulated vsize: 14025676 KiB
Current children cumulated memory: 13908948 KiB
[startup+1302.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/199 18249
/proc/meminfo: memFree=14294332/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=14665348 memory=14579488 CPUtime=1301.94 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 3495853 0 0 0 129651 543 0 0 20 0 1 0 433723233 15017316352 3644872 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 3666337 3644872 842 493 0 3659642 0
Current children cumulated CPU time: 1301.94 s
Current children cumulated vsize: 14665348 KiB
Current children cumulated memory: 14579488 KiB
[startup+1362.3 s]
/proc/loadavg: 2.02 2.09 2.07 3/199 18253
/proc/meminfo: memFree=13622196/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=15585300 memory=15249660 CPUtime=1361.92 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 3656525 0 0 0 135613 579 0 0 20 0 1 0 433723233 15959347200 3812415 33554432000 4194304 6211092 140734616255920 140734616237128 140645557525310 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 3896325 3812415 842 493 0 3889630 0
Current children cumulated CPU time: 1361.92 s
Current children cumulated vsize: 15585300 KiB
Current children cumulated memory: 15249660 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1389.2 s]
/proc/loadavg: 2.01 2.08 2.07 3/199 18256
/proc/meminfo: memFree=13319820/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=15872136 memory=15550996 CPUtime=1388.81 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 4202496 3728359 0 0 0 138286 595 0 0 20 0 1 0 433723233 16253067264 3887749 33554432000 4194304 6211092 140734616255920 140734616237128 140645557529573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 3968034 3887749 842 493 0 3961339 0
Current children cumulated CPU time: 1388.81 s
Current children cumulated vsize: 15872136 KiB
Current children cumulated memory: 15550996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1391.96 s]
# the end of solver process 18131 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1383.14 s, system=6.75387 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1390.4 s]
/proc/loadavg: 2.01 2.08 2.07 3/200 18257
/proc/meminfo: memFree=12888656/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=15872136 memory=15550996 CPUtime=1389 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) R 18128 18131 17122 0 -1 512 3728364 0 0 0 138302 598 0 0 20 0 1 0 433723233 16253067264 3887749 33554432000 4194304 6211092 140734616255920 140734616237128 5189768 0 16384 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 3968034 3887749 842 493 0 3961339 0
Current children cumulated CPU time: 1389 s
Current children cumulated vsize: 15872136 KiB
Current children cumulated memory: 15550996 KiB
[startup+1390.8 s]
/proc/loadavg: 2.01 2.08 2.07 3/200 18257
/proc/meminfo: memFree=12888656/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=15872136 memory=15550996 CPUtime=1389.07 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) S 18128 18131 17122 0 -1 512 3728364 0 0 0 138308 599 0 0 20 0 1 0 433723233 16253067264 3887749 33554432000 4194304 6211092 140734616255920 140734616237128 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 3968034 3887749 842 493 0 3961339 0
Current children cumulated CPU time: 1389.07 s
Current children cumulated vsize: 15872136 KiB
Current children cumulated memory: 15550996 KiB
[startup+1391.2 s]
/proc/loadavg: 2.01 2.08 2.07 3/200 18257
/proc/meminfo: memFree=12333244/32770624 swapFree=66958308/67108860
[pid=18131] ppid=18128 vsize=15872136 memory=15550996 CPUtime=1389.13 cores=1,3,5,7
/proc/18131/stat : 18131 (cosoco) S 18128 18131 17122 0 -1 512 3728364 0 0 0 138314 599 0 0 20 0 1 0 433723233 16253067264 3887749 33554432000 4194304 6211092 140734616255920 140734616237128 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 36098048 140734616261643 140734616261745 140734616261745 140734616264654 0
/proc/18131/statm: 3968034 3887749 842 493 0 3961339 0
Current children cumulated CPU time: 1389.13 s
Current children cumulated vsize: 15872136 KiB
Current children cumulated memory: 15550996 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1391.96
CPU time (s): 1389.9
CPU user time (s): 1383.14
CPU system time (s): 6.75387
CPU usage (%): 99.8519
Max. virtual memory (cumulated for all children) (KiB): 15872136
Max. memory (cumulated for all children) (KiB): 15550996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1383.14
system time used= 6.75387
maximum resident set size= 15551044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3728364
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= 134318
involuntary context switches= 1065
# summary of solver processes directly reported to runsolver:
# pid: 18131
# total CPU time (s): 1389.9
# total CPU user time (s): 1383.14
# total CPU system time (s): 6.75387
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51124 second user time and 9.87873 second system time
The end