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 (15208 MiB free)
memory of node 1: 16384 MiB (10658 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397826-1568577396/watcher-4397826-1568577396 -o /tmp/evaluation-result-4397826-1568577396/solver-4397826-1568577396 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568572739-2566 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397826-1568577396.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=3433, runsolver pid=3430
Current StackSize limit: 8192 KiB
[startup+0.100201 s]*
/proc/loadavg: 2.00 2.05 2.04 3/201 3434
/proc/meminfo: memFree=26485936/32770624 swapFree=66998484/67108860
[pid=3433] ppid=3430 vsize=28724 memory=5008 CPUtime=0.1 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 1463 0 0 0 10 0 0 0 20 0 1 0 433991086 29413376 1252 33554432000 4194304 6211092 140733279135360 140733279131896 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 7181 1252 845 493 0 486 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28724 KiB
Current children cumulated memory: 5008 KiB
[startup+0.209836 s]*
/proc/loadavg: 2.00 2.05 2.04 3/201 3434
/proc/meminfo: memFree=26482960/32770624 swapFree=66998484/67108860
[pid=3433] ppid=3430 vsize=30140 memory=6328 CPUtime=0.21 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 1808 0 0 0 21 0 0 0 20 0 1 0 433991086 30863360 1582 33554432000 4194304 6211092 140733279135360 140733279131896 140144485403462 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 7535 1582 846 493 0 840 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30140 KiB
Current children cumulated memory: 6328 KiB
[startup+0.309755 s]*
/proc/loadavg: 2.00 2.05 2.04 3/201 3434
/proc/meminfo: memFree=26480728/32770624 swapFree=66998484/67108860
[pid=3433] ppid=3430 vsize=31280 memory=7712 CPUtime=0.31 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 2101 0 0 0 31 0 0 0 20 0 1 0 433991086 32030720 1928 33554432000 4194304 6211092 140733279135360 140733279131896 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 7820 1928 846 493 0 1125 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 7712 KiB
[startup+0.70039 s]
/proc/loadavg: 2.00 2.05 2.04 3/201 3434
/proc/meminfo: memFree=26475940/32770624 swapFree=66998484/67108860
[pid=3433] ppid=3430 vsize=36084 memory=12360 CPUtime=0.69 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 3267 0 0 0 69 0 0 0 20 0 1 0 433991086 36950016 3090 33554432000 4194304 6211092 140733279135360 140733279131896 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 9021 3090 846 493 0 2326 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36084 KiB
Current children cumulated memory: 12360 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.05 2.04 3/201 3434
/proc/meminfo: memFree=26463588/32770624 swapFree=66998484/67108860
[pid=3433] ppid=3430 vsize=45740 memory=22124 CPUtime=1.49 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 5704 0 0 0 149 0 0 0 20 0 1 0 433991086 46837760 5531 33554432000 4194304 6211092 140733279135360 140733279117528 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 11435 5531 846 493 0 4740 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45740 KiB
Current children cumulated memory: 22124 KiB
[startup+3.10957 s]
/proc/loadavg: 2.24 2.10 2.06 3/201 3435
/proc/meminfo: memFree=26405136/32770624 swapFree=66998484/67108860
[pid=3433] ppid=3430 vsize=65420 memory=41760 CPUtime=3.1 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 10651 0 0 0 309 1 0 0 20 0 1 0 433991086 66990080 10440 33554432000 4194304 6211092 140733279135360 140733279117528 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 16355 10440 846 493 0 9660 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 65420 KiB
Current children cumulated memory: 41760 KiB
[startup+7.12112 s]
/proc/loadavg: 2.24 2.10 2.06 3/201 3435
/proc/meminfo: memFree=26405136/32770624 swapFree=66998484/67108860
[pid=3433] ppid=3430 vsize=114680 memory=90720 CPUtime=7.11 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 22941 0 0 0 708 3 0 0 20 0 1 0 433991086 117432320 22680 33554432000 4194304 6211092 140733279135360 140733279117528 5451566 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 28670 22680 846 493 0 21975 0
Current children cumulated CPU time: 7.11 s
Current children cumulated vsize: 114680 KiB
Current children cumulated memory: 90720 KiB
[startup+12.7003 s]
/proc/loadavg: 2.54 2.17 2.08 3/201 3435
/proc/meminfo: memFree=26644964/32770624 swapFree=66998484/67108860
[pid=3433] ppid=3430 vsize=184796 memory=160424 CPUtime=12.69 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 39945 0 0 0 1264 5 0 0 20 0 1 0 433991086 189231104 40106 33554432000 4194304 6211092 140733279135360 140733279117528 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 46199 40106 846 493 0 39504 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 184796 KiB
Current children cumulated memory: 160424 KiB
[startup+25.5003 s]
/proc/loadavg: 2.55 2.19 2.09 3/201 3440
/proc/meminfo: memFree=26816820/32770624 swapFree=66998492/67108860
[pid=3433] ppid=3430 vsize=338680 memory=314412 CPUtime=25.49 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 78031 0 0 0 2540 9 0 0 20 0 1 0 433991086 346808320 78603 33554432000 4194304 6211092 140733279135360 140733279117528 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 84670 78603 846 493 0 77975 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 338680 KiB
Current children cumulated memory: 314412 KiB
[startup+51.1003 s]
/proc/loadavg: 2.37 2.17 2.08 3/200 3440
/proc/meminfo: memFree=26154624/32770624 swapFree=66998492/67108860
[pid=3433] ppid=3430 vsize=655232 memory=627436 CPUtime=51.09 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 153782 0 0 0 5092 17 0 0 20 0 1 0 433991086 670957568 156859 33554432000 4194304 6211092 140733279135360 140733279117528 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 163808 156859 846 493 0 157113 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 655232 KiB
Current children cumulated memory: 627436 KiB
[startup+102.3 s]
/proc/loadavg: 2.16 2.15 2.08 3/199 3444
/proc/meminfo: memFree=24858104/32770624 swapFree=66998492/67108860
[pid=3433] ppid=3430 vsize=1292372 memory=1252460 CPUtime=102.29 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 303891 0 0 0 10192 37 0 0 20 0 1 0 433991086 1323388928 313115 33554432000 4194304 6211092 140733279135360 140733279117528 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 323093 313115 846 493 0 316398 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1292372 KiB
Current children cumulated memory: 1252460 KiB
[startup+162.3 s]
/proc/loadavg: 2.06 2.12 2.07 3/199 3451
/proc/meminfo: memFree=23337032/32770624 swapFree=66998492/67108860
[pid=3433] ppid=3430 vsize=2028500 memory=1984124 CPUtime=162.3 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 479166 0 0 0 16169 61 0 0 20 0 1 0 433991086 2077184000 496031 33554432000 4194304 6211092 140733279135360 140733279117528 5478689 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 507125 496031 846 493 0 500430 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2028500 KiB
Current children cumulated memory: 1984124 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.10 2.07 3/199 3455
/proc/meminfo: memFree=21812800/32770624 swapFree=66998492/67108860
[pid=3433] ppid=3430 vsize=2782840 memory=2714140 CPUtime=222.3 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 654566 0 0 0 22147 83 0 0 20 0 1 0 433991086 2849628160 678535 33554432000 4194304 6211092 140733279135360 140733279117528 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 695710 678535 846 493 0 689015 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2782840 KiB
Current children cumulated memory: 2714140 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.08 2.06 3/200 3469
/proc/meminfo: memFree=20289148/32770624 swapFree=66998492/67108860
[pid=3433] ppid=3430 vsize=3482296 memory=3445256 CPUtime=282.3 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 829263 0 0 0 28124 106 0 0 20 0 1 0 433991086 3565871104 861314 33554432000 4194304 6211092 140733279135360 140733279117528 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 870574 861314 846 493 0 863879 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 3482296 KiB
Current children cumulated memory: 3445256 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.07 2.06 3/202 3499
/proc/meminfo: memFree=18765320/32770624 swapFree=66998504/67108860
[pid=3433] ppid=3430 vsize=4263224 memory=4175692 CPUtime=342.3 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 1004841 0 0 0 34100 130 0 0 20 0 1 0 433991086 4365541376 1043923 33554432000 4194304 6211092 140733279135360 140733279117528 5456306 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 1065806 1043923 846 493 0 1059111 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 4263224 KiB
Current children cumulated memory: 4175692 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/202 3503
/proc/meminfo: memFree=17241680/32770624 swapFree=66998504/67108860
[pid=3433] ppid=3430 vsize=4963004 memory=4906932 CPUtime=402.31 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 1179611 0 0 0 40076 155 0 0 20 0 1 0 433991086 5082116096 1226733 33554432000 4194304 6211092 140733279135360 140733279117528 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 1240751 1226733 846 493 0 1234056 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 4963004 KiB
Current children cumulated memory: 4906932 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/202 3507
/proc/meminfo: memFree=15719116/32770624 swapFree=66998504/67108860
[pid=3433] ppid=3430 vsize=5784796 memory=5637976 CPUtime=462.31 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 1354796 0 0 0 46051 180 0 0 20 0 1 0 433991086 5923631104 1409494 33554432000 4194304 6211092 140733279135360 140733279117528 5478683 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 1446199 1409494 846 493 0 1439504 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 5784796 KiB
Current children cumulated memory: 5637976 KiB
################
# More data... #
################
Current children cumulated vsize: 8764448 KiB
Current children cumulated memory: 8561444 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3531
/proc/meminfo: memFree=8108992/32770624 swapFree=66998504/67108860
[pid=3433] ppid=3430 vsize=9466400 memory=9290456 CPUtime=762.33 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 2228449 0 0 0 75911 322 0 0 20 0 1 0 433991086 9693593600 2322614 33554432000 4194304 6211092 140733279135360 140733279117528 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 2366600 2322614 846 493 0 2359905 0
Current children cumulated CPU time: 762.33 s
Current children cumulated vsize: 9466400 KiB
Current children cumulated memory: 9290456 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3535
/proc/meminfo: memFree=6587264/32770624 swapFree=66998504/67108860
[pid=3433] ppid=3430 vsize=10163492 memory=10023264 CPUtime=822.33 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 2403184 0 0 0 81882 351 0 0 20 0 1 0 433991086 10407415808 2505816 33554432000 4194304 6211092 140733279135360 140733279117528 140144476384659 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 2540873 2505816 846 493 0 2534178 0
Current children cumulated CPU time: 822.33 s
Current children cumulated vsize: 10163492 KiB
Current children cumulated memory: 10023264 KiB
[startup+882.3 s]
/proc/loadavg: 2.65 2.16 2.09 3/201 3615
/proc/meminfo: memFree=20603316/32770624 swapFree=66998512/67108860
[pid=3433] ppid=3430 vsize=10859396 memory=10750044 CPUtime=882.33 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 2577413 0 0 0 87850 383 0 0 20 0 1 0 433991086 11120021504 2687511 33554432000 4194304 6211092 140733279135360 140733279117528 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 2714849 2687511 846 493 0 2708154 0
Current children cumulated CPU time: 882.33 s
Current children cumulated vsize: 10859396 KiB
Current children cumulated memory: 10750044 KiB
[startup+942.3 s]
/proc/loadavg: 2.24 2.13 2.09 3/201 3619
/proc/meminfo: memFree=19860572/32770624 swapFree=66998512/67108860
[pid=3433] ppid=3430 vsize=11555432 memory=11479464 CPUtime=942.3 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 2751846 0 0 0 93815 415 0 0 20 0 1 0 433991086 11832762368 2869866 33554432000 4194304 6211092 140733279135360 140733279117528 5446606 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 2888858 2869866 846 493 0 2882163 0
Current children cumulated CPU time: 942.3 s
Current children cumulated vsize: 11555432 KiB
Current children cumulated memory: 11479464 KiB
[startup+1002.3 s]
/proc/loadavg: 2.09 2.11 2.08 3/201 3623
/proc/meminfo: memFree=19128592/32770624 swapFree=66998512/67108860
[pid=3433] ppid=3430 vsize=12251600 memory=12209052 CPUtime=1002.28 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 2926244 0 0 0 99779 449 0 0 20 0 1 0 433991086 12545638400 3052263 33554432000 4194304 6211092 140733279135360 140733279117528 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 3062900 3052263 846 493 0 3056205 0
Current children cumulated CPU time: 1002.28 s
Current children cumulated vsize: 12251600 KiB
Current children cumulated memory: 12209052 KiB
[startup+1062.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/201 3629
/proc/meminfo: memFree=18398996/32770624 swapFree=66998512/67108860
[pid=3433] ppid=3430 vsize=13235604 memory=12939224 CPUtime=1062.26 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 3101340 0 0 0 105745 481 0 0 20 0 1 0 433991086 13553258496 3234806 33554432000 4194304 6211092 140733279135360 140733279117528 5452223 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 3308901 3234806 846 493 0 3302206 0
Current children cumulated CPU time: 1062.26 s
Current children cumulated vsize: 13235604 KiB
Current children cumulated memory: 12939224 KiB
[startup+1122.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/201 3633
/proc/meminfo: memFree=17667688/32770624 swapFree=66998512/67108860
[pid=3433] ppid=3430 vsize=13932036 memory=13667032 CPUtime=1122.25 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 3275853 0 0 0 111713 512 0 0 20 0 1 0 433991086 14266404864 3416758 33554432000 4194304 6211092 140733279135360 140733279117528 5478598 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 3483009 3416758 846 493 0 3476314 0
Current children cumulated CPU time: 1122.25 s
Current children cumulated vsize: 13932036 KiB
Current children cumulated memory: 13667032 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 3637
/proc/meminfo: memFree=16935004/32770624 swapFree=66998512/67108860
[pid=3433] ppid=3430 vsize=14627808 memory=14398044 CPUtime=1182.22 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 3450141 0 0 0 117676 546 0 0 20 0 1 0 433991086 14978875392 3599511 33554432000 4194304 6211092 140733279135360 140733279117528 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 3656952 3599511 846 493 0 3650257 0
Current children cumulated CPU time: 1182.22 s
Current children cumulated vsize: 14627808 KiB
Current children cumulated memory: 14398044 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 3643
/proc/meminfo: memFree=16205020/32770624 swapFree=66998512/67108860
[pid=3433] ppid=3430 vsize=15323844 memory=15126844 CPUtime=1242.2 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 3624368 0 0 0 123640 580 0 0 20 0 1 0 433991086 15691616256 3781711 33554432000 4194304 6211092 140733279135360 140733279117528 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 3830961 3781711 846 493 0 3824266 0
Current children cumulated CPU time: 1242.2 s
Current children cumulated vsize: 15323844 KiB
Current children cumulated memory: 15126844 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1289.6 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 3647
/proc/meminfo: memFree=15633444/32770624 swapFree=66998512/67108860
[pid=3433] ppid=3430 vsize=15872172 memory=15699800 CPUtime=1289.49 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) R 3430 3433 2535 0 -1 4202496 3761635 0 0 0 128338 611 0 0 20 0 1 0 433991086 16253104128 3924950 33554432000 4194304 6211092 140733279135360 140733279117528 140144475458533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 3968043 3924950 846 493 0 3961348 0
Current children cumulated CPU time: 1289.49 s
Current children cumulated vsize: 15872172 KiB
Current children cumulated memory: 15699800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1292.45 s]
# the end of solver process 3433 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1283.69 s, system=6.98085 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1290.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 3648
/proc/meminfo: memFree=15463672/32770624 swapFree=66998516/67108860
[pid=3433] ppid=3430 vsize=15872172 memory=15699800 CPUtime=1289.6 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) S 3430 3433 2535 0 -1 512 3761641 0 0 0 128348 612 0 0 20 0 1 0 433991086 16253104128 3924950 33554432000 4194304 6211092 140733279135360 140733279117528 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 3968043 3924950 846 493 0 3961348 0
Current children cumulated CPU time: 1289.6 s
Current children cumulated vsize: 15872172 KiB
Current children cumulated memory: 15699800 KiB
[startup+1291.1 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 3648
/proc/meminfo: memFree=14901208/32770624 swapFree=66998516/67108860
[pid=3433] ppid=3430 vsize=15872172 memory=15699800 CPUtime=1289.72 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) S 3430 3433 2535 0 -1 512 3761641 0 0 0 128360 612 0 0 20 0 1 0 433991086 16253104128 3924950 33554432000 4194304 6211092 140733279135360 140733279117528 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 3968043 3924950 846 493 0 3961348 0
Current children cumulated CPU time: 1289.72 s
Current children cumulated vsize: 15872172 KiB
Current children cumulated memory: 15699800 KiB
[startup+1291.5 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 3648
/proc/meminfo: memFree=14901208/32770624 swapFree=66998516/67108860
[pid=3433] ppid=3430 vsize=15872172 memory=15699800 CPUtime=1289.79 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) S 3430 3433 2535 0 -1 512 3761641 0 0 0 128367 612 0 0 20 0 1 0 433991086 16253104128 3924950 33554432000 4194304 6211092 140733279135360 140733279117528 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 3968043 3924950 846 493 0 3961348 0
Current children cumulated CPU time: 1289.79 s
Current children cumulated vsize: 15872172 KiB
Current children cumulated memory: 15699800 KiB
[startup+1291.6 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 3648
/proc/meminfo: memFree=14901208/32770624 swapFree=66998516/67108860
[pid=3433] ppid=3430 vsize=15872172 memory=15699800 CPUtime=1289.8 cores=0,2,4,6
/proc/3433/stat : 3433 (cosoco) S 3430 3433 2535 0 -1 512 3761641 0 0 0 128368 612 0 0 20 0 1 0 433991086 16253104128 3924950 33554432000 4194304 6211092 140733279135360 140733279117528 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 19369984 140733279142923 140733279143025 140733279143025 140733279145934 0
/proc/3433/statm: 3968043 3924950 846 493 0 3961348 0
Current children cumulated CPU time: 1289.8 s
Current children cumulated vsize: 15872172 KiB
Current children cumulated memory: 15699800 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1292.45
CPU time (s): 1290.67
CPU user time (s): 1283.69
CPU system time (s): 6.98085
CPU usage (%): 99.8616
Max. virtual memory (cumulated for all children) (KiB): 15872172
Max. memory (cumulated for all children) (KiB): 15699800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1283.69
system time used= 6.98085
maximum resident set size= 15699944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3761641
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= 138219
involuntary context switches= 1616
# summary of solver processes directly reported to runsolver:
# pid: 3433
# total CPU time (s): 1290.67
# total CPU user time (s): 1283.69
# total CPU system time (s): 6.98085
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.74153 second user time and 8.83819 second system time
The end