0.00/0.00 c
0.00/0.00 c This is cosoco 2.00 --
0.00/0.00 c
0.00/0.00 c command line: cosoco -model -nbcores=8 HOME/instance-4409381-1569818143.xml
0.00/0.00 c intension le(add(w[0],x[0]),200) -> extension (support ? 0) - 165tuples
0.00/0.00 c intension le(add(w[1],x[1]),200) -> extension (support ? 0) - 174tuples
0.00/0.00 c intension le(add(w[2],x[2]),200) -> extension (support ? 0) - 63tuples
0.00/0.00 c intension le(add(w[3],x[3]),200) -> extension (support ? 0) - 102tuples
0.00/0.01 c intension le(add(w[4],x[4]),200) -> extension (support ? 0) - 124tuples
0.00/0.01 c intension le(add(w[5],x[5]),200) -> extension (support ? 0) - 140tuples
0.00/0.01 c intension le(add(w[6],x[6]),200) -> extension (support ? 0) - 37tuples
0.00/0.01 c intension le(add(w[7],x[7]),200) -> extension (support ? 0) - 113tuples
0.00/0.01 c intension le(add(w[8],x[8]),200) -> extension (support ? 0) - 35tuples
0.00/0.01 c intension le(add(w[9],x[9]),200) -> extension (support ? 0) - 40tuples
0.00/0.01 c intension le(add(w[10],x[10]),200) -> extension (support ? 0) - 130tuples
0.00/0.01 c intension le(add(w[11],x[11]),200) -> extension (support ? 0) - 107tuples
0.00/0.01 c intension le(add(w[12],x[12]),200) -> extension (support ? 0) - 144tuples
0.00/0.01 c intension le(add(w[13],x[13]),200) -> extension (support ? 0) - 165tuples
0.00/0.01 c intension le(add(w[14],x[14]),200) -> extension (support ? 0) - 46tuples
0.00/0.02 c intension le(add(w[15],x[15]),200) -> extension (support ? 0) - 23tuples
0.00/0.02 c intension le(add(w[16],x[16]),200) -> extension (support ? 0) - 113tuples
0.00/0.02 c intension le(add(h[0],y[0]),200) -> extension (support ? 0) - 165tuples
0.00/0.02 c intension le(add(h[1],y[1]),200) -> extension (support ? 0) - 174tuples
0.00/0.02 c intension le(add(h[2],y[2]),200) -> extension (support ? 0) - 63tuples
0.00/0.02 c intension le(add(h[3],y[3]),200) -> extension (support ? 0) - 102tuples
0.00/0.02 c intension le(add(h[4],y[4]),200) -> extension (support ? 0) - 124tuples
0.00/0.02 c intension le(add(h[5],y[5]),200) -> extension (support ? 0) - 140tuples
0.00/0.02 c intension le(add(h[6],y[6]),200) -> extension (support ? 0) - 37tuples
0.00/0.02 c intension le(add(h[7],y[7]),200) -> extension (support ? 0) - 113tuples
0.00/0.02 c intension le(add(h[8],y[8]),200) -> extension (support ? 0) - 35tuples
0.00/0.03 c intension le(add(h[9],y[9]),200) -> extension (support ? 0) - 40tuples
0.00/0.03 c intension le(add(h[10],y[10]),200) -> extension (support ? 0) - 130tuples
0.00/0.03 c intension le(add(h[11],y[11]),200) -> extension (support ? 0) - 107tuples
0.00/0.03 c intension le(add(h[12],y[12]),200) -> extension (support ? 0) - 144tuples
0.00/0.03 c intension le(add(h[13],y[13]),200) -> extension (support ? 0) - 165tuples
0.00/0.03 c intension le(add(h[14],y[14]),200) -> extension (support ? 0) - 46tuples
0.00/0.03 c intension le(add(h[15],y[15]),200) -> extension (support ? 0) - 23tuples
0.00/0.03 c intension le(add(h[16],y[16]),200) -> extension (support ? 0) - 113tuples
976.73/977.12 c =========================================================================================================
976.73/977.12 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 (15002 MiB free)
memory of node 1: 16384 MiB (14587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409381-1569818143/watcher-4409381-1569818143 -o /tmp/evaluation-result-4409381-1569818143/solver-4409381-1569818143 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1569818084-23682 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409381-1569818143.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=23780, runsolver pid=23777
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 0.93 1.11 1.53 2/191 23781
/proc/meminfo: memFree=30294828/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=32596 memory=8732 CPUtime=0.1 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 2407 0 0 0 10 0 0 0 20 0 1 0 557728121 33378304 2183 33554432000 4194304 6211132 140731512041088 140731512037624 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 8149 2183 838 493 0 1454 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32596 KiB
Current children cumulated memory: 8732 KiB
[startup+0.208772 s]*
/proc/loadavg: 0.93 1.11 1.53 2/191 23781
/proc/meminfo: memFree=30292720/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=34944 memory=11060 CPUtime=0.21 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 2975 0 0 0 21 0 0 0 20 0 1 0 557728121 35782656 2765 33554432000 4194304 6211132 140731512041088 140731512037624 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 8736 2765 838 493 0 2041 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34944 KiB
Current children cumulated memory: 11060 KiB
[startup+0.308509 s]*
/proc/loadavg: 0.93 1.11 1.53 2/191 23781
/proc/meminfo: memFree=30290860/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=37096 memory=13100 CPUtime=0.3 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 3484 0 0 0 30 0 0 0 20 0 1 0 557728121 37986304 3275 33554432000 4194304 6211132 140731512041088 140731512037624 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 9274 3275 838 493 0 2579 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37096 KiB
Current children cumulated memory: 13100 KiB
[startup+0.700346 s]
/proc/loadavg: 0.93 1.11 1.53 2/191 23781
/proc/meminfo: memFree=30286820/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=46000 memory=21080 CPUtime=0.69 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 5453 0 0 0 68 1 0 0 20 0 1 0 557728121 47104000 5270 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 11500 5270 838 493 0 4805 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46000 KiB
Current children cumulated memory: 21080 KiB
[startup+1.50033 s]
/proc/loadavg: 0.93 1.11 1.53 2/191 23781
/proc/meminfo: memFree=30276776/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=64276 memory=37368 CPUtime=1.49 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 9513 0 0 0 148 1 0 0 20 0 1 0 557728121 65818624 9342 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 16069 9342 838 493 0 9374 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 64276 KiB
Current children cumulated memory: 37368 KiB
[startup+3.10834 s]
/proc/loadavg: 0.93 1.11 1.53 2/191 23781
/proc/meminfo: memFree=30234992/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=97732 memory=70700 CPUtime=3.09 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 17390 0 0 0 307 2 0 0 20 0 1 0 557728121 100077568 17675 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 24433 17675 838 493 0 17738 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 97732 KiB
Current children cumulated memory: 70700 KiB
[startup+6.30032 s]
/proc/loadavg: 0.86 1.09 1.52 2/191 23782
/proc/meminfo: memFree=30172660/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=163716 memory=137768 CPUtime=6.29 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 31600 0 0 0 625 4 0 0 20 0 1 0 557728121 167645184 34442 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 40929 34442 838 493 0 34234 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 163716 KiB
Current children cumulated memory: 137768 KiB
[startup+12.7003 s]
/proc/loadavg: 0.87 1.09 1.52 2/191 23782
/proc/meminfo: memFree=30050928/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=308020 memory=268104 CPUtime=12.69 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 58106 0 0 0 1260 9 0 0 20 0 1 0 557728121 315412480 67026 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 77005 67026 838 493 0 70310 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 308020 KiB
Current children cumulated memory: 268104 KiB
[startup+25.5003 s]
/proc/loadavg: 0.90 1.08 1.51 3/192 23783
/proc/meminfo: memFree=29782948/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=607752 memory=532908 CPUtime=25.47 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 109530 0 0 0 2532 15 0 0 20 0 1 0 557728121 622338048 133227 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 151938 133227 838 493 0 145243 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 607752 KiB
Current children cumulated memory: 532908 KiB
[startup+51.1085 s]
/proc/loadavg: 0.93 1.08 1.49 2/191 23784
/proc/meminfo: memFree=28500156/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=1863056 memory=1807332 CPUtime=51.07 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 350978 0 0 0 5059 48 0 0 20 0 1 0 557728121 1907769344 451833 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 465764 451833 838 493 0 459069 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 1863056 KiB
Current children cumulated memory: 1807332 KiB
[startup+102.3 s]
/proc/loadavg: 0.97 1.07 1.47 2/191 23787
/proc/meminfo: memFree=26112872/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=4538688 memory=4190456 CPUtime=102.25 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 799585 0 0 0 10114 111 0 0 20 0 1 0 557728121 4647616512 1047614 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 1134672 1047614 838 493 0 1127977 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 4538688 KiB
Current children cumulated memory: 4190456 KiB
[startup+162.3 s]
/proc/loadavg: 0.99 1.05 1.44 2/192 23792
/proc/meminfo: memFree=24879192/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=5725136 memory=5420792 CPUtime=162.22 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 1032052 0 0 0 16073 149 0 0 20 0 1 0 557728121 5862539264 1355198 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 1431284 1355198 838 493 0 1424589 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 5725136 KiB
Current children cumulated memory: 5420792 KiB
[startup+222.3 s]
/proc/loadavg: 1.00 1.04 1.41 2/191 23795
/proc/meminfo: memFree=23645544/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=6835860 memory=6654032 CPUtime=222.21 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 1263226 0 0 0 22040 181 0 0 20 0 1 0 557728121 6999920640 1663508 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 1708965 1663508 838 493 0 1702270 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 6835860 KiB
Current children cumulated memory: 6654032 KiB
[startup+282.3 s]
/proc/loadavg: 1.00 1.04 1.39 2/191 23798
/proc/meminfo: memFree=21630228/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=9262924 memory=8675032 CPUtime=282.18 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 1643277 0 0 0 27982 236 0 0 20 0 1 0 557728121 9485234176 2168758 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 2315731 2168758 838 493 0 2309036 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 9262924 KiB
Current children cumulated memory: 8675032 KiB
[startup+342.3 s]
/proc/loadavg: 1.00 1.03 1.36 2/192 23810
/proc/meminfo: memFree=18507704/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=12544744 memory=11790600 CPUtime=342.16 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 2228044 0 0 0 33891 325 0 0 20 0 1 0 557728121 12845817856 2947650 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 3136186 2947650 838 493 0 3129491 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 12544744 KiB
Current children cumulated memory: 11790600 KiB
[startup+402.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/191 23813
/proc/meminfo: memFree=17131852/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=13566952 memory=13152848 CPUtime=402.14 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 2483823 0 0 0 39844 370 0 0 20 0 1 0 557728121 13892558848 3288212 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 3391738 3288212 838 493 0 3385043 0
Current children cumulated CPU time: 402.14 s
Current children cumulated vsize: 13566952 KiB
Current children cumulated memory: 13152848 KiB
[startup+462.3 s]
/proc/loadavg: 1.05 1.04 1.32 2/191 23816
/proc/meminfo: memFree=15902080/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=14909660 memory=14382140 CPUtime=462.11 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 2715137 0 0 0 45802 409 0 0 20 0 1 0 557728121 15267491840 3595535 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 3727415 3595535 838 493 0 3720720 0
Current children cumulated CPU time: 462.11 s
Current children cumulated vsize: 14909660 KiB
Current children cumulated memory: 14382140 KiB
################
# More data... #
################
Current children cumulated CPU time: 522.09 s
Current children cumulated vsize: 17793384 KiB
Current children cumulated memory: 16334608 KiB
[startup+582.3 s]
/proc/loadavg: 1.01 1.02 1.29 2/191 23824
/proc/meminfo: memFree=11262772/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=19806516 memory=19021288 CPUtime=582.06 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 3585878 0 0 0 57612 594 0 0 20 0 1 0 557728121 20281872384 4755322 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 4951629 4755322 838 493 0 4944934 0
Current children cumulated CPU time: 582.06 s
Current children cumulated vsize: 19806516 KiB
Current children cumulated memory: 19021288 KiB
[startup+642.3 s]
/proc/loadavg: 1.00 1.02 1.27 2/191 23827
/proc/meminfo: memFree=9424520/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=21176016 memory=20845604 CPUtime=642.05 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 3928563 0 0 0 63529 676 0 0 20 0 1 0 557728121 21684240384 5211401 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 5294004 5211401 838 493 0 5287309 0
Current children cumulated CPU time: 642.05 s
Current children cumulated vsize: 21176016 KiB
Current children cumulated memory: 20845604 KiB
[startup+702.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/192 23832
/proc/meminfo: memFree=8194532/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=22727876 memory=22074020 CPUtime=702.03 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 4159637 0 0 0 69461 742 0 0 20 0 1 0 557728121 23273345024 5518505 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 5681969 5518505 838 493 0 5675274 0
Current children cumulated CPU time: 702.03 s
Current children cumulated vsize: 22727876 KiB
Current children cumulated memory: 22074020 KiB
[startup+762.3 s]
/proc/loadavg: 1.00 1.01 1.23 2/191 23835
/proc/meminfo: memFree=6255260/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=26310636 memory=24013172 CPUtime=762.01 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 4523948 0 0 0 75363 838 0 0 20 0 1 0 557728121 26942091264 6003293 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 6577659 6003293 838 493 0 6570964 0
Current children cumulated CPU time: 762.01 s
Current children cumulated vsize: 26310636 KiB
Current children cumulated memory: 24013172 KiB
[startup+822.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/191 23838
/proc/meminfo: memFree=4097588/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=27928956 memory=26170036 CPUtime=821.99 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 4928884 0 0 0 81257 942 0 0 20 0 1 0 557728121 28599250944 6542509 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 6982239 6542509 838 493 0 6975544 0
Current children cumulated CPU time: 821.99 s
Current children cumulated vsize: 27928956 KiB
Current children cumulated memory: 26170036 KiB
[startup+882.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/192 23843
/proc/meminfo: memFree=1746400/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=29681916 memory=28508772 CPUtime=881.97 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 5367511 0 0 0 87150 1047 0 0 20 0 1 0 557728121 30394281984 7127193 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 7420479 7127193 838 493 0 7413784 0
Current children cumulated CPU time: 881.97 s
Current children cumulated vsize: 29681916 KiB
Current children cumulated memory: 28508772 KiB
[startup+942.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/191 23854
/proc/meminfo: memFree=521340/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=30601032 memory=29733004 CPUtime=941.95 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 5597510 0 0 0 93074 1121 0 0 20 0 1 0 557728121 31335456768 7433251 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 7650258 7433251 838 493 0 7643563 0
Current children cumulated CPU time: 941.95 s
Current children cumulated vsize: 30601032 KiB
Current children cumulated memory: 29733004 KiB
[startup+978.38 s]
# the end of solver process 23780 was just reported to runsolver
# cumulated CPU time of all completed processes: user=961.723 s, system=16.2885 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 1.00 1.01 1.19 2/191 23854
/proc/meminfo: memFree=417572/32770624 swapFree=67002480/67108860
[pid=23780] ppid=23777 vsize=30675744 memory=29832472 CPUtime=946.85 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 5616233 0 0 0 93557 1128 0 0 20 0 1 0 557728121 31411961856 7458118 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 7668936 7458118 838 493 0 7662241 0
Current children cumulated CPU time: 946.85 s
Current children cumulated vsize: 30675744 KiB
Current children cumulated memory: 29832472 KiB
[startup+960 s]*
/proc/loadavg: 1.00 1.01 1.19 2/191 23854
/proc/meminfo: memFree=189860/32770624 swapFree=67002424/67108860
[pid=23780] ppid=23777 vsize=30871896 memory=30092572 CPUtime=959.65 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 5666443 0 0 0 94822 1143 0 0 20 0 1 0 557728121 31612821504 7523143 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 7717974 7523143 838 493 0 7711279 0
Current children cumulated CPU time: 959.65 s
Current children cumulated vsize: 30871896 KiB
Current children cumulated memory: 30092572 KiB
[startup+966.4 s]
/proc/loadavg: 1.00 1.01 1.19 2/191 23854
/proc/meminfo: memFree=192536/32770624 swapFree=67002424/67108860
[pid=23780] ppid=23777 vsize=30969708 memory=30222908 CPUtime=966.05 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 5699061 0 0 0 95454 1151 0 0 20 0 1 0 557728121 31712980992 7555727 33554432000 4194304 6211132 140731512041088 140731512034232 140543339109349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 7742427 7555727 838 493 0 7735732 0
Current children cumulated CPU time: 966.05 s
Current children cumulated vsize: 30969708 KiB
Current children cumulated memory: 30222908 KiB
[startup+972.8 s]
/proc/loadavg: 1.00 1.01 1.19 2/192 23857
/proc/meminfo: memFree=213428/32770624 swapFree=67002424/67108860
[pid=23780] ppid=23777 vsize=31045936 memory=30237404 CPUtime=972.42 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 9377535 0 1 0 95912 1330 0 0 20 0 1 0 557728121 31791038464 7559351 33554432000 4194304 6211132 140731512041088 140731512034296 140543339101806 0 0 4096 8405026 0 0 0 17 2 0 0 2 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 7761484 7559351 863 493 0 7754789 0
Current children cumulated CPU time: 972.42 s
Current children cumulated vsize: 31045936 KiB
Current children cumulated memory: 30237404 KiB
[startup+976 s]*
/proc/loadavg: 1.00 1.01 1.19 2/191 23857
/proc/meminfo: memFree=213420/32770624 swapFree=67002424/67108860
[pid=23780] ppid=23777 vsize=31045936 memory=30237404 CPUtime=975.63 cores=0-7
/proc/23780/stat : 23780 (cosoco) R 23777 23780 23655 0 -1 4202496 11090476 0 1 0 96116 1447 0 0 20 0 1 0 557728121 31791038464 7559351 33554432000 4194304 6211132 140731512041088 140731512034296 140543339101806 0 0 4096 8405026 0 0 0 17 2 0 0 2 0 0 8312316 8317760 14135296 140731512046609 140731512046701 140731512046701 140731512049614 0
/proc/23780/statm: 7761484 7559351 863 493 0 7754789 0
Current children cumulated CPU time: 975.63 s
Current children cumulated vsize: 31045936 KiB
Current children cumulated memory: 30237404 KiB
[startup+977.6 s]
/proc/loadavg: 1.00 1.01 1.19 2/191 23857
/proc/meminfo: memFree=8765376/32770624 swapFree=67002424/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+978 s]*
/proc/loadavg: 1.00 1.01 1.19 2/191 23857
/proc/meminfo: memFree=22522744/32770624 swapFree=67002424/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+978.2 s]
/proc/loadavg: 1.00 1.01 1.19 2/191 23857
/proc/meminfo: memFree=22522744/32770624 swapFree=67002424/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+978.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/191 23857
/proc/meminfo: memFree=22522744/32770624 swapFree=67002424/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): 978.38
CPU time (s): 978.012
CPU user time (s): 961.723
CPU system time (s): 16.2885
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 31045936
Max. memory (cumulated for all children) (KiB): 30237404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 961.723
system time used= 16.2885
maximum resident set size= 30237404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11577847
page faults= 1
swaps= 0
block input operations= 9984
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 785
involuntary context switches= 741
# summary of solver processes directly reported to runsolver:
# pid: 23780
# total CPU time (s): 978.012
# total CPU user time (s): 961.723
# total CPU system time (s): 16.2885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.52447 second user time and 6.19188 second system time
The end
Begin job on node146 at 2019-09-30 06:35:01
IDJOB=4409381
IDBENCH=120457
IDSOLVER=2877
FILE ID=node146/4409381-1569818143
RUNJOBID= node146-1569818084-23682
PBS_JOBID= 21705925
Free space on /tmp= 62032 MiB
SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesT/StripPacking-T1e.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409381-1569818143/watcher-4409381-1569818143 -o /tmp/evaluation-result-4409381-1569818143/solver-4409381-1569818143 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1569818084-23682 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409381-1569818143.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= f7b8b642e131c8af917aaf97f4ae3b24
RANDOM SEED=1256225805
node146.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 : 5332.90
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.55
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 : 5332.90
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.55
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 : 5332.90
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.55
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 : 5332.90
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.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 30300168 kB
MemAvailable: 31870876 kB
Buffers: 191964 kB
Cached: 1715724 kB
SwapCached: 3684 kB
Active: 1616332 kB
Inactive: 297640 kB
Active(anon): 20520 kB
Inactive(anon): 66740 kB
Active(file): 1595812 kB
Inactive(file): 230900 kB
Unevictable: 109348 kB
Mlocked: 109348 kB
SwapTotal: 67108860 kB
SwapFree: 67002480 kB
Dirty: 2836 kB
Writeback: 0 kB
AnonPages: 45476 kB
Mapped: 26972 kB
Shmem: 72256 kB
Slab: 148780 kB
SReclaimable: 119664 kB
SUnreclaim: 29116 kB
KernelStack: 3824 kB
PageTables: 4740 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 540000 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 109952 kB
DirectMap2M: 33435648 kB
Free space on /tmp at the end= 62028 MiB
End job on node146 at 2019-09-30 06:51:19