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 (13537 MiB free)
memory of node 1: 16384 MiB (2235 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396885-1568595775/watcher-4396885-1568595775 -o /tmp/evaluation-result-4396885-1568595775/solver-4396885-1568595775 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568594193-24803 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396885-1568595775.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=25061, runsolver pid=25058
Current StackSize limit: 8192 KiB
[startup+0.100199 s]*
/proc/loadavg: 2.45 2.14 1.99 3/204 25062
/proc/meminfo: memFree=16148104/32770624 swapFree=65436344/67108860
[pid=25061] ppid=25058 vsize=30612 memory=6948 CPUtime=0.1 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 1929 0 0 0 10 0 0 0 20 0 1 0 435842376 31346688 1737 33554432000 4194304 6211092 140728313420048 140728313416584 140125310053349 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 7653 1737 823 493 0 958 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30612 KiB
Current children cumulated memory: 6948 KiB
[startup+0.210041 s]*
/proc/loadavg: 2.45 2.14 1.99 3/204 25062
/proc/meminfo: memFree=16143268/32770624 swapFree=65436344/67108860
[pid=25061] ppid=25058 vsize=34372 memory=10708 CPUtime=0.21 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 2868 0 0 0 21 0 0 0 20 0 1 0 435842376 35196928 2677 33554432000 4194304 6211092 140728313420048 140728313416584 140125310053349 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 8593 2677 823 493 0 1898 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34372 KiB
Current children cumulated memory: 10708 KiB
[startup+0.309928 s]*
/proc/loadavg: 2.45 2.14 1.99 3/204 25062
/proc/meminfo: memFree=16138524/32770624 swapFree=65436344/67108860
[pid=25061] ppid=25058 vsize=37780 memory=14112 CPUtime=0.31 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 3707 0 0 0 31 0 0 0 20 0 1 0 435842376 38686720 3528 33554432000 4194304 6211092 140728313420048 140728313415224 140125310053349 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 9445 3528 823 493 0 2750 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37780 KiB
Current children cumulated memory: 14112 KiB
[startup+0.700366 s]
/proc/loadavg: 2.45 2.14 1.99 3/204 25063
/proc/meminfo: memFree=16131140/32770624 swapFree=65436348/67108860
[pid=25061] ppid=25058 vsize=50688 memory=27024 CPUtime=0.68 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 6926 0 0 0 68 0 0 0 20 0 1 0 435842376 51904512 6756 33554432000 4194304 6211092 140728313420048 140728313411272 140125310053349 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 12672 6756 823 493 0 5977 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50688 KiB
Current children cumulated memory: 27024 KiB
[startup+1.50034 s]
/proc/loadavg: 2.45 2.14 1.99 3/206 25065
/proc/meminfo: memFree=16111724/32770624 swapFree=65436348/67108860
[pid=25061] ppid=25058 vsize=52124 memory=28456 CPUtime=1.48 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 7322 0 0 0 148 0 0 0 20 0 1 0 435842376 53374976 7114 33554432000 4194304 6211092 140728313420048 140728313417704 140125319998286 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13031 7114 863 493 0 6336 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52124 KiB
Current children cumulated memory: 28456 KiB
[startup+3.10926 s]
/proc/loadavg: 2.41 2.14 1.99 3/203 25065
/proc/meminfo: memFree=16387744/32770624 swapFree=65436348/67108860
[pid=25061] ppid=25058 vsize=52124 memory=28684 CPUtime=3.1 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 7913 0 0 0 309 1 0 0 20 0 1 0 435842376 53374976 7171 33554432000 4194304 6211092 140728313420048 140728313417704 5452161 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13031 7171 863 493 0 6336 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 52124 KiB
Current children cumulated memory: 28684 KiB
[startup+6.30031 s]
/proc/loadavg: 2.41 2.14 1.99 3/203 25065
/proc/meminfo: memFree=16358868/32770624 swapFree=65436348/67108860
[pid=25061] ppid=25058 vsize=52256 memory=28852 CPUtime=6.29 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 9549 0 0 0 628 1 0 0 20 0 1 0 435842376 53510144 7213 33554432000 4194304 6211092 140728313420048 140728313418008 5441128 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13064 7213 863 493 0 6369 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 52256 KiB
Current children cumulated memory: 28852 KiB
[startup+12.7003 s]
/proc/loadavg: 2.38 2.14 1.99 3/203 25065
/proc/meminfo: memFree=16298756/32770624 swapFree=65436348/67108860
[pid=25061] ppid=25058 vsize=52388 memory=28904 CPUtime=12.69 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 11222 0 0 0 1268 1 0 0 20 0 1 0 435842376 53645312 7226 33554432000 4194304 6211092 140728313420048 140728313418008 5455634 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13097 7226 863 493 0 6402 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 52388 KiB
Current children cumulated memory: 28904 KiB
[startup+25.5003 s]
/proc/loadavg: 2.44 2.16 2.00 3/204 25127
/proc/meminfo: memFree=30348776/32770624 swapFree=66998196/67108860
[pid=25061] ppid=25058 vsize=52916 memory=29456 CPUtime=25.48 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 15686 0 0 0 2539 9 0 0 20 0 1 0 435842376 54185984 7364 33554432000 4194304 6211092 140728313420048 140728313418008 5443112 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13229 7364 863 493 0 6534 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 52916 KiB
Current children cumulated memory: 29456 KiB
[startup+51.1092 s]
/proc/loadavg: 2.29 2.15 2.00 3/203 25132
/proc/meminfo: memFree=30504500/32770624 swapFree=66998196/67108860
[pid=25061] ppid=25058 vsize=53840 memory=30400 CPUtime=51.08 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 17120 0 0 0 5098 10 0 0 20 0 1 0 435842376 55132160 7600 33554432000 4194304 6211092 140728313420048 140728313418008 5443061 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13460 7600 863 493 0 6765 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 53840 KiB
Current children cumulated memory: 30400 KiB
[startup+102.3 s]
/proc/loadavg: 2.13 2.13 2.00 3/203 25136
/proc/meminfo: memFree=30504820/32770624 swapFree=66998196/67108860
[pid=25061] ppid=25058 vsize=53972 memory=30516 CPUtime=102.26 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 17648 0 0 0 10216 10 0 0 20 0 1 0 435842376 55267328 7629 33554432000 4194304 6211092 140728313420048 140728313417704 5478406 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13493 7629 863 493 0 6798 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 53972 KiB
Current children cumulated memory: 30516 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.10 2.00 3/203 25140
/proc/meminfo: memFree=30504876/32770624 swapFree=66998196/67108860
[pid=25061] ppid=25058 vsize=54104 memory=30612 CPUtime=162.26 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 18247 0 0 0 16216 10 0 0 20 0 1 0 435842376 55402496 7653 33554432000 4194304 6211092 140728313420048 140728313417704 5446622 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13526 7653 863 493 0 6831 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 54104 KiB
Current children cumulated memory: 30612 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.08 2.00 3/201 25146
/proc/meminfo: memFree=30504640/32770624 swapFree=66998196/67108860
[pid=25061] ppid=25058 vsize=54236 memory=30780 CPUtime=222.25 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 18881 0 0 0 22215 10 0 0 20 0 1 0 435842376 55537664 7695 33554432000 4194304 6211092 140728313420048 140728313418008 140125319998296 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13559 7695 863 493 0 6864 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 54236 KiB
Current children cumulated memory: 30780 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.07 2.00 3/201 25150
/proc/meminfo: memFree=30504344/32770624 swapFree=66998196/67108860
[pid=25061] ppid=25058 vsize=54236 memory=30828 CPUtime=282.25 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 19470 0 0 0 28215 10 0 0 20 0 1 0 435842376 55537664 7707 33554432000 4194304 6211092 140728313420048 140728313418008 5476805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13559 7707 863 493 0 6864 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 54236 KiB
Current children cumulated memory: 30828 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.06 2.00 3/200 25154
/proc/meminfo: memFree=30504952/32770624 swapFree=66998196/67108860
[pid=25061] ppid=25058 vsize=54236 memory=30840 CPUtime=342.25 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 19614 0 0 0 34215 10 0 0 20 0 1 0 435842376 55537664 7710 33554432000 4194304 6211092 140728313420048 140728313418008 5446904 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13559 7710 863 493 0 6864 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 54236 KiB
Current children cumulated memory: 30840 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.00 3/200 25160
/proc/meminfo: memFree=30504760/32770624 swapFree=66998196/67108860
[pid=25061] ppid=25058 vsize=54236 memory=30872 CPUtime=402.25 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 19755 0 0 0 40215 10 0 0 20 0 1 0 435842376 55537664 7718 33554432000 4194304 6211092 140728313420048 140728313418008 5451477 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13559 7718 863 493 0 6864 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 54236 KiB
Current children cumulated memory: 30872 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/200 25164
/proc/meminfo: memFree=30504520/32770624 swapFree=66998196/67108860
[pid=25061] ppid=25058 vsize=54368 memory=30884 CPUtime=462.25 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 19886 0 0 0 46215 10 0 0 20 0 1 0 435842376 55672832 7721 33554432000 4194304 6211092 140728313420048 140728313417704 5441135 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13592 7721 863 493 0 6897 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30884 KiB
################
# More data... #
################
/proc/25061/statm: 13592 7728 863 493 0 6897 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30912 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 25333
/proc/meminfo: memFree=30486828/32770624 swapFree=66998212/67108860
[pid=25061] ppid=25058 vsize=54368 memory=30912 CPUtime=1782.27 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 22187 0 0 0 178216 11 0 0 20 0 1 0 435842376 55672832 7728 33554432000 4194304 6211092 140728313420048 140728313418008 5446264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13592 7728 863 493 0 6897 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30912 KiB
[startup+1842.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/200 25339
/proc/meminfo: memFree=30487444/32770624 swapFree=66998212/67108860
[pid=25061] ppid=25058 vsize=54368 memory=30912 CPUtime=1842.27 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 22320 0 0 0 184216 11 0 0 20 0 1 0 435842376 55672832 7728 33554432000 4194304 6211092 140728313420048 140728313418008 5443096 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13592 7728 863 493 0 6897 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30912 KiB
[startup+1902.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/200 25343
/proc/meminfo: memFree=30488400/32770624 swapFree=66998212/67108860
[pid=25061] ppid=25058 vsize=54368 memory=30916 CPUtime=1902.27 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 22392 0 0 0 190216 11 0 0 20 0 1 0 435842376 55672832 7729 33554432000 4194304 6211092 140728313420048 140728313418008 5478368 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13592 7729 863 493 0 6897 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30916 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 25347
/proc/meminfo: memFree=30488732/32770624 swapFree=66998212/67108860
[pid=25061] ppid=25058 vsize=54368 memory=30916 CPUtime=1962.27 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 22515 0 0 0 196216 11 0 0 20 0 1 0 435842376 55672832 7729 33554432000 4194304 6211092 140728313420048 140728313418008 140125310979498 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13592 7729 863 493 0 6897 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30916 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 25353
/proc/meminfo: memFree=30487696/32770624 swapFree=66998212/67108860
[pid=25061] ppid=25058 vsize=54368 memory=30920 CPUtime=2022.28 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 22578 0 0 0 202217 11 0 0 20 0 1 0 435842376 55672832 7730 33554432000 4194304 6211092 140728313420048 140728313418008 140125310979520 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13592 7730 863 493 0 6897 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30920 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 25357
/proc/meminfo: memFree=30487768/32770624 swapFree=66998212/67108860
[pid=25061] ppid=25058 vsize=54368 memory=30920 CPUtime=2082.28 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 22672 0 0 0 208217 11 0 0 20 0 1 0 435842376 55672832 7730 33554432000 4194304 6211092 140728313420048 140728313418008 5454180 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13592 7730 863 493 0 6897 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30920 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 25361
/proc/meminfo: memFree=30487912/32770624 swapFree=66998212/67108860
[pid=25061] ppid=25058 vsize=54368 memory=30920 CPUtime=2142.28 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 22751 0 0 0 214217 11 0 0 20 0 1 0 435842376 55672832 7730 33554432000 4194304 6211092 140728313420048 140728313418008 5480288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13592 7730 863 493 0 6897 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30920 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25367
/proc/meminfo: memFree=30487716/32770624 swapFree=66998212/67108860
[pid=25061] ppid=25058 vsize=54368 memory=30920 CPUtime=2202.29 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 22875 0 0 0 220217 12 0 0 20 0 1 0 435842376 55672832 7730 33554432000 4194304 6211092 140728313420048 140728313418008 140125310979498 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13592 7730 863 493 0 6897 0
Current children cumulated CPU time: 2202.29 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30920 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25371
/proc/meminfo: memFree=30488136/32770624 swapFree=66998212/67108860
[pid=25061] ppid=25058 vsize=54368 memory=30920 CPUtime=2262.29 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 22953 0 0 0 226217 12 0 0 20 0 1 0 435842376 55672832 7730 33554432000 4194304 6211092 140728313420048 140728313418008 5443061 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13592 7730 863 493 0 6897 0
Current children cumulated CPU time: 2262.29 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30920 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25384
/proc/meminfo: memFree=30487428/32770624 swapFree=66998216/67108860
[pid=25061] ppid=25058 vsize=54368 memory=30920 CPUtime=2322.29 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 23028 0 0 0 232217 12 0 0 20 0 1 0 435842376 55672832 7730 33554432000 4194304 6211092 140728313420048 140728313418008 4982624 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13592 7730 863 493 0 6897 0
Current children cumulated CPU time: 2322.29 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30920 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25390
/proc/meminfo: memFree=30487168/32770624 swapFree=66998216/67108860
[pid=25061] ppid=25058 vsize=54368 memory=30920 CPUtime=2382.29 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 23159 0 0 0 238217 12 0 0 20 0 1 0 435842376 55672832 7730 33554432000 4194304 6211092 140728313420048 140728313418008 140125319998286 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13592 7730 863 493 0 6897 0
Current children cumulated CPU time: 2382.29 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30920 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25394
/proc/meminfo: memFree=30487376/32770624 swapFree=66998216/67108860
[pid=25061] ppid=25058 vsize=54368 memory=30920 CPUtime=2442.29 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 23245 0 0 0 244217 12 0 0 20 0 1 0 435842376 55672832 7730 33554432000 4194304 6211092 140728313420048 140728313418008 5456298 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13592 7730 863 493 0 6897 0
Current children cumulated CPU time: 2442.29 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30920 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25398
/proc/meminfo: memFree=30487616/32770624 swapFree=66998216/67108860
[pid=25061] ppid=25058 vsize=54368 memory=30920 CPUtime=2502.29 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 23326 0 0 0 250217 12 0 0 20 0 1 0 435842376 55672832 7730 33554432000 4194304 6211092 140728313420048 140728313418008 5440616 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13592 7730 863 493 0 6897 0
Current children cumulated CPU time: 2502.29 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30920 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 25400
/proc/meminfo: memFree=30487076/32770624 swapFree=66998216/67108860
[pid=25061] ppid=25058 vsize=54368 memory=30920 CPUtime=2520 cores=0,2,4,6
/proc/25061/stat : 25061 (cosoco) R 25058 25061 24772 0 -1 4202496 23405 0 0 0 251988 12 0 0 20 0 1 0 435842376 55672832 7730 33554432000 4194304 6211092 140728313420048 140728313418008 5451482 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20627456 140728313426955 140728313427057 140728313427057 140728313429966 0
/proc/25061/statm: 13592 7730 863 493 0 6897 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 30920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 25061 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.89 s, system=0.121 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.01
CPU user time (s): 2519.89
CPU system time (s): 0.121
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 54368
Max. memory (cumulated for all children) (KiB): 30920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.89
system time used= 0.121
maximum resident set size= 30984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23453
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= 32
involuntary context switches= 2802
# summary of solver processes directly reported to runsolver:
# pid: 25061
# total CPU time (s): 2520.01
# total CPU user time (s): 2519.89
# total CPU system time (s): 0.121
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0205 second user time and 15.5701 second system time
The end