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 (15199 MiB free)
memory of node 1: 16384 MiB (15448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398425-1568599778/watcher-4398425-1568599778 -o /tmp/evaluation-result-4398425-1568599778/solver-4398425-1568599778 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568597211-7653 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398425-1568599778.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=8000, runsolver pid=7997
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 7.84 8.12 7.81 2/191 8001
/proc/meminfo: memFree=31379848/32770624 swapFree=66998748/67108860
[pid=8000] ppid=7997 vsize=29992 memory=6264 CPUtime=0.1 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 1789 0 0 0 10 0 0 0 20 0 1 0 436229220 30711808 1566 33554432000 4194304 6211092 140736760737168 140736760733704 5443050 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 7498 1566 846 493 0 803 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29992 KiB
Current children cumulated memory: 6264 KiB
[startup+0.208836 s]*
/proc/loadavg: 7.84 8.12 7.81 2/191 8001
/proc/meminfo: memFree=31378064/32770624 swapFree=66998748/67108860
[pid=8000] ppid=7997 vsize=31320 memory=7584 CPUtime=0.21 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 2108 0 0 0 21 0 0 0 20 0 1 0 436229220 32071680 1896 33554432000 4194304 6211092 140736760737168 140736760733704 5454188 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 7830 1896 846 493 0 1135 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31320 KiB
Current children cumulated memory: 7584 KiB
[startup+0.308523 s]*
/proc/loadavg: 7.84 8.12 7.81 2/191 8001
/proc/meminfo: memFree=31376948/32770624 swapFree=66998748/67108860
[pid=8000] ppid=7997 vsize=32416 memory=8904 CPUtime=0.31 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 2402 0 0 0 31 0 0 0 20 0 1 0 436229220 33193984 2226 33554432000 4194304 6211092 140736760737168 140736760733704 140257178766309 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 8104 2226 846 493 0 1409 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32416 KiB
Current children cumulated memory: 8904 KiB
[startup+0.700332 s]
/proc/loadavg: 7.84 8.12 7.81 2/191 8001
/proc/meminfo: memFree=31375544/32770624 swapFree=66998748/67108860
[pid=8000] ppid=7997 vsize=36980 memory=13288 CPUtime=0.69 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 3538 0 0 0 69 0 0 0 20 0 1 0 436229220 37867520 3322 33554432000 4194304 6211092 140736760737168 140736760718952 5443092 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 9245 3322 846 493 0 2550 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36980 KiB
Current children cumulated memory: 13288 KiB
[startup+1.50032 s]
/proc/loadavg: 7.84 8.12 7.81 2/191 8002
/proc/meminfo: memFree=31370036/32770624 swapFree=66998748/67108860
[pid=8000] ppid=7997 vsize=46564 memory=22944 CPUtime=1.49 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 5903 0 0 0 149 0 0 0 20 0 1 0 436229220 47681536 5736 33554432000 4194304 6211092 140736760737168 140736760718952 5013078 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 11641 5736 846 493 0 4946 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 22944 KiB
[startup+3.10846 s]
/proc/loadavg: 7.84 8.12 7.81 2/191 8002
/proc/meminfo: memFree=31346732/32770624 swapFree=66998748/67108860
[pid=8000] ppid=7997 vsize=65716 memory=41784 CPUtime=3.1 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 10762 0 0 0 309 1 0 0 20 0 1 0 436229220 67293184 10446 33554432000 4194304 6211092 140736760737168 140736760718952 140257178766309 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 16429 10446 846 493 0 9734 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 65716 KiB
Current children cumulated memory: 41784 KiB
[startup+6.30032 s]
/proc/loadavg: 7.29 8.00 7.77 2/192 8004
/proc/meminfo: memFree=31310400/32770624 swapFree=66998748/67108860
[pid=8000] ppid=7997 vsize=104152 memory=79664 CPUtime=6.29 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 20305 0 0 0 626 3 0 0 20 0 1 0 436229220 106651648 19916 33554432000 4194304 6211092 140736760737168 140736760718952 5439786 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 26038 19916 846 493 0 19343 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104152 KiB
Current children cumulated memory: 79664 KiB
[startup+12.7003 s]
/proc/loadavg: 6.79 7.88 7.74 2/191 8004
/proc/meminfo: memFree=31240360/32770624 swapFree=66998748/67108860
[pid=8000] ppid=7997 vsize=181912 memory=157172 CPUtime=12.69 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 39318 0 0 0 1264 5 0 0 20 0 1 0 436229220 186277888 39293 33554432000 4194304 6211092 140736760737168 140736760718952 5453912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 45478 39293 846 493 0 38783 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 181912 KiB
Current children cumulated memory: 157172 KiB
[startup+25.5003 s]
/proc/loadavg: 5.90 7.66 7.66 2/191 8004
/proc/meminfo: memFree=31085436/32770624 swapFree=66998748/67108860
[pid=8000] ppid=7997 vsize=331716 memory=307220 CPUtime=25.49 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 76436 0 0 0 2539 10 0 0 20 0 1 0 436229220 339677184 76805 33554432000 4194304 6211092 140736760737168 140736760718952 5478654 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 82929 76805 846 493 0 76234 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 331716 KiB
Current children cumulated memory: 307220 KiB
[startup+51.1088 s]
/proc/loadavg: 3.97 7.02 7.45 2/192 8006
/proc/meminfo: memFree=30774784/32770624 swapFree=66998748/67108860
[pid=8000] ppid=7997 vsize=640684 memory=612788 CPUtime=51.08 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 150343 0 0 0 5086 22 0 0 20 0 1 0 436229220 656060416 153197 33554432000 4194304 6211092 140736760737168 140736760718952 140257178766309 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 160171 153197 846 493 0 153476 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 640684 KiB
Current children cumulated memory: 612788 KiB
[startup+102.3 s]
/proc/loadavg: 2.29 6.09 7.11 2/193 8018
/proc/meminfo: memFree=30166796/32770624 swapFree=66998752/67108860
[pid=8000] ppid=7997 vsize=1263364 memory=1221044 CPUtime=102.25 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 296799 0 0 0 10185 40 0 0 20 0 1 0 436229220 1293684736 305261 33554432000 4194304 6211092 140736760737168 140736760718952 5443111 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 315841 305261 846 493 0 309146 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 1263364 KiB
Current children cumulated memory: 1221044 KiB
[startup+162.3 s]
/proc/loadavg: 1.47 5.17 6.73 2/193 8021
/proc/meminfo: memFree=29451492/32770624 swapFree=66998752/67108860
[pid=8000] ppid=7997 vsize=1981824 memory=1935648 CPUtime=162.24 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 467286 0 0 0 16162 62 0 0 20 0 1 0 436229220 2029387776 483912 33554432000 4194304 6211092 140736760737168 140736760718952 140257178766309 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 495456 483912 846 493 0 488761 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 1981824 KiB
Current children cumulated memory: 1935648 KiB
[startup+222.3 s]
/proc/loadavg: 1.17 4.41 6.37 2/193 8024
/proc/meminfo: memFree=28737700/32770624 swapFree=66998752/67108860
[pid=8000] ppid=7997 vsize=2720040 memory=2648600 CPUtime=222.22 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 638450 0 0 0 22140 82 0 0 20 0 1 0 436229220 2785320960 662150 33554432000 4194304 6211092 140736760737168 140736760718952 5452223 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 680010 662150 846 493 0 673315 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 2720040 KiB
Current children cumulated memory: 2648600 KiB
[startup+282.3 s]
/proc/loadavg: 1.06 3.79 6.04 2/193 8029
/proc/meminfo: memFree=28024148/32770624 swapFree=66998752/67108860
[pid=8000] ppid=7997 vsize=3402468 memory=3360964 CPUtime=282.2 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 808940 0 0 0 28117 103 0 0 20 0 1 0 436229220 3484127232 840241 33554432000 4194304 6211092 140736760737168 140736760718952 140257178766309 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 850617 840241 846 493 0 843922 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 3402468 KiB
Current children cumulated memory: 3360964 KiB
[startup+342.3 s]
/proc/loadavg: 1.02 3.28 5.72 2/193 8032
/proc/meminfo: memFree=27308396/32770624 swapFree=66998752/67108860
[pid=8000] ppid=7997 vsize=4167028 memory=4075164 CPUtime=342.18 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 979875 0 0 0 34093 125 0 0 20 0 1 0 436229220 4267036672 1018791 33554432000 4194304 6211092 140736760737168 140736760718952 5440705 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 1041757 1018791 846 493 0 1035062 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 4167028 KiB
Current children cumulated memory: 4075164 KiB
[startup+402.3 s]
/proc/loadavg: 1.01 2.86 5.43 2/191 8035
/proc/meminfo: memFree=26592440/32770624 swapFree=66998752/67108860
[pid=8000] ppid=7997 vsize=4848016 memory=4789368 CPUtime=402.16 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 1150367 0 0 0 40067 149 0 0 20 0 1 0 436229220 4964368384 1197342 33554432000 4194304 6211092 140736760737168 140736760718952 140257178766309 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 1212004 1197342 846 493 0 1205309 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 4848016 KiB
Current children cumulated memory: 4789368 KiB
[startup+462.3 s]
/proc/loadavg: 1.00 2.53 5.15 2/191 8040
/proc/meminfo: memFree=25878648/32770624 swapFree=66998752/67108860
[pid=8000] ppid=7997 vsize=5531428 memory=5502588 CPUtime=462.14 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 1321150 0 0 0 46042 172 0 0 20 0 1 0 436229220 5664182272 1375647 33554432000 4194304 6211092 140736760737168 140736760718952 5451621 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 1382857 1375647 846 493 0 1376162 0
Current children cumulated CPU time: 462.14 s
Current children cumulated vsize: 5531428 KiB
Current children cumulated memory: 5502588 KiB
################
# More data... #
################
Current children cumulated vsize: 22889440 KiB
Current children cumulated memory: 22602392 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.01 1.83 2/191 8156
/proc/meminfo: memFree=8034444/32770624 swapFree=66998772/67108860
[pid=8000] ppid=7997 vsize=23568316 memory=23311780 CPUtime=1961.75 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 5581058 0 0 0 195106 1069 0 0 20 0 1 0 436229220 24133955584 5827945 33554432000 4194304 6211092 140736760737168 140736760718952 5012992 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 5892079 5827945 846 493 0 5885384 0
Current children cumulated CPU time: 1961.75 s
Current children cumulated vsize: 23568316 KiB
Current children cumulated memory: 23311780 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.01 1.77 2/191 8159
/proc/meminfo: memFree=7323844/32770624 swapFree=66998772/67108860
[pid=8000] ppid=7997 vsize=24246268 memory=24020548 CPUtime=2021.74 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 5750802 0 0 0 201055 1119 0 0 20 0 1 0 436229220 24828178432 6005137 33554432000 4194304 6211092 140736760737168 140736760718952 140257178766309 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 6061567 6005137 846 493 0 6054872 0
Current children cumulated CPU time: 2021.74 s
Current children cumulated vsize: 24246268 KiB
Current children cumulated memory: 24020548 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.01 1.73 2/191 8164
/proc/meminfo: memFree=6610296/32770624 swapFree=66998772/67108860
[pid=8000] ppid=7997 vsize=24923956 memory=24733140 CPUtime=2081.71 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 5920465 0 0 0 206999 1172 0 0 20 0 1 0 436229220 25522130944 6183285 33554432000 4194304 6211092 140736760737168 140736760718952 5013005 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 6230989 6183285 846 493 0 6224294 0
Current children cumulated CPU time: 2081.71 s
Current children cumulated vsize: 24923956 KiB
Current children cumulated memory: 24733140 KiB
[startup+2142.3 s]
/proc/loadavg: 1.03 1.03 1.68 2/191 8167
/proc/meminfo: memFree=5899692/32770624 swapFree=66998772/67108860
[pid=8000] ppid=7997 vsize=25602040 memory=25441856 CPUtime=2141.7 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 6090229 0 0 0 212945 1225 0 0 20 0 1 0 436229220 26216488960 6360464 33554432000 4194304 6211092 140736760737168 140736760718952 5455634 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 6400510 6360464 846 493 0 6393815 0
Current children cumulated CPU time: 2141.7 s
Current children cumulated vsize: 25602040 KiB
Current children cumulated memory: 25441856 KiB
[startup+2202.3 s]
/proc/loadavg: 1.01 1.02 1.64 2/191 8170
/proc/meminfo: memFree=5188252/32770624 swapFree=66998772/67108860
[pid=8000] ppid=7997 vsize=26279464 memory=26152012 CPUtime=2201.69 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 6259863 0 0 0 218895 1274 0 0 20 0 1 0 436229220 26910171136 6538003 33554432000 4194304 6211092 140736760737168 140736760718952 140257179692493 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 6569866 6538003 846 493 0 6563171 0
Current children cumulated CPU time: 2201.69 s
Current children cumulated vsize: 26279464 KiB
Current children cumulated memory: 26152012 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.01 1.60 2/191 8175
/proc/meminfo: memFree=4477892/32770624 swapFree=66998772/67108860
[pid=8000] ppid=7997 vsize=26956624 memory=26861980 CPUtime=2261.67 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 6429405 0 0 0 224835 1332 0 0 20 0 1 0 436229220 27603582976 6715495 33554432000 4194304 6211092 140736760737168 140736760718952 140257178766309 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 6739156 6715495 846 493 0 6732461 0
Current children cumulated CPU time: 2261.67 s
Current children cumulated vsize: 26956624 KiB
Current children cumulated memory: 26861980 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.56 2/191 8178
/proc/meminfo: memFree=3767804/32770624 swapFree=66998772/67108860
[pid=8000] ppid=7997 vsize=27633916 memory=27572136 CPUtime=2321.65 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 6598997 0 0 0 230778 1387 0 0 20 0 1 0 436229220 28297129984 6893034 33554432000 4194304 6211092 140736760737168 140736760718952 5013034 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 6908479 6893034 846 493 0 6901784 0
Current children cumulated CPU time: 2321.65 s
Current children cumulated vsize: 27633916 KiB
Current children cumulated memory: 27572136 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.53 2/191 8181
/proc/meminfo: memFree=3056264/32770624 swapFree=66998772/67108860
[pid=8000] ppid=7997 vsize=28311208 memory=28280196 CPUtime=2381.63 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 6768606 0 0 0 236718 1445 0 0 20 0 1 0 436229220 28990676992 7070049 33554432000 4194304 6211092 140736760737168 140736760718952 140257178766309 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 7077802 7070049 846 493 0 7071107 0
Current children cumulated CPU time: 2381.63 s
Current children cumulated vsize: 28311208 KiB
Current children cumulated memory: 28280196 KiB
[startup+2442.3 s]
/proc/loadavg: 1.04 1.03 1.50 2/191 8186
/proc/meminfo: memFree=2346520/32770624 swapFree=66998772/67108860
[pid=8000] ppid=7997 vsize=29619264 memory=28990280 CPUtime=2441.62 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 6938718 0 0 0 242661 1501 0 0 20 0 1 0 436229220 30330126336 7247570 33554432000 4194304 6211092 140736760737168 140736760718952 5456310 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 7404816 7247570 846 493 0 7398121 0
Current children cumulated CPU time: 2441.62 s
Current children cumulated vsize: 29619264 KiB
Current children cumulated memory: 28990280 KiB
[startup+2502.3 s]
/proc/loadavg: 1.01 1.02 1.47 2/192 8197
/proc/meminfo: memFree=1632884/32770624 swapFree=66998772/67108860
[pid=8000] ppid=7997 vsize=30313488 memory=29699920 CPUtime=2501.61 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 7108733 0 0 0 248603 1558 0 0 20 0 1 0 436229220 31041011712 7424980 33554432000 4194304 6211092 140736760737168 140736760718952 140257178766309 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 7578372 7424980 846 493 0 7571677 0
Current children cumulated CPU time: 2501.61 s
Current children cumulated vsize: 30313488 KiB
Current children cumulated memory: 29699920 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.01 1.02 1.46 2/192 8197
/proc/meminfo: memFree=1420776/32770624 swapFree=66998772/67108860
[pid=8000] ppid=7997 vsize=30513336 memory=29908288 CPUtime=2519.31 cores=0-7
/proc/8000/stat : 8000 (cosoco) R 7997 8000 7626 0 -1 4202496 7158837 0 0 0 250354 1577 0 0 20 0 1 0 436229220 31245656064 7477072 33554432000 4194304 6211092 140736760737168 140736760718952 140257178766309 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 7628334 7477072 846 493 0 7621639 0
Current children cumulated CPU time: 2519.31 s
Current children cumulated vsize: 30513336 KiB
Current children cumulated memory: 29908288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2523.41 s]
# the end of solver process 8000 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2503.82 s, system=17.1787 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2520.8 s]
/proc/loadavg: 1.01 1.02 1.46 2/192 8197
/proc/meminfo: memFree=1420776/32770624 swapFree=66998772/67108860
[pid=8000] ppid=7997 vsize=30513336 memory=29908288 CPUtime=2519.43 cores=0-7
/proc/8000/stat : 8000 (cosoco) S 7997 8000 7626 0 -1 512 7158844 0 0 0 250366 1577 0 0 20 0 1 0 436229220 31245656064 7477072 33554432000 4194304 6211092 140736760737168 140736760718952 5189550 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 7628334 7477072 846 493 0 7621639 0
Current children cumulated CPU time: 2519.43 s
Current children cumulated vsize: 30513336 KiB
Current children cumulated memory: 29908288 KiB
[startup+2521.6 s]
/proc/loadavg: 1.09 1.04 1.47 2/193 8198
/proc/meminfo: memFree=917424/32770624 swapFree=66998772/67108860
[pid=8000] ppid=7997 vsize=30513336 memory=29908288 CPUtime=2519.53 cores=0-7
/proc/8000/stat : 8000 (cosoco) S 7997 8000 7626 0 -1 512 7158844 0 0 0 250376 1577 0 0 20 0 1 0 436229220 31245656064 7477072 33554432000 4194304 6211092 140736760737168 140736760718952 5189550 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 7628334 7477072 846 493 0 7621639 0
Current children cumulated CPU time: 2519.53 s
Current children cumulated vsize: 30513336 KiB
Current children cumulated memory: 29908288 KiB
[startup+2522 s]*
/proc/loadavg: 1.09 1.04 1.47 2/193 8198
/proc/meminfo: memFree=672832/32770624 swapFree=66998772/67108860
[pid=8000] ppid=7997 vsize=30513336 memory=29908288 CPUtime=2519.58 cores=0-7
/proc/8000/stat : 8000 (cosoco) S 7997 8000 7626 0 -1 512 7158844 0 0 0 250381 1577 0 0 20 0 1 0 436229220 31245656064 7477072 33554432000 4194304 6211092 140736760737168 140736760718952 5189550 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 35364864 140736760738833 140736760738925 140736760738925 140736760741838 0
/proc/8000/statm: 7628334 7477072 846 493 0 7621639 0
Current children cumulated CPU time: 2519.58 s
Current children cumulated vsize: 30513336 KiB
Current children cumulated memory: 29908288 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2523.41
CPU time (s): 2521
CPU user time (s): 2503.82
CPU system time (s): 17.1787
CPU usage (%): 99.9044
Max. virtual memory (cumulated for all children) (KiB): 30513336
Max. memory (cumulated for all children) (KiB): 29908288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2503.82
system time used= 17.1787
maximum resident set size= 29908472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7158844
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= 121273
involuntary context switches= 3150
# summary of solver processes directly reported to runsolver:
# pid: 8000
# total CPU time (s): 2521
# total CPU user time (s): 2503.82
# total CPU system time (s): 17.1787
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.41469 second user time and 16.6495 second system time
The end
Begin job on node102 at 2019-09-16 04:08:53
IDJOB=4398425
IDBENCH=122975
IDSOLVER=2851
FILE ID=node102/4398425-1568599778
RUNJOBID= node102-1568597211-7653
PBS_JOBID= 21703406
Free space on /tmp= 59328 MiB
SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/Opd/Opd-sum-small/Opd-10-031-009.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398425-1568599778/watcher-4398425-1568599778 -o /tmp/evaluation-result-4398425-1568599778/solver-4398425-1568599778 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568597211-7653 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398425-1568599778.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= c781bc55b7ee4c4bb57d86a03397642c
RANDOM SEED=696676629
node102.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.13
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.13
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.13
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.13
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: 31383340 kB
MemAvailable: 31909096 kB
Buffers: 205300 kB
Cached: 619884 kB
SwapCached: 7768 kB
Active: 367948 kB
Inactive: 467952 kB
Active(anon): 9528 kB
Inactive(anon): 43276 kB
Active(file): 358420 kB
Inactive(file): 424676 kB
Unevictable: 110384 kB
Mlocked: 110384 kB
SwapTotal: 67108860 kB
SwapFree: 66998748 kB
Dirty: 2800 kB
Writeback: 0 kB
AnonPages: 127568 kB
Mapped: 40240 kB
Shmem: 33344 kB
Slab: 145008 kB
SReclaimable: 116988 kB
SUnreclaim: 28020 kB
KernelStack: 3712 kB
PageTables: 5640 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 507088 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 81920 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 118144 kB
DirectMap2M: 33427456 kB
Free space on /tmp at the end= 58860 MiB
End job on node102 at 2019-09-16 04:50:56