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 (15050 MiB free)
memory of node 1: 16384 MiB (15492 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397195-1568594266/watcher-4397195-1568594266 -o /tmp/evaluation-result-4397195-1568594266/solver-4397195-1568594266 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568594223-5038 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397195-1568594266.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=5063, runsolver pid=5059
[startup+0.100162 s]*
/proc/loadavg: 1.24 1.08 1.35 3/199 5068
/proc/meminfo: memFree=31252864/32770624 swapFree=66984764/67108860
[pid=5063] ppid=5059 vsize=39020 memory=15084 CPUtime=0.1 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 3988 0 0 0 10 0 0 0 20 0 1 0 435689222 39956480 3771 33554432000 4194304 6211092 140736811486832 140736811483368 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 9755 3771 809 493 0 3060 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39020 KiB
Current children cumulated memory: 15084 KiB
[startup+0.209599 s]*
/proc/loadavg: 1.24 1.08 1.35 3/199 5068
/proc/meminfo: memFree=31249252/32770624 swapFree=66984764/67108860
[pid=5063] ppid=5059 vsize=40728 memory=16872 CPUtime=0.21 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 4419 0 0 0 21 0 0 0 20 0 1 0 435689222 41705472 4218 33554432000 4194304 6211092 140736811486832 140736811483368 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 10182 4218 819 493 0 3487 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16872 KiB
[startup+0.308991 s]*
/proc/loadavg: 1.24 1.08 1.35 3/199 5068
/proc/meminfo: memFree=31247020/32770624 swapFree=66984764/67108860
[pid=5063] ppid=5059 vsize=41712 memory=17928 CPUtime=0.31 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 4678 0 0 0 31 0 0 0 20 0 1 0 435689222 42713088 4482 33554432000 4194304 6211092 140736811486832 140736811483368 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 10428 4482 819 493 0 3733 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17928 KiB
[startup+0.700288 s]
/proc/loadavg: 1.24 1.08 1.35 3/199 5068
/proc/meminfo: memFree=31242788/32770624 swapFree=66984764/67108860
[pid=5063] ppid=5059 vsize=45708 memory=21992 CPUtime=0.69 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 5675 0 0 0 69 0 0 0 20 0 1 0 435689222 46804992 5498 33554432000 4194304 6211092 140736811486832 140736811483368 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 11427 5498 819 493 0 4732 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21992 KiB
[startup+1.50028 s]
/proc/loadavg: 1.24 1.08 1.35 3/199 5068
/proc/meminfo: memFree=31232744/32770624 swapFree=66984764/67108860
[pid=5063] ppid=5059 vsize=54076 memory=30316 CPUtime=1.48 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 7754 0 0 0 148 0 0 0 20 0 1 0 435689222 55373824 7579 33554432000 4194304 6211092 140736811486832 140736811460392 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 13519 7579 819 493 0 6824 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 30316 KiB
[startup+3.10933 s]
/proc/loadavg: 1.24 1.08 1.35 3/199 5068
/proc/meminfo: memFree=31191000/32770624 swapFree=66984764/67108860
[pid=5063] ppid=5059 vsize=71024 memory=47068 CPUtime=3.1 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 12111 0 0 0 309 1 0 0 20 0 1 0 435689222 72728576 11767 33554432000 4194304 6211092 140736811486832 140736811460392 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 17756 11767 819 493 0 11061 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71024 KiB
Current children cumulated memory: 47068 KiB
[startup+6.30026 s]
/proc/loadavg: 1.38 1.11 1.35 3/199 5068
/proc/meminfo: memFree=31129320/32770624 swapFree=66984764/67108860
[pid=5063] ppid=5059 vsize=104832 memory=80256 CPUtime=6.29 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 20575 0 0 0 627 2 0 0 20 0 1 0 435689222 107347968 20064 33554432000 4194304 6211092 140736811486832 140736811460392 5452157 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 26208 20064 819 493 0 19513 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104832 KiB
Current children cumulated memory: 80256 KiB
[startup+12.7003 s]
/proc/loadavg: 1.43 1.13 1.36 3/200 5070
/proc/meminfo: memFree=31003780/32770624 swapFree=66984764/67108860
[pid=5063] ppid=5059 vsize=170688 memory=146784 CPUtime=12.69 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 37377 0 0 0 1264 5 0 0 20 0 1 0 435689222 174784512 36696 33554432000 4194304 6211092 140736811486832 140736811460392 5456310 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 42672 36696 819 493 0 35977 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170688 KiB
Current children cumulated memory: 146784 KiB
[startup+25.5003 s]
/proc/loadavg: 1.56 1.17 1.37 3/199 5070
/proc/meminfo: memFree=30730044/32770624 swapFree=66984764/67108860
[pid=5063] ppid=5059 vsize=304920 memory=279992 CPUtime=25.49 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 70569 0 0 0 2540 9 0 0 20 0 1 0 435689222 312238080 69998 33554432000 4194304 6211092 140736811486832 140736811460392 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 76230 69998 819 493 0 69535 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 304920 KiB
Current children cumulated memory: 279992 KiB
[startup+51.1094 s]
/proc/loadavg: 1.71 1.24 1.39 3/199 5071
/proc/meminfo: memFree=30187200/32770624 swapFree=66984764/67108860
[pid=5063] ppid=5059 vsize=575000 memory=547552 CPUtime=51.1 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 136579 0 0 0 5091 19 0 0 20 0 1 0 435689222 588800000 136888 33554432000 4194304 6211092 140736811486832 140736811460392 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 143750 136888 819 493 0 137055 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 575000 KiB
Current children cumulated memory: 547552 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 1.37 1.42 3/199 5076
/proc/meminfo: memFree=29122660/32770624 swapFree=66984764/67108860
[pid=5063] ppid=5059 vsize=1117800 memory=1078084 CPUtime=102.28 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 266294 0 0 0 10192 36 0 0 20 0 1 0 435689222 1144627200 269521 33554432000 4194304 6211092 140736811486832 140736811460392 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 279450 269521 819 493 0 272755 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1117800 KiB
Current children cumulated memory: 1078084 KiB
[startup+162.3 s]
/proc/loadavg: 2.74 1.73 1.55 3/199 5080
/proc/meminfo: memFree=27868720/32770624 swapFree=66984764/67108860
[pid=5063] ppid=5059 vsize=1746700 memory=1702164 CPUtime=162.28 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 418234 0 0 0 16172 56 0 0 20 0 1 0 435689222 1788620800 425541 33554432000 4194304 6211092 140736811486832 140736811460392 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 436675 425541 819 493 0 429980 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1746700 KiB
Current children cumulated memory: 1702164 KiB
[startup+222.3 s]
/proc/loadavg: 2.27 1.78 1.58 3/200 5092
/proc/meminfo: memFree=26617504/32770624 swapFree=66984768/67108860
[pid=5063] ppid=5059 vsize=2350864 memory=2326900 CPUtime=222.28 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 569301 0 0 0 22149 79 0 0 20 0 1 0 435689222 2407284736 581725 33554432000 4194304 6211092 140736811486832 140736811460392 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 587716 581725 819 493 0 581021 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2350864 KiB
Current children cumulated memory: 2326900 KiB
[startup+282.3 s]
/proc/loadavg: 2.10 1.82 1.60 3/200 5098
/proc/meminfo: memFree=25367776/32770624 swapFree=66984768/67108860
[pid=5063] ppid=5059 vsize=2992072 memory=2949772 CPUtime=282.28 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 720926 0 0 0 28130 98 0 0 20 0 1 0 435689222 3063881728 737443 33554432000 4194304 6211092 140736811486832 140736811460392 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 748018 737443 819 493 0 741323 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2992072 KiB
Current children cumulated memory: 2949772 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 1.85 1.63 3/200 5102
/proc/meminfo: memFree=24114892/32770624 swapFree=66984768/67108860
[pid=5063] ppid=5059 vsize=3651468 memory=3572728 CPUtime=342.28 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 872427 0 0 0 34110 118 0 0 20 0 1 0 435689222 3739103232 893182 33554432000 4194304 6211092 140736811486832 140736811460392 140419348359056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 912867 893182 819 493 0 906172 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 3651468 KiB
Current children cumulated memory: 3572728 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 1.88 1.65 3/200 5106
/proc/meminfo: memFree=22863580/32770624 swapFree=66984768/67108860
[pid=5063] ppid=5059 vsize=4255500 memory=4196812 CPUtime=402.27 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 1024339 0 0 0 40089 138 0 0 20 0 1 0 435689222 4357632000 1049203 33554432000 4194304 6211092 140736811486832 140736811460392 5454160 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 1063875 1049203 819 493 0 1057180 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 4255500 KiB
Current children cumulated memory: 4196812 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 1.90 1.67 3/200 5112
/proc/meminfo: memFree=21611972/32770624 swapFree=66984768/67108860
[pid=5063] ppid=5059 vsize=4859400 memory=4821092 CPUtime=462.28 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 1175827 0 0 0 46068 160 0 0 20 0 1 0 435689222 4976025600 1205273 33554432000 4194304 6211092 140736811486832 140736811460392 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 1214850 1205273 819 493 0 1208155 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 4859400 KiB
Current children cumulated memory: 4821092 KiB
################
# More data... #
################
Current children cumulated vsize: 10498548 KiB
Current children cumulated memory: 10428184 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/200 5166
/proc/meminfo: memFree=9101300/32770624 swapFree=66984776/67108860
[pid=5063] ppid=5059 vsize=11101788 memory=11049696 CPUtime=1062.26 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 2692790 0 0 0 105789 437 0 0 20 0 1 0 435689222 11368230912 2762424 33554432000 4194304 6211092 140736811486832 140736811460392 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 2775447 2762424 819 493 0 2768752 0
Current children cumulated CPU time: 1062.26 s
Current children cumulated vsize: 11101788 KiB
Current children cumulated memory: 11049696 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/199 5171
/proc/meminfo: memFree=7850808/32770624 swapFree=66984776/67108860
[pid=5063] ppid=5059 vsize=11704896 memory=11673408 CPUtime=1122.25 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 2844418 0 0 0 111757 468 0 0 20 0 1 0 435689222 11985813504 2918352 33554432000 4194304 6211092 140736811486832 140736811460392 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 2926224 2918352 819 493 0 2919529 0
Current children cumulated CPU time: 1122.25 s
Current children cumulated vsize: 11704896 KiB
Current children cumulated memory: 11673408 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/199 5177
/proc/meminfo: memFree=6601628/32770624 swapFree=66984776/67108860
[pid=5063] ppid=5059 vsize=12494728 memory=12294116 CPUtime=1182.26 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 2996883 0 0 0 117725 501 0 0 20 0 1 0 435689222 12794601472 3073529 33554432000 4194304 6211092 140736811486832 140736811460392 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 3123682 3073529 819 493 0 3116987 0
Current children cumulated CPU time: 1182.26 s
Current children cumulated vsize: 12494728 KiB
Current children cumulated memory: 12294116 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/199 5181
/proc/meminfo: memFree=5351992/32770624 swapFree=66984776/67108860
[pid=5063] ppid=5059 vsize=13097572 memory=12917520 CPUtime=1242.25 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 3148475 0 0 0 123692 533 0 0 20 0 1 0 435689222 13411913728 3229380 33554432000 4194304 6211092 140736811486832 140736811460392 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 3274393 3229380 819 493 0 3267698 0
Current children cumulated CPU time: 1242.25 s
Current children cumulated vsize: 13097572 KiB
Current children cumulated memory: 12917520 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/199 5186
/proc/meminfo: memFree=4102952/32770624 swapFree=66984776/67108860
[pid=5063] ppid=5059 vsize=13700548 memory=13538820 CPUtime=1302.26 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 3300209 0 0 0 129660 566 0 0 20 0 1 0 435689222 14029361152 3384705 33554432000 4194304 6211092 140736811486832 140736811460392 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 3425137 3384705 819 493 0 3418442 0
Current children cumulated CPU time: 1302.26 s
Current children cumulated vsize: 13700548 KiB
Current children cumulated memory: 13538820 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/199 5192
/proc/meminfo: memFree=2850908/32770624 swapFree=66984776/67108860
[pid=5063] ppid=5059 vsize=14303260 memory=14162000 CPUtime=1362.26 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 3451772 0 0 0 135627 599 0 0 20 0 1 0 435689222 14646538240 3540500 33554432000 4194304 6211092 140736811486832 140736811460392 5455642 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 3575815 3540500 819 493 0 3569120 0
Current children cumulated CPU time: 1362.26 s
Current children cumulated vsize: 14303260 KiB
Current children cumulated memory: 14162000 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/200 5204
/proc/meminfo: memFree=1603328/32770624 swapFree=66984780/67108860
[pid=5063] ppid=5059 vsize=14905972 memory=14783140 CPUtime=1422.25 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 3603316 0 0 0 141593 632 0 0 20 0 1 0 435689222 15263715328 3695785 33554432000 4194304 6211092 140736811486832 140736811460392 140419357383498 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 3726526 3695785 819 493 0 3719831 0
Current children cumulated CPU time: 1422.25 s
Current children cumulated vsize: 14905972 KiB
Current children cumulated memory: 14783140 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/201 5230
/proc/meminfo: memFree=351444/32770624 swapFree=66984792/67108860
[pid=5063] ppid=5059 vsize=15508552 memory=15406320 CPUtime=1482.25 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 3754806 0 0 0 147559 666 0 0 20 0 1 0 435689222 15880757248 3851580 33554432000 4194304 6211092 140736811486832 140736811460392 140419347438565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 3877138 3851580 819 493 0 3870443 0
Current children cumulated CPU time: 1482.25 s
Current children cumulated vsize: 15508552 KiB
Current children cumulated memory: 15406320 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1520.1 s]
/proc/loadavg: 2.45 2.08 1.92 3/204 5298
/proc/meminfo: memFree=16025956/32770624 swapFree=66985072/67108860
[pid=5063] ppid=5059 vsize=15872476 memory=15782452 CPUtime=1518.54 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) R 5059 5063 5006 0 -1 4202496 3846308 0 0 0 151163 691 0 0 20 0 1 0 435689222 16253415424 3945613 33554432000 4194304 6211092 140736811486832 140736811460392 140419348362454 0 0 4096 8405026 0 0 0 17 1 0 0 149 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 3968119 3945613 819 493 0 3961424 0
Current children cumulated CPU time: 1518.54 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15782452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1522.95 s]
# the end of solver process 5063 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1511.92 s, system=7.76623 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1520.2 s]
/proc/loadavg: 2.45 2.08 1.92 3/204 5298
/proc/meminfo: memFree=16025956/32770624 swapFree=66985072/67108860
[pid=5063] ppid=5059 vsize=15872476 memory=15782452 CPUtime=1518.54 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) S 5059 5063 5006 0 -1 512 3846312 0 0 0 151163 691 0 0 20 0 1 0 435689222 16253415424 3945613 33554432000 4194304 6211092 140736811486832 140736811460392 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 149 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 3968119 3945613 819 493 0 3961424 0
Current children cumulated CPU time: 1518.54 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15782452 KiB
[startup+1521 s]
/proc/loadavg: 2.45 2.08 1.92 4/204 5299
/proc/meminfo: memFree=15700428/32770624 swapFree=66985072/67108860
[pid=5063] ppid=5059 vsize=15872476 memory=15782452 CPUtime=1518.66 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) S 5059 5063 5006 0 -1 512 3846312 0 0 0 151175 691 0 0 20 0 1 0 435689222 16253415424 3945613 33554432000 4194304 6211092 140736811486832 140736811460392 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 149 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 3968119 3945613 819 493 0 3961424 0
Current children cumulated CPU time: 1518.66 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15782452 KiB
[startup+1521.8 s]*
/proc/loadavg: 2.45 2.08 1.92 4/204 5299
/proc/meminfo: memFree=15119736/32770624 swapFree=66985072/67108860
[pid=5063] ppid=5059 vsize=15872476 memory=15782452 CPUtime=1518.78 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) S 5059 5063 5006 0 -1 512 3846312 0 0 0 151187 691 0 0 20 0 1 0 435689222 16253415424 3945613 33554432000 4194304 6211092 140736811486832 140736811460392 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 149 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 3968119 3945613 819 493 0 3961424 0
Current children cumulated CPU time: 1518.78 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15782452 KiB
[startup+1522 s]
/proc/loadavg: 2.45 2.08 1.92 4/204 5299
/proc/meminfo: memFree=15119736/32770624 swapFree=66985072/67108860
[pid=5063] ppid=5059 vsize=15872476 memory=15782452 CPUtime=1518.82 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) S 5059 5063 5006 0 -1 512 3846312 0 0 0 151190 692 0 0 20 0 1 0 435689222 16253415424 3945613 33554432000 4194304 6211092 140736811486832 140736811460392 5189768 0 16384 4096 8405026 0 0 0 17 1 0 0 149 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 3968119 3945613 819 493 0 3961424 0
Current children cumulated CPU time: 1518.82 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15782452 KiB
[startup+1522.1 s]
/proc/loadavg: 2.45 2.08 1.92 4/204 5299
/proc/meminfo: memFree=15119736/32770624 swapFree=66985072/67108860
[pid=5063] ppid=5059 vsize=15872476 memory=15782452 CPUtime=1518.84 cores=1,3,5,7
/proc/5063/stat : 5063 (cosoco) S 5059 5063 5006 0 -1 512 3846312 0 0 0 151192 692 0 0 20 0 1 0 435689222 16253415424 3945613 33554432000 4194304 6211092 140736811486832 140736811460392 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 149 0 0 8312316 8317760 41734144 140736811492363 140736811492465 140736811492465 140736811495374 0
/proc/5063/statm: 3968119 3945613 819 493 0 3961424 0
Current children cumulated CPU time: 1518.84 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15782452 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1522.95
CPU time (s): 1519.69
CPU user time (s): 1511.92
CPU system time (s): 7.76623
CPU usage (%): 99.786
Max. virtual memory (cumulated for all children) (KiB): 15872476
Max. memory (cumulated for all children) (KiB): 15782452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1511.92
system time used= 7.76623
maximum resident set size= 15782616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3846312
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= 129030
involuntary context switches= 656
# summary of solver processes directly reported to runsolver:
# pid: 5063
# total CPU time (s): 1519.69
# total CPU user time (s): 1511.92
# total CPU system time (s): 7.76623
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.19511 second user time and 10.3646 second system time
The end