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 (15110 MiB free)
memory of node 1: 16384 MiB (15387 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389729-1568321816/watcher-4389729-1568321816 -o /tmp/evaluation-result-4389729-1568321816/solver-4389729-1568321816 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568311987-15586 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389729-1568321816.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=17422, runsolver pid=17419
[startup+0.100107 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 17423
/proc/meminfo: memFree=31228648/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=28692 memory=5216 CPUtime=0.1 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 1471 0 0 0 10 0 0 0 20 0 1 0 408420334 29380608 1304 33554432000 4194304 6210612 140723060926656 140723060923192 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 7173 1304 845 493 0 478 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28692 KiB
Current children cumulated memory: 5216 KiB
[startup+0.209379 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 17423
/proc/meminfo: memFree=31227532/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=29800 memory=6272 CPUtime=0.21 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 1750 0 0 0 21 0 0 0 20 0 1 0 408420334 30515200 1568 33554432000 4194304 6210612 140723060926656 140723060923192 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 7450 1568 845 493 0 755 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29800 KiB
Current children cumulated memory: 6272 KiB
[startup+0.308802 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 17423
/proc/meminfo: memFree=31226416/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=30896 memory=7328 CPUtime=0.31 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 2004 0 0 0 31 0 0 0 20 0 1 0 408420334 31637504 1832 33554432000 4194304 6210612 140723060926656 140723060923192 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 7724 1832 845 493 0 1029 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30896 KiB
Current children cumulated memory: 7328 KiB
[startup+0.70023 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17423
/proc/meminfo: memFree=31224328/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=34800 memory=11100 CPUtime=0.69 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 2986 0 0 0 69 0 0 0 20 0 1 0 408420334 35635200 2775 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 8700 2775 845 493 0 2005 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34800 KiB
Current children cumulated memory: 11100 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17423
/proc/meminfo: memFree=31219352/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=43196 memory=19428 CPUtime=1.49 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 5038 0 0 0 149 0 0 0 20 0 1 0 408420334 44232704 4857 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 10799 4857 845 493 0 4104 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43196 KiB
Current children cumulated memory: 19428 KiB
[startup+3.10934 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17423
/proc/meminfo: memFree=31198396/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=59972 memory=35828 CPUtime=3.1 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 9216 0 0 0 310 0 0 0 20 0 1 0 408420334 61411328 8957 33554432000 4194304 6210612 140723060926656 140723060906904 5451985 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 14993 8957 845 493 0 8298 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 59972 KiB
Current children cumulated memory: 35828 KiB
[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17423
/proc/meminfo: memFree=31167128/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=93656 memory=68712 CPUtime=6.29 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 17446 0 0 0 627 2 0 0 20 0 1 0 408420334 95903744 17178 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 23414 17178 845 493 0 16719 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 93656 KiB
Current children cumulated memory: 68712 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17423
/proc/meminfo: memFree=31105168/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=158516 memory=134768 CPUtime=12.69 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 33508 0 0 0 1265 4 0 0 20 0 1 0 408420334 162320384 33692 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 39629 33692 845 493 0 32934 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 158516 KiB
Current children cumulated memory: 134768 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17423
/proc/meminfo: memFree=30971420/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=292020 memory=265832 CPUtime=25.48 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 65852 0 0 0 2540 8 0 0 20 0 1 0 408420334 299028480 66458 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 73005 66458 845 493 0 66310 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 292020 KiB
Current children cumulated memory: 265832 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17426
/proc/meminfo: memFree=30702308/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=561180 memory=530368 CPUtime=51.08 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 129486 0 0 0 5090 18 0 0 20 0 1 0 408420334 574648320 132592 33554432000 4194304 6210612 140723060926656 140723060906904 140239510571854 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 140295 132592 845 493 0 133600 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 561180 KiB
Current children cumulated memory: 530368 KiB
[startup+102.3 s]
/proc/loadavg: 1.92 2.00 2.04 3/199 17430
/proc/meminfo: memFree=30178800/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=1079212 memory=1054536 CPUtime=102.25 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 255472 0 0 0 10194 31 0 0 20 0 1 0 408420334 1105113088 263634 33554432000 4194304 6210612 140723060926656 140723060906904 5452063 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 269803 263634 845 493 0 263108 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 1079212 KiB
Current children cumulated memory: 1054536 KiB
[startup+162.3 s]
/proc/loadavg: 2.09 2.03 2.05 3/199 17435
/proc/meminfo: memFree=29560540/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=1728648 memory=1671352 CPUtime=162.22 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 403518 0 0 0 16174 48 0 0 20 0 1 0 408420334 1770135552 417838 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 432162 417838 845 493 0 425467 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 1728648 KiB
Current children cumulated memory: 1671352 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/199 17441
/proc/meminfo: memFree=28944088/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=2316636 memory=2285864 CPUtime=222.2 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 550518 0 0 0 22154 66 0 0 20 0 1 0 408420334 2372235264 571466 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 579159 571466 845 493 0 572464 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 2316636 KiB
Current children cumulated memory: 2285864 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/199 17452
/proc/meminfo: memFree=28326240/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=2960080 memory=2902740 CPUtime=282.17 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 698078 0 0 0 28135 82 0 0 20 0 1 0 408420334 3031121920 725685 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 740020 725685 845 493 0 733325 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 2960080 KiB
Current children cumulated memory: 2902740 KiB
[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/200 17479
/proc/meminfo: memFree=27710076/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=3548304 memory=3517148 CPUtime=342.15 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 845117 0 0 0 34114 101 0 0 20 0 1 0 408420334 3633463296 879287 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 887076 879287 845 493 0 880381 0
Current children cumulated CPU time: 342.15 s
Current children cumulated vsize: 3548304 KiB
Current children cumulated memory: 3517148 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/200 17485
/proc/meminfo: memFree=27093376/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=4218880 memory=4132892 CPUtime=402.13 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 992455 0 0 0 40095 118 0 0 20 0 1 0 408420334 4320133120 1033223 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 1054720 1033223 845 493 0 1048025 0
Current children cumulated CPU time: 402.13 s
Current children cumulated vsize: 4218880 KiB
Current children cumulated memory: 4132892 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/200 17489
/proc/meminfo: memFree=26476236/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=4806544 memory=4749432 CPUtime=462.1 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 1139483 0 0 0 46072 138 0 0 20 0 1 0 408420334 4921901056 1187358 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 1201636 1187358 845 493 0 1194941 0
Current children cumulated CPU time: 462.1 s
Current children cumulated vsize: 4806544 KiB
Current children cumulated memory: 4749432 KiB
################
# More data... #
################
Current children cumulated vsize: 9820472 KiB
Current children cumulated memory: 9671640 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17600
/proc/meminfo: memFree=18139716/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=10407740 memory=10287708 CPUtime=1001.89 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 2463734 0 0 0 99871 318 0 0 20 0 1 0 408420334 10657525760 2571927 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 2601935 2571927 845 493 0 2595240 0
Current children cumulated CPU time: 1001.89 s
Current children cumulated vsize: 10407740 KiB
Current children cumulated memory: 10287708 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17604
/proc/meminfo: memFree=16704280/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=10994876 memory=10901856 CPUtime=1061.86 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 2610802 0 0 0 105845 341 0 0 20 0 1 0 408420334 11258753024 2725464 33554432000 4194304 6210612 140723060926656 140723060906904 140239501547441 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 2748719 2725464 845 493 0 2742024 0
Current children cumulated CPU time: 1061.86 s
Current children cumulated vsize: 10994876 KiB
Current children cumulated memory: 10901856 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17610
/proc/meminfo: memFree=15262304/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=11584172 memory=11520080 CPUtime=1121.84 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 2757861 0 0 0 111820 364 0 0 20 0 1 0 408420334 11862192128 2880020 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 2896043 2880020 845 493 0 2889348 0
Current children cumulated CPU time: 1121.84 s
Current children cumulated vsize: 11584172 KiB
Current children cumulated memory: 11520080 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17614
/proc/meminfo: memFree=13827372/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=12171176 memory=12133640 CPUtime=1181.82 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 2904790 0 0 0 117792 390 0 0 20 0 1 0 408420334 12463284224 3033410 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 3042794 3033410 845 493 0 3036099 0
Current children cumulated CPU time: 1181.82 s
Current children cumulated vsize: 12171176 KiB
Current children cumulated memory: 12133640 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17618
/proc/meminfo: memFree=12389320/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=13038592 memory=12749520 CPUtime=1241.8 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 3052273 0 0 0 123763 417 0 0 20 0 1 0 408420334 13351518208 3187380 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 3259648 3187380 845 493 0 3252953 0
Current children cumulated CPU time: 1241.8 s
Current children cumulated vsize: 13038592 KiB
Current children cumulated memory: 12749520 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17624
/proc/meminfo: memFree=10954036/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=13625728 memory=13363132 CPUtime=1301.78 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 3199218 0 0 0 129737 441 0 0 20 0 1 0 408420334 13952745472 3340783 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 3406432 3340783 845 493 0 3399737 0
Current children cumulated CPU time: 1301.78 s
Current children cumulated vsize: 13625728 KiB
Current children cumulated memory: 13363132 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17628
/proc/meminfo: memFree=9517116/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=14212600 memory=13978788 CPUtime=1361.75 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 3346130 0 0 0 135708 467 0 0 20 0 1 0 408420334 14553702400 3494697 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 3553150 3494697 845 493 0 3546455 0
Current children cumulated CPU time: 1361.75 s
Current children cumulated vsize: 14212600 KiB
Current children cumulated memory: 13978788 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17632
/proc/meminfo: memFree=8081748/32770624 swapFree=66940144/67108860
[pid=17422] ppid=17419 vsize=14799736 memory=14592664 CPUtime=1421.71 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 3493069 0 0 0 141678 493 0 0 20 0 1 0 408420334 15154929664 3648166 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 3699934 3648166 845 493 0 3693239 0
Current children cumulated CPU time: 1421.71 s
Current children cumulated vsize: 14799736 KiB
Current children cumulated memory: 14592664 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17646
/proc/meminfo: memFree=6643936/32770624 swapFree=66940148/67108860
[pid=17422] ppid=17419 vsize=15387004 memory=15208428 CPUtime=1481.68 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 3640094 0 0 0 147649 519 0 0 20 0 1 0 408420334 15756292096 3802107 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 3846751 3802107 845 493 0 3840056 0
Current children cumulated CPU time: 1481.68 s
Current children cumulated vsize: 15387004 KiB
Current children cumulated memory: 15208428 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1531.9 s]
/proc/loadavg: 1.96 2.00 2.04 3/200 17649
/proc/meminfo: memFree=5473352/32770624 swapFree=66940148/67108860
[pid=17422] ppid=17419 vsize=15872236 memory=15716312 CPUtime=1531.27 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) R 17419 17422 15554 0 -1 4202496 3761568 0 0 0 152585 542 0 0 20 0 1 0 408420334 16253169664 3929078 33554432000 4194304 6210612 140723060926656 140723060906904 140239500626917 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 3968059 3929078 845 493 0 3961364 0
Current children cumulated CPU time: 1531.27 s
Current children cumulated vsize: 15872236 KiB
Current children cumulated memory: 15716312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1534.6 s]
# the end of solver process 17422 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1526.06 s, system=6.14341 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1532.8 s]
/proc/loadavg: 1.96 2.00 2.04 2/201 17650
/proc/meminfo: memFree=5449760/32770624 swapFree=66940148/67108860
[pid=17422] ppid=17419 vsize=15872236 memory=15716312 CPUtime=1531.33 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) S 17419 17422 15554 0 -1 512 3761573 0 0 0 152591 542 0 0 20 0 1 0 408420334 16253169664 3929078 33554432000 4194304 6210612 140723060926656 140723060906904 5188952 0 16384 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 3968059 3929078 845 493 0 3961364 0
Current children cumulated CPU time: 1531.33 s
Current children cumulated vsize: 15872236 KiB
Current children cumulated memory: 15716312 KiB
[startup+1533.6 s]
/proc/loadavg: 1.96 2.00 2.04 4/201 17650
/proc/meminfo: memFree=5057896/32770624 swapFree=66940156/67108860
[pid=17422] ppid=17419 vsize=15872236 memory=15716312 CPUtime=1531.45 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) S 17419 17422 15554 0 -1 512 3761573 0 0 0 152602 543 0 0 20 0 1 0 408420334 16253169664 3929078 33554432000 4194304 6210612 140723060926656 140723060906904 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 3968059 3929078 845 493 0 3961364 0
Current children cumulated CPU time: 1531.45 s
Current children cumulated vsize: 15872236 KiB
Current children cumulated memory: 15716312 KiB
[startup+1533.8 s]
/proc/loadavg: 1.96 2.00 2.04 4/201 17650
/proc/meminfo: memFree=5057896/32770624 swapFree=66940156/67108860
[pid=17422] ppid=17419 vsize=15872236 memory=15716312 CPUtime=1531.48 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) S 17419 17422 15554 0 -1 512 3761573 0 0 0 152604 544 0 0 20 0 1 0 408420334 16253169664 3929078 33554432000 4194304 6210612 140723060926656 140723060906904 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 3968059 3929078 845 493 0 3961364 0
Current children cumulated CPU time: 1531.48 s
Current children cumulated vsize: 15872236 KiB
Current children cumulated memory: 15716312 KiB
[startup+1533.9 s]
/proc/loadavg: 1.96 2.00 2.04 4/201 17650
/proc/meminfo: memFree=5057896/32770624 swapFree=66940156/67108860
[pid=17422] ppid=17419 vsize=15872236 memory=15716312 CPUtime=1531.49 cores=1,3,5,7
/proc/17422/stat : 17422 (cosoco) S 17419 17422 15554 0 -1 512 3761573 0 0 0 152605 544 0 0 20 0 1 0 408420334 16253169664 3929078 33554432000 4194304 6210612 140723060926656 140723060906904 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8308220 8313664 37310464 140723060933643 140723060933745 140723060933745 140723060936654 0
/proc/17422/statm: 3968059 3929078 845 493 0 3961364 0
Current children cumulated CPU time: 1531.49 s
Current children cumulated vsize: 15872236 KiB
Current children cumulated memory: 15716312 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1534.6
CPU time (s): 1532.2
CPU user time (s): 1526.06
CPU system time (s): 6.14341
CPU usage (%): 99.8436
Max. virtual memory (cumulated for all children) (KiB): 15872236
Max. memory (cumulated for all children) (KiB): 15716312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1526.06
system time used= 6.14342
maximum resident set size= 15716432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3761573
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= 101597
involuntary context switches= 2812
# summary of solver processes directly reported to runsolver:
# pid: 17422
# total CPU time (s): 1532.2
# total CPU user time (s): 1526.06
# total CPU system time (s): 6.14341
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55084 second user time and 11.1906 second system time
The end