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 (10752 MiB free)
memory of node 1: 16384 MiB (14623 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397898-1568575532/watcher-4397898-1568575532 -o /tmp/evaluation-result-4397898-1568575532/solver-4397898-1568575532 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568568567-1513 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397898-1568575532.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
Current StackSize limit: 8192 KiB
solver pid=2141, runsolver pid=2138
[startup+0.100202 s]*
/proc/loadavg: 2.00 2.02 1.92 3/198 2142
/proc/meminfo: memFree=25981404/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=30536 memory=7084 CPUtime=0.1 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 1933 0 0 0 10 0 0 0 20 0 1 0 433810391 31268864 1705 33554432000 4194304 6211092 140722999961616 140722999958152 5013005 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 7634 1771 846 493 0 939 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30536 KiB
Current children cumulated memory: 7084 KiB
[startup+0.209792 s]*
/proc/loadavg: 2.00 2.02 1.92 3/198 2142
/proc/meminfo: memFree=25980360/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=31328 memory=7876 CPUtime=0.21 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 2142 0 0 0 21 0 0 0 20 0 1 0 433810391 32079872 1969 33554432000 4194304 6211092 140722999961616 140722999820904 139720086445029 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 7832 1969 846 493 0 1137 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31328 KiB
Current children cumulated memory: 7876 KiB
[startup+0.30917 s]*
/proc/loadavg: 2.00 2.02 1.92 3/198 2142
/proc/meminfo: memFree=25978872/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=32120 memory=8668 CPUtime=0.31 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 2332 0 0 0 31 0 0 0 20 0 1 0 433810391 32890880 2167 33554432000 4194304 6211092 140722999961616 140722999820904 139720086445029 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 8030 2167 846 493 0 1335 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32120 KiB
Current children cumulated memory: 8668 KiB
[startup+0.700335 s]
/proc/loadavg: 2.00 2.02 1.92 3/198 2142
/proc/meminfo: memFree=25975896/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=35024 memory=11572 CPUtime=0.69 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 3064 0 0 0 69 0 0 0 20 0 1 0 433810391 35864576 2893 33554432000 4194304 6211092 140722999961616 140722999820904 139720087371172 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 8756 2893 846 493 0 2061 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35024 KiB
Current children cumulated memory: 11572 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.02 1.92 3/198 2142
/proc/meminfo: memFree=25968324/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=41096 memory=17644 CPUtime=1.49 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 4589 0 0 0 149 0 0 0 20 0 1 0 433810391 42082304 4411 33554432000 4194304 6211092 140722999961616 140722999820904 139720087371167 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 10274 4411 846 493 0 3579 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41096 KiB
Current children cumulated memory: 17644 KiB
[startup+3.10959 s]
/proc/loadavg: 2.00 2.02 1.92 3/198 2143
/proc/meminfo: memFree=25937968/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=53392 memory=29820 CPUtime=3.1 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 7842 0 0 0 309 1 0 0 20 0 1 0 433810391 54673408 7455 33554432000 4194304 6211092 140722999961616 140722999820904 139720086445029 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 13348 7455 846 493 0 6653 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 53392 KiB
Current children cumulated memory: 29820 KiB
[startup+6.30033 s]
/proc/loadavg: 1.84 1.98 1.91 3/198 2143
/proc/meminfo: memFree=25891948/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=77672 memory=54092 CPUtime=6.28 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 14093 0 0 0 627 1 0 0 20 0 1 0 433810391 79536128 13523 33554432000 4194304 6211092 140722999961616 140722999820904 5441090 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 19418 13523 846 493 0 12723 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 77672 KiB
Current children cumulated memory: 54092 KiB
[startup+12.7003 s]
/proc/loadavg: 1.86 1.98 1.91 3/199 2145
/proc/meminfo: memFree=25800328/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=126564 memory=102920 CPUtime=12.69 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 26449 0 0 0 1266 3 0 0 20 0 1 0 433810391 129601536 25730 33554432000 4194304 6211092 140722999961616 140722999820904 5443096 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 31641 25730 846 493 0 24946 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 126564 KiB
Current children cumulated memory: 102920 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 1.91 3/198 2145
/proc/meminfo: memFree=25600012/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=223868 memory=200252 CPUtime=25.48 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 51169 0 0 0 2542 6 0 0 20 0 1 0 433810391 229240832 50063 33554432000 4194304 6211092 140722999961616 140722999820904 139720086445029 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 55967 50063 846 493 0 49272 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 223868 KiB
Current children cumulated memory: 200252 KiB
[startup+51.1096 s]
/proc/loadavg: 1.93 1.99 1.91 3/198 2145
/proc/meminfo: memFree=25200792/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=419240 memory=395468 CPUtime=51.09 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 100108 0 0 0 5096 13 0 0 20 0 1 0 433810391 429301760 98867 33554432000 4194304 6211092 140722999961616 140722999820904 139720086445029 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 104810 98867 846 493 0 98115 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 419240 KiB
Current children cumulated memory: 395468 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 1.92 3/198 2151
/proc/meminfo: memFree=24416344/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=809588 memory=785016 CPUtime=102.28 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 197691 0 0 0 10201 27 0 0 20 0 1 0 433810391 829018112 196254 33554432000 4194304 6211092 140722999961616 140722999820904 5456306 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 202397 196254 846 493 0 195702 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 809588 KiB
Current children cumulated memory: 785016 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.93 3/198 2155
/proc/meminfo: memFree=23492624/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=1266884 memory=1242000 CPUtime=162.27 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 311934 0 0 0 16182 45 0 0 20 0 1 0 433810391 1297289216 310500 33554432000 4194304 6211092 140722999961616 140722999820904 5451552 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 316721 310500 846 493 0 310026 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1266884 KiB
Current children cumulated memory: 1242000 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/198 2159
/proc/meminfo: memFree=22571660/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=1725260 memory=1699192 CPUtime=222.26 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 426205 0 0 0 22165 61 0 0 20 0 1 0 433810391 1766666240 424798 33554432000 4194304 6211092 140722999961616 140722999820904 5013073 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 431315 424798 846 493 0 424620 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 1725260 KiB
Current children cumulated memory: 1699192 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/198 2166
/proc/meminfo: memFree=21647256/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=2180792 memory=2156704 CPUtime=282.26 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 540577 0 0 0 28150 76 0 0 20 0 1 0 433810391 2233131008 539176 33554432000 4194304 6211092 140722999961616 140722999820904 139720087371155 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 545198 539176 846 493 0 538503 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2180792 KiB
Current children cumulated memory: 2156704 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/199 2179
/proc/meminfo: memFree=20725496/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=2640788 memory=2614632 CPUtime=342.25 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 654580 0 0 0 34134 91 0 0 20 0 1 0 433810391 2704166912 653658 33554432000 4194304 6211092 140722999961616 140722999820904 5452223 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 660197 653658 846 493 0 653502 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2640788 KiB
Current children cumulated memory: 2614632 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 2183
/proc/meminfo: memFree=19801380/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=3095792 memory=3071640 CPUtime=402.25 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 768526 0 0 0 40117 108 0 0 20 0 1 0 433810391 3170091008 767910 33554432000 4194304 6211092 140722999961616 140722999820904 5478632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 773948 767910 846 493 0 767253 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 3095792 KiB
Current children cumulated memory: 3071640 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 2189
/proc/meminfo: memFree=18880816/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=3558352 memory=3527620 CPUtime=462.23 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 883042 0 0 0 46097 126 0 0 20 0 1 0 433810391 3643752448 881905 33554432000 4194304 6211092 140722999961616 140722999820904 5446111 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 889588 881905 846 493 0 882893 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 3558352 KiB
Current children cumulated memory: 3527620 KiB
################
# More data... #
################
Current children cumulated vsize: 11791260 KiB
Current children cumulated memory: 11743044 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 2295
/proc/meminfo: memFree=1372124/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=12244680 memory=12199580 CPUtime=1602.13 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 3059639 0 0 0 159630 583 0 0 20 0 1 0 433810391 12538552320 3049895 33554432000 4194304 6211092 140722999961616 140722999820904 5452242 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 3061170 3049895 846 493 0 3054475 0
Current children cumulated CPU time: 1602.13 s
Current children cumulated vsize: 12244680 KiB
Current children cumulated memory: 12199580 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 2299
/proc/meminfo: memFree=452388/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=12697440 memory=12654464 CPUtime=1662.12 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 3174395 0 0 0 165589 623 0 0 20 0 1 0 433810391 13002178560 3163616 33554432000 4194304 6211092 140722999961616 140722999820904 5446279 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 3174360 3163616 846 493 0 3167665 0
Current children cumulated CPU time: 1662.12 s
Current children cumulated vsize: 12697440 KiB
Current children cumulated memory: 12654464 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 2305
/proc/meminfo: memFree=195248/32770624 swapFree=66977624/67108860
[pid=2141] ppid=2138 vsize=13150464 memory=13109472 CPUtime=1722.12 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 3289070 0 0 0 171548 664 0 0 20 0 1 0 433810391 13466075136 3277368 33554432000 4194304 6211092 140722999961616 140722999820904 139720086445029 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 3287616 3277368 846 493 0 3280921 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 13150464 KiB
Current children cumulated memory: 13109472 KiB
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/199 2309
/proc/meminfo: memFree=208984/32770624 swapFree=66780168/67108860
[pid=2141] ppid=2138 vsize=13604412 memory=13565484 CPUtime=1782.11 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 3403454 0 0 0 177516 695 0 0 20 0 1 0 433810391 13930917888 3391371 33554432000 4194304 6211092 140722999961616 140722999820904 5455658 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 3401103 3391371 846 493 0 3394408 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 13604412 KiB
Current children cumulated memory: 13565484 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/198 2313
/proc/meminfo: memFree=200260/32770624 swapFree=66379692/67108860
[pid=2141] ppid=2138 vsize=14058096 memory=14021148 CPUtime=1842.11 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 3517896 0 0 0 183481 730 0 0 20 0 1 0 433810391 14395490304 3505287 33554432000 4194304 6211092 140722999961616 140722999820904 5456306 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 3514524 3505287 846 493 0 3507829 0
Current children cumulated CPU time: 1842.11 s
Current children cumulated vsize: 14058096 KiB
Current children cumulated memory: 14021148 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/199 2320
/proc/meminfo: memFree=252012/32770624 swapFree=66100944/67108860
[pid=2141] ppid=2138 vsize=14511384 memory=14476632 CPUtime=1902.1 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 3632108 0 0 0 189445 765 0 0 20 0 1 0 433810391 14859657216 3619158 33554432000 4194304 6211092 140722999961616 140722999820904 5441112 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 3627846 3619158 846 493 0 3621151 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 14511384 KiB
Current children cumulated memory: 14476632 KiB
[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/204 2393
/proc/meminfo: memFree=15233236/32770624 swapFree=66912904/67108860
[pid=2141] ppid=2138 vsize=14964276 memory=14931460 CPUtime=1962.09 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 3746374 0 0 0 195405 804 0 0 20 0 1 0 433810391 15323418624 3732865 33554432000 4194304 6211092 140722999961616 140722999820904 139720086445029 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 3741069 3732865 846 493 0 3734374 0
Current children cumulated CPU time: 1962.09 s
Current children cumulated vsize: 14964276 KiB
Current children cumulated memory: 14931460 KiB
[startup+2022.3 s]
/proc/loadavg: 2.06 2.04 1.99 3/201 2407
/proc/meminfo: memFree=14318020/32770624 swapFree=66912924/67108860
[pid=2141] ppid=2138 vsize=15418752 memory=15386132 CPUtime=2022.08 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 3860249 0 0 0 201366 842 0 0 20 0 1 0 433810391 15788802048 3846533 33554432000 4194304 6211092 140722999961616 140722999820904 5455634 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 3854688 3846533 846 493 0 3847993 0
Current children cumulated CPU time: 2022.08 s
Current children cumulated vsize: 15418752 KiB
Current children cumulated memory: 15386132 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/202 2414
/proc/meminfo: memFree=13306892/32770624 swapFree=66912924/67108860
[pid=2141] ppid=2138 vsize=15872700 memory=15842160 CPUtime=2082.07 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 3973844 0 0 0 207326 881 0 0 20 0 1 0 433810391 16253644800 3960540 33554432000 4194304 6211092 140722999961616 140722999820904 139720095777952 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 3968175 3960540 846 493 0 3961480 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15842160 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2082.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/202 2414
/proc/meminfo: memFree=13306892/32770624 swapFree=66912924/67108860
[pid=2141] ppid=2138 vsize=15872700 memory=15842160 CPUtime=2082.07 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 4202496 3973844 0 0 0 207326 881 0 0 20 0 1 0 433810391 16253644800 3960540 33554432000 4194304 6211092 140722999961616 140722999820904 139720095777952 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 3968175 3960540 846 493 0 3961480 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15842160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2085.22 s]
# the end of solver process 2141 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2073.5 s, system=9.76613 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2083.2 s]
/proc/loadavg: 2.02 2.03 1.99 3/202 2415
/proc/meminfo: memFree=12955340/32770624 swapFree=66912928/67108860
[pid=2141] ppid=2138 vsize=15872704 memory=15842160 CPUtime=2082.2 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) R 2138 2141 1482 0 -1 512 3973850 0 0 0 207337 883 0 0 20 0 1 0 433810391 16253648896 3960540 33554432000 4194304 6211092 140722999961616 140722999820904 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 3968176 3960540 846 493 0 3961481 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 15872704 KiB
Current children cumulated memory: 15842160 KiB
[startup+2084 s]*
/proc/loadavg: 2.02 2.03 1.99 4/202 2415
/proc/meminfo: memFree=12477276/32770624 swapFree=66912928/67108860
[pid=2141] ppid=2138 vsize=15872704 memory=15842160 CPUtime=2082.3 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) S 2138 2141 1482 0 -1 512 3973850 0 0 0 207346 884 0 0 20 0 1 0 433810391 16253648896 3960540 33554432000 4194304 6211092 140722999961616 140722999820904 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 3968176 3960540 846 493 0 3961481 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 15872704 KiB
Current children cumulated memory: 15842160 KiB
[startup+2084.2 s]
/proc/loadavg: 2.02 2.03 1.99 4/202 2415
/proc/meminfo: memFree=12477276/32770624 swapFree=66912928/67108860
[pid=2141] ppid=2138 vsize=15872704 memory=15842160 CPUtime=2082.32 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) S 2138 2141 1482 0 -1 512 3973850 0 0 0 207348 884 0 0 20 0 1 0 433810391 16253648896 3960540 33554432000 4194304 6211092 140722999961616 140722999820904 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 3968176 3960540 846 493 0 3961481 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 15872704 KiB
Current children cumulated memory: 15842160 KiB
[startup+2084.3 s]
/proc/loadavg: 2.02 2.03 1.99 4/202 2415
/proc/meminfo: memFree=12477276/32770624 swapFree=66912928/67108860
[pid=2141] ppid=2138 vsize=15872704 memory=15842160 CPUtime=2082.34 cores=0,2,4,6
/proc/2141/stat : 2141 (cosoco) S 2138 2141 1482 0 -1 512 3973850 0 0 0 207350 884 0 0 20 0 1 0 433810391 16253648896 3960540 33554432000 4194304 6211092 140722999961616 140722999820904 5189768 0 16384 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20934656 140722999968779 140722999968881 140722999968881 140722999971790 0
/proc/2141/statm: 3968176 3960540 846 493 0 3961481 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 15872704 KiB
Current children cumulated memory: 15842160 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2085.22
CPU time (s): 2083.27
CPU user time (s): 2073.5
CPU system time (s): 9.76613
CPU usage (%): 99.9063
Max. virtual memory (cumulated for all children) (KiB): 15872704
Max. memory (cumulated for all children) (KiB): 15842160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2073.5
system time used= 9.76613
maximum resident set size= 15842232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3973850
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= 119079
involuntary context switches= 2623
# summary of solver processes directly reported to runsolver:
# pid: 2141
# total CPU time (s): 2083.27
# total CPU user time (s): 2073.5
# total CPU system time (s): 9.76613
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64031 second user time and 14.4101 second system time
The end