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 (11942 MiB free)
memory of node 1: 16384 MiB (12637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389925-1568358792/watcher-4389925-1568358792 -o /tmp/evaluation-result-4389925-1568358792/solver-4389925-1568358792 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568358628-25237 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389925-1568358792.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25396, runsolver pid=25392
Current StackSize limit: 8192 KiB
[startup+0.100139 s]*
/proc/loadavg: 4.18 2.26 1.65 3/200 25407
/proc/meminfo: memFree=25143824/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=39152 memory=15224 CPUtime=0.09 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 4006 0 0 0 9 0 0 0 20 0 1 0 412040794 40091648 3806 33554432000 4194304 6210612 140731463553376 140731463549912 140085793596739 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 9788 3806 809 493 0 3093 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 15224 KiB
[startup+0.209664 s]*
/proc/loadavg: 4.18 2.26 1.65 3/200 25407
/proc/meminfo: memFree=25139828/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=40728 memory=16872 CPUtime=0.2 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 4429 0 0 0 20 0 0 0 20 0 1 0 412040794 41705472 4218 33554432000 4194304 6210612 140731463553376 140731463526936 5451450 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 10182 4218 819 493 0 3487 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16872 KiB
[startup+0.309073 s]*
/proc/loadavg: 4.18 2.26 1.65 3/200 25407
/proc/meminfo: memFree=25137596/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=41712 memory=17928 CPUtime=0.31 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 4681 0 0 0 30 1 0 0 20 0 1 0 412040794 42713088 4482 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 10428 4482 819 493 0 3733 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17928 KiB
[startup+0.700274 s]
/proc/loadavg: 4.18 2.26 1.65 3/200 25407
/proc/meminfo: memFree=25133256/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=45708 memory=21992 CPUtime=0.69 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 5666 0 0 0 68 1 0 0 20 0 1 0 412040794 46804992 5498 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 11427 5498 819 493 0 4732 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21992 KiB
[startup+1.50028 s]
/proc/loadavg: 4.00 2.26 1.65 3/200 25407
/proc/meminfo: memFree=25122872/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=54076 memory=30052 CPUtime=1.49 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 7725 0 0 0 148 1 0 0 20 0 1 0 412040794 55373824 7513 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 13519 7513 819 493 0 6824 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 30052 KiB
[startup+3.10939 s]
/proc/loadavg: 4.00 2.26 1.65 4/200 25407
/proc/meminfo: memFree=25080596/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=70760 memory=46836 CPUtime=3.1 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 12041 0 0 0 308 2 0 0 20 0 1 0 412040794 72458240 11709 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 17690 11709 819 493 0 10995 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70760 KiB
Current children cumulated memory: 46836 KiB
[startup+6.30027 s]
/proc/loadavg: 3.84 2.25 1.65 3/200 25407
/proc/meminfo: memFree=25018520/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=104436 memory=79764 CPUtime=6.29 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 20353 0 0 0 626 3 0 0 20 0 1 0 412040794 106942464 19941 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 26109 19941 819 493 0 19414 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104436 KiB
Current children cumulated memory: 79764 KiB
[startup+12.7003 s]
/proc/loadavg: 3.70 2.25 1.65 3/200 25407
/proc/meminfo: memFree=24894024/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=170028 memory=146016 CPUtime=12.69 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 36961 0 0 0 1264 5 0 0 20 0 1 0 412040794 174108672 36504 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 42507 36504 819 493 0 35812 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170028 KiB
Current children cumulated memory: 146016 KiB
[startup+25.5003 s]
/proc/loadavg: 3.43 2.24 1.66 3/200 25407
/proc/meminfo: memFree=24623084/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=303732 memory=279432 CPUtime=25.48 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 69937 0 0 0 2539 9 0 0 20 0 1 0 412040794 311021568 69858 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 75933 69858 819 493 0 69238 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 303732 KiB
Current children cumulated memory: 279432 KiB
[startup+51.1093 s]
/proc/loadavg: 2.87 2.22 1.67 3/200 25410
/proc/meminfo: memFree=24082624/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=572756 memory=543880 CPUtime=51.09 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 135056 0 0 0 5091 18 0 0 20 0 1 0 412040794 586502144 135970 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 143189 135970 819 493 0 136494 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 572756 KiB
Current children cumulated memory: 543880 KiB
[startup+102.3 s]
/proc/loadavg: 2.38 2.18 1.69 3/200 25413
/proc/meminfo: memFree=23023584/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=1113444 memory=1073620 CPUtime=102.26 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 264456 0 0 0 10192 34 0 0 20 0 1 0 412040794 1140166656 268405 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 278361 268405 819 493 0 271666 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 1113444 KiB
Current children cumulated memory: 1073620 KiB
[startup+162.3 s]
/proc/loadavg: 2.14 2.15 1.71 3/200 25417
/proc/meminfo: memFree=21773464/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=1739836 memory=1696048 CPUtime=162.25 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 415482 0 0 0 16171 54 0 0 20 0 1 0 412040794 1781592064 424012 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 434959 424012 819 493 0 428264 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 1739836 KiB
Current children cumulated memory: 1696048 KiB
[startup+222.3 s]
/proc/loadavg: 2.56 2.27 1.78 3/201 25423
/proc/meminfo: memFree=20528120/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=2341756 memory=2316364 CPUtime=222.25 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 565954 0 0 0 22150 75 0 0 20 0 1 0 412040794 2397958144 579091 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 585439 579091 819 493 0 578744 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2341756 KiB
Current children cumulated memory: 2316364 KiB
[startup+282.3 s]
/proc/loadavg: 2.21 2.22 1.79 3/199 25427
/proc/meminfo: memFree=19278288/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=2980456 memory=2938740 CPUtime=282.24 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 717012 0 0 0 28128 96 0 0 20 0 1 0 412040794 3051986944 734685 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 745114 734685 819 493 0 738419 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2980456 KiB
Current children cumulated memory: 2938740 KiB
[startup+342.301 s]
/proc/loadavg: 2.42 2.26 1.83 3/199 25431
/proc/meminfo: memFree=18035048/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=3582244 memory=3558388 CPUtime=342.23 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 867887 0 0 0 34107 116 0 0 20 0 1 0 412040794 3668217856 889597 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 895561 889597 819 493 0 888866 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 3582244 KiB
Current children cumulated memory: 3558388 KiB
[startup+402.3 s]
/proc/loadavg: 2.34 2.29 1.86 3/200 25437
/proc/meminfo: memFree=16785072/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=4239264 memory=4181068 CPUtime=402.22 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 1018575 0 0 0 40084 138 0 0 20 0 1 0 412040794 4341006336 1045267 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 1059816 1045267 819 493 0 1053121 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 4239264 KiB
Current children cumulated memory: 4181068 KiB
[startup+462.3 s]
/proc/loadavg: 2.12 2.23 1.87 3/200 25449
/proc/meminfo: memFree=15539564/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=4840920 memory=4801072 CPUtime=462.21 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 1169130 0 0 0 46061 160 0 0 20 0 1 0 412040794 4957102080 1200268 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 1210230 1200268 819 493 0 1203535 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 4840920 KiB
Current children cumulated memory: 4801072 KiB
################
# More data... #
################
Current children cumulated vsize: 9859404 KiB
Current children cumulated memory: 9767028 KiB
[startup+1002.3 s]
/proc/loadavg: 2.03 2.05 1.93 3/199 25493
/proc/meminfo: memFree=4325760/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=10460400 memory=10388544 CPUtime=1002.13 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 2525372 0 0 0 99826 387 0 0 20 0 1 0 412040794 10711449600 2597136 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 2615100 2597136 819 493 0 2608405 0
Current children cumulated CPU time: 1002.13 s
Current children cumulated vsize: 10460400 KiB
Current children cumulated memory: 10388544 KiB
[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 1.93 3/200 25505
/proc/meminfo: memFree=3080228/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=11061396 memory=11007828 CPUtime=1062.12 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 2675900 0 0 0 105798 414 0 0 20 0 1 0 412040794 11326869504 2751957 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 2765349 2751957 819 493 0 2758654 0
Current children cumulated CPU time: 1062.12 s
Current children cumulated vsize: 11061396 KiB
Current children cumulated memory: 11007828 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 1.94 3/201 25511
/proc/meminfo: memFree=1835808/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=11662128 memory=11629140 CPUtime=1122.11 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 2826357 0 0 0 111766 445 0 0 20 0 1 0 412040794 11942019072 2907285 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 2915532 2907285 819 493 0 2908837 0
Current children cumulated CPU time: 1122.11 s
Current children cumulated vsize: 11662128 KiB
Current children cumulated memory: 11629140 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/200 25515
/proc/meminfo: memFree=591584/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=12449716 memory=12247828 CPUtime=1182.1 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 2977166 0 0 0 117734 476 0 0 20 0 1 0 412040794 12748509184 3061957 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 3112429 3061957 819 493 0 3105734 0
Current children cumulated CPU time: 1182.1 s
Current children cumulated vsize: 12449716 KiB
Current children cumulated memory: 12247828 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/200 25519
/proc/meminfo: memFree=216752/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=13050184 memory=12868628 CPUtime=1242.11 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 3128009 0 0 0 123703 508 0 0 20 0 1 0 412040794 13363388416 3217157 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 3262546 3217157 819 493 0 3255851 0
Current children cumulated CPU time: 1242.11 s
Current children cumulated vsize: 13050184 KiB
Current children cumulated memory: 12868628 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/201 25525
/proc/meminfo: memFree=194912/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=13650784 memory=13487544 CPUtime=1302.1 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 3278773 0 0 0 129674 536 0 0 20 0 1 0 412040794 13978402816 3371886 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 3412696 3371886 819 493 0 3406001 0
Current children cumulated CPU time: 1302.1 s
Current children cumulated vsize: 13650784 KiB
Current children cumulated memory: 13487544 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 25529
/proc/meminfo: memFree=205516/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=14251384 memory=14108696 CPUtime=1362.1 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 3429035 0 0 0 135644 566 0 0 20 0 1 0 412040794 14593417216 3527174 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 3562846 3527174 819 493 0 3556151 0
Current children cumulated CPU time: 1362.1 s
Current children cumulated vsize: 14251384 KiB
Current children cumulated memory: 14108696 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 25533
/proc/meminfo: memFree=215812/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=14851192 memory=14727080 CPUtime=1422.11 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 3579610 0 0 0 141609 602 0 0 20 0 1 0 412040794 15207620608 3681770 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 3712798 3681770 819 493 0 3706103 0
Current children cumulated CPU time: 1422.11 s
Current children cumulated vsize: 14851192 KiB
Current children cumulated memory: 14727080 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 25539
/proc/meminfo: memFree=198440/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=15450736 memory=15346968 CPUtime=1482.12 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 3729665 0 0 0 147571 641 0 0 20 0 1 0 412040794 15821553664 3836742 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 3862684 3836742 819 493 0 3855989 0
Current children cumulated CPU time: 1482.12 s
Current children cumulated vsize: 15450736 KiB
Current children cumulated memory: 15346968 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1525.5 s]
/proc/loadavg: 2.00 2.01 1.95 2/197 25548
/proc/meminfo: memFree=15977636/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=15872080 memory=15780504 CPUtime=1524.32 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) R 25392 25396 25206 0 -1 4202496 3836020 0 0 0 151764 668 0 0 20 0 1 0 412040794 16253009920 3945126 33554432000 4194304 6210612 140731463553376 140731463526936 140085792672741 0 0 4096 8405026 0 0 0 17 4 0 0 99 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 3968020 3945126 819 493 0 3961325 0
Current children cumulated CPU time: 1524.32 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15780504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1528.28 s]
# the end of solver process 25396 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1517.64 s, system=7.47245 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1526.4 s]
/proc/loadavg: 2.00 2.01 1.95 1/198 25549
/proc/meminfo: memFree=15950244/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=15872080 memory=15780504 CPUtime=1524.32 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) S 25392 25396 25206 0 -1 512 3836025 0 0 0 151764 668 0 0 20 0 1 0 412040794 16253009920 3945126 33554432000 4194304 6210612 140731463553376 140731463526936 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 99 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 3968020 3945126 819 493 0 3961325 0
Current children cumulated CPU time: 1524.32 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15780504 KiB
[startup+1527.2 s]
/proc/loadavg: 2.32 2.08 1.98 1/200 25554
/proc/meminfo: memFree=15963556/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=15872080 memory=15780504 CPUtime=1524.32 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) S 25392 25396 25206 0 -1 512 3836025 0 0 0 151764 668 0 0 20 0 1 0 412040794 16253009920 3945126 33554432000 4194304 6210612 140731463553376 140731463526936 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 99 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 3968020 3945126 819 493 0 3961325 0
Current children cumulated CPU time: 1524.32 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15780504 KiB
[startup+1527.4 s]
/proc/loadavg: 2.32 2.08 1.98 1/200 25554
/proc/meminfo: memFree=15963556/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=15872080 memory=15780504 CPUtime=1524.32 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) S 25392 25396 25206 0 -1 512 3836025 0 0 0 151764 668 0 0 20 0 1 0 412040794 16253009920 3945126 33554432000 4194304 6210612 140731463553376 140731463526936 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 99 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 3968020 3945126 819 493 0 3961325 0
Current children cumulated CPU time: 1524.32 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15780504 KiB
[startup+1527.5 s]
/proc/loadavg: 2.32 2.08 1.98 1/200 25554
/proc/meminfo: memFree=15963556/32770624 swapFree=67004172/67108860
[pid=25396] ppid=25392 vsize=15872080 memory=15780504 CPUtime=1524.32 cores=0,2,4,6
/proc/25396/stat : 25396 (cosoco) S 25392 25396 25206 0 -1 512 3836025 0 0 0 151764 668 0 0 20 0 1 0 412040794 16253009920 3945126 33554432000 4194304 6210612 140731463553376 140731463526936 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 99 0 0 8308220 8313664 8949760 140731463558155 140731463558257 140731463558257 140731463561166 0
/proc/25396/statm: 3968020 3945126 819 493 0 3961325 0
Current children cumulated CPU time: 1524.32 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15780504 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1528.28
CPU time (s): 1525.11
CPU user time (s): 1517.64
CPU system time (s): 7.47245
CPU usage (%): 99.7925
Max. virtual memory (cumulated for all children) (KiB): 15872080
Max. memory (cumulated for all children) (KiB): 15780504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1517.64
system time used= 7.47245
maximum resident set size= 15780532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3836025
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= 1034
involuntary context switches= 1044
# summary of solver processes directly reported to runsolver:
# pid: 25396
# total CPU time (s): 1525.11
# total CPU user time (s): 1517.64
# total CPU system time (s): 7.47245
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.37167 second user time and 10.3925 second system time
The end