Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - Hybrid 2017-06-30 | OPT | 2 | 1.26786 | 1.26743 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml |
MD5SUM | b220eda080bc853662ea3d9fecf431a6 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.014442 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 19 |
Number of constraints | 12 |
Number of domains | 7 |
Minimum domain size | 2 |
Maximum domain size | 7 |
Distribution of domain sizes | [{"size":2,"count":11},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":1},{"size":7,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":0,"count":3},{"degree":2,"count":12},{"degree":3,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":2,"count":4},{"arity":3,"count":7},{"arity":4,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 9 |
Distribution of constraint types | [{"type":"intension","count":9},{"type":"sum","count":3}] |
Optimization problem | YES |
Type of objective | min SUM |
0.42/0.34 c version: 2017-06-30 0.42/0.34 c seed: 476926548 0.42/0.34 c timeout: 2400 0.42/0.34 c memlimit: 15500 0.42/0.34 c nbcore: 8 0.42/0.37 c Parsing instance... 1.12/0.78 c Parsing done, starting first complete search... 1.12/0.79 o 14 1.12/0.79 o 2 1.25/0.80 s OPTIMUM FOUND 1.25/0.80 v <instantiation> 1.25/0.80 v <list> 1.25/0.80 v x[0] x[1] x[2] x[3] y[0][0] y[0][1] y[0][2] y[1][0] y[1][1] y[2][0] c[0] c[1] c[2] s[0] s[1] s[2] 1.25/0.80 v </list> 1.25/0.80 v <values> 1.25/0.80 v 1 1 -1 1 1 -1 -1 -1 1 1 -1 0 1 1 0 1 1.25/0.80 v </values> 1.25/0.80 v </instantiation>
OK 2
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247464-1500710998/watcher-4247464-1500710998 -o /tmp/evaluation-result-4247464-1500710998/solver-4247464-1500710998 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500697194-17818 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 476926548 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247464-1500710998.xml pid=20056 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.83 1.66 1.56 3/261 20059 /proc/meminfo: memFree=30438780/32770624 swapFree=5780/288792 [pid=20059] ppid=20056 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20059/stat : 20059 (java) S 20056 20059 14782 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 6366128 369864704 1413 33554432000 4194304 4196468 140735677409168 140735677391712 139895715020535 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 /proc/20059/statm: 90299 1413 1072 1 0 79210 0 [pid=20059/tid=20060] ppid=20056 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20060/stat : 20060 (java) S 20056 20059 14782 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 6366129 369864704 1413 33554432000 4194304 4196468 140735677409168 139895719262624 139895715031682 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [startup+0.100151 s] /proc/loadavg: 1.83 1.66 1.56 3/261 20059 /proc/meminfo: memFree=30438780/32770624 swapFree=5780/288792 [pid=20059] ppid=20056 vsize=13261040 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/20059/stat : 20059 (java) S 20056 20059 14782 0 -1 1077944320 5842 0 0 0 7 2 0 0 20 0 20 0 6366128 13579304960 5621 33554432000 4194304 4196468 140735677409168 140735677391712 139895715020535 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 /proc/20059/statm: 3315260 5621 2621 1 0 3303698 0 [pid=20059/tid=20060] ppid=20056 vsize=13261040 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20060/stat : 20060 (java) R 20056 20059 14782 0 -1 4202560 3916 0 0 0 6 2 0 0 20 0 20 0 6366129 13579304960 5621 33554432000 4194304 4196468 140735677409168 139895719260312 139895696584144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13261040 [startup+0.200303 s] /proc/loadavg: 1.83 1.66 1.56 3/261 20059 /proc/meminfo: memFree=30438780/32770624 swapFree=5780/288792 [pid=20059] ppid=20056 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/20059/stat : 20059 (java) S 20056 20059 14782 0 -1 1077944320 8879 0 0 0 22 3 0 0 20 0 20 0 6366128 13582245888 8882 33554432000 4194304 4196468 140735677409168 140735677391712 139895715020535 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 /proc/20059/statm: 3315978 8882 3506 1 0 3303698 0 [pid=20059/tid=20060] ppid=20056 vsize=13263912 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20060/stat : 20060 (java) R 20056 20059 14782 0 -1 4202560 6617 0 0 0 15 2 0 0 20 0 20 0 6366129 13582245888 8882 33554432000 4194304 4196468 140735677409168 139895719236720 139895698416128 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 13263912 [startup+0.300431 s] /proc/loadavg: 1.83 1.66 1.56 3/261 20059 /proc/meminfo: memFree=30438780/32770624 swapFree=5780/288792 [pid=20059] ppid=20056 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14 /proc/20059/stat : 20059 (java) S 20056 20059 14782 0 -1 1077944320 9497 0 0 0 38 4 0 0 20 0 20 0 6366128 13582245888 10335 33554432000 4194304 4196468 140735677409168 140735677391712 139895715020535 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 /proc/20059/statm: 3315978 10335 3600 1 0 3303698 0 [pid=20059/tid=20060] ppid=20056 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20060/stat : 20060 (java) R 20056 20059 14782 0 -1 4202560 7070 0 0 0 25 3 0 0 20 0 20 0 6366129 13582245888 10335 33554432000 4194304 4196468 140735677409168 139895719239536 139895715042461 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 13263912 [startup+0.700298 s] /proc/loadavg: 1.83 1.66 1.56 3/261 20059 /proc/meminfo: memFree=30438780/32770624 swapFree=5780/288792 [pid=20059] ppid=20056 vsize=13268028 CPUtime=1.12 cores=0,2,4,6,8,10,12,14 /proc/20059/stat : 20059 (java) S 20056 20059 14782 0 -1 1077944320 12351 0 0 0 106 6 0 0 20 0 20 0 6366128 13586460672 17101 33554432000 4194304 4196468 140735677409168 140735677391712 139895715020535 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 /proc/20059/statm: 3317007 17101 3746 1 0 3304722 0 [pid=20059/tid=20060] ppid=20056 vsize=13268028 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20060/stat : 20060 (java) R 20056 20059 14782 0 -1 4202560 9008 0 0 0 63 4 0 0 20 0 20 0 6366129 13586460672 17101 33554432000 4194304 4196468 140735677409168 139895719243552 139895351687456 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 Current children cumulated CPU time (s) 1.12 Current children cumulated vsize (KiB) 13268028 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 20059 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+0.800377 s] /proc/loadavg: 1.83 1.66 1.56 3/261 20059 /proc/meminfo: memFree=30438780/32770624 swapFree=5780/288792 [pid=20059] ppid=20056 vsize=13268028 CPUtime=1.25 cores=0,2,4,6,8,10,12,14 /proc/20059/stat : 20059 (java) S 20056 20059 14782 0 -1 1077944320 13018 0 0 0 119 6 0 0 20 0 20 0 6366128 13586460672 19961 33554432000 4194304 4196468 140735677409168 140735677391712 139895715020535 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 /proc/20059/statm: 3317007 19961 3760 1 0 3304722 0 [pid=20059/tid=20060] ppid=20056 vsize=13268028 CPUtime=0.77 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20060/stat : 20060 (java) R 20056 20059 14782 0 -1 4202560 9639 0 0 0 73 4 0 0 20 0 20 0 6366129 13586460672 19961 33554432000 4194304 4196468 140735677409168 139895719256760 139895351732097 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 Current children cumulated CPU time (s) 1.25 Current children cumulated vsize (KiB) 13268028 [startup+1.21533 s] /proc/loadavg: 1.83 1.66 1.56 2/278 20080 /proc/meminfo: memFree=30372828/32770624 swapFree=5780/288840 [pid=20059] ppid=20056 vsize=13334592 CPUtime=1.25 cores=0,2,4,6,8,10,12,14 /proc/20059/stat : 20059 (java) S 20056 20059 14782 0 -1 1077944320 13076 0 0 0 119 6 0 0 20 0 17 0 6366128 13654622208 20536 33554432000 4194304 4196468 140735677409168 140735677391712 139895715020535 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 /proc/20059/statm: 3333648 20536 3766 1 0 3321363 0 [pid=20059/tid=20060] ppid=20056 vsize=13334592 CPUtime=0.78 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20060/stat : 20060 (java) D 20056 20059 14782 0 -1 4202560 9648 0 0 0 74 4 0 0 20 0 17 0 6366129 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895719263544 139895707706167 0 0 0 16800975 18446744072099802245 0 0 -1 6 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [pid=20059/tid=20062] ppid=20056 vsize=13334592 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20062/stat : 20062 (java) S 20056 20059 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 6366130 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895675980560 139895715030741 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [pid=20059/tid=20063] ppid=20056 vsize=13334592 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20063/stat : 20063 (java) S 20056 20059 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 6366130 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895313513360 139895715030741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [pid=20059/tid=20064] ppid=20056 vsize=13334592 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20064/stat : 20064 (java) S 20056 20059 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 6366130 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895312460816 139895715030741 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [pid=20059/tid=20065] ppid=20056 vsize=13334592 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20065/stat : 20065 (java) S 20056 20059 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 6366130 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895311408272 139895715030741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [pid=20059/tid=20066] ppid=20056 vsize=13334592 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20066/stat : 20066 (java) S 20056 20059 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 6366130 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895310354704 139895715030741 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [pid=20059/tid=20067] ppid=20056 vsize=13334592 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20067/stat : 20067 (java) S 20056 20059 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 6366130 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895309302160 139895715030741 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [pid=20059/tid=20068] ppid=20056 vsize=13334592 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20068/stat : 20068 (java) S 20056 20059 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 6366130 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895308249616 139895715030741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [pid=20059/tid=20069] ppid=20056 vsize=13334592 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20069/stat : 20069 (java) S 20056 20059 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 6366130 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895307197072 139895715030741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [pid=20059/tid=20071] ppid=20056 vsize=13334592 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20071/stat : 20071 (java) S 20056 20059 14782 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 6366133 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895042356640 139895715030741 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [pid=20059/tid=20072] ppid=20056 vsize=13334592 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20072/stat : 20072 (java) S 20056 20059 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 6366133 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895041304048 139895715030741 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [pid=20059/tid=20074] ppid=20056 vsize=13334592 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20074/stat : 20074 (java) S 20056 20059 14782 0 -1 1077944384 674 0 0 0 7 0 0 0 20 0 17 0 6366137 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895039199216 139895715031682 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [pid=20059/tid=20075] ppid=20056 vsize=13334592 CPUtime=0.07 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20075/stat : 20075 (java) S 20056 20059 14782 0 -1 1077944384 333 0 0 0 7 0 0 0 20 0 17 0 6366137 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895038146672 139895715031682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [pid=20059/tid=20076] ppid=20056 vsize=13334592 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20076/stat : 20076 (java) S 20056 20059 14782 0 -1 1077944384 301 0 0 0 9 0 0 0 20 0 17 0 6366137 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895037094128 139895715031682 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [pid=20059/tid=20077] ppid=20056 vsize=13334592 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20077/stat : 20077 (java) S 20056 20059 14782 0 -1 1077944384 682 0 0 0 20 0 0 0 20 0 17 0 6366137 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895036041584 139895715031682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 [pid=20059/tid=20078] ppid=20056 vsize=13334592 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20059/task/20078/stat : 20078 (java) S 20056 20059 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 6366137 13654622208 20536 33554432000 4194304 4196468 140735677409168 139895034989280 139895715030741 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34271232 140735677416590 140735677416772 140735677416772 140735677419471 0 Current children cumulated CPU time (s) 1.25 Current children cumulated vsize (KiB) 13334592 Child status: 0 Real time (s): 1.26743 CPU time (s): 1.26786 CPU user time (s): 1.19656 CPU system time (s): 0.071297 CPU usage (%): 100.034 Max. virtual memory (cumulated for all children) (KiB): 13334592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.19657 system time used= 0.071297 maximum resident set size= 82416 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13080 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1996 involuntary context switches= 139 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.014142 second user time and 0.021214 second system time The end
Begin job on node143 at 2017-07-22 10:09:58 IDJOB=4247464 IDBENCH=127047 IDSOLVER=2629 FILE ID=node143/4247464-1500710998 RUNJOBID= node143-1500697194-17818 PBS_JOBID= 20623040 Free space on /tmp= 61952 MiB SOLVER NAME= OscaR - Hybrid 2017-06-30 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-004.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247464-1500710998/watcher-4247464-1500710998 -o /tmp/evaluation-result-4247464-1500710998/solver-4247464-1500710998 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500697194-17818 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 476926548 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247464-1500710998.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= b220eda080bc853662ea3d9fecf431a6 RANDOM SEED=476926548 node143.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.69 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 : 8 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 : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 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.69 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.69 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 : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.69 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 30440200 kB MemAvailable: 30786204 kB Buffers: 161112 kB Cached: 456432 kB SwapCached: 0 kB Active: 1582120 kB Inactive: 297552 kB Active(anon): 1264876 kB Inactive(anon): 8760 kB Active(file): 317244 kB Inactive(file): 288792 kB Unevictable: 5780 kB Mlocked: 5780 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42040 kB Writeback: 0 kB AnonPages: 1364260 kB Mapped: 45876 kB Shmem: 8852 kB Slab: 146188 kB SReclaimable: 111608 kB SUnreclaim: 34580 kB KernelStack: 4960 kB PageTables: 7872 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2203044 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1236992 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 155008 kB DirectMap2M: 33390592 kB Free space on /tmp at the end= 61908 MiB End job on node143 at 2017-07-22 10:10:00