2372.26/2372.97 c
2372.26/2372.97 c This is cosoco 2.00 --
2372.26/2372.97 c
2372.26/2372.97 c command line: cosoco -model -nbcores=8 HOME/instance-4409554-1569820456.xml
2372.26/2372.97 c =========================================================================================================
2372.26/2372.97 s UNKNOWN
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 (15088 MiB free)
memory of node 1: 16384 MiB (15619 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409554-1569820456/watcher-4409554-1569820456 -o /tmp/evaluation-result-4409554-1569820456/solver-4409554-1569820456 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1569818076-3952 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409554-1569820456.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4918, runsolver pid=4915
Current StackSize limit: 8192 KiB
[startup+0.100148 s]*
/proc/loadavg: 5.56 7.87 6.64 2/194 4919
/proc/meminfo: memFree=31442236/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=29384 memory=5800 CPUtime=0.1 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 1619 0 0 0 10 0 0 0 20 0 1 0 558294161 30089216 1450 33554432000 4194304 6211132 140728228803472 140728228800008 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 7346 1450 846 493 0 651 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29384 KiB
Current children cumulated memory: 5800 KiB
[startup+0.209268 s]*
/proc/loadavg: 5.56 7.87 6.64 2/194 4919
/proc/meminfo: memFree=31441140/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=30912 memory=7012 CPUtime=0.21 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 1975 0 0 0 21 0 0 0 20 0 1 0 558294161 31653888 1753 33554432000 4194304 6211132 140728228803472 140728228800008 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 7728 1753 846 493 0 1033 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30912 KiB
Current children cumulated memory: 7012 KiB
[startup+0.30876 s]*
/proc/loadavg: 5.56 7.87 6.64 2/194 4919
/proc/meminfo: memFree=31440024/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=32160 memory=8348 CPUtime=0.31 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 2300 0 0 0 31 0 0 0 20 0 1 0 558294161 32931840 2087 33554432000 4194304 6211132 140728228803472 140728228800008 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 8040 2087 846 493 0 1345 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32160 KiB
Current children cumulated memory: 8348 KiB
[startup+0.70027 s]
/proc/loadavg: 5.56 7.87 6.64 2/194 4919
/proc/meminfo: memFree=31437420/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=37492 memory=13436 CPUtime=0.69 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 3552 0 0 0 69 0 0 0 20 0 1 0 558294161 38391808 3359 33554432000 4194304 6211132 140728228803472 140728228800008 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 9373 3359 846 493 0 2678 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37492 KiB
Current children cumulated memory: 13436 KiB
[startup+1.50027 s]
/proc/loadavg: 5.56 7.87 6.64 2/194 4919
/proc/meminfo: memFree=31431096/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=48464 memory=23832 CPUtime=1.49 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 6166 0 0 0 148 1 0 0 20 0 1 0 558294161 49627136 5958 33554432000 4194304 6211132 140728228803472 140728228791400 139665736744650 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 12116 5958 846 493 0 5421 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48464 KiB
Current children cumulated memory: 23832 KiB
[startup+3.10938 s]
/proc/loadavg: 5.56 7.87 6.64 2/194 4919
/proc/meminfo: memFree=31404928/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=68912 memory=44864 CPUtime=3.1 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 11496 0 0 0 308 2 0 0 20 0 1 0 558294161 70565888 11216 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 17228 11216 846 493 0 10533 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 68912 KiB
Current children cumulated memory: 44864 KiB
[startup+6.30026 s]
/proc/loadavg: 5.19 7.75 6.60 2/193 4919
/proc/meminfo: memFree=31365252/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=111924 memory=86564 CPUtime=6.29 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 22013 0 0 0 626 3 0 0 20 0 1 0 558294161 114610176 21641 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 28014 21641 846 493 0 21319 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 111924 KiB
Current children cumulated memory: 86564 KiB
[startup+12.7003 s]
/proc/loadavg: 4.86 7.64 6.57 2/193 4919
/proc/meminfo: memFree=31286492/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=199632 memory=172028 CPUtime=12.69 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 41887 0 0 0 1263 6 0 0 20 0 1 0 558294161 204423168 43007 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 49908 43007 846 493 0 43213 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 199632 KiB
Current children cumulated memory: 172028 KiB
[startup+25.5003 s]
/proc/loadavg: 4.00 7.32 6.49 2/193 4919
/proc/meminfo: memFree=31116192/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=361892 memory=337332 CPUtime=25.49 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 80297 0 0 0 2538 11 0 0 20 0 1 0 558294161 370577408 84333 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 90473 84333 846 493 0 83778 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 361892 KiB
Current children cumulated memory: 337332 KiB
[startup+51.1093 s]
/proc/loadavg: 2.98 6.81 6.34 2/193 4921
/proc/meminfo: memFree=30774884/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=705460 memory=672964 CPUtime=51.09 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 157079 0 0 0 5087 22 0 0 20 0 1 0 558294161 722391040 168241 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 176365 168241 846 493 0 169670 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 705460 KiB
Current children cumulated memory: 672964 KiB
[startup+102.3 s]
/proc/loadavg: 1.86 5.91 6.06 2/191 4924
/proc/meminfo: memFree=30108076/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=1402728 memory=1340872 CPUtime=102.26 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 309259 0 0 0 10182 44 0 0 20 0 1 0 558294161 1436393472 335218 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 350682 335218 846 493 0 343987 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 1402728 KiB
Current children cumulated memory: 1340872 KiB
[startup+162.3 s]
/proc/loadavg: 1.32 5.02 5.74 2/191 4927
/proc/meminfo: memFree=29321848/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=2198884 memory=2125496 CPUtime=162.25 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 487031 0 0 0 16158 67 0 0 20 0 1 0 558294161 2251657216 531374 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 549721 531374 846 493 0 543026 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2198884 KiB
Current children cumulated memory: 2125496 KiB
[startup+222.3 s]
/proc/loadavg: 1.12 4.29 5.45 2/191 4930
/proc/meminfo: memFree=28538276/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=3035888 memory=2907752 CPUtime=222.22 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 664257 0 0 0 22131 91 0 0 20 0 1 0 558294161 3108749312 726938 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 758972 726938 846 493 0 752277 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 3035888 KiB
Current children cumulated memory: 2907752 KiB
[startup+282.3 s]
/proc/loadavg: 1.04 3.69 5.17 2/191 4935
/proc/meminfo: memFree=27751620/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=3740768 memory=3692700 CPUtime=282.21 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 840641 0 0 0 28108 113 0 0 20 0 1 0 558294161 3830546432 923175 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 935192 923175 846 493 0 928497 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 3740768 KiB
Current children cumulated memory: 3692700 KiB
[startup+342.3 s]
/proc/loadavg: 1.02 3.20 4.91 2/191 4938
/proc/meminfo: memFree=26968164/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=4643572 memory=4476944 CPUtime=342.18 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 1017955 0 0 0 34082 136 0 0 20 0 1 0 558294161 4755017728 1119236 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 1160893 1119236 846 493 0 1154198 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 4643572 KiB
Current children cumulated memory: 4476944 KiB
[startup+402.3 s]
/proc/loadavg: 1.01 2.80 4.66 2/192 4949
/proc/meminfo: memFree=26185156/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=5348452 memory=5259752 CPUtime=402.16 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 1194330 0 0 0 40054 162 0 0 20 0 1 0 558294161 5476814848 1314938 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 1337113 1314938 846 493 0 1330418 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 5348452 KiB
Current children cumulated memory: 5259752 KiB
[startup+462.3 s]
/proc/loadavg: 1.00 2.47 4.43 2/192 4954
/proc/meminfo: memFree=25399672/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=6333744 memory=6040648 CPUtime=462.15 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 1371358 0 0 0 46027 188 0 0 20 0 1 0 558294161 6485753856 1510162 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 1583436 1510162 846 493 0 1576741 0
Current children cumulated CPU time: 462.15 s
Current children cumulated vsize: 6333744 KiB
Current children cumulated memory: 6040648 KiB
################
# More data... #
################
[startup+1902.3 s]
/proc/loadavg: 1.00 1.04 1.76 2/191 5061
/proc/meminfo: memFree=6727384/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=25233840 memory=24675204 CPUtime=1901.76 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 5588283 0 0 0 188258 1918 0 0 20 0 1 0 558294161 25839452160 6168801 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 6308460 6168801 846 493 0 6301765 0
Current children cumulated CPU time: 1901.76 s
Current children cumulated vsize: 25233840 KiB
Current children cumulated memory: 24675204 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.03 1.71 2/191 5064
/proc/meminfo: memFree=5957876/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=26009092 memory=25444424 CPUtime=1961.75 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 5762918 0 0 0 194133 2042 0 0 20 0 1 0 558294161 26633310208 6361106 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 6502273 6361106 846 493 0 6495578 0
Current children cumulated CPU time: 1961.75 s
Current children cumulated vsize: 26009092 KiB
Current children cumulated memory: 25444424 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.02 1.66 2/191 5067
/proc/meminfo: memFree=5184552/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=26701300 memory=26214420 CPUtime=2021.75 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 5937162 0 0 0 200011 2164 0 0 20 0 1 0 558294161 27342131200 6553605 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 6675325 6553605 846 493 0 6668630 0
Current children cumulated CPU time: 2021.75 s
Current children cumulated vsize: 26701300 KiB
Current children cumulated memory: 26214420 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.02 1.62 2/191 5072
/proc/meminfo: memFree=4416188/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=27393244 memory=26982368 CPUtime=2081.73 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 6111349 0 0 0 205882 2291 0 0 20 0 1 0 558294161 28050681856 6745592 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 6848311 6745592 846 493 0 6841616 0
Current children cumulated CPU time: 2081.73 s
Current children cumulated vsize: 27393244 KiB
Current children cumulated memory: 26982368 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.01 1.58 2/191 5075
/proc/meminfo: memFree=3644300/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=28085188 memory=27752100 CPUtime=2141.72 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 6285552 0 0 0 211755 2417 0 0 20 0 1 0 558294161 28759232512 6938025 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 7021297 6938025 846 493 0 7014602 0
Current children cumulated CPU time: 2141.72 s
Current children cumulated vsize: 28085188 KiB
Current children cumulated memory: 27752100 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.01 1.55 2/191 5085
/proc/meminfo: memFree=2874992/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=28777132 memory=28519744 CPUtime=2201.71 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 6459587 0 0 0 217630 2541 0 0 20 0 1 0 558294161 29467783168 7129936 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 7194283 7129936 846 493 0 7187588 0
Current children cumulated CPU time: 2201.71 s
Current children cumulated vsize: 28777132 KiB
Current children cumulated memory: 28519744 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.01 1.51 2/191 5090
/proc/meminfo: memFree=2105968/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=29468680 memory=29287152 CPUtime=2261.69 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 6633631 0 0 0 223502 2667 0 0 20 0 1 0 558294161 30175928320 7321788 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 7367170 7321788 846 493 0 7360475 0
Current children cumulated CPU time: 2261.69 s
Current children cumulated vsize: 29468680 KiB
Current children cumulated memory: 29287152 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.48 2/191 5093
/proc/meminfo: memFree=1335644/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=30160492 memory=30056820 CPUtime=2321.68 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 6807596 0 0 0 229374 2794 0 0 20 0 1 0 558294161 30884343808 7514205 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 7540123 7514205 846 493 0 7533428 0
Current children cumulated CPU time: 2321.68 s
Current children cumulated vsize: 30160492 KiB
Current children cumulated memory: 30056820 KiB
[startup+2374.41 s]
# the end of solver process 4918 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2342.04 s, system=31.7305 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2329.6 s]
/proc/loadavg: 1.00 1.01 1.48 2/191 5093
/proc/meminfo: memFree=1243516/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=30244972 memory=30151296 CPUtime=2328.97 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 6828828 0 0 0 230091 2806 0 0 20 0 1 0 558294161 30970851328 7537824 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 7561243 7537824 846 493 0 7554548 0
Current children cumulated CPU time: 2328.97 s
Current children cumulated vsize: 30244972 KiB
Current children cumulated memory: 30151296 KiB
[startup+2355.2 s]
/proc/loadavg: 1.00 1.01 1.47 2/191 5096
/proc/meminfo: memFree=912644/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=30541048 memory=30478284 CPUtime=2354.57 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 6903231 0 0 0 232605 2852 0 0 20 0 1 0 558294161 31274033152 7619571 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 7635262 7619571 846 493 0 7628567 0
Current children cumulated CPU time: 2354.57 s
Current children cumulated vsize: 30541048 KiB
Current children cumulated memory: 30478284 KiB
[startup+2368 s]*
/proc/loadavg: 1.00 1.01 1.46 2/191 5096
/proc/meminfo: memFree=744408/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=30689548 memory=30643836 CPUtime=2367.37 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 6940666 0 0 0 233866 2871 0 0 20 0 1 0 558294161 31426097152 7660959 33554432000 4194304 6211132 140728228803472 140728228791400 139665736244197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 7672387 7660959 846 493 0 7665692 0
Current children cumulated CPU time: 2367.37 s
Current children cumulated vsize: 30689548 KiB
Current children cumulated memory: 30643836 KiB
[startup+2371.2 s]
/proc/loadavg: 1.00 1.01 1.46 2/191 5096
/proc/meminfo: memFree=731016/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=30767096 memory=30657332 CPUtime=2370.57 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 9208189 0 0 0 234098 2959 0 0 20 0 1 0 558294161 31505506304 7664333 33554432000 4194304 6211132 140728228803472 140728228791464 139665736254348 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 7691774 7664333 868 493 0 7685079 0
Current children cumulated CPU time: 2370.57 s
Current children cumulated vsize: 30767096 KiB
Current children cumulated memory: 30657332 KiB
[startup+2372.8 s]
/proc/loadavg: 1.00 1.01 1.46 2/191 5096
/proc/meminfo: memFree=731016/32770624 swapFree=67002192/67108860
[pid=4918] ppid=4915 vsize=30767096 memory=30657332 CPUtime=2372.16 cores=0-7
/proc/4918/stat : 4918 (cosoco) R 4915 4918 3925 0 -1 4202496 10782388 0 0 0 234194 3022 0 0 20 0 1 0 558294161 31505506304 7664333 33554432000 4194304 6211132 140728228803472 140728228791464 139665736254348 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8880128 140728228807697 140728228807789 140728228807789 140728228810702 0
/proc/4918/statm: 7691774 7664333 868 493 0 7685079 0
Current children cumulated CPU time: 2372.16 s
Current children cumulated vsize: 30767096 KiB
Current children cumulated memory: 30657332 KiB
[startup+2373.6 s]
/proc/loadavg: 1.00 1.01 1.46 2/191 5096
/proc/meminfo: memFree=5034064/32770624 swapFree=67002192/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2374 s]*
/proc/loadavg: 1.00 1.01 1.46 2/191 5096
/proc/meminfo: memFree=23179204/32770624 swapFree=67002192/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2374.4 s]
/proc/loadavg: 1.00 1.01 1.46 2/191 5096
/proc/meminfo: memFree=23179204/32770624 swapFree=67002192/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2374.41
CPU time (s): 2373.77
CPU user time (s): 2342.04
CPU system time (s): 31.7305
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 30767096
Max. memory (cumulated for all children) (KiB): 30657332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2342.04
system time used= 31.7305
maximum resident set size= 30657332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10942549
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= 1953
involuntary context switches= 1439
# summary of solver processes directly reported to runsolver:
# pid: 4918
# total CPU time (s): 2373.77
# total CPU user time (s): 2342.04
# total CPU system time (s): 31.7305
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.07947 second user time and 16.3511 second system time
The end
Begin job on node136 at 2019-09-30 07:13:31
IDJOB=4409554
IDBENCH=122976
IDSOLVER=2877
FILE ID=node136/4409554-1569820456
RUNJOBID= node136-1569818076-3952
PBS_JOBID= 21705924
Free space on /tmp= 62032 MiB
SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/Opd/Opd-sum-small/Opd-10-015-006.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409554-1569820456/watcher-4409554-1569820456 -o /tmp/evaluation-result-4409554-1569820456/solver-4409554-1569820456 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1569818076-3952 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409554-1569820456.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= d279c4dbde03937b121f919805027b3b
RANDOM SEED=1897120672
node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.00
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.00
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.00
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.00
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31444484 kB
MemAvailable: 31854688 kB
Buffers: 101508 kB
Cached: 629568 kB
SwapCached: 3864 kB
Active: 477020 kB
Inactive: 262096 kB
Active(anon): 3484 kB
Inactive(anon): 86024 kB
Active(file): 473536 kB
Inactive(file): 176072 kB
Unevictable: 107484 kB
Mlocked: 107484 kB
SwapTotal: 67108860 kB
SwapFree: 67002192 kB
Dirty: 2792 kB
Writeback: 4 kB
AnonPages: 113160 kB
Mapped: 26768 kB
Shmem: 72848 kB
Slab: 182760 kB
SReclaimable: 152864 kB
SUnreclaim: 29896 kB
KernelStack: 3456 kB
PageTables: 4616 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 539968 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 62028 MiB
End job on node136 at 2019-09-30 07:53:05