Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - Conflict Ordering 2017-06-30 | OPT | 5 | 3.31484 | 1.29111 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml |
MD5SUM | 82134059a152e9a81bd5479c14cdc8eb |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 0.253405 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 80 |
Number of constraints | 346 |
Number of domains | 1 |
Minimum domain size | 80 |
Maximum domain size | 80 |
Distribution of domain sizes | [{"size":80,"count":80}] |
Minimum variable degree | 5 |
Maximum variable degree | 20 |
Distribution of variable degrees | [{"degree":5,"count":4},{"degree":6,"count":14},{"degree":7,"count":8},{"degree":8,"count":24},{"degree":9,"count":5},{"degree":13,"count":5},{"degree":14,"count":15},{"degree":20,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":346}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 346 |
Distribution of constraint types | [{"type":"intension","count":346}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.43/0.30 c version: 2017-06-30 0.43/0.30 c seed: 1885771188 0.43/0.30 c timeout: 2400 0.43/0.30 c memlimit: 15500 0.43/0.31 c nbcore: 8 0.43/0.33 c Parsing instance... 1.19/0.79 c Parsing done, starting search... 1.36/0.82 o 79 1.36/0.83 o 78 1.36/0.84 o 77 1.36/0.84 o 76 1.36/0.85 o 75 1.36/0.85 o 74 1.36/0.86 o 73 1.36/0.86 o 72 1.36/0.87 o 71 1.36/0.87 o 70 1.36/0.88 o 69 1.36/0.88 o 68 1.36/0.88 o 67 1.36/0.89 o 66 1.36/0.89 o 65 1.36/0.89 o 64 1.77/0.90 o 63 1.77/0.90 o 62 1.77/0.90 o 61 1.77/0.90 o 60 1.77/0.91 o 59 1.77/0.91 o 58 1.77/0.91 o 57 1.77/0.92 o 56 1.77/0.92 o 55 1.77/0.92 o 54 1.77/0.93 o 53 1.77/0.93 o 52 1.77/0.93 o 51 1.77/0.93 o 50 1.77/0.94 o 49 1.77/0.94 o 48 1.77/0.94 o 47 1.77/0.95 o 46 1.77/0.95 o 45 1.77/0.95 o 44 1.77/0.95 o 43 1.77/0.96 o 42 1.77/0.96 o 41 1.77/0.96 o 40 1.77/0.97 o 39 1.77/0.97 o 38 1.77/0.97 o 37 1.77/0.97 o 36 1.77/0.98 o 35 1.77/0.98 o 34 1.77/0.98 o 33 1.77/0.99 o 32 1.77/0.99 o 31 1.77/0.99 o 30 1.77/0.99 o 29 2.18/1.00 o 28 2.18/1.00 o 27 2.18/1.00 o 26 2.18/1.00 o 25 2.18/1.01 o 24 2.18/1.01 o 23 2.18/1.01 o 22 2.18/1.01 o 21 2.18/1.02 o 20 2.18/1.02 o 19 2.18/1.02 o 18 2.18/1.02 o 17 2.18/1.03 o 16 2.18/1.03 o 15 2.18/1.03 o 14 2.18/1.03 o 13 2.18/1.04 o 12 2.18/1.04 o 11 2.18/1.04 o 10 2.18/1.04 o 9 2.18/1.05 o 8 2.18/1.05 o 7 2.18/1.05 o 6 2.18/1.05 o 5 3.05/1.27 s OPTIMUM FOUND 3.05/1.27 v <instantiation> 3.05/1.27 v <list> 3.05/1.27 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] 3.05/1.27 v </list> 3.05/1.27 v <values> 3.05/1.27 v 5 4 3 2 4 4 3 3 4 4 1 4 2 0 3 5 4 5 1 5 5 5 5 5 5 5 5 5 5 5 5 4 2 4 4 4 4 4 4 4 4 4 4 4 4 5 4 5 2 5 5 5 5 5 5 5 5 5 5 5 5 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 0 3 1 4 3.05/1.27 v </values> 3.05/1.27 v </instantiation>
OK 5
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-4245191-1500698340/watcher-4245191-1500698340 -o /tmp/evaluation-result-4245191-1500698340/solver-4245191-1500698340 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500684088-11482 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1885771188 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245191-1500698340.xml pid=13524 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.66 1.63 1.60 3/261 13527 /proc/meminfo: memFree=30555076/32770624 swapFree=5852/284096 [pid=13527] ppid=13524 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/stat : 13527 (java) S 13524 13527 10103 0 -1 1077944320 1903 0 0 0 0 0 0 0 20 0 2 0 5102696 10889764864 2101 33554432000 4194304 4196468 140727669649408 140727669631952 140624901869303 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 /proc/13527/statm: 2658634 2167 1188 1 0 2647545 0 [pid=13527/tid=13528] ppid=13524 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13528/stat : 13528 (java) R 13524 13527 10103 0 -1 4202560 693 0 0 0 0 0 0 0 20 0 2 0 5102696 10889764864 2233 33554432000 4194304 4196468 140727669649408 140624906111392 140624894158752 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [startup+0.100189 s] /proc/loadavg: 1.66 1.63 1.60 3/261 13527 /proc/meminfo: memFree=30555076/32770624 swapFree=5852/284096 [pid=13527] ppid=13524 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/13527/stat : 13527 (java) S 13524 13527 10103 0 -1 1077944320 5762 0 0 0 9 0 0 0 20 0 20 0 5102696 13582725120 6348 33554432000 4194304 4196468 140727669649408 140727669631952 140624901869303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 /proc/13527/statm: 3316095 6348 3304 1 0 3303815 0 [pid=13527/tid=13528] ppid=13524 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13528/stat : 13528 (java) R 13524 13527 10103 0 -1 4202560 3840 0 0 0 8 0 0 0 20 0 20 0 5102696 13582725120 6348 33554432000 4194304 4196468 140727669649408 140624906111584 140624885949790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13264380 [startup+0.200406 s] /proc/loadavg: 1.66 1.63 1.60 3/261 13527 /proc/meminfo: memFree=30555076/32770624 swapFree=5852/284096 [pid=13527] ppid=13524 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14 /proc/13527/stat : 13527 (java) S 13524 13527 10103 0 -1 1077944320 8894 0 0 0 24 2 0 0 20 0 20 0 5102696 13582245888 8955 33554432000 4194304 4196468 140727669649408 140727669631952 140624901869303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 /proc/13527/statm: 3315978 8955 3558 1 0 3303698 0 [pid=13527/tid=13528] ppid=13524 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13528/stat : 13528 (java) R 13524 13527 10103 0 -1 4202560 6614 0 0 0 17 1 0 0 20 0 20 0 5102696 13582245888 8955 33554432000 4194304 4196468 140727669649408 140624906083568 140624901891229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 13263912 [startup+0.300409 s] /proc/loadavg: 1.66 1.63 1.60 3/261 13527 /proc/meminfo: memFree=30555076/32770624 swapFree=5852/284096 [pid=13527] ppid=13524 vsize=13263912 CPUtime=0.43 cores=0,2,4,6,8,10,12,14 /proc/13527/stat : 13527 (java) S 13524 13527 10103 0 -1 1077944320 9898 0 0 0 40 3 0 0 20 0 20 0 5102696 13582245888 11111 33554432000 4194304 4196468 140727669649408 140727669631952 140624901869303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 /proc/13527/statm: 3315978 11111 3622 1 0 3303698 0 [pid=13527/tid=13528] ppid=13524 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13528/stat : 13528 (java) R 13524 13527 10103 0 -1 4202560 7335 0 0 0 26 2 0 0 20 0 20 0 5102696 13582245888 11111 33554432000 4194304 4196468 140727669649408 140624906098656 140624885949790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 Current children cumulated CPU time (s) 0.43 Current children cumulated vsize (KiB) 13263912 [startup+0.700289 s] /proc/loadavg: 1.66 1.63 1.60 3/261 13527 /proc/meminfo: memFree=30555076/32770624 swapFree=5852/284096 [pid=13527] ppid=13524 vsize=13265980 CPUtime=1.19 cores=0,2,4,6,8,10,12,14 /proc/13527/stat : 13527 (java) S 13524 13527 10103 0 -1 1077944320 12547 0 0 0 115 4 0 0 20 0 20 0 5102696 13584363520 17848 33554432000 4194304 4196468 140727669649408 140727669631952 140624901869303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 /proc/13527/statm: 3316495 17848 3757 1 0 3304210 0 [pid=13527/tid=13528] ppid=13524 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13528/stat : 13528 (java) R 13524 13527 10103 0 -1 4202560 8884 0 0 0 64 3 0 0 20 0 20 0 5102696 13584363520 17848 33554432000 4194304 4196468 140727669649408 140624906082848 140624885949790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 Current children cumulated CPU time (s) 1.19 Current children cumulated vsize (KiB) 13265980 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 13527 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+0.800382 s] /proc/loadavg: 1.66 1.63 1.60 3/261 13527 /proc/meminfo: memFree=30555076/32770624 swapFree=5852/284096 [pid=13527] ppid=13524 vsize=13268028 CPUtime=1.36 cores=0,2,4,6,8,10,12,14 /proc/13527/stat : 13527 (java) S 13524 13527 10103 0 -1 1077944320 13876 0 0 0 131 5 0 0 20 0 20 0 5102696 13586460672 20721 33554432000 4194304 4196468 140727669649408 140727669631952 140624901869303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 /proc/13527/statm: 3317007 20721 3760 1 0 3304722 0 [pid=13527/tid=13528] ppid=13524 vsize=13268028 CPUtime=0.77 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13528/stat : 13528 (java) R 13524 13527 10103 0 -1 4202560 10070 0 0 0 73 4 0 0 20 0 20 0 5102696 13586460672 20721 33554432000 4194304 4196468 140727669649408 140624906088976 140624901891229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 Current children cumulated CPU time (s) 1.36 Current children cumulated vsize (KiB) 13268028 [startup+1.21331 s] /proc/loadavg: 1.66 1.63 1.60 6/281 13547 /proc/meminfo: memFree=30433208/32770624 swapFree=5852/284140 [pid=13527] ppid=13524 vsize=13268028 CPUtime=3.05 cores=0,2,4,6,8,10,12,14 /proc/13527/stat : 13527 (java) S 13524 13527 10103 0 -1 1077944320 30860 0 0 0 296 9 0 0 20 0 20 0 5102696 13586460672 37971 33554432000 4194304 4196468 140727669649408 140727669631952 140624901869303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 /proc/13527/statm: 3317007 37971 3766 1 0 3304722 0 [pid=13527/tid=13528] ppid=13524 vsize=13268028 CPUtime=1.18 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13528/stat : 13528 (java) R 13524 13527 10103 0 -1 4202560 10494 0 0 0 113 5 0 0 20 0 20 0 5102696 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624906105720 140624882711513 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13530] ppid=13524 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13530/stat : 13530 (java) S 13524 13527 10103 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5102697 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624820349200 140624901879509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13531] ppid=13524 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13531/stat : 13531 (java) S 13524 13527 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5102697 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624819296656 140624901879509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13532] ppid=13524 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13532/stat : 13532 (java) S 13524 13527 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5102697 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624818244112 140624901879509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13533] ppid=13524 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13533/stat : 13533 (java) S 13524 13527 10103 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5102697 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624817191568 140624901879509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13534] ppid=13524 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13534/stat : 13534 (java) S 13524 13527 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5102697 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624816139024 140624901879509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13535] ppid=13524 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13535/stat : 13535 (java) S 13524 13527 10103 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5102697 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624815086480 140624901879509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13536] ppid=13524 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13536/stat : 13536 (java) S 13524 13527 10103 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5102697 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624814033936 140624901879509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13537] ppid=13524 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13537/stat : 13537 (java) S 13524 13527 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5102697 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624493800592 140624901879509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13538] ppid=13524 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13538/stat : 13538 (java) S 13524 13527 10103 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 5102699 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624096786416 140624901880450 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13539] ppid=13524 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13539/stat : 13539 (java) S 13524 13527 10103 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5102700 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624095732640 140624901879509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13540] ppid=13524 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13540/stat : 13540 (java) S 13524 13527 10103 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5102700 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624094680048 140624901879509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13541] ppid=13524 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13541/stat : 13541 (java) S 13524 13527 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5102704 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624093628624 140624901887899 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13542] ppid=13524 vsize=13268028 CPUtime=0.5 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13542/stat : 13542 (java) R 13524 13527 10103 0 -1 4202560 5366 0 0 0 50 0 0 0 20 0 20 0 5102704 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624092557256 140624883067167 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13543] ppid=13524 vsize=13268028 CPUtime=0.46 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13543/stat : 13543 (java) R 13524 13527 10103 0 -1 4202560 5616 0 0 0 46 0 0 0 20 0 20 0 5102704 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624091510128 140624886774800 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13544] ppid=13524 vsize=13268028 CPUtime=0.47 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13544/stat : 13544 (java) R 13524 13527 10103 0 -1 4202560 6278 0 0 0 46 1 0 0 20 0 20 0 5102704 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624090452720 140624894158752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13545] ppid=13524 vsize=13268028 CPUtime=0.38 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13545/stat : 13545 (java) S 13524 13527 10103 0 -1 1077944384 1713 0 0 0 38 0 0 0 20 0 20 0 5102704 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624089418608 140624901880450 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13546] ppid=13524 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13546/stat : 13546 (java) S 13524 13527 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5102704 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624088365280 140624901879509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 [pid=13527/tid=13547] ppid=13524 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13527/task/13547/stat : 13547 (java) S 13524 13527 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5102705 13586460672 37971 33554432000 4194304 4196468 140727669649408 140624087312816 140624901880450 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32149504 140727669650569 140727669650756 140727669650756 140727669653455 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 13268028 Child status: 0 Real time (s): 1.29111 CPU time (s): 3.31484 CPU user time (s): 3.2082 CPU system time (s): 0.106635 CPU usage (%): 256.744 Max. virtual memory (cumulated for all children) (KiB): 13268028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.2082 system time used= 0.106635 maximum resident set size= 162664 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31738 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2925 involuntary context switches= 232 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.013029 second user time and 0.025056 second system time The end
Begin job on node119 at 2017-07-22 06:39:00 IDJOB=4245191 IDBENCH=120634 IDSOLVER=2628 FILE ID=node119/4245191-1500698340 RUNJOBID= node119-1500684088-11482 PBS_JOBID= 20623030 Free space on /tmp= 61836 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-3-fullins-3.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245191-1500698340/watcher-4245191-1500698340 -o /tmp/evaluation-result-4245191-1500698340/solver-4245191-1500698340 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500684088-11482 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1885771188 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245191-1500698340.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 82134059a152e9a81bd5479c14cdc8eb RANDOM SEED=1885771188 node119.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 : 2400.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.98 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 : 1600.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.98 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 : 2400.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.98 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 : 1600.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.98 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 : 1733.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.98 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 : 1867.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 : 2133.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.98 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 : 2668.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 : 1600.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.98 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 : 2267.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 : 2267.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.98 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: 30555572 kB MemAvailable: 30823088 kB Buffers: 119680 kB Cached: 429836 kB SwapCached: 0 kB Active: 1487464 kB Inactive: 292776 kB Active(anon): 1233852 kB Inactive(anon): 8680 kB Active(file): 253612 kB Inactive(file): 284096 kB Unevictable: 5852 kB Mlocked: 5852 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42060 kB Writeback: 0 kB AnonPages: 1236908 kB Mapped: 44852 kB Shmem: 8844 kB Slab: 125336 kB SReclaimable: 91288 kB SUnreclaim: 34048 kB KernelStack: 4512 kB PageTables: 7576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3186808 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1112064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61792 MiB End job on node119 at 2017-07-22 06:39:02