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 (11585 MiB free)
memory of node 1: 16384 MiB (14186 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396916-1568577855/watcher-4396916-1568577855 -o /tmp/evaluation-result-4396916-1568577855/solver-4396916-1568577855 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568572740-4239 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396916-1568577855.xml
running on 4 cores: 0,2,4,6
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
solver pid=5152, runsolver pid=5149
Current StackSize limit: 8192 KiB
[startup+0.100194 s]*
/proc/loadavg: 2.00 2.01 1.99 3/200 5153
/proc/meminfo: memFree=26386888/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=30512 memory=6904 CPUtime=0.1 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 1901 0 0 0 10 0 0 0 20 0 1 0 433699308 31244288 1726 33554432000 4194304 6211092 140723643597760 140723643594296 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 7628 1726 842 493 0 933 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 6904 KiB
[startup+0.209548 s]*
/proc/loadavg: 2.00 2.01 1.99 3/200 5153
/proc/meminfo: memFree=26384656/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=31452 memory=7960 CPUtime=0.21 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 2160 0 0 0 21 0 0 0 20 0 1 0 433699308 32206848 1990 33554432000 4194304 6211092 140723643597760 140723643594296 140565254806976 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 7863 1990 842 493 0 1168 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31452 KiB
Current children cumulated memory: 7960 KiB
[startup+0.308934 s]*
/proc/loadavg: 2.00 2.01 1.99 3/200 5153
/proc/meminfo: memFree=26383168/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=32548 memory=8752 CPUtime=0.31 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 2402 0 0 0 31 0 0 0 20 0 1 0 433699308 33329152 2188 33554432000 4194304 6211092 140723643597760 140723643594296 5452226 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 8137 2188 842 493 0 1442 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32548 KiB
Current children cumulated memory: 8752 KiB
[startup+0.700334 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5153
/proc/meminfo: memFree=26379416/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=36104 memory=12380 CPUtime=0.69 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 3307 0 0 0 69 0 0 0 20 0 1 0 433699308 36970496 3095 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 9026 3095 842 493 0 2331 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36104 KiB
Current children cumulated memory: 12380 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5153
/proc/meminfo: memFree=26370836/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=43620 memory=20032 CPUtime=1.49 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 5203 0 0 0 149 0 0 0 20 0 1 0 433699308 44666880 5008 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 10905 5008 842 493 0 4210 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43620 KiB
Current children cumulated memory: 20032 KiB
[startup+3.10953 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5153
/proc/meminfo: memFree=26336316/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=59176 memory=35424 CPUtime=3.1 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 9115 0 0 0 309 1 0 0 20 0 1 0 433699308 60596224 8856 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 14794 8856 842 493 0 8099 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 59176 KiB
Current children cumulated memory: 35424 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5153
/proc/meminfo: memFree=26283508/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=89804 memory=65620 CPUtime=6.3 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 16769 0 0 0 628 2 0 0 20 0 1 0 433699308 91959296 16405 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 22451 16405 842 493 0 15756 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 89804 KiB
Current children cumulated memory: 65620 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5153
/proc/meminfo: memFree=26178388/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=151684 memory=126676 CPUtime=12.69 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 32062 0 0 0 1265 4 0 0 20 0 1 0 433699308 155324416 31669 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 37921 31669 842 493 0 31226 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 151684 KiB
Current children cumulated memory: 126676 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5155
/proc/meminfo: memFree=25950868/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=272788 memory=248432 CPUtime=25.49 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 62613 0 0 0 2541 8 0 0 20 0 1 0 433699308 279334912 62108 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 68197 62108 842 493 0 61502 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 272788 KiB
Current children cumulated memory: 248432 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5156
/proc/meminfo: memFree=25493244/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=519172 memory=492964 CPUtime=51.1 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 123282 0 0 0 5095 15 0 0 20 0 1 0 433699308 531632128 123175 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 129793 123241 842 493 0 123098 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 519172 KiB
Current children cumulated memory: 492964 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/201 5161
/proc/meminfo: memFree=24598408/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=1015096 memory=982300 CPUtime=102.3 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 243176 0 0 0 10199 31 0 0 20 0 1 0 433699308 1039458304 245575 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 253774 245575 842 493 0 247079 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 1015096 KiB
Current children cumulated memory: 982300 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5167
/proc/meminfo: memFree=23547236/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=1590100 memory=1552720 CPUtime=162.29 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 382696 0 0 0 16182 47 0 0 20 0 1 0 433699308 1628262400 388180 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 397525 388180 842 493 0 390830 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 1590100 KiB
Current children cumulated memory: 1552720 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5171
/proc/meminfo: memFree=22498868/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=2150736 memory=2122288 CPUtime=222.29 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 522016 0 0 0 22164 65 0 0 20 0 1 0 433699308 2202353664 530572 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 537684 530572 842 493 0 530989 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2150736 KiB
Current children cumulated memory: 2122288 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5175
/proc/meminfo: memFree=21446148/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=2728948 memory=2694768 CPUtime=282.3 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 660566 0 0 0 28149 81 0 0 20 0 1 0 433699308 2794442752 673692 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 682237 673692 842 493 0 675542 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2728948 KiB
Current children cumulated memory: 2694768 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5181
/proc/meminfo: memFree=20396284/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=3330140 memory=3265844 CPUtime=342.3 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 799886 0 0 0 34130 100 0 0 20 0 1 0 433699308 3410063360 816461 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 832535 816461 842 493 0 825840 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 3330140 KiB
Current children cumulated memory: 3265844 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5193
/proc/meminfo: memFree=19346664/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=3883352 memory=3837572 CPUtime=402.3 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 938338 0 0 0 40112 118 0 0 20 0 1 0 433699308 3976552448 959393 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 970838 959393 842 493 0 964143 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 3883352 KiB
Current children cumulated memory: 3837572 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5197
/proc/meminfo: memFree=18295876/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=4452704 memory=4409148 CPUtime=462.3 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 1077342 0 0 0 46091 139 0 0 20 0 1 0 433699308 4559568896 1102287 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 1113176 1102287 842 493 0 1106481 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 4452704 KiB
Current children cumulated memory: 4409148 KiB
################
# More data... #
################
Current children cumulated vsize: 11410856 KiB
Current children cumulated memory: 11255284 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 5288
/proc/meminfo: memFree=4653332/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=11962748 memory=11827632 CPUtime=1242.32 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 2880183 0 0 0 123768 464 0 0 20 0 1 0 433699308 12249853952 2956908 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 2990687 2956908 842 493 0 2983992 0
Current children cumulated CPU time: 1242.32 s
Current children cumulated vsize: 11962748 KiB
Current children cumulated memory: 11827632 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 5293
/proc/meminfo: memFree=3609736/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=12512000 memory=12393156 CPUtime=1302.32 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 3018456 0 0 0 129713 519 0 0 20 0 1 0 433699308 12812288000 3098289 33554432000 4194304 6211092 140723643597760 140723643571672 140565253876542 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 3128000 3098289 842 493 0 3121305 0
Current children cumulated CPU time: 1302.32 s
Current children cumulated vsize: 12512000 KiB
Current children cumulated memory: 12393156 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 5297
/proc/meminfo: memFree=2570704/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=13054916 memory=12952536 CPUtime=1362.32 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 3156591 0 0 0 135603 629 0 0 20 0 1 0 433699308 13368233984 3238134 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 3263729 3238134 842 493 0 3257034 0
Current children cumulated CPU time: 1362.32 s
Current children cumulated vsize: 13054916 KiB
Current children cumulated memory: 12952536 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 5303
/proc/meminfo: memFree=1531640/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=13597700 memory=13513856 CPUtime=1422.32 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 3294498 0 0 0 141492 740 0 0 20 0 1 0 433699308 13924044800 3378464 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 3399425 3378464 842 493 0 3392730 0
Current children cumulated CPU time: 1422.32 s
Current children cumulated vsize: 13597700 KiB
Current children cumulated memory: 13513856 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 5308
/proc/meminfo: memFree=493424/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=14196112 memory=14073232 CPUtime=1482.32 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 3432782 0 0 0 147380 852 0 0 20 0 1 0 433699308 14536818688 3518308 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 3549028 3518308 842 493 0 3542333 0
Current children cumulated CPU time: 1482.32 s
Current children cumulated vsize: 14196112 KiB
Current children cumulated memory: 14073232 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 5312
/proc/meminfo: memFree=183284/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=14744176 memory=14639816 CPUtime=1542.32 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 3571288 0 0 0 153314 918 0 0 20 0 1 0 433699308 15098036224 3659954 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 3686044 3659954 842 493 0 3679349 0
Current children cumulated CPU time: 1542.32 s
Current children cumulated vsize: 14744176 KiB
Current children cumulated memory: 14639816 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5326
/proc/meminfo: memFree=200500/32770624 swapFree=66957016/67108860
[pid=5152] ppid=5149 vsize=15295540 memory=15207484 CPUtime=1602.32 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 3709457 0 0 0 159278 954 0 0 20 0 1 0 433699308 15662632960 3801871 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 3823885 3801871 842 493 0 3817190 0
Current children cumulated CPU time: 1602.32 s
Current children cumulated vsize: 15295540 KiB
Current children cumulated memory: 15207484 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5330
/proc/meminfo: memFree=206988/32770624 swapFree=66957020/67108860
[pid=5152] ppid=5149 vsize=15846640 memory=15777580 CPUtime=1662.32 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 3850319 0 0 0 165237 995 0 0 20 0 1 0 433699308 16226959360 3944395 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 3961660 3944395 842 493 0 3954965 0
Current children cumulated CPU time: 1662.32 s
Current children cumulated vsize: 15846640 KiB
Current children cumulated memory: 15777580 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1665.11 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5330
/proc/meminfo: memFree=197368/32770624 swapFree=66957020/67108860
[pid=5152] ppid=5149 vsize=15872380 memory=15803716 CPUtime=1665.13 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 4202496 3856848 0 0 0 165517 996 0 0 20 0 1 0 433699308 16253317120 3950929 33554432000 4194304 6211092 140723643597760 140723643571672 140565253880805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 3968095 3950929 842 493 0 3961400 0
Current children cumulated CPU time: 1665.13 s
Current children cumulated vsize: 15872380 KiB
Current children cumulated memory: 15803716 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1668 s]
# the end of solver process 5152 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1655.26 s, system=10.8778 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1665.6 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 5330
/proc/meminfo: memFree=197368/32770624 swapFree=66957020/67108860
[pid=5152] ppid=5149 vsize=15872380 memory=15803716 CPUtime=1665.13 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) S 5149 5152 4208 0 -1 512 3856852 0 0 0 165517 996 0 0 20 0 1 0 433699308 16253317120 3950929 33554432000 4194304 6211092 140723643597760 140723643571672 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 3968095 3950929 842 493 0 3961400 0
Current children cumulated CPU time: 1665.13 s
Current children cumulated vsize: 15872380 KiB
Current children cumulated memory: 15803716 KiB
[startup+1666.4 s]
/proc/loadavg: 2.00 2.01 1.99 2/201 5331
/proc/meminfo: memFree=214508/32770624 swapFree=66957020/67108860
[pid=5152] ppid=5149 vsize=15872380 memory=15803716 CPUtime=1665.13 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) S 5149 5152 4208 0 -1 512 3856852 0 0 0 165517 996 0 0 20 0 1 0 433699308 16253317120 3950929 33554432000 4194304 6211092 140723643597760 140723643571672 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 3968095 3950929 842 493 0 3961400 0
Current children cumulated CPU time: 1665.13 s
Current children cumulated vsize: 15872380 KiB
Current children cumulated memory: 15803716 KiB
[startup+1666.8 s]
/proc/loadavg: 2.00 2.01 1.99 2/201 5331
/proc/meminfo: memFree=214508/32770624 swapFree=66957020/67108860
[pid=5152] ppid=5149 vsize=15872380 memory=15803716 CPUtime=1665.19 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) R 5149 5152 4208 0 -1 512 3856852 0 0 0 165521 998 0 0 20 0 1 0 433699308 16253317120 3950929 33554432000 4194304 6211092 140723643597760 140723643571672 5189768 0 16384 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 3968095 3950929 842 493 0 3961400 0
Current children cumulated CPU time: 1665.19 s
Current children cumulated vsize: 15872380 KiB
Current children cumulated memory: 15803716 KiB
[startup+1667 s]*
/proc/loadavg: 2.00 2.01 1.99 3/201 5331
/proc/meminfo: memFree=195096/32770624 swapFree=66957020/67108860
[pid=5152] ppid=5149 vsize=15872380 memory=15803716 CPUtime=1665.23 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) S 5149 5152 4208 0 -1 512 3856852 0 0 0 165524 999 0 0 20 0 1 0 433699308 16253317120 3950929 33554432000 4194304 6211092 140723643597760 140723643571672 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 3968095 3950929 842 493 0 3961400 0
Current children cumulated CPU time: 1665.23 s
Current children cumulated vsize: 15872380 KiB
Current children cumulated memory: 15803716 KiB
[startup+1667.11 s]
/proc/loadavg: 2.00 2.01 1.99 3/201 5331
/proc/meminfo: memFree=195096/32770624 swapFree=66957020/67108860
[pid=5152] ppid=5149 vsize=15872380 memory=15803716 CPUtime=1665.24 cores=0,2,4,6
/proc/5152/stat : 5152 (cosoco) S 5149 5152 4208 0 -1 512 3856852 0 0 0 165525 999 0 0 20 0 1 0 433699308 16253317120 3950929 33554432000 4194304 6211092 140723643597760 140723643571672 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 39895040 140723643606027 140723643606129 140723643606129 140723643609038 0
/proc/5152/statm: 3968095 3950929 842 493 0 3961400 0
Current children cumulated CPU time: 1665.24 s
Current children cumulated vsize: 15872380 KiB
Current children cumulated memory: 15803716 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1668
CPU time (s): 1666.14
CPU user time (s): 1655.26
CPU system time (s): 10.8778
CPU usage (%): 99.8885
Max. virtual memory (cumulated for all children) (KiB): 15872380
Max. memory (cumulated for all children) (KiB): 15803716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1655.26
system time used= 10.8778
maximum resident set size= 15803900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3856852
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= 46895
involuntary context switches= 573
# summary of solver processes directly reported to runsolver:
# pid: 5152
# total CPU time (s): 1666.14
# total CPU user time (s): 1655.26
# total CPU system time (s): 10.8778
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83828 second user time and 10.6691 second system time
The end