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 (12563 MiB free)
memory of node 1: 16384 MiB (6086 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390426-1568355035/watcher-4390426-1568355035 -o /tmp/evaluation-result-4390426-1568355035/solver-4390426-1568355035 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568344627-20924 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390426-1568355035.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=22741, runsolver pid=22738
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 22742
/proc/meminfo: memFree=19083940/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=39152 memory=15352 CPUtime=0.1 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 4007 0 0 0 9 1 0 0 20 0 1 0 411768385 40091648 3838 33554432000 4194304 6210612 140735498234288 140735498230824 140330413167744 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 9788 3838 809 493 0 3093 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 15352 KiB
[startup+0.209647 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 22742
/proc/meminfo: memFree=19081336/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=40728 memory=16868 CPUtime=0.21 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 4429 0 0 0 20 1 0 0 20 0 1 0 411768385 41705472 4217 33554432000 4194304 6210612 140735498234288 140735498230824 140330397174074 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 10182 4217 819 493 0 3487 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16868 KiB
[startup+0.308932 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 22742
/proc/meminfo: memFree=19078856/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=41712 memory=17924 CPUtime=0.31 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 4679 0 0 0 30 1 0 0 20 0 1 0 411768385 42713088 4481 33554432000 4194304 6210612 140735498234288 140735498207848 140330397105125 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 10428 4481 819 493 0 3733 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17924 KiB
[startup+0.70023 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22742
/proc/meminfo: memFree=19075136/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=45708 memory=21988 CPUtime=0.69 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 5661 0 0 0 68 1 0 0 20 0 1 0 411768385 46804992 5497 33554432000 4194304 6210612 140735498234288 140735498207848 5455493 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 11427 5497 819 493 0 4732 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21988 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22742
/proc/meminfo: memFree=19065224/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=53944 memory=30048 CPUtime=1.48 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 7714 0 0 0 147 1 0 0 20 0 1 0 411768385 55238656 7512 33554432000 4194304 6210612 140735498234288 140735498207848 140330398031255 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 13486 7512 819 493 0 6791 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53944 KiB
Current children cumulated memory: 30048 KiB
[startup+3.1092 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22742
/proc/meminfo: memFree=19024476/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=70760 memory=46536 CPUtime=3.1 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 12023 0 0 0 308 2 0 0 20 0 1 0 411768385 72458240 11634 33554432000 4194304 6210612 140735498234288 140735498207848 5451450 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 17690 11634 819 493 0 10995 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70760 KiB
Current children cumulated memory: 46536 KiB
[startup+6.30022 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 22750
/proc/meminfo: memFree=18962468/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=104040 memory=79460 CPUtime=6.29 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 20392 0 0 0 626 3 0 0 20 0 1 0 411768385 106536960 19865 33554432000 4194304 6210612 140735498234288 140735498207848 5451347 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 26010 19865 819 493 0 19315 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104040 KiB
Current children cumulated memory: 79460 KiB
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/200 22750
/proc/meminfo: memFree=18837816/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=169368 memory=145196 CPUtime=12.68 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 37023 0 0 0 1263 5 0 0 20 0 1 0 411768385 173432832 36299 33554432000 4194304 6210612 140735498234288 140735498207848 5012715 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 42342 36299 819 493 0 35647 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 169368 KiB
Current children cumulated memory: 145196 KiB
[startup+25.5002 s]
/proc/loadavg: 1.95 2.00 2.04 3/200 22752
/proc/meminfo: memFree=18568844/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=302280 memory=276888 CPUtime=25.48 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 70265 0 0 0 2538 10 0 0 20 0 1 0 411768385 309534720 69222 33554432000 4194304 6210612 140735498234288 140735498207848 5446119 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 75570 69222 819 493 0 68875 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 302280 KiB
Current children cumulated memory: 276888 KiB
[startup+51.1093 s]
/proc/loadavg: 1.96 2.00 2.04 3/200 22752
/proc/meminfo: memFree=18026816/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=569588 memory=541740 CPUtime=51.09 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 135125 0 0 0 5090 19 0 0 20 0 1 0 411768385 583258112 135435 33554432000 4194304 6210612 140735498234288 140735498207848 5012666 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 142397 135435 819 493 0 135702 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 569588 KiB
Current children cumulated memory: 541740 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/200 22756
/proc/meminfo: memFree=16971960/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=1107504 memory=1067520 CPUtime=102.28 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 263633 0 0 0 10193 35 0 0 20 0 1 0 411768385 1134084096 266880 33554432000 4194304 6210612 140735498234288 140735498207848 5480090 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 276876 266880 819 493 0 270181 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1107504 KiB
Current children cumulated memory: 1067520 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/201 22763
/proc/meminfo: memFree=15727544/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=1730332 memory=1685528 CPUtime=162.27 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 414080 0 0 0 16174 53 0 0 20 0 1 0 411768385 1771859968 421382 33554432000 4194304 6210612 140735498234288 140735498207848 140330398025649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 432583 421382 819 493 0 425888 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1730332 KiB
Current children cumulated memory: 1685528 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 22767
/proc/meminfo: memFree=14481216/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=2328688 memory=2304192 CPUtime=222.27 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 563654 0 0 0 22154 73 0 0 20 0 1 0 411768385 2384576512 576048 33554432000 4194304 6210612 140735498234288 140735498207848 5012628 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 582172 576048 819 493 0 575477 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2328688 KiB
Current children cumulated memory: 2304192 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 22771
/proc/meminfo: memFree=13236084/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=2963824 memory=2921148 CPUtime=282.26 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 713930 0 0 0 28135 91 0 0 20 0 1 0 411768385 3034955776 730287 33554432000 4194304 6210612 140735498234288 140735498207848 140330397105125 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 740956 730287 819 493 0 734261 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2963824 KiB
Current children cumulated memory: 2921148 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 22777
/proc/meminfo: memFree=11993828/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=3561652 memory=3537464 CPUtime=342.25 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 863744 0 0 0 34113 112 0 0 20 0 1 0 411768385 3647131648 884366 33554432000 4194304 6210612 140735498234288 140735498207848 5452055 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 890413 884366 819 493 0 883718 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 3561652 KiB
Current children cumulated memory: 3537464 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 22781
/proc/meminfo: memFree=10747888/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=4214976 memory=4156000 CPUtime=402.25 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 1014285 0 0 0 40090 135 0 0 20 0 1 0 411768385 4316135424 1038934 33554432000 4194304 6210612 140735498234288 140735498207848 140330398029043 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 1053744 1039000 819 493 0 1047049 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 4214976 KiB
Current children cumulated memory: 4156000 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 22785
/proc/meminfo: memFree=9506540/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=4812672 memory=4771856 CPUtime=462.25 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 1164234 0 0 0 46065 160 0 0 20 0 1 0 411768385 4928176128 1192964 33554432000 4194304 6210612 140735498234288 140735498207848 5440930 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 1203168 1192964 819 493 0 1196473 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 4812672 KiB
Current children cumulated memory: 4771856 KiB
################
# More data... #
################
Current children cumulated vsize: 9827328 KiB
Current children cumulated memory: 9734112 KiB
[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.06 3/199 22902
/proc/meminfo: memFree=18186736/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=10428456 memory=10355388 CPUtime=1002.05 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 2519731 0 0 0 99822 383 0 0 20 0 1 0 411768385 10678738944 2588847 33554432000 4194304 6210612 140735498234288 140735498207848 5446483 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 2607114 2588847 819 493 0 2600419 0
Current children cumulated CPU time: 1002.05 s
Current children cumulated vsize: 10428456 KiB
Current children cumulated memory: 10355388 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 22908
/proc/meminfo: memFree=17552836/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=11028264 memory=10973788 CPUtime=1062.02 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 2669909 0 0 0 105793 409 0 0 20 0 1 0 411768385 11292942336 2743447 33554432000 4194304 6210612 140735498234288 140735498207848 140330397105125 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 2757066 2743447 819 493 0 2750371 0
Current children cumulated CPU time: 1062.02 s
Current children cumulated vsize: 11028264 KiB
Current children cumulated memory: 10973788 KiB
[startup+1122.3 s]
/proc/loadavg: 1.96 2.01 2.04 3/199 22913
/proc/meminfo: memFree=16929920/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=11630316 memory=11596184 CPUtime=1122 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 2820691 0 0 0 111762 438 0 0 20 0 1 0 411768385 11909443584 2899046 33554432000 4194304 6210612 140735498234288 140735498207848 140330397105125 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 2907579 2899046 819 493 0 2900884 0
Current children cumulated CPU time: 1122 s
Current children cumulated vsize: 11630316 KiB
Current children cumulated memory: 11596184 KiB
[startup+1182.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/199 22917
/proc/meminfo: memFree=16306732/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=12419752 memory=12216748 CPUtime=1181.98 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 2972467 0 0 0 117731 467 0 0 20 0 1 0 411768385 12717826048 3054187 33554432000 4194304 6210612 140735498234288 140735498207848 5442936 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 3104938 3054187 819 493 0 3098243 0
Current children cumulated CPU time: 1181.98 s
Current children cumulated vsize: 12419752 KiB
Current children cumulated memory: 12216748 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 22931
/proc/meminfo: memFree=15682172/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=13021936 memory=12839576 CPUtime=1241.96 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 3123252 0 0 0 123701 495 0 0 20 0 1 0 411768385 13334462464 3209894 33554432000 4194304 6210612 140735498234288 140735498207848 140330397105125 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 3255484 3209894 819 493 0 3248789 0
Current children cumulated CPU time: 1241.96 s
Current children cumulated vsize: 13021936 KiB
Current children cumulated memory: 12839576 KiB
[startup+1302.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 22935
/proc/meminfo: memFree=15060656/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=13623592 memory=13459436 CPUtime=1301.94 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 3273917 0 0 0 129664 530 0 0 20 0 1 0 411768385 13950558208 3364859 33554432000 4194304 6210612 140735498234288 140735498207848 140330398029014 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 3405898 3364859 819 493 0 3399203 0
Current children cumulated CPU time: 1301.94 s
Current children cumulated vsize: 13623592 KiB
Current children cumulated memory: 13459436 KiB
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 22939
/proc/meminfo: memFree=14437540/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=14225248 memory=14081568 CPUtime=1361.93 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 3424581 0 0 0 135627 566 0 0 20 0 1 0 411768385 14566653952 3520392 33554432000 4194304 6210612 140735498234288 140735498207848 140330397105125 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 3556312 3520392 819 493 0 3549617 0
Current children cumulated CPU time: 1361.93 s
Current children cumulated vsize: 14225248 KiB
Current children cumulated memory: 14081568 KiB
[startup+1422.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 22945
/proc/meminfo: memFree=13816340/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=14826640 memory=14701392 CPUtime=1421.9 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 3575201 0 0 0 141584 606 0 0 20 0 1 0 411768385 15182479360 3675348 33554432000 4194304 6210612 140735498234288 140735498207848 5454020 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 3706660 3675348 819 493 0 3699965 0
Current children cumulated CPU time: 1421.9 s
Current children cumulated vsize: 14826640 KiB
Current children cumulated memory: 14701392 KiB
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 22949
/proc/meminfo: memFree=13193288/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=15428032 memory=15323260 CPUtime=1481.89 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 3725813 0 0 0 147544 645 0 0 20 0 1 0 411768385 15798304768 3830815 33554432000 4194304 6210612 140735498234288 140735498207848 5442936 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 3857008 3830815 819 493 0 3850313 0
Current children cumulated CPU time: 1481.89 s
Current children cumulated vsize: 15428032 KiB
Current children cumulated memory: 15323260 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1526.7 s]
/proc/loadavg: 2.06 2.04 2.05 3/199 22952
/proc/meminfo: memFree=12737084/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=15872872 memory=15782384 CPUtime=1526.28 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 4202496 3837235 0 0 0 151955 673 0 0 20 0 1 0 411768385 16253820928 3945596 33554432000 4194304 6210612 140735498234288 140735498207848 140330397105125 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 3968218 3945596 819 493 0 3961523 0
Current children cumulated CPU time: 1526.28 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15782384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1529.51 s]
# the end of solver process 22741 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1519.83 s, system=7.55152 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1528 s]*
/proc/loadavg: 2.06 2.04 2.05 4/200 22953
/proc/meminfo: memFree=12078852/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=15872872 memory=15782648 CPUtime=1526.46 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) R 22738 22741 20893 0 -1 512 3837241 0 0 0 151973 673 0 0 20 0 1 0 411768385 16253820928 3945662 33554432000 4194304 6210612 140735498234288 140735498207848 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 3968218 3945662 819 493 0 3961523 0
Current children cumulated CPU time: 1526.46 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15782648 KiB
[startup+1528.4 s]
/proc/loadavg: 2.06 2.04 2.05 4/200 22953
/proc/meminfo: memFree=12078852/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=15872872 memory=15782648 CPUtime=1526.52 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) S 22738 22741 20893 0 -1 512 3837241 0 0 0 151978 674 0 0 20 0 1 0 411768385 16253820928 3945662 33554432000 4194304 6210612 140735498234288 140735498207848 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 3968218 3945662 819 493 0 3961523 0
Current children cumulated CPU time: 1526.52 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15782648 KiB
[startup+1528.6 s]
/proc/loadavg: 2.06 2.04 2.05 4/200 22953
/proc/meminfo: memFree=12078852/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=15872872 memory=15782648 CPUtime=1526.55 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) S 22738 22741 20893 0 -1 512 3837241 0 0 0 151981 674 0 0 20 0 1 0 411768385 16253820928 3945662 33554432000 4194304 6210612 140735498234288 140735498207848 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 3968218 3945662 819 493 0 3961523 0
Current children cumulated CPU time: 1526.55 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15782648 KiB
[startup+1528.7 s]
/proc/loadavg: 2.06 2.04 2.05 4/200 22953
/proc/meminfo: memFree=12078852/32770624 swapFree=66999908/67108860
[pid=22741] ppid=22738 vsize=15872872 memory=15782648 CPUtime=1526.56 cores=0,2,4,6
/proc/22741/stat : 22741 (cosoco) S 22738 22741 20893 0 -1 512 3837241 0 0 0 151982 674 0 0 20 0 1 0 411768385 16253820928 3945662 33554432000 4194304 6210612 140735498234288 140735498207848 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 13848576 140735498241035 140735498241137 140735498241137 140735498244046 0
/proc/22741/statm: 3968218 3945662 819 493 0 3961523 0
Current children cumulated CPU time: 1526.56 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15782648 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1529.51
CPU time (s): 1527.38
CPU user time (s): 1519.83
CPU system time (s): 7.55152
CPU usage (%): 99.8605
Max. virtual memory (cumulated for all children) (KiB): 15872872
Max. memory (cumulated for all children) (KiB): 15782648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1519.83
system time used= 7.55152
maximum resident set size= 15782652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3837241
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= 124063
involuntary context switches= 1948
# summary of solver processes directly reported to runsolver:
# pid: 22741
# total CPU time (s): 1527.38
# total CPU user time (s): 1519.83
# total CPU system time (s): 7.55152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.56737 second user time and 10.4775 second system time
The end