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 (15325 MiB free)
memory of node 1: 16384 MiB (15466 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267412-1502606134/watcher-4267412-1502606134 -o /tmp/evaluation-result-4267412-1502606134/solver-4267412-1502606134 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502602094-2570 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267412-1502606134.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=5329, runsolver pid=5326
[startup+0.100151 s]*
/proc/loadavg: 1.84 1.99 2.03 3/188 5330
/proc/meminfo: memFree=31529556/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=28384 memory=4312 CPUtime=0.1 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 1398 0 0 0 10 0 0 0 20 0 1 0 93701803 29065216 1078 33554432000 4194304 5748600 140729798608016 140729798604664 5221254 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 7096 1078 701 380 0 514 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28384 KiB
Current children cumulated memory: 4312 KiB
[startup+0.209777 s]*
/proc/loadavg: 1.84 1.99 2.03 3/188 5330
/proc/meminfo: memFree=31527956/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=29944 memory=5464 CPUtime=0.21 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 1907 0 0 0 21 0 0 0 20 0 1 0 93701803 30662656 1366 33554432000 4194304 5748600 140729798608016 140729798604664 140656432176101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 7486 1366 701 380 0 904 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29944 KiB
Current children cumulated memory: 5464 KiB
[startup+0.309418 s]*
/proc/loadavg: 1.84 1.99 2.03 3/188 5330
/proc/meminfo: memFree=31523056/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=34348 memory=10520 CPUtime=0.31 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 3369 0 0 0 31 0 0 0 20 0 1 0 93701803 35172352 2630 33554432000 4194304 5748600 140729798608016 140729798604664 5212275 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 8587 2630 707 380 0 2005 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34348 KiB
Current children cumulated memory: 10520 KiB
[startup+0.70034 s]
/proc/loadavg: 1.84 1.99 2.03 3/188 5330
/proc/meminfo: memFree=31520328/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=38344 memory=13948 CPUtime=0.69 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 4287 0 0 0 69 0 0 0 20 0 1 0 93701803 39264256 3487 33554432000 4194304 5748600 140729798608016 140729798604664 5188157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 9586 3487 707 380 0 3004 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38344 KiB
Current children cumulated memory: 13948 KiB
[startup+1.50035 s]
/proc/loadavg: 1.84 1.99 2.03 3/188 5330
/proc/meminfo: memFree=31515168/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=47772 memory=22924 CPUtime=1.49 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 6493 0 0 0 149 0 0 0 20 0 1 0 93701803 48918528 5731 33554432000 4194304 5748600 140729798608016 140729798604664 5479228 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 11943 5731 707 380 0 5361 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47772 KiB
Current children cumulated memory: 22924 KiB
[startup+3.10953 s]
/proc/loadavg: 1.84 1.99 2.03 3/188 5330
/proc/meminfo: memFree=31495044/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=65500 memory=39000 CPUtime=3.1 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 11933 0 0 0 309 1 0 0 20 0 1 0 93701803 67072000 9750 33554432000 4194304 5748600 140729798608016 140729798604664 5479197 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 16375 9750 707 380 0 9793 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 65500 KiB
Current children cumulated memory: 39000 KiB
[startup+6.30039 s]
/proc/loadavg: 1.77 1.97 2.02 3/188 5330
/proc/meminfo: memFree=31464584/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=100020 memory=71036 CPUtime=6.29 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 21506 0 0 0 627 2 0 0 20 0 1 0 93701803 102420480 17759 33554432000 4194304 5748600 140729798608016 140729798604664 5476926 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 25005 17759 707 380 0 18423 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 100020 KiB
Current children cumulated memory: 71036 KiB
[startup+12.7003 s]
/proc/loadavg: 1.79 1.97 2.02 3/188 5330
/proc/meminfo: memFree=31403700/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=171696 memory=137016 CPUtime=12.69 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 39990 0 0 0 1264 5 0 0 20 0 1 0 93701803 175816704 34254 33554432000 4194304 5748600 140729798608016 140729798602728 5479489 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 42924 34254 707 380 0 36342 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 171696 KiB
Current children cumulated memory: 137016 KiB
[startup+25.5005 s]
/proc/loadavg: 1.84 1.97 2.02 2/182 5376
/proc/meminfo: memFree=31445116/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=161624 CPUtime=25.49 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 120148 0 0 0 2541 8 0 0 20 0 1 0 93701803 200228864 40406 33554432000 4194304 5748600 140729798608016 140729798605416 4893030 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 40406 751 380 0 42302 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 161624 KiB
[startup+51.1097 s]
/proc/loadavg: 1.89 1.98 2.02 3/188 5391
/proc/meminfo: memFree=31245480/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=164168 CPUtime=51.09 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 151583 0 0 0 5100 9 0 0 20 0 1 0 93701803 200228864 41042 33554432000 4194304 5748600 140729798608016 140729798605416 4894270 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 41042 751 380 0 42302 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 164168 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 1.98 2.02 3/188 5392
/proc/meminfo: memFree=31239912/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=169888 CPUtime=102.26 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 171716 0 0 0 10217 9 0 0 20 0 1 0 93701803 200228864 42472 33554432000 4194304 5748600 140729798608016 140729798605416 4893103 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42472 751 380 0 42302 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 169888 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.02 3/188 5393
/proc/meminfo: memFree=31233268/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=162.26 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 174426 0 0 0 16217 9 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894318 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 2.02 3/188 5394
/proc/meminfo: memFree=31224988/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=222.27 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 175162 0 0 0 22217 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894270 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 5396
/proc/meminfo: memFree=31225660/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=282.28 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 175162 0 0 0 28218 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894306 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 5397
/proc/meminfo: memFree=31226512/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=342.28 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 175898 0 0 0 34218 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4893105 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 5398
/proc/meminfo: memFree=31226512/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=402.29 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 175898 0 0 0 40219 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894318 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 5400
/proc/meminfo: memFree=31226828/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=462.29 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 176634 0 0 0 46219 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894272 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
################
# More data... #
################
Current children cumulated memory: 171836 KiB
[startup+942.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 5415
/proc/meminfo: memFree=31226764/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=942.32 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 179578 0 0 0 94222 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894270 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 942.32 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 5416
/proc/meminfo: memFree=31226408/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=1002.33 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 179578 0 0 0 100223 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894270 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 1002.33 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 5417
/proc/meminfo: memFree=31226164/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=1062.33 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 180314 0 0 0 106223 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894816 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 1062.33 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 5418
/proc/meminfo: memFree=31226292/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=1122.33 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 180314 0 0 0 112223 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894318 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 1122.33 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+1182.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 5427
/proc/meminfo: memFree=31225488/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=1182.34 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 180804 0 0 0 118224 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4893024 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 1182.34 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 5428
/proc/meminfo: memFree=31225592/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=1242.34 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 180804 0 0 0 124224 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894262 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 1242.34 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+1298.78 s]
# the end of solver process 5329 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1298.73 s, system=0.103006 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 5428
/proc/meminfo: memFree=31225592/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=1254.44 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 181050 0 0 0 125434 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4893103 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 1254.44 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+1280 s]*
/proc/loadavg: 2.01 2.03 2.05 3/188 5428
/proc/meminfo: memFree=31225592/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=1280.05 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 181516 0 0 0 127995 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894270 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 1280.05 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+1286.4 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 5428
/proc/meminfo: memFree=31225592/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=1286.44 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 181516 0 0 0 128634 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894309 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 1286.44 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+1292.8 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 5429
/proc/meminfo: memFree=31226096/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=1292.84 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 181516 0 0 0 129274 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4893105 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 1292.84 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+1296 s]*
/proc/loadavg: 2.01 2.03 2.05 3/188 5429
/proc/meminfo: memFree=31226096/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=1296.05 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 181516 0 0 0 129595 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894068 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 1296.05 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+1297.6 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 5429
/proc/meminfo: memFree=31226096/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=1297.65 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 181516 0 0 0 129755 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894318 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 1297.65 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+1298.4 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 5429
/proc/meminfo: memFree=31226096/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=1298.45 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 181516 0 0 0 129835 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894270 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 1298.45 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+1298.6 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 5429
/proc/meminfo: memFree=31226096/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=1298.65 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 181516 0 0 0 129855 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894279 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 1298.65 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
[startup+1298.7 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 5429
/proc/meminfo: memFree=31226096/32770624 swapFree=67108860/67108860
[pid=5329] ppid=5326 vsize=195536 memory=171836 CPUtime=1298.75 cores=0,2,4,6
/proc/5329/stat : 5329 (cosoco) R 5326 5329 2539 0 -1 4202496 181516 0 0 0 129865 10 0 0 20 0 1 0 93701803 200228864 42959 33554432000 4194304 5748600 140729798608016 140729798605416 4894270 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 24150016 140729798612159 140729798612254 140729798612254 140729798614990 0
/proc/5329/statm: 48884 42959 751 380 0 42302 0
Current children cumulated CPU time: 1298.75 s
Current children cumulated vsize: 195536 KiB
Current children cumulated memory: 171836 KiB
Child status: 0
Real time (s): 1298.78
CPU time (s): 1298.84
CPU user time (s): 1298.73
CPU system time (s): 0.103006
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 195536
Max. memory (cumulated for all children) (KiB): 171836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.73
system time used= 0.103006
maximum resident set size= 171908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181606
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= 65
involuntary context switches= 328
# summary of solver processes directly reported to runsolver:
# pid: 5329
# total CPU time (s): 1298.84
# total CPU user time (s): 1298.73
# total CPU system time (s): 0.103006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2075 second user time and 9.55089 second system time
The end