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 (13790 MiB free)
memory of node 1: 16384 MiB (14181 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396982-1568577128/watcher-4396982-1568577128 -o /tmp/evaluation-result-4396982-1568577128/solver-4396982-1568577128 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568572744-4121 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396982-1568577128.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=4825, runsolver pid=4822
[startup+0.100106 s]*
/proc/loadavg: 2.00 2.01 2.01 3/200 4826
/proc/meminfo: memFree=28642464/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=28740 memory=5012 CPUtime=0.1 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 1454 0 0 0 10 0 0 0 20 0 1 0 433652942 29429760 1253 33554432000 4194304 6211092 140736341015968 140736341012504 5441093 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 7185 1253 845 493 0 490 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28740 KiB
Current children cumulated memory: 5012 KiB
[startup+0.209791 s]*
/proc/loadavg: 2.00 2.01 2.01 3/200 4826
/proc/meminfo: memFree=28641348/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=29856 memory=6332 CPUtime=0.21 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 1767 0 0 0 21 0 0 0 20 0 1 0 433652942 30572544 1583 33554432000 4194304 6211092 140736341015968 140736341012504 140188676135909 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 7464 1583 846 493 0 769 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29856 KiB
Current children cumulated memory: 6332 KiB
[startup+0.309107 s]*
/proc/loadavg: 2.00 2.01 2.01 3/200 4826
/proc/meminfo: memFree=28640648/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=31084 memory=7388 CPUtime=0.31 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 2052 0 0 0 31 0 0 0 20 0 1 0 433652942 31830016 1847 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 7771 1847 846 493 0 1076 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31084 KiB
Current children cumulated memory: 7388 KiB
[startup+0.700229 s]
/proc/loadavg: 2.00 2.01 2.01 4/200 4826
/proc/meminfo: memFree=28637940/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=35516 memory=11956 CPUtime=0.69 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 3152 0 0 0 69 0 0 0 20 0 1 0 433652942 36368384 2989 33554432000 4194304 6211092 140736341015968 140736340997368 140188677062080 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 8879 2989 846 493 0 2184 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35516 KiB
Current children cumulated memory: 11956 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.01 3/200 4826
/proc/meminfo: memFree=28632360/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=44704 memory=21088 CPUtime=1.49 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 5459 0 0 0 149 0 0 0 20 0 1 0 433652942 45776896 5272 33554432000 4194304 6211092 140736341015968 140736340997368 5453912 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 11176 5272 846 493 0 4481 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44704 KiB
Current children cumulated memory: 21088 KiB
[startup+3.10961 s]
/proc/loadavg: 2.08 2.03 2.02 3/200 4826
/proc/meminfo: memFree=28609176/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=63596 memory=39656 CPUtime=3.1 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 10164 0 0 0 309 1 0 0 20 0 1 0 433652942 65122304 9914 33554432000 4194304 6211092 140736341015968 140736340997368 140188677056400 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 15899 9914 846 493 0 9204 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 63596 KiB
Current children cumulated memory: 39656 KiB
[startup+6.30022 s]
/proc/loadavg: 2.08 2.03 2.02 3/200 4828
/proc/meminfo: memFree=28573512/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=101120 memory=76460 CPUtime=6.29 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 19431 0 0 0 627 2 0 0 20 0 1 0 433652942 103546880 19115 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 25280 19115 846 493 0 18585 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 101120 KiB
Current children cumulated memory: 76460 KiB
[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.02 3/200 4828
/proc/meminfo: memFree=28504160/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=177272 memory=150576 CPUtime=12.69 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 37473 0 0 0 1265 4 0 0 20 0 1 0 433652942 181526528 37644 33554432000 4194304 6211092 140736341015968 140736340997368 5446622 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 44318 37644 846 493 0 37623 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 177272 KiB
Current children cumulated memory: 150576 KiB
[startup+25.5002 s]
/proc/loadavg: 2.06 2.03 2.02 3/200 4829
/proc/meminfo: memFree=28352752/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=323384 memory=299288 CPUtime=25.48 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 73768 0 0 0 2539 9 0 0 20 0 1 0 433652942 331145216 74822 33554432000 4194304 6211092 140736341015968 140736340997368 5013078 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 80846 74822 846 493 0 74151 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 323384 KiB
Current children cumulated memory: 299288 KiB
[startup+51.1097 s]
/proc/loadavg: 2.04 2.03 2.02 3/201 4831
/proc/meminfo: memFree=28051096/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=624696 memory=595976 CPUtime=51.09 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 145472 0 0 0 5090 19 0 0 20 0 1 0 433652942 639688704 148994 33554432000 4194304 6211092 140736341015968 140736340997368 140188677060147 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 156174 148994 846 493 0 149479 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 624696 KiB
Current children cumulated memory: 595976 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/200 4835
/proc/meminfo: memFree=27458840/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=1231404 memory=1188344 CPUtime=102.26 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 287919 0 0 0 10189 37 0 0 20 0 1 0 433652942 1260957696 297086 33554432000 4194304 6211092 140736341015968 140736340997368 140188686080852 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 307851 297086 846 493 0 301156 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 1231404 KiB
Current children cumulated memory: 1188344 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/200 4839
/proc/meminfo: memFree=26763588/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=1931120 memory=1881848 CPUtime=162.23 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 454235 0 0 0 16162 61 0 0 20 0 1 0 433652942 1977466880 470462 33554432000 4194304 6211092 140736341015968 140736340997368 5443061 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 482780 470462 846 493 0 476085 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 1931120 KiB
Current children cumulated memory: 1881848 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 4844
/proc/meminfo: memFree=26069280/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=2649932 memory=2575416 CPUtime=222.2 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 620495 0 0 0 22137 83 0 0 20 0 1 0 433652942 2713530368 643854 33554432000 4194304 6211092 140736341015968 140736340997368 5013258 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 662483 643854 846 493 0 655788 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 2649932 KiB
Current children cumulated memory: 2575416 KiB
[startup+282.3 s]
/proc/loadavg: 1.93 2.00 2.01 3/199 4850
/proc/meminfo: memFree=25375828/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=3312044 memory=3268984 CPUtime=282.17 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 786296 0 0 0 28111 106 0 0 20 0 1 0 433652942 3391533056 817246 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 828011 817246 846 493 0 821316 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 3312044 KiB
Current children cumulated memory: 3268984 KiB
[startup+342.3 s]
/proc/loadavg: 1.97 2.00 2.01 3/199 4854
/proc/meminfo: memFree=24677384/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=4062204 memory=3967280 CPUtime=342.16 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 953342 0 0 0 34086 130 0 0 20 0 1 0 433652942 4159696896 991820 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 1015551 991820 846 493 0 1008856 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 4062204 KiB
Current children cumulated memory: 3967280 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 2.00 2.01 3/199 4859
/proc/meminfo: memFree=23976656/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=4728672 memory=4664916 CPUtime=402.14 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 1120199 0 0 0 40061 153 0 0 20 0 1 0 433652942 4842160128 1166229 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 1182168 1166229 846 493 0 1175473 0
Current children cumulated CPU time: 402.14 s
Current children cumulated vsize: 4728672 KiB
Current children cumulated memory: 4664916 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/199 4865
/proc/meminfo: memFree=23275448/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=5397036 memory=5364380 CPUtime=462.13 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 1287074 0 0 0 46037 176 0 0 20 0 1 0 433652942 5526564864 1341095 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 1349259 1341095 846 493 0 1342564 0
Current children cumulated CPU time: 462.13 s
Current children cumulated vsize: 5397036 KiB
Current children cumulated memory: 5364380 KiB
################
# More data... #
################
Current children cumulated vsize: 8186492 KiB
Current children cumulated memory: 8151660 KiB
[startup+762.3 s]
/proc/loadavg: 2.06 2.04 2.03 3/201 4979
/proc/meminfo: memFree=19799928/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=9038100 memory=8847792 CPUtime=762.05 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 2120970 0 0 0 75904 301 0 0 20 0 1 0 433652942 9255014400 2211948 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 2259525 2211948 846 493 0 2252830 0
Current children cumulated CPU time: 762.05 s
Current children cumulated vsize: 9038100 KiB
Current children cumulated memory: 8847792 KiB
[startup+822.3 s]
/proc/loadavg: 2.02 2.03 2.03 3/200 4985
/proc/meminfo: memFree=19102396/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=9702060 memory=9543684 CPUtime=822.03 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 2287472 0 0 0 81873 330 0 0 20 0 1 0 433652942 9934909440 2385921 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 2425515 2385921 846 493 0 2418820 0
Current children cumulated CPU time: 822.03 s
Current children cumulated vsize: 9702060 KiB
Current children cumulated memory: 9543684 KiB
[startup+882.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/199 4989
/proc/meminfo: memFree=18405144/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=10371144 memory=10239116 CPUtime=882.02 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 2453933 0 0 0 87844 358 0 0 20 0 1 0 433652942 10620051456 2559779 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 2592786 2559779 846 493 0 2586091 0
Current children cumulated CPU time: 882.02 s
Current children cumulated vsize: 10371144 KiB
Current children cumulated memory: 10239116 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/199 4993
/proc/meminfo: memFree=17707080/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=11035500 memory=10936268 CPUtime=942 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 2620273 0 0 0 93814 386 0 0 20 0 1 0 433652942 11300352000 2734067 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 2758875 2734067 846 493 0 2752180 0
Current children cumulated CPU time: 942 s
Current children cumulated vsize: 11035500 KiB
Current children cumulated memory: 10936268 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/199 5060
/proc/meminfo: memFree=17009264/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=11699328 memory=11630640 CPUtime=1001.98 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 2786491 0 0 0 99781 417 0 0 20 0 1 0 433652942 11980111872 2907660 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 2924832 2907660 846 493 0 2918137 0
Current children cumulated CPU time: 1001.98 s
Current children cumulated vsize: 11699328 KiB
Current children cumulated memory: 11630640 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/199 5064
/proc/meminfo: memFree=16312612/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=12363288 memory=12325272 CPUtime=1061.97 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 2952745 0 0 0 105748 449 0 0 20 0 1 0 433652942 12660006912 3081318 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 3090822 3081318 846 493 0 3084127 0
Current children cumulated CPU time: 1061.97 s
Current children cumulated vsize: 12363288 KiB
Current children cumulated memory: 12325272 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 5076
/proc/meminfo: memFree=15615376/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=13307792 memory=13020504 CPUtime=1121.95 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 3119637 0 0 0 111713 482 0 0 20 0 1 0 433652942 13627179008 3255126 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 3326948 3255126 846 493 0 3320253 0
Current children cumulated CPU time: 1121.95 s
Current children cumulated vsize: 13307792 KiB
Current children cumulated memory: 13020504 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 5082
/proc/meminfo: memFree=14919064/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=13978648 memory=13715632 CPUtime=1181.93 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 3286024 0 0 0 117678 515 0 0 20 0 1 0 433652942 14314135552 3428908 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 3494662 3428908 846 493 0 3487967 0
Current children cumulated CPU time: 1181.93 s
Current children cumulated vsize: 13978648 KiB
Current children cumulated memory: 13715632 KiB
[startup+1242.3 s]
/proc/loadavg: 1.95 2.00 2.02 3/200 5086
/proc/meminfo: memFree=14222500/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=14641024 memory=14411256 CPUtime=1241.91 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 3451977 0 0 0 123638 553 0 0 20 0 1 0 433652942 14992408576 3602814 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 3660256 3602814 846 493 0 3653561 0
Current children cumulated CPU time: 1241.91 s
Current children cumulated vsize: 14641024 KiB
Current children cumulated memory: 14411256 KiB
[startup+1302.3 s]
/proc/loadavg: 1.98 2.00 2.02 3/200 5090
/proc/meminfo: memFree=13524772/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=15303796 memory=15106876 CPUtime=1301.9 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 3617955 0 0 0 129597 593 0 0 20 0 1 0 433652942 15671087104 3776719 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 3825949 3776719 846 493 0 3819254 0
Current children cumulated CPU time: 1301.9 s
Current children cumulated vsize: 15303796 KiB
Current children cumulated memory: 15106876 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1353.8 s]
/proc/loadavg: 2.05 2.01 2.03 3/200 5093
/proc/meminfo: memFree=12935168/32770624 swapFree=66959232/67108860
[pid=4825] ppid=4822 vsize=15872848 memory=15702388 CPUtime=1353.38 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 4202496 3760484 0 0 0 134708 630 0 0 20 0 1 0 433652942 16253796352 3925597 33554432000 4194304 6211092 140736341015968 140736340997368 140188676135909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 3968212 3925597 846 493 0 3961517 0
Current children cumulated CPU time: 1353.38 s
Current children cumulated vsize: 15872848 KiB
Current children cumulated memory: 15702388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1356.56 s]
# the end of solver process 4825 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1347.31 s, system=7.09057 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1355.2 s]
/proc/loadavg: 2.05 2.01 2.03 3/202 5096
/proc/meminfo: memFree=12496360/32770624 swapFree=66959236/67108860
[pid=4825] ppid=4822 vsize=15872848 memory=15702388 CPUtime=1353.53 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) R 4822 4825 4090 0 -1 512 3760489 0 0 0 134721 632 0 0 20 0 1 0 433652942 16253796352 3925597 33554432000 4194304 6211092 140736341015968 140736340997368 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 3968212 3925597 846 493 0 3961517 0
Current children cumulated CPU time: 1353.53 s
Current children cumulated vsize: 15872848 KiB
Current children cumulated memory: 15702388 KiB
[startup+1355.6 s]
/proc/loadavg: 2.05 2.01 2.03 3/202 5096
/proc/meminfo: memFree=12496360/32770624 swapFree=66959236/67108860
[pid=4825] ppid=4822 vsize=15872848 memory=15702388 CPUtime=1353.6 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) S 4822 4825 4090 0 -1 512 3760489 0 0 0 134728 632 0 0 20 0 1 0 433652942 16253796352 3925597 33554432000 4194304 6211092 140736341015968 140736340997368 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 3968212 3925597 846 493 0 3961517 0
Current children cumulated CPU time: 1353.6 s
Current children cumulated vsize: 15872848 KiB
Current children cumulated memory: 15702388 KiB
[startup+1355.8 s]
/proc/loadavg: 2.05 2.01 2.03 3/202 5096
/proc/meminfo: memFree=12496360/32770624 swapFree=66959236/67108860
[pid=4825] ppid=4822 vsize=15872848 memory=15702388 CPUtime=1353.62 cores=0,2,4,6
/proc/4825/stat : 4825 (cosoco) S 4822 4825 4090 0 -1 512 3760489 0 0 0 134730 632 0 0 20 0 1 0 433652942 16253796352 3925597 33554432000 4194304 6211092 140736341015968 140736340997368 5189768 0 16384 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39342080 140736341021707 140736341021809 140736341021809 140736341024718 0
/proc/4825/statm: 3968212 3925597 846 493 0 3961517 0
Current children cumulated CPU time: 1353.62 s
Current children cumulated vsize: 15872848 KiB
Current children cumulated memory: 15702388 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1356.56
CPU time (s): 1354.4
CPU user time (s): 1347.31
CPU system time (s): 7.09057
CPU usage (%): 99.8405
Max. virtual memory (cumulated for all children) (KiB): 15872848
Max. memory (cumulated for all children) (KiB): 15702388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1347.31
system time used= 7.09057
maximum resident set size= 15702540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3760489
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= 105378
involuntary context switches= 2239
# summary of solver processes directly reported to runsolver:
# pid: 4825
# total CPU time (s): 1354.4
# total CPU user time (s): 1347.31
# total CPU system time (s): 7.09057
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.01888 second user time and 9.46072 second system time
The end