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 (11974 MiB free)
memory of node 1: 16384 MiB (11635 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397218-1568575648/watcher-4397218-1568575648 -o /tmp/evaluation-result-4397218-1568575648/solver-4397218-1568575648 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568572745-9394 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397218-1568575648.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
Current StackSize limit: 8192 KiB
solver pid=10174, runsolver pid=10171
[startup+0.100201 s]*
/proc/loadavg: 1.93 2.03 1.95 3/200 10175
/proc/meminfo: memFree=24174716/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=30540 memory=7088 CPUtime=0.1 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 1936 0 0 0 10 0 0 0 20 0 1 0 433479697 31272960 1772 33554432000 4194304 6211092 140733064508000 140733064504008 140705802527640 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 7635 1772 846 493 0 940 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30540 KiB
Current children cumulated memory: 7088 KiB
[startup+0.209716 s]*
/proc/loadavg: 1.93 2.03 1.95 3/200 10175
/proc/meminfo: memFree=24173300/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=31332 memory=7880 CPUtime=0.21 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 2146 0 0 0 21 0 0 0 20 0 1 0 433479697 32083968 1970 33554432000 4194304 6211092 140733064508000 140733064504008 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 7833 1970 846 493 0 1138 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31332 KiB
Current children cumulated memory: 7880 KiB
[startup+0.309164 s]*
/proc/loadavg: 1.93 2.03 1.95 3/200 10175
/proc/meminfo: memFree=24172832/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=32124 memory=8672 CPUtime=0.31 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 2337 0 0 0 31 0 0 0 20 0 1 0 433479697 32894976 2168 33554432000 4194304 6211092 140733064508000 140733064504008 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 8031 2168 846 493 0 1336 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32124 KiB
Current children cumulated memory: 8672 KiB
[startup+0.700337 s]
/proc/loadavg: 1.93 2.03 1.95 3/200 10175
/proc/meminfo: memFree=24171344/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=35028 memory=11576 CPUtime=0.69 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 3073 0 0 0 69 0 0 0 20 0 1 0 433479697 35868672 2894 33554432000 4194304 6211092 140733064508000 140733064504008 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 8757 2894 846 493 0 2062 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35028 KiB
Current children cumulated memory: 11576 KiB
[startup+1.50034 s]
/proc/loadavg: 1.93 2.03 1.95 3/200 10175
/proc/meminfo: memFree=24167496/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=41232 memory=17648 CPUtime=1.49 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 4608 0 0 0 149 0 0 0 20 0 1 0 433479697 42221568 4412 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 10308 4412 846 493 0 3613 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 17648 KiB
[startup+3.10958 s]
/proc/loadavg: 1.93 2.03 1.95 3/200 10175
/proc/meminfo: memFree=24150748/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=53528 memory=30060 CPUtime=3.1 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 7828 0 0 0 309 1 0 0 20 0 1 0 433479697 54812672 7515 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 13382 7515 846 493 0 6687 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 53528 KiB
Current children cumulated memory: 30060 KiB
[startup+6.30031 s]
/proc/loadavg: 2.01 2.04 1.95 3/200 10176
/proc/meminfo: memFree=24127836/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=78072 memory=54368 CPUtime=6.29 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 14060 0 0 0 627 2 0 0 20 0 1 0 433479697 79945728 13592 33554432000 4194304 6211092 140733064508000 140733064367288 5443111 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 19518 13592 846 493 0 12823 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 78072 KiB
Current children cumulated memory: 54368 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.04 1.95 3/200 10176
/proc/meminfo: memFree=24082516/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=127228 memory=103460 CPUtime=12.68 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 26441 0 0 0 1263 5 0 0 20 0 1 0 433479697 130281472 25865 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 31807 25865 846 493 0 25112 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 127228 KiB
Current children cumulated memory: 103460 KiB
[startup+25.5004 s]
/proc/loadavg: 2.01 2.04 1.95 3/201 10178
/proc/meminfo: memFree=23982280/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=225324 memory=201792 CPUtime=25.49 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 51223 0 0 0 2538 11 0 0 20 0 1 0 433479697 230731776 50448 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 56331 50448 846 493 0 49636 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 225324 KiB
Current children cumulated memory: 201792 KiB
[startup+51.1095 s]
/proc/loadavg: 2.01 2.04 1.95 3/200 10178
/proc/meminfo: memFree=23782656/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=422016 memory=398232 CPUtime=51.09 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 100465 0 0 0 5091 18 0 0 20 0 1 0 433479697 432144384 99558 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 105504 99558 846 493 0 98809 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 422016 KiB
Current children cumulated memory: 398232 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/199 10183
/proc/meminfo: memFree=23390640/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=815796 memory=791364 CPUtime=102.28 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 198844 0 0 0 10195 33 0 0 20 0 1 0 433479697 835375104 197841 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 203949 197841 846 493 0 197254 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 815796 KiB
Current children cumulated memory: 791364 KiB
[startup+162.3 s]
/proc/loadavg: 2.10 2.06 1.97 3/199 10250
/proc/meminfo: memFree=22556904/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=1276392 memory=1251768 CPUtime=162.26 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 313929 0 0 0 16174 52 0 0 20 0 1 0 433479697 1307025408 312942 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 319098 312942 846 493 0 312403 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1276392 KiB
Current children cumulated memory: 1251768 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.05 1.97 3/200 10262
/proc/meminfo: memFree=21379024/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=1737936 memory=1711876 CPUtime=222.24 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 428968 0 0 0 22154 70 0 0 20 0 1 0 433479697 1779646464 427969 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 434484 427969 846 493 0 427789 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 1737936 KiB
Current children cumulated memory: 1711876 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/200 10266
/proc/meminfo: memFree=20198640/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=2196372 memory=2172292 CPUtime=282.23 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 544086 0 0 0 28138 85 0 0 20 0 1 0 433479697 2249084928 543073 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 549093 543073 846 493 0 542398 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2196372 KiB
Current children cumulated memory: 2172292 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/200 10272
/proc/meminfo: memFree=19020212/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=2659932 memory=2633648 CPUtime=342.21 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 658945 0 0 0 34120 101 0 0 20 0 1 0 433479697 2723770368 658412 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 664983 658412 846 493 0 658288 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 2659932 KiB
Current children cumulated memory: 2633648 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/200 10276
/proc/meminfo: memFree=17841392/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=3118500 memory=3094328 CPUtime=402.19 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 773692 0 0 0 40100 119 0 0 20 0 1 0 433479697 3193344000 773582 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 779625 773582 846 493 0 772930 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 3118500 KiB
Current children cumulated memory: 3094328 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/200 10280
/proc/meminfo: memFree=16667244/32770624 swapFree=66939852/67108860
[pid=10174] ppid=10171 vsize=3584228 memory=3553764 CPUtime=462.17 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 888801 0 0 0 46080 137 0 0 20 0 1 0 433479697 3670249472 888441 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 896057 888441 846 493 0 889362 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 3584228 KiB
Current children cumulated memory: 3553764 KiB
################
# More data... #
################
Current children cumulated vsize: 10936116 KiB
Current children cumulated memory: 10909308 KiB
[startup+1482.3 s]
/proc/loadavg: 2.53 2.17 2.06 3/202 10445
/proc/meminfo: memFree=16526552/32770624 swapFree=66939884/67108860
[pid=10174] ppid=10171 vsize=11392308 memory=11367680 CPUtime=1481.91 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 2843103 0 0 0 147673 518 0 0 20 0 1 0 433479697 11665723392 2841920 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 2848077 2841920 846 493 0 2841382 0
Current children cumulated CPU time: 1481.91 s
Current children cumulated vsize: 11392308 KiB
Current children cumulated memory: 11367680 KiB
[startup+1542.3 s]
/proc/loadavg: 2.20 2.14 2.06 3/202 10449
/proc/meminfo: memFree=15512768/32770624 swapFree=66939884/67108860
[pid=10174] ppid=10171 vsize=11873500 memory=11825792 CPUtime=1541.89 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 2958217 0 0 0 153639 550 0 0 20 0 1 0 433479697 12158464000 2956448 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 2968375 2956448 846 493 0 2961680 0
Current children cumulated CPU time: 1541.89 s
Current children cumulated vsize: 11873500 KiB
Current children cumulated memory: 11825792 KiB
[startup+1602.3 s]
/proc/loadavg: 2.07 2.12 2.05 3/202 10455
/proc/meminfo: memFree=14497136/32770624 swapFree=66939884/67108860
[pid=10174] ppid=10171 vsize=12330352 memory=12285372 CPUtime=1601.87 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 3073147 0 0 0 159605 582 0 0 20 0 1 0 433479697 12626280448 3071343 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 3082588 3071343 846 493 0 3075893 0
Current children cumulated CPU time: 1601.87 s
Current children cumulated vsize: 12330352 KiB
Current children cumulated memory: 12285372 KiB
[startup+1662.3 s]
/proc/loadavg: 2.03 2.09 2.05 3/202 10459
/proc/meminfo: memFree=13484496/32770624 swapFree=66939884/67108860
[pid=10174] ppid=10171 vsize=12787336 memory=12744328 CPUtime=1661.85 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 3188057 0 0 0 165573 612 0 0 20 0 1 0 433479697 13094232064 3186082 33554432000 4194304 6211092 140733064508000 140733064367288 5452231 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 3196834 3186082 846 493 0 3190139 0
Current children cumulated CPU time: 1661.85 s
Current children cumulated vsize: 12787336 KiB
Current children cumulated memory: 12744328 KiB
[startup+1722.3 s]
/proc/loadavg: 2.01 2.08 2.05 3/201 10464
/proc/meminfo: memFree=12472020/32770624 swapFree=66939884/67108860
[pid=10174] ppid=10171 vsize=13244056 memory=13203168 CPUtime=1721.84 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 3302837 0 0 0 171542 642 0 0 20 0 1 0 433479697 13561913344 3300792 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 3311014 3300792 846 493 0 3304319 0
Current children cumulated CPU time: 1721.84 s
Current children cumulated vsize: 13244056 KiB
Current children cumulated memory: 13203168 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/199 10470
/proc/meminfo: memFree=11458088/32770624 swapFree=66939884/67108860
[pid=10174] ppid=10171 vsize=13701040 memory=13662008 CPUtime=1781.83 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 3417645 0 0 0 177509 674 0 0 20 0 1 0 433479697 14029864960 3415502 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 3425260 3415502 846 493 0 3418565 0
Current children cumulated CPU time: 1781.83 s
Current children cumulated vsize: 13701040 KiB
Current children cumulated memory: 13662008 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/199 10474
/proc/meminfo: memFree=10443964/32770624 swapFree=66939884/67108860
[pid=10174] ppid=10171 vsize=14157760 memory=14120848 CPUtime=1841.82 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 3532398 0 0 0 183478 704 0 0 20 0 1 0 433479697 14497546240 3530212 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 3539440 3530212 846 493 0 3532745 0
Current children cumulated CPU time: 1841.82 s
Current children cumulated vsize: 14157760 KiB
Current children cumulated memory: 14120848 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 10479
/proc/meminfo: memFree=9432692/32770624 swapFree=66939884/67108860
[pid=10174] ppid=10171 vsize=14613688 memory=14578896 CPUtime=1901.8 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 3646952 0 0 0 189440 740 0 0 20 0 1 0 433479697 14964416512 3644724 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 3653422 3644724 846 493 0 3646727 0
Current children cumulated CPU time: 1901.8 s
Current children cumulated vsize: 14613688 KiB
Current children cumulated memory: 14578896 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 10485
/proc/meminfo: memFree=8419824/32770624 swapFree=66939884/67108860
[pid=10174] ppid=10171 vsize=15069484 memory=15036680 CPUtime=1961.79 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 3761492 0 0 0 195397 782 0 0 20 0 1 0 433479697 15431151616 3759170 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 3767371 3759170 846 493 0 3760676 0
Current children cumulated CPU time: 1961.79 s
Current children cumulated vsize: 15069484 KiB
Current children cumulated memory: 15036680 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 10496
/proc/meminfo: memFree=7408944/32770624 swapFree=66939884/67108860
[pid=10174] ppid=10171 vsize=15525412 memory=15494532 CPUtime=2021.77 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 3876148 0 0 0 201357 820 0 0 20 0 1 0 433479697 15898021888 3873633 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 3881353 3873633 846 493 0 3874658 0
Current children cumulated CPU time: 2021.77 s
Current children cumulated vsize: 15525412 KiB
Current children cumulated memory: 15494532 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2068 s]*
/proc/loadavg: 2.06 2.04 2.05 3/200 10522
/proc/meminfo: memFree=6636136/32770624 swapFree=66939884/67108860
[pid=10174] ppid=10171 vsize=15872572 memory=15841700 CPUtime=2067.48 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) R 10171 10174 9363 0 -1 4202496 3963410 0 0 0 205898 850 0 0 20 0 1 0 433479697 16253513728 3960425 33554432000 4194304 6211092 140733064508000 140733064367288 140705802521573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 3968143 3960425 846 493 0 3961448 0
Current children cumulated CPU time: 2067.48 s
Current children cumulated vsize: 15872572 KiB
Current children cumulated memory: 15841700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2070.78 s]
# the end of solver process 10174 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2059.24 s, system=9.29474 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2068.8 s]
/proc/loadavg: 2.06 2.04 2.05 3/200 10522
/proc/meminfo: memFree=6636136/32770624 swapFree=66939884/67108860
[pid=10174] ppid=10171 vsize=15872572 memory=15841960 CPUtime=2067.59 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) S 10171 10174 9363 0 -1 512 3963416 0 0 0 205908 851 0 0 20 0 1 0 433479697 16253513728 3960490 33554432000 4194304 6211092 140733064508000 140733064367288 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 3968143 3960490 847 493 0 3961448 0
Current children cumulated CPU time: 2067.59 s
Current children cumulated vsize: 15872572 KiB
Current children cumulated memory: 15841960 KiB
[startup+2069.6 s]
/proc/loadavg: 2.06 2.04 2.05 4/201 10523
/proc/meminfo: memFree=6135656/32770624 swapFree=66939884/67108860
[pid=10174] ppid=10171 vsize=15872572 memory=15841960 CPUtime=2067.7 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) S 10171 10174 9363 0 -1 512 3963416 0 0 0 205918 852 0 0 20 0 1 0 433479697 16253513728 3960490 33554432000 4194304 6211092 140733064508000 140733064367288 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 3968143 3960490 847 493 0 3961448 0
Current children cumulated CPU time: 2067.7 s
Current children cumulated vsize: 15872572 KiB
Current children cumulated memory: 15841960 KiB
[startup+2070 s]*
/proc/loadavg: 2.06 2.04 2.05 3/201 10523
/proc/meminfo: memFree=5621676/32770624 swapFree=66939884/67108860
[pid=10174] ppid=10171 vsize=15872572 memory=15841960 CPUtime=2067.76 cores=0,2,4,6
/proc/10174/stat : 10174 (cosoco) S 10171 10174 9363 0 -1 512 3963416 0 0 0 205924 852 0 0 20 0 1 0 433479697 16253513728 3960490 33554432000 4194304 6211092 140733064508000 140733064367288 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 25174016 140733064516619 140733064516721 140733064516721 140733064519630 0
/proc/10174/statm: 3968143 3960490 847 493 0 3961448 0
Current children cumulated CPU time: 2067.76 s
Current children cumulated vsize: 15872572 KiB
Current children cumulated memory: 15841960 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2070.78
CPU time (s): 2068.54
CPU user time (s): 2059.24
CPU system time (s): 9.29474
CPU usage (%): 99.8919
Max. virtual memory (cumulated for all children) (KiB): 15872572
Max. memory (cumulated for all children) (KiB): 15841960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2059.24
system time used= 9.29474
maximum resident set size= 15841960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3963416
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= 124226
involuntary context switches= 2594
# summary of solver processes directly reported to runsolver:
# pid: 10174
# total CPU time (s): 2068.54
# total CPU user time (s): 2059.24
# total CPU system time (s): 9.29474
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34419 second user time and 14.5378 second system time
The end