Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - Hybrid 2017-06-30 | OPT | 885 | 2.00271 | 1.50408 |
Name | Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml |
MD5SUM | 60579ec9e2bea81c12df486d2ee437df |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 885 |
Best CPU time to get the best result obtained on this benchmark | 0.28092 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 30 |
Number of constraints | 1 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":30}] |
Minimum variable degree | 2 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":2,"count":30}] |
Minimum constraint arity | 30 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":30,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":1}] |
Optimization problem | YES |
Type of objective | max SUM |
0.26/0.27 c version: 2017-06-30 0.26/0.27 c seed: 1537678287 0.26/0.27 c timeout: 2400 0.26/0.27 c memlimit: 15500 0.26/0.27 c nbcore: 8 0.45/0.30 c Parsing instance... 0.95/0.63 c Parsing done, starting first complete search... 0.95/0.65 o 0 0.95/0.65 o 95 0.95/0.65 o 154 0.95/0.65 o 198 0.95/0.65 o 227 0.95/0.65 o 259 0.95/0.65 o 288 0.95/0.65 o 314 0.95/0.66 o 358 0.95/0.66 o 387 0.95/0.66 o 405 0.95/0.66 o 420 0.95/0.66 o 449 0.95/0.66 o 480 0.95/0.66 o 509 0.95/0.66 o 526 0.95/0.66 o 555 0.95/0.66 o 567 0.95/0.66 o 607 0.95/0.66 o 635 0.95/0.67 o 653 0.95/0.67 o 661 0.95/0.67 o 673 0.95/0.68 o 676 0.95/0.68 o 683 1.15/0.70 o 727 1.15/0.71 o 732 1.15/0.71 o 744 1.15/0.71 o 764 1.15/0.72 o 769 1.15/0.75 o 771 1.53/0.81 o 775 1.53/0.81 o 780 1.53/0.81 o 787 1.53/0.81 o 795 1.53/0.81 o 797 1.53/0.82 o 799 1.53/0.82 o 816 1.53/0.82 o 826 1.53/0.86 o 836 1.53/0.86 o 853 1.53/0.86 o 863 1.53/0.87 o 885 1.90/0.97 s OPTIMUM FOUND 1.90/0.97 v <instantiation> 1.90/0.97 v <list> 1.90/0.97 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] 1.90/0.97 v </list> 1.90/0.97 v <values> 1.90/0.97 v 0 1 1 1 1 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 1.90/0.97 v </values> 1.90/0.97 v </instantiation>
OK 885
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-4248375-1500715937/watcher-4248375-1500715937 -o /tmp/evaluation-result-4248375-1500715937/solver-4248375-1500715937 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500715935-20936 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1537678287 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4248375-1500715937.xml pid=21128 running on 8 cores: 1,3,5,7,9,11,13,15 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.15 1.28 1.47 3/241 21131 /proc/meminfo: memFree=31695400/32770624 swapFree=5828/292464 [pid=21131] ppid=21128 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/stat : 21131 (java) S 21128 21131 13605 0 -1 1077944320 2220 0 0 0 0 0 0 0 20 0 2 0 6860609 10889764864 2451 33554432000 4194304 4196468 140735909006336 140735908988880 140410262408951 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 /proc/21131/statm: 2658634 2451 1188 1 0 2647545 0 [pid=21131/tid=21132] ppid=21128 vsize=10635564 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21132/stat : 21132 (java) R 21128 21131 13605 0 -1 4202560 912 0 0 0 0 0 0 0 20 0 3 0 6860609 10890817536 2451 33554432000 4194304 4196468 140735909006336 140410266650320 140410255126103 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [pid=21131/tid=21133] ppid=21128 vsize=10636592 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21133/stat : 21133 (java) S 21128 21131 13605 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 6860610 10891870208 2451 33554432000 4194304 4196468 140735909006336 140410201373792 140410262419157 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [pid=21131/tid=21134] ppid=21128 vsize=10636592 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21134/stat : 21134 (java) S 21128 21131 13605 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 6860610 10891870208 2451 33554432000 4194304 4196468 140735909006336 140410200321248 140410262419157 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [pid=21131/tid=21135] ppid=21128 vsize=10637620 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21135/stat : 21135 (java) R 21128 21131 13605 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 6860610 10892922880 2451 33554432000 4194304 4196468 140735909006336 140410266650320 140410255148801 0 4 0 16784584 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [startup+0.100141 s] /proc/loadavg: 1.15 1.28 1.47 3/241 21131 /proc/meminfo: memFree=31695400/32770624 swapFree=5828/292464 [pid=21131] ppid=21128 vsize=13263912 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/21131/stat : 21131 (java) S 21128 21131 13605 0 -1 1077944320 6835 0 0 0 9 1 0 0 20 0 20 0 6860609 13582245888 7058 33554432000 4194304 4196468 140735909006336 140735908988880 140410262408951 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 /proc/21131/statm: 3315978 7058 3375 1 0 3303698 0 [pid=21131/tid=21132] ppid=21128 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21132/stat : 21132 (java) R 21128 21131 13605 0 -1 4202560 4897 0 0 0 7 1 0 0 20 0 20 0 6860609 13582245888 7058 33554432000 4194304 4196468 140735909006336 140410266612560 140410248477070 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [pid=21131/tid=21133] ppid=21128 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21133/stat : 21133 (java) S 21128 21131 13605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6860610 13582245888 7058 33554432000 4194304 4196468 140735909006336 140410201373456 140410262419157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [pid=21131/tid=21134] ppid=21128 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21134/stat : 21134 (java) S 21128 21131 13605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6860610 13582245888 7058 33554432000 4194304 4196468 140735909006336 140410200320912 140410262419157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [pid=21131/tid=21135] ppid=21128 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21135/stat : 21135 (java) S 21128 21131 13605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6860610 13582245888 7058 33554432000 4194304 4196468 140735909006336 140409859169296 140410262419157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13263912 [startup+0.200493 s] /proc/loadavg: 1.15 1.28 1.47 3/241 21131 /proc/meminfo: memFree=31695400/32770624 swapFree=5828/292464 [pid=21131] ppid=21128 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/21131/stat : 21131 (java) S 21128 21131 13605 0 -1 1077944320 9233 0 0 0 24 2 0 0 20 0 20 0 6860609 13582245888 9534 33554432000 4194304 4196468 140735909006336 140735908988880 140410262408951 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 /proc/21131/statm: 3315978 9534 3522 1 0 3303698 0 [pid=21131/tid=21132] ppid=21128 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21132/stat : 21132 (java) R 21128 21131 13605 0 -1 4202560 6906 0 0 0 16 1 0 0 20 0 20 0 6860609 13582245888 9534 33554432000 4194304 4196468 140735909006336 140410266638544 140410262430877 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [pid=21131/tid=21133] ppid=21128 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21133/stat : 21133 (java) S 21128 21131 13605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6860610 13582245888 9534 33554432000 4194304 4196468 140735909006336 140410201373456 140410262419157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [pid=21131/tid=21134] ppid=21128 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21134/stat : 21134 (java) S 21128 21131 13605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6860610 13582245888 9534 33554432000 4194304 4196468 140735909006336 140410200320912 140410262419157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [pid=21131/tid=21135] ppid=21128 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21135/stat : 21135 (java) S 21128 21131 13605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6860610 13582245888 9534 33554432000 4194304 4196468 140735909006336 140409859169296 140410262419157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 13263912 [startup+0.300389 s] /proc/loadavg: 1.15 1.28 1.47 3/241 21131 /proc/meminfo: memFree=31695400/32770624 swapFree=5828/292464 [pid=21131] ppid=21128 vsize=13263932 CPUtime=0.45 cores=1,3,5,7,9,11,13,15 /proc/21131/stat : 21131 (java) S 21128 21131 13605 0 -1 1077944320 10362 0 0 0 43 2 0 0 20 0 20 0 6860609 13582266368 11539 33554432000 4194304 4196468 140735909006336 140735908988880 140410262408951 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 /proc/21131/statm: 3315983 11539 3657 1 0 3303698 0 [pid=21131/tid=21132] ppid=21128 vsize=13263932 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21132/stat : 21132 (java) R 21128 21131 13605 0 -1 4202560 7441 0 0 0 26 2 0 0 20 0 20 0 6860609 13582266368 11539 33554432000 4194304 4196468 140735909006336 140410266635552 140410246489438 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [pid=21131/tid=21133] ppid=21128 vsize=13263932 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21133/stat : 21133 (java) S 21128 21131 13605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6860610 13582266368 11539 33554432000 4194304 4196468 140735909006336 140410201373456 140410262419157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [pid=21131/tid=21134] ppid=21128 vsize=13263932 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21134/stat : 21134 (java) S 21128 21131 13605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6860610 13582266368 11539 33554432000 4194304 4196468 140735909006336 140410200320912 140410262419157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [pid=21131/tid=21135] ppid=21128 vsize=13263932 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21135/stat : 21135 (java) S 21128 21131 13605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6860610 13582266368 11539 33554432000 4194304 4196468 140735909006336 140409859169296 140410262419157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 13263932 [startup+0.700318 s] /proc/loadavg: 1.15 1.28 1.47 3/241 21131 /proc/meminfo: memFree=31695400/32770624 swapFree=5828/292464 [pid=21131] ppid=21128 vsize=13268028 CPUtime=1.15 cores=1,3,5,7,9,11,13,15 /proc/21131/stat : 21131 (java) S 21128 21131 13605 0 -1 1077944320 13611 0 0 0 110 5 0 0 20 0 20 0 6860609 13586460672 19890 33554432000 4194304 4196468 140735909006336 140735908988880 140410262408951 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 /proc/21131/statm: 3317007 19890 3752 1 0 3304722 0 [pid=21131/tid=21132] ppid=21128 vsize=13268028 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21132/stat : 21132 (java) R 21128 21131 13605 0 -1 4202560 10069 0 0 0 64 3 0 0 20 0 20 0 6860609 13586460672 19890 33554432000 4194304 4196468 140735909006336 140410266644088 140409879691328 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [pid=21131/tid=21133] ppid=21128 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21133/stat : 21133 (java) S 21128 21131 13605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6860610 13586460672 19890 33554432000 4194304 4196468 140735909006336 140410201373456 140410262419157 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [pid=21131/tid=21134] ppid=21128 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21134/stat : 21134 (java) S 21128 21131 13605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6860610 13586460672 19890 33554432000 4194304 4196468 140735909006336 140410200320912 140410262419157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 [pid=21131/tid=21135] ppid=21128 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21135/stat : 21135 (java) S 21128 21131 13605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6860610 13586460672 19890 33554432000 4194304 4196468 140735909006336 140409859169296 140410262419157 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27381760 140735909012621 140735909012804 140735909012804 140735909015503 0 Current children cumulated CPU time (s) 1.15 Current children cumulated vsize (KiB) 13268028 [startup+1.50026 s] /proc/loadavg: 1.15 1.28 1.47 2/268 21181 /proc/meminfo: memFree=31562224/32770624 swapFree=5828/272444 [pid=21131] ppid=21128 vsize=0 CPUtime=1.99 cores=1,3,5,7,9,11,13,15 /proc/21131/stat : 21131 (java) Z 21128 21131 13605 0 -1 4227084 16238 0 0 0 192 7 0 0 20 0 2 0 6860609 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/21131/statm: 0 0 0 0 0 0 0 [pid=21131/tid=21149] ppid=21128 vsize=0 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21149/stat : 21149 (java) D 21128 21131 13605 0 -1 4203588 1 0 0 0 0 0 0 0 20 0 2 0 6860615 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 44 0 0 0 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.99 Current children cumulated vsize (KiB) 0 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 21131 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1.50026 s] /proc/loadavg: 1.15 1.28 1.47 2/268 21181 /proc/meminfo: memFree=31562224/32770624 swapFree=5828/272444 [pid=21131] ppid=21128 vsize=0 CPUtime=1.99 cores=1,3,5,7,9,11,13,15 /proc/21131/stat : 21131 (java) Z 21128 21131 13605 0 -1 4227084 16238 0 0 0 192 7 0 0 20 0 2 0 6860609 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/21131/statm: 0 0 0 0 0 0 0 [pid=21131/tid=21149] ppid=21128 vsize=0 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21131/task/21149/stat : 21149 (java) D 21128 21131 13605 0 -1 4203588 1 0 0 0 0 0 0 0 20 0 2 0 6860615 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 44 0 0 0 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.99 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1.50408 CPU time (s): 2.00271 CPU user time (s): 1.92675 CPU system time (s): 0.075961 CPU usage (%): 133.152 Max. virtual memory (cumulated for all children) (KiB): 13268028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.92675 system time used= 0.075961 maximum resident set size= 113128 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16238 page faults= 0 swaps= 0 block input operations= 0 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2204 involuntary context switches= 168 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.018133 second user time and 0.020551 second system time The end
Begin job on node136 at 2017-07-22 11:32:17 IDJOB=4248375 IDBENCH=133475 IDSOLVER=2629 FILE ID=node136/4248375-1500715937 RUNJOBID= node136-1500715935-20936 PBS_JOBID= 20623338 Free space on /tmp= 61996 MiB SOLVER NAME= OscaR - Hybrid 2017-06-30 BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s30/Knapsack-30-100-16.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-4248375-1500715937/watcher-4248375-1500715937 -o /tmp/evaluation-result-4248375-1500715937/solver-4248375-1500715937 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500715935-20936 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1537678287 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4248375-1500715937.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 60579ec9e2bea81c12df486d2ee437df RANDOM SEED=1537678287 node136.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 : 2133.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.42 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.56 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 : 1733.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.42 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.56 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.42 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.56 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.42 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 : 2667.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.56 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 : 1600.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.42 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 : 2400.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.56 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.42 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.56 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.42 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.56 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.42 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31695676 kB MemAvailable: 31999808 kB Buffers: 127156 kB Cached: 457180 kB SwapCached: 0 kB Active: 327736 kB Inactive: 308624 kB Active(anon): 55084 kB Inactive(anon): 8780 kB Active(file): 272652 kB Inactive(file): 299844 kB Unevictable: 5828 kB Mlocked: 5860 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 83656 kB Writeback: 0 kB AnonPages: 58224 kB Mapped: 30592 kB Shmem: 8852 kB Slab: 128576 kB SReclaimable: 94940 kB SUnreclaim: 33636 kB KernelStack: 4288 kB PageTables: 4740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 308992 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 61912 MiB End job on node136 at 2017-07-22 11:32:19