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 (9102 MiB free)
memory of node 1: 16384 MiB (15005 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390311-1568335260/watcher-4390311-1568335260 -o /tmp/evaluation-result-4390311-1568335260/solver-4390311-1568335260 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568325638-27860 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390311-1568335260.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=29632, runsolver pid=29629
[startup+0.100187 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 29633
/proc/meminfo: memFree=24685692/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=29216 memory=5632 CPUtime=0.1 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 1612 0 0 0 10 0 0 0 20 0 1 0 409793600 29917184 1408 33554432000 4194304 6210612 140736707865664 140736707724952 139989285778328 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 7304 1408 845 493 0 609 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29216 KiB
Current children cumulated memory: 5632 KiB
[startup+0.209965 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 29633
/proc/meminfo: memFree=24684576/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=30008 memory=6424 CPUtime=0.21 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 1822 0 0 0 21 0 0 0 20 0 1 0 409793600 30728192 1606 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 7502 1606 845 493 0 807 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30008 KiB
Current children cumulated memory: 6424 KiB
[startup+0.309126 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 29633
/proc/meminfo: memFree=24684080/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=30800 memory=7216 CPUtime=0.31 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 2012 0 0 0 31 0 0 0 20 0 1 0 409793600 31539200 1804 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 7700 1804 845 493 0 1005 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30800 KiB
Current children cumulated memory: 7216 KiB
[startup+0.700337 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 29633
/proc/meminfo: memFree=24682592/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=33704 memory=10120 CPUtime=0.69 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 2747 0 0 0 69 0 0 0 20 0 1 0 409793600 34512896 2530 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 8426 2530 845 493 0 1731 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33704 KiB
Current children cumulated memory: 10120 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 29633
/proc/meminfo: memFree=24678872/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=39908 memory=16456 CPUtime=1.49 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 4283 0 0 0 149 0 0 0 20 0 1 0 409793600 40865792 4114 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 9977 4114 845 493 0 3282 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39908 KiB
Current children cumulated memory: 16456 KiB
[startup+3.10967 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 29633
/proc/meminfo: memFree=24663336/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=52248 memory=28636 CPUtime=3.1 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 7558 0 0 0 309 1 0 0 20 0 1 0 409793600 53501952 7159 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 13062 7159 845 493 0 6367 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 52248 KiB
Current children cumulated memory: 28636 KiB
[startup+6.30033 s]
/proc/loadavg: 1.92 1.97 2.03 3/199 29633
/proc/meminfo: memFree=24639444/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=76660 memory=53208 CPUtime=6.29 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 13846 0 0 0 626 3 0 0 20 0 1 0 409793600 78499840 13302 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 19165 13302 845 493 0 12470 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 76660 KiB
Current children cumulated memory: 53208 KiB
[startup+12.7003 s]
/proc/loadavg: 1.92 1.97 2.03 3/199 29633
/proc/meminfo: memFree=24593224/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=125948 memory=102308 CPUtime=12.69 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 26227 0 0 0 1263 6 0 0 20 0 1 0 409793600 128970752 25577 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 31487 25577 845 493 0 24792 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 125948 KiB
Current children cumulated memory: 102308 KiB
[startup+25.5003 s]
/proc/loadavg: 1.94 1.97 2.03 3/200 29636
/proc/meminfo: memFree=24494476/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=223912 memory=200488 CPUtime=25.47 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 50971 0 0 0 2538 9 0 0 20 0 1 0 409793600 229285888 50122 33554432000 4194304 6210612 140736707865664 140736707724952 5451350 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 55978 50122 845 493 0 49283 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 223912 KiB
Current children cumulated memory: 200488 KiB
[startup+51.1096 s]
/proc/loadavg: 1.96 1.97 2.03 3/199 29697
/proc/meminfo: memFree=24247900/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=419812 memory=395908 CPUtime=51.08 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 99949 0 0 0 5091 17 0 0 20 0 1 0 409793600 429887488 98977 33554432000 4194304 6210612 140736707865664 140736707724952 5442943 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 104953 98977 845 493 0 98258 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 419812 KiB
Current children cumulated memory: 395908 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.98 2.03 3/199 29701
/proc/meminfo: memFree=23460836/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=811876 memory=787308 CPUtime=102.26 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 197886 0 0 0 10193 33 0 0 20 0 1 0 409793600 831361024 196827 33554432000 4194304 6210612 140736707865664 140736707724952 139989286698410 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 202969 196827 845 493 0 196274 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 811876 KiB
Current children cumulated memory: 787308 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 2.03 3/198 29708
/proc/meminfo: memFree=22536520/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=1270888 memory=1246140 CPUtime=162.24 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 312591 0 0 0 16173 51 0 0 20 0 1 0 409793600 1301389312 311535 33554432000 4194304 6210612 140736707865664 140736707724952 139989286698387 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 317722 311535 845 493 0 311027 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 1270888 KiB
Current children cumulated memory: 1246140 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/198 29712
/proc/meminfo: memFree=21611596/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=1730980 memory=1704920 CPUtime=222.21 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 427292 0 0 0 22152 69 0 0 20 0 1 0 409793600 1772523520 426230 33554432000 4194304 6210612 140736707865664 140736707724952 5455490 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 432745 426230 845 493 0 426050 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 1730980 KiB
Current children cumulated memory: 1704920 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 29717
/proc/meminfo: memFree=20685108/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=2187964 memory=2164212 CPUtime=282.2 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 541582 0 0 0 28133 87 0 0 20 0 1 0 409793600 2240475136 541053 33554432000 4194304 6210612 140736707865664 140736707724952 5439668 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 546991 541053 845 493 0 540296 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 2187964 KiB
Current children cumulated memory: 2164212 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 29723
/proc/meminfo: memFree=19761908/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=2649544 memory=2622472 CPUtime=342.18 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 656180 0 0 0 34112 106 0 0 20 0 1 0 409793600 2713133056 655618 33554432000 4194304 6210612 140736707865664 140736707724952 5445939 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 662386 655618 845 493 0 655691 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 2649544 KiB
Current children cumulated memory: 2622472 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 29727
/proc/meminfo: memFree=18835892/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=3106528 memory=3081884 CPUtime=402.17 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 770630 0 0 0 40095 122 0 0 20 0 1 0 409793600 3181084672 770471 33554432000 4194304 6210612 140736707865664 140736707724952 5451458 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 776632 770471 845 493 0 769937 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 3106528 KiB
Current children cumulated memory: 3081884 KiB
[startup+462.3 s]
/proc/loadavg: 1.94 1.97 2.02 3/199 29739
/proc/meminfo: memFree=17912520/32770624 swapFree=66901292/67108860
[pid=29632] ppid=29629 vsize=3571332 memory=3540736 CPUtime=462.15 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 885536 0 0 0 46074 141 0 0 20 0 1 0 409793600 3657043968 885184 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 892833 885184 845 493 0 886138 0
Current children cumulated CPU time: 462.15 s
Current children cumulated vsize: 3571332 KiB
Current children cumulated memory: 3540736 KiB
################
# More data... #
################
Current children cumulated vsize: 11389576 KiB
Current children cumulated memory: 11364528 KiB
[startup+1542.3 s]
/proc/loadavg: 2.10 2.06 2.05 3/198 29855
/proc/meminfo: memFree=1256100/32770624 swapFree=66901300/67108860
[pid=29632] ppid=29629 vsize=11871956 memory=11824252 CPUtime=1541.91 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 2957277 0 0 0 153614 577 0 0 20 0 1 0 409793600 12156882944 2956063 33554432000 4194304 6210612 140736707865664 140736707724952 139989295717258 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 2967989 2956063 845 493 0 2961294 0
Current children cumulated CPU time: 1541.91 s
Current children cumulated vsize: 11871956 KiB
Current children cumulated memory: 11824252 KiB
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/198 29861
/proc/meminfo: memFree=330796/32770624 swapFree=66901300/67108860
[pid=29632] ppid=29629 vsize=12329468 memory=12284008 CPUtime=1601.89 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 3072103 0 0 0 159579 610 0 0 20 0 1 0 409793600 12625375232 3071002 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 3082367 3071002 845 493 0 3075672 0
Current children cumulated CPU time: 1601.89 s
Current children cumulated vsize: 12329468 KiB
Current children cumulated memory: 12284008 KiB
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 29871
/proc/meminfo: memFree=197484/32770624 swapFree=66901344/67108860
[pid=29632] ppid=29629 vsize=12787244 memory=12743712 CPUtime=1661.88 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 3187055 0 0 0 165550 638 0 0 20 0 1 0 409793600 13094137856 3185928 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 3196811 3185928 845 493 0 3190116 0
Current children cumulated CPU time: 1661.88 s
Current children cumulated vsize: 12787244 KiB
Current children cumulated memory: 12743712 KiB
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 29875
/proc/meminfo: memFree=190584/32770624 swapFree=66828636/67108860
[pid=29632] ppid=29629 vsize=13244888 memory=13202852 CPUtime=1721.86 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 3301973 0 0 0 171523 663 0 0 20 0 1 0 409793600 13562765312 3300713 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 3311222 3300713 648 493 0 3304527 0
Current children cumulated CPU time: 1721.86 s
Current children cumulated vsize: 13244888 KiB
Current children cumulated memory: 13202852 KiB
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/199 29881
/proc/meminfo: memFree=206036/32770624 swapFree=66320784/67108860
[pid=29632] ppid=29629 vsize=13702004 memory=13661848 CPUtime=1781.86 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 3416831 0 0 0 177491 695 0 0 20 0 1 0 409793600 14030852096 3415462 33554432000 4194304 6210612 140736707865664 140736707724952 5442951 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 3425501 3415462 648 493 0 3418806 0
Current children cumulated CPU time: 1781.86 s
Current children cumulated vsize: 13702004 KiB
Current children cumulated memory: 13661848 KiB
[startup+1842.3 s]
/proc/loadavg: 2.17 2.07 2.06 3/199 29885
/proc/meminfo: memFree=187260/32770624 swapFree=65870620/67108860
[pid=29632] ppid=29629 vsize=14159120 memory=14120980 CPUtime=1841.86 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 3531638 0 0 0 183458 728 0 0 20 0 1 0 409793600 14498938880 3530245 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 3539780 3530245 648 493 0 3533085 0
Current children cumulated CPU time: 1841.86 s
Current children cumulated vsize: 14159120 KiB
Current children cumulated memory: 14120980 KiB
[startup+1902.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/199 29889
/proc/meminfo: memFree=930980/32770624 swapFree=65601592/67108860
[pid=29632] ppid=29629 vsize=14617028 memory=14580916 CPUtime=1901.84 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 3646404 0 0 0 189434 750 0 0 20 0 1 0 409793600 14967836672 3645229 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 3654257 3645229 648 493 0 3647562 0
Current children cumulated CPU time: 1901.84 s
Current children cumulated vsize: 14617028 KiB
Current children cumulated memory: 14580916 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/198 29895
/proc/meminfo: memFree=231580/32770624 swapFree=65505772/67108860
[pid=29632] ppid=29629 vsize=15074144 memory=15040312 CPUtime=1961.84 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 3761202 0 0 0 195399 785 0 0 20 0 1 0 409793600 15435923456 3760078 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 3768536 3760078 648 493 0 3761841 0
Current children cumulated CPU time: 1961.84 s
Current children cumulated vsize: 15074144 KiB
Current children cumulated memory: 15040312 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/198 29899
/proc/meminfo: memFree=255244/32770624 swapFree=65023172/67108860
[pid=29632] ppid=29629 vsize=15531392 memory=15499448 CPUtime=2021.82 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 3875998 0 0 0 201365 817 0 0 20 0 1 0 409793600 15904145408 3874862 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 3882848 3874862 648 493 0 3876153 0
Current children cumulated CPU time: 2021.82 s
Current children cumulated vsize: 15531392 KiB
Current children cumulated memory: 15499448 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2067.1 s]*
/proc/loadavg: 2.00 2.04 2.05 3/198 29902
/proc/meminfo: memFree=192384/32770624 swapFree=64675632/67108860
[pid=29632] ppid=29629 vsize=15872876 memory=15842960 CPUtime=2066.62 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) R 29629 29632 27829 0 -1 4202496 3961658 0 0 0 205821 841 0 0 20 0 1 0 409793600 16253825024 3960740 33554432000 4194304 6210612 140736707865664 140736707724952 139989285772261 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 3968219 3960740 648 493 0 3961524 0
Current children cumulated CPU time: 2066.62 s
Current children cumulated vsize: 15872876 KiB
Current children cumulated memory: 15842960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2069.86 s]
# the end of solver process 29632 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2058.37 s, system=9.1835 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2067.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/198 29902
/proc/meminfo: memFree=192384/32770624 swapFree=64675632/67108860
[pid=29632] ppid=29629 vsize=15873008 memory=15843224 CPUtime=2066.65 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) S 29629 29632 27829 0 -1 512 3961709 0 0 0 205824 841 0 0 20 0 1 0 409793600 16253960192 3960806 33554432000 4194304 6210612 140736707865664 140736707724952 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 3968252 3960806 648 493 0 3961557 0
Current children cumulated CPU time: 2066.65 s
Current children cumulated vsize: 15873008 KiB
Current children cumulated memory: 15843224 KiB
[startup+2068.1 s]*
/proc/loadavg: 2.00 2.04 2.05 2/199 29903
/proc/meminfo: memFree=206500/32770624 swapFree=64675640/67108860
[pid=29632] ppid=29629 vsize=15873008 memory=15843224 CPUtime=2066.65 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) S 29629 29632 27829 0 -1 512 3961709 0 0 0 205824 841 0 0 20 0 1 0 409793600 16253960192 3960806 33554432000 4194304 6210612 140736707865664 140736707724952 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 3968252 3960806 648 493 0 3961557 0
Current children cumulated CPU time: 2066.65 s
Current children cumulated vsize: 15873008 KiB
Current children cumulated memory: 15843224 KiB
[startup+2068.9 s]
/proc/loadavg: 2.00 2.04 2.05 2/199 29903
/proc/meminfo: memFree=206500/32770624 swapFree=64675640/67108860
[pid=29632] ppid=29629 vsize=15873008 memory=15843224 CPUtime=2066.76 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) S 29629 29632 27829 0 -1 512 3961709 0 0 0 205834 842 0 0 20 0 1 0 409793600 16253960192 3960806 33554432000 4194304 6210612 140736707865664 140736707724952 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 3968252 3960806 648 493 0 3961557 0
Current children cumulated CPU time: 2066.76 s
Current children cumulated vsize: 15873008 KiB
Current children cumulated memory: 15843224 KiB
[startup+2069.1 s]*
/proc/loadavg: 2.08 2.05 2.05 2/199 29903
/proc/meminfo: memFree=191356/32770624 swapFree=64675640/67108860
[pid=29632] ppid=29629 vsize=15873008 memory=15843224 CPUtime=2066.79 cores=0,2,4,6
/proc/29632/stat : 29632 (cosoco) S 29629 29632 27829 0 -1 512 3961709 0 0 0 205836 843 0 0 20 0 1 0 409793600 16253960192 3960806 33554432000 4194304 6210612 140736707865664 140736707724952 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 20258816 140736707867659 140736707867761 140736707867761 140736707870670 0
/proc/29632/statm: 3968252 3960806 648 493 0 3961557 0
Current children cumulated CPU time: 2066.79 s
Current children cumulated vsize: 15873008 KiB
Current children cumulated memory: 15843224 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2069.86
CPU time (s): 2067.55
CPU user time (s): 2058.37
CPU system time (s): 9.1835
CPU usage (%): 99.8882
Max. virtual memory (cumulated for all children) (KiB): 15873008
Max. memory (cumulated for all children) (KiB): 15843224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2058.37
system time used= 9.1835
maximum resident set size= 15843240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3961709
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= 60876
involuntary context switches= 2643
# summary of solver processes directly reported to runsolver:
# pid: 29632
# total CPU time (s): 2067.55
# total CPU user time (s): 2058.37
# total CPU system time (s): 9.1835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37032 second user time and 14.5426 second system time
The end