Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | OPT | 58937 | 13.1554 | 3.45755 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml |
MD5SUM | 8cbeed9b899096335d8f109a5af96966 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 58937 |
Best CPU time to get the best result obtained on this benchmark | 0.765356 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 46 |
Number of domains | 2 |
Minimum domain size | 10 |
Maximum domain size | 39 |
Distribution of domain sizes | [{"size":10,"count":10},{"size":39,"count":45}] |
Minimum variable degree | 0 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":10,"count":10}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":3,"count":45},{"arity":10,"count":1}] |
Number of extensional constraints | 45 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":45},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.30/0.34 c version: 2017-07-26 0.30/0.34 c seed: 1642750455 0.30/0.34 c timeout: 1920 0.30/0.34 c memlimit: 22000 0.30/0.34 c nbcore: 8 0.30/0.36 c Parsing instance... 0.85/0.65 c Parsing done, starting search... 5.98/2.54 o 1025174 5.98/2.54 o 1012552 5.98/2.56 o 820166 5.98/2.56 o 791254 5.98/2.57 o 767013 5.98/2.57 o 748714 5.98/2.59 o 669053 5.98/2.59 o 623699 6.66/2.60 o 609315 6.66/2.65 o 539878 6.66/2.68 o 507344 7.41/2.75 o 497415 7.41/2.75 o 492813 7.41/2.75 o 491055 9.80/3.07 o 302857 9.80/3.07 o 300664 9.80/3.08 o 208609 9.80/3.08 o 190950 9.80/3.08 o 183954 10.65/3.13 o 175447 10.65/3.13 o 152877 10.65/3.13 o 151720 10.65/3.13 o 143514 10.65/3.14 o 142598 10.65/3.15 o 141704 10.65/3.19 o 141112 10.65/3.19 o 141042 11.42/3.21 o 138893 11.42/3.21 o 119972 11.42/3.26 o 111426 11.42/3.27 o 106830 11.42/3.28 o 103248 11.42/3.28 o 101047 12.22/3.35 o 83529 12.22/3.35 o 79607 12.22/3.35 o 76518 12.22/3.38 o 67254 12.22/3.38 o 63780 12.22/3.40 o 62519 12.22/3.40 o 58937 13.01/3.42 s OPTIMUM FOUND 13.01/3.42 v <instantiation> 13.01/3.42 v <list> 13.01/3.42 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][6] d[5][7] d[5][8] d[5][9] d[6][7] d[6][8] d[6][9] d[7][8] d[7][9] d[8][9] 13.01/3.42 v </list> 13.01/3.42 v <values> 13.01/3.42 v 0 1 3 6 2 5 9 4 7 8 1 2 15 0 0 172 0 0 0 14 30 0 61 45 0 0 886 0 0 0 0 0 0 0 27 0 0 4 0 202 0 0 1 0 0 0 0 5 0 12 0 1 0 335 42 13.01/3.42 v </values> 13.01/3.42 v </instantiation>
OK 58937
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-4257175-1501682350/watcher-4257175-1501682350 -o /tmp/evaluation-result-4257175-1501682350/solver-4257175-1501682350 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node130-1501661057-2426 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1642750455 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257175-1501682350.xml pid=14156 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 7.84 8.14 8.14 1/172 14159 /proc/meminfo: memFree=31772256/32770624 swapFree=0/300524 [pid=14159] ppid=14156 vsize=23672 CPUtime=0 cores=0-7 /proc/14159/stat : 14159 (runsolver) D 14156 14159 2334 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 2062015 24240128 106 18446744073709551615 4194304 4338465 140727221946432 140727221944072 139993003090647 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 17481728 140727221948518 140727221948997 140727221948997 140727221952458 0 /proc/14159/statm: 5918 106 53 36 0 2156 0 [startup+0.100108 s] /proc/loadavg: 7.84 8.14 8.14 1/172 14159 /proc/meminfo: memFree=31772256/32770624 swapFree=0/300524 [pid=14159] ppid=14156 vsize=25527784 CPUtime=0.04 cores=0-7 /proc/14159/stat : 14159 (java) S 14156 14159 2334 0 -1 1077944320 4038 0 0 0 3 1 0 0 20 0 13 0 2062015 26140450816 4613 18446744073709551615 4194304 4196468 140731299034336 140731299016880 139927928536823 0 0 1 16800970 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 /proc/14159/statm: 6381946 4613 2136 1 0 6371451 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 25527784 [startup+0.200308 s] /proc/loadavg: 7.84 8.14 8.14 1/172 14159 /proc/meminfo: memFree=31772256/32770624 swapFree=0/300524 [pid=14159] ppid=14156 vsize=25996604 CPUtime=0.14 cores=0-7 /proc/14159/stat : 14159 (java) S 14156 14159 2334 0 -1 1077944320 9378 0 0 0 12 2 0 0 20 0 20 0 2062015 26620522496 7833 18446744073709551615 4194304 4196468 140731299034336 140731299016880 139927928536823 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 /proc/14159/statm: 6499151 7833 3373 1 0 6487938 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 25996604 [startup+0.300336 s] /proc/loadavg: 7.84 8.14 8.14 1/172 14159 /proc/meminfo: memFree=31772256/32770624 swapFree=0/300524 [pid=14159] ppid=14156 vsize=25996604 CPUtime=0.3 cores=0-7 /proc/14159/stat : 14159 (java) S 14156 14159 2334 0 -1 1077944320 10953 0 0 0 27 3 0 0 20 0 20 0 2062015 26620522496 10168 18446744073709551615 4194304 4196468 140731299034336 140731299016880 139927928536823 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 /proc/14159/statm: 6499151 10168 3564 1 0 6487938 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 25996604 [startup+0.700295 s] /proc/loadavg: 7.84 8.14 8.14 1/172 14159 /proc/meminfo: memFree=31772256/32770624 swapFree=0/300524 [pid=14159] ppid=14156 vsize=26000720 CPUtime=1.02 cores=0-7 /proc/14159/stat : 14159 (java) S 14156 14159 2334 0 -1 1077944320 14583 0 0 0 96 6 0 0 20 0 20 0 2062015 26624737280 17838 18446744073709551615 4194304 4196468 140731299034336 140731299016880 139927928536823 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 /proc/14159/statm: 6500180 17838 3717 1 0 6488962 0 Current children cumulated CPU time (s) 1.02 Current children cumulated vsize (KiB) 26000720 [startup+1.50077 s] /proc/loadavg: 7.84 8.14 8.14 5/192 14179 /proc/meminfo: memFree=31593964/32770624 swapFree=0/300548 [pid=14159] ppid=14156 vsize=26002768 CPUtime=3.32 cores=0-7 /proc/14159/stat : 14159 (java) S 14156 14159 2334 0 -1 1077944320 31029 0 0 0 316 16 0 0 20 0 20 0 2062015 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 140731299016880 139927928536823 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 /proc/14159/statm: 6500692 56821 3774 1 0 6489474 0 [pid=14159/tid=14161] ppid=14156 vsize=26002768 CPUtime=1.38 cores=0-7 /proc/14159/task/14161/stat : 14161 (java) R 14156 14159 2334 0 -1 4202560 14436 0 0 0 131 7 0 0 20 0 20 0 2062020 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927932773344 139927572340308 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14162] ppid=14156 vsize=26002768 CPUtime=0 cores=0-7 /proc/14159/task/14162/stat : 14162 (java) S 14156 14159 2334 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 2062021 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927889434896 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14163] ppid=14156 vsize=26002768 CPUtime=0 cores=0-7 /proc/14159/task/14163/stat : 14163 (java) S 14156 14159 2334 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 20 0 2062021 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927888382352 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14164] ppid=14156 vsize=26002768 CPUtime=0 cores=0-7 /proc/14159/task/14164/stat : 14164 (java) S 14156 14159 2334 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 2062021 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927489214992 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14165] ppid=14156 vsize=26002768 CPUtime=0 cores=0-7 /proc/14159/task/14165/stat : 14165 (java) S 14156 14159 2334 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 2062021 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927488162448 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14166] ppid=14156 vsize=26002768 CPUtime=0 cores=0-7 /proc/14159/task/14166/stat : 14166 (java) S 14156 14159 2334 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 2062021 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927487109904 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14167] ppid=14156 vsize=26002768 CPUtime=0 cores=0-7 /proc/14159/task/14167/stat : 14167 (java) S 14156 14159 2334 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 2062021 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927486057360 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14168] ppid=14156 vsize=26002768 CPUtime=0 cores=0-7 /proc/14159/task/14168/stat : 14168 (java) S 14156 14159 2334 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 2062021 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927485004816 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14169] ppid=14156 vsize=26002768 CPUtime=0 cores=0-7 /proc/14159/task/14169/stat : 14169 (java) S 14156 14159 2334 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 2062021 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927483952272 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14170] ppid=14156 vsize=26002768 CPUtime=0 cores=0-7 /proc/14159/task/14170/stat : 14170 (java) S 14156 14159 2334 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 20 0 2062023 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927329089520 139927928547970 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14171] ppid=14156 vsize=26002768 CPUtime=0 cores=0-7 /proc/14159/task/14171/stat : 14171 (java) S 14156 14159 2334 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 2062023 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927328035808 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14172] ppid=14156 vsize=26002768 CPUtime=0 cores=0-7 /proc/14159/task/14172/stat : 14172 (java) S 14156 14159 2334 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 2062023 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927326983168 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14173] ppid=14156 vsize=26002768 CPUtime=0 cores=0-7 /proc/14159/task/14173/stat : 14173 (java) S 14156 14159 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2062026 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927325931728 139927928555419 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14174] ppid=14156 vsize=26002768 CPUtime=0.4 cores=0-7 /proc/14159/task/14174/stat : 14174 (java) S 14156 14159 2334 0 -1 1077944384 3001 0 0 0 39 1 0 0 20 0 20 0 2062026 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927324879344 139927928547970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14175] ppid=14156 vsize=26002768 CPUtime=0.47 cores=0-7 /proc/14159/task/14175/stat : 14175 (java) S 14156 14159 2334 0 -1 1077944384 2635 0 0 0 46 1 0 0 20 0 20 0 2062026 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927323826800 139927928547970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14176] ppid=14156 vsize=26002768 CPUtime=0.5 cores=0-7 /proc/14159/task/14176/stat : 14176 (java) S 14156 14159 2334 0 -1 1077944384 3197 0 0 0 49 1 0 0 20 0 20 0 2062026 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927322774256 139927928547970 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14177] ppid=14156 vsize=26002768 CPUtime=0.47 cores=0-7 /proc/14159/task/14177/stat : 14177 (java) S 14156 14159 2334 0 -1 1077944384 5729 0 0 0 45 2 0 0 20 0 20 0 2062026 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927321721712 139927928547970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14178] ppid=14156 vsize=26002768 CPUtime=0 cores=0-7 /proc/14159/task/14178/stat : 14178 (java) S 14156 14159 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2062026 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927320668384 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14179] ppid=14156 vsize=26002768 CPUtime=0 cores=0-7 /proc/14159/task/14179/stat : 14179 (java) S 14156 14159 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2062029 26626834432 56821 18446744073709551615 4194304 4196468 140731299034336 139927319615920 139927928547970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 Current children cumulated CPU time (s) 3.32 Current children cumulated vsize (KiB) 26002768 [startup+3.10773 s] /proc/loadavg: 7.84 8.14 8.14 4/193 14180 /proc/meminfo: memFree=31555028/32770624 swapFree=0/300548 [pid=14159] ppid=14156 vsize=27739612 CPUtime=10.65 cores=0-7 /proc/14159/stat : 14159 (java) S 14156 14159 2334 0 -1 1077944320 44538 0 0 0 1020 45 0 0 20 0 46 0 2062015 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 140731299016880 139927928536823 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 /proc/14159/statm: 6934903 105060 3811 1 0 6923164 0 [pid=14159/tid=14161] ppid=14156 vsize=27739612 CPUtime=2.21 cores=0-7 /proc/14159/task/14161/stat : 14161 (java) S 14156 14159 2334 0 -1 1077944384 17431 0 0 0 213 8 0 0 20 0 46 0 2062020 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927932774528 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14162] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14162/stat : 14162 (java) S 14156 14159 2334 0 -1 1077944384 90 0 0 0 2 2 0 0 20 0 46 0 2062021 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927889434896 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14163] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14163/stat : 14163 (java) S 14156 14159 2334 0 -1 1077944384 289 0 0 0 2 2 0 0 20 0 46 0 2062021 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927888382352 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14164] ppid=14156 vsize=27739612 CPUtime=0.03 cores=0-7 /proc/14159/task/14164/stat : 14164 (java) S 14156 14159 2334 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 46 0 2062021 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927489214992 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14165] ppid=14156 vsize=27739612 CPUtime=0.05 cores=0-7 /proc/14159/task/14165/stat : 14165 (java) S 14156 14159 2334 0 -1 1077944384 284 0 0 0 3 2 0 0 20 0 46 0 2062021 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927488162448 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14166] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14166/stat : 14166 (java) S 14156 14159 2334 0 -1 1077944384 128 0 0 0 2 2 0 0 20 0 46 0 2062021 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927487109904 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14167] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14167/stat : 14167 (java) S 14156 14159 2334 0 -1 1077944384 105 0 0 0 3 1 0 0 20 0 46 0 2062021 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927486057360 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14168] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14168/stat : 14168 (java) S 14156 14159 2334 0 -1 1077944384 121 0 0 0 2 2 0 0 20 0 46 0 2062021 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927485004816 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14169] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14169/stat : 14169 (java) S 14156 14159 2334 0 -1 1077944384 144 0 0 0 2 2 0 0 20 0 46 0 2062021 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927483952272 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14170] ppid=14156 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/14159/task/14170/stat : 14170 (java) S 14156 14159 2334 0 -1 1077944384 901 0 0 0 1 0 0 0 20 0 46 0 2062023 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927329089520 139927928547970 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14171] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14171/stat : 14171 (java) S 14156 14159 2334 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 2062023 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927328035808 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14172] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14172/stat : 14172 (java) S 14156 14159 2334 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 2062023 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927326983168 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14173] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14173/stat : 14173 (java) S 14156 14159 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 2062026 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927325931728 139927928555419 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14174] ppid=14156 vsize=27739612 CPUtime=1.01 cores=0-7 /proc/14159/task/14174/stat : 14174 (java) R 14156 14159 2334 0 -1 4202560 4448 0 0 0 100 1 0 0 20 0 46 0 2062026 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927324865224 139927913644422 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14175] ppid=14156 vsize=27739612 CPUtime=1.2 cores=0-7 /proc/14159/task/14175/stat : 14175 (java) R 14156 14159 2334 0 -1 4202560 3775 0 0 0 118 2 0 0 20 0 46 0 2062026 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927323812896 139927910054711 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14176] ppid=14156 vsize=27739612 CPUtime=1.25 cores=0-7 /proc/14159/task/14176/stat : 14176 (java) R 14156 14159 2334 0 -1 4202560 4790 0 0 0 124 1 0 0 20 0 46 0 2062026 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927322767360 139927914568711 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14177] ppid=14156 vsize=27739612 CPUtime=0.78 cores=0-7 /proc/14159/task/14177/stat : 14177 (java) R 14156 14159 2334 0 -1 1077944384 8464 0 0 0 75 3 0 0 20 0 46 0 2062026 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927321721712 139927928547970 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14178] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14178/stat : 14178 (java) S 14156 14159 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 2062026 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927320668384 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14179] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14179/stat : 14179 (java) S 14156 14159 2334 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 46 0 2062029 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927319615920 139927928547970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14180] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14180/stat : 14180 (java) R 14156 14159 2334 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 46 0 2062224 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927309329184 139927928558170 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14181] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14181/stat : 14181 (java) S 14156 14159 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 2062236 28405362688 105060 18446744073709551615 4194304 4196468 140731299034336 139927306179536 139927928547970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 Current children cumulated CPU time (s) 10.65 Current children cumulated vsize (KiB) 27739612 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 14159 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20489 s] /proc/loadavg: 7.84 8.14 8.14 4/193 14180 /proc/meminfo: memFree=31555028/32770624 swapFree=0/300548 [pid=14159] ppid=14156 vsize=27739612 CPUtime=11.42 cores=0-7 /proc/14159/stat : 14159 (java) S 14156 14159 2334 0 -1 1077944320 44842 0 0 0 1097 45 0 0 20 0 46 0 2062015 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 140731299016880 139927928536823 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 /proc/14159/statm: 6934903 105325 3811 1 0 6923164 0 [pid=14159/tid=14161] ppid=14156 vsize=27739612 CPUtime=2.21 cores=0-7 /proc/14159/task/14161/stat : 14161 (java) S 14156 14159 2334 0 -1 1077944384 17431 0 0 0 213 8 0 0 20 0 46 0 2062020 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927932774528 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14162] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14162/stat : 14162 (java) S 14156 14159 2334 0 -1 1077944384 90 0 0 0 2 2 0 0 20 0 46 0 2062021 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927889434896 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14163] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14163/stat : 14163 (java) S 14156 14159 2334 0 -1 1077944384 289 0 0 0 2 2 0 0 20 0 46 0 2062021 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927888382352 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14164] ppid=14156 vsize=27739612 CPUtime=0.03 cores=0-7 /proc/14159/task/14164/stat : 14164 (java) S 14156 14159 2334 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 46 0 2062021 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927489214992 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14165] ppid=14156 vsize=27739612 CPUtime=0.05 cores=0-7 /proc/14159/task/14165/stat : 14165 (java) S 14156 14159 2334 0 -1 1077944384 284 0 0 0 3 2 0 0 20 0 46 0 2062021 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927488162448 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14166] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14166/stat : 14166 (java) S 14156 14159 2334 0 -1 1077944384 128 0 0 0 2 2 0 0 20 0 46 0 2062021 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927487109904 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14167] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14167/stat : 14167 (java) S 14156 14159 2334 0 -1 1077944384 105 0 0 0 3 1 0 0 20 0 46 0 2062021 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927486057360 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14168] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14168/stat : 14168 (java) S 14156 14159 2334 0 -1 1077944384 121 0 0 0 2 2 0 0 20 0 46 0 2062021 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927485004816 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14169] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14169/stat : 14169 (java) S 14156 14159 2334 0 -1 1077944384 144 0 0 0 2 2 0 0 20 0 46 0 2062021 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927483952272 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14170] ppid=14156 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/14159/task/14170/stat : 14170 (java) S 14156 14159 2334 0 -1 1077944384 901 0 0 0 1 0 0 0 20 0 46 0 2062023 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927329089520 139927928547970 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14171] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14171/stat : 14171 (java) S 14156 14159 2334 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 2062023 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927328035808 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14172] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14172/stat : 14172 (java) S 14156 14159 2334 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 2062023 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927326983168 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14173] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14173/stat : 14173 (java) S 14156 14159 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 2062026 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927325931728 139927928555419 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14174] ppid=14156 vsize=27739612 CPUtime=1.1 cores=0-7 /proc/14159/task/14174/stat : 14174 (java) R 14156 14159 2334 0 -1 1077944384 4649 0 0 0 108 2 0 0 20 0 46 0 2062026 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927324861296 139927928547029 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14175] ppid=14156 vsize=27739612 CPUtime=1.25 cores=0-7 /proc/14159/task/14175/stat : 14175 (java) S 14156 14159 2334 0 -1 1077944384 3786 0 0 0 123 2 0 0 20 0 46 0 2062026 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927323812432 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14176] ppid=14156 vsize=27739612 CPUtime=1.32 cores=0-7 /proc/14159/task/14176/stat : 14176 (java) R 14156 14159 2334 0 -1 4202560 4808 0 0 0 131 1 0 0 20 0 46 0 2062026 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927322755664 139927928548758 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14177] ppid=14156 vsize=27739612 CPUtime=0.81 cores=0-7 /proc/14159/task/14177/stat : 14177 (java) S 14156 14159 2334 0 -1 1077944384 8528 0 0 0 78 3 0 0 20 0 46 0 2062026 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927321721712 139927928547970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14178] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14178/stat : 14178 (java) S 14156 14159 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 2062026 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927320668384 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14179] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14179/stat : 14179 (java) S 14156 14159 2334 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 46 0 2062029 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927319615920 139927928547970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14180] ppid=14156 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/14159/task/14180/stat : 14180 (java) R 14156 14159 2334 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 46 0 2062224 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927309329072 139927928547029 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14181] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14181/stat : 14181 (java) R 14156 14159 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 2062236 28405362688 105325 18446744073709551615 4194304 4196468 140731299034336 139927306179536 139927928547970 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 Current children cumulated CPU time (s) 11.42 Current children cumulated vsize (KiB) 27739612 [startup+3.4076 s] /proc/loadavg: 7.84 8.14 8.14 30/218 14205 /proc/meminfo: memFree=31362332/32770624 swapFree=0/300548 [pid=14159] ppid=14156 vsize=27739612 CPUtime=13.01 cores=0-7 /proc/14159/stat : 14159 (java) S 14156 14159 2334 0 -1 1077944320 44990 0 0 0 1255 46 0 0 20 0 46 0 2062015 28405362688 105449 18446744073709551615 4194304 4196468 140731299034336 140731299016880 139927928536823 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 4 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 /proc/14159/statm: 6934903 105449 3815 1 0 6923164 0 [pid=14159/tid=14161] ppid=14156 vsize=27739612 CPUtime=2.21 cores=0-7 /proc/14159/task/14161/stat : 14161 (java) S 14156 14159 2334 0 -1 1077944384 17431 0 0 0 213 8 0 0 20 0 46 0 2062020 28405362688 105449 18446744073709551615 4194304 4196468 140731299034336 139927932774528 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14162] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14162/stat : 14162 (java) S 14156 14159 2334 0 -1 1077944384 90 0 0 0 2 2 0 0 20 0 46 0 2062021 28405362688 105449 18446744073709551615 4194304 4196468 140731299034336 139927889434896 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14163] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14163/stat : 14163 (java) S 14156 14159 2334 0 -1 1077944384 289 0 0 0 2 2 0 0 20 0 46 0 2062021 28405362688 105449 18446744073709551615 4194304 4196468 140731299034336 139927888382352 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14164] ppid=14156 vsize=27739600 CPUtime=0.03 cores=0-7 /proc/14159/task/14164/stat : 14164 (java) S 14156 14159 2334 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 46 0 2062021 28405350400 105484 18446744073709551615 4194304 4196468 140731299034336 139927489214992 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14165] ppid=14156 vsize=27739612 CPUtime=0.05 cores=0-7 /proc/14159/task/14165/stat : 14165 (java) S 14156 14159 2334 0 -1 1077944384 284 0 0 0 3 2 0 0 20 0 46 0 2062021 28405362688 105484 18446744073709551615 4194304 4196468 140731299034336 139927488162448 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14166] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14166/stat : 14166 (java) S 14156 14159 2334 0 -1 1077944384 128 0 0 0 2 2 0 0 20 0 46 0 2062021 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927487109904 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14167] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14167/stat : 14167 (java) S 14156 14159 2334 0 -1 1077944384 105 0 0 0 3 1 0 0 20 0 45 0 2062021 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927486057360 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14168] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14168/stat : 14168 (java) S 14156 14159 2334 0 -1 1077944384 121 0 0 0 2 2 0 0 20 0 45 0 2062021 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927485004816 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14169] ppid=14156 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/14159/task/14169/stat : 14169 (java) S 14156 14159 2334 0 -1 1077944384 144 0 0 0 2 2 0 0 20 0 45 0 2062021 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927483952272 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14170] ppid=14156 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/14159/task/14170/stat : 14170 (java) S 14156 14159 2334 0 -1 1077944384 901 0 0 0 1 0 0 0 20 0 45 0 2062023 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927329089520 139927928547970 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14171] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14171/stat : 14171 (java) S 14156 14159 2334 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 45 0 2062023 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927328035808 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14172] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14172/stat : 14172 (java) S 14156 14159 2334 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 45 0 2062023 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927326983168 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14173] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14173/stat : 14173 (java) S 14156 14159 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 45 0 2062026 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927325931728 139927928555419 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14174] ppid=14156 vsize=27739612 CPUtime=1.24 cores=0-7 /proc/14159/task/14174/stat : 14174 (java) R 14156 14159 2334 0 -1 4202560 4650 0 0 0 122 2 0 0 20 0 45 0 2062026 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927324860464 139927912033611 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14175] ppid=14156 vsize=27739612 CPUtime=1.34 cores=0-7 /proc/14159/task/14175/stat : 14175 (java) R 14156 14159 2334 0 -1 4202560 3834 0 0 0 132 2 0 0 20 0 45 0 2062026 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927323807520 139927911947718 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14176] ppid=14156 vsize=27739612 CPUtime=1.45 cores=0-7 /proc/14159/task/14176/stat : 14176 (java) R 14156 14159 2334 0 -1 4202560 4837 0 0 0 143 2 0 0 20 0 45 0 2062026 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927322774384 139927912510411 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14177] ppid=14156 vsize=27739612 CPUtime=0.83 cores=0-7 /proc/14159/task/14177/stat : 14177 (java) S 14156 14159 2334 0 -1 1077944384 8555 0 0 0 80 3 0 0 20 0 45 0 2062026 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927321721712 139927928547970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14178] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14178/stat : 14178 (java) S 14156 14159 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 2062026 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927320668384 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14179] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14179/stat : 14179 (java) S 14156 14159 2334 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 45 0 2062029 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927319615920 139927928547970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14181] ppid=14156 vsize=27739612 CPUtime=0 cores=0-7 /proc/14159/task/14181/stat : 14181 (java) S 14156 14159 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 2062236 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927306179536 139927928547970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14182] ppid=14156 vsize=27739612 CPUtime=0.55 cores=0-7 /proc/14159/task/14182/stat : 14182 (java) R 14156 14159 2334 0 -1 4202560 195 0 0 0 54 1 0 0 20 0 45 0 2062245 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927305115568 139927928558170 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14183] ppid=14156 vsize=27739612 CPUtime=0.46 cores=0-7 /proc/14159/task/14183/stat : 14183 (java) S 14156 14159 2334 0 -1 1077944384 157 0 0 0 45 1 0 0 20 0 45 0 2062246 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927301977616 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14184] ppid=14156 vsize=27739612 CPUtime=0.28 cores=0-7 /proc/14159/task/14184/stat : 14184 (java) R 14156 14159 2334 0 -1 4202560 497 0 0 0 27 1 0 0 20 0 45 0 2062246 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927300918720 139927928558170 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14185] ppid=14156 vsize=27739612 CPUtime=0.18 cores=0-7 /proc/14159/task/14185/stat : 14185 (java) S 14156 14159 2334 0 -1 1077944384 73 0 0 0 18 0 0 0 20 0 45 0 2062249 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927299872528 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14186] ppid=14156 vsize=27739612 CPUtime=0.39 cores=0-7 /proc/14159/task/14186/stat : 14186 (java) S 14156 14159 2334 0 -1 1077944384 89 0 0 0 38 1 0 0 20 0 45 0 2062249 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927298818960 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14187] ppid=14156 vsize=27739612 CPUtime=0.31 cores=0-7 /proc/14159/task/14187/stat : 14187 (java) S 14156 14159 2334 0 -1 1077944384 83 0 0 0 30 1 0 0 20 0 45 0 2062249 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927297766416 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14188] ppid=14156 vsize=27739612 CPUtime=0.26 cores=0-7 /proc/14159/task/14188/stat : 14188 (java) S 14156 14159 2334 0 -1 1077944384 73 0 0 0 25 1 0 0 20 0 45 0 2062249 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927296713872 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14189] ppid=14156 vsize=27739612 CPUtime=0.38 cores=0-7 /proc/14159/task/14189/stat : 14189 (java) R 14156 14159 2334 0 -1 1077944384 68 0 0 0 38 0 0 0 20 0 45 0 2062249 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927295657008 139927928547029 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14190] ppid=14156 vsize=27739612 CPUtime=0.19 cores=0-7 /proc/14159/task/14190/stat : 14190 (java) S 14156 14159 2334 0 -1 1077944384 33 0 0 0 19 0 0 0 20 0 45 0 2062249 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927294608784 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14191] ppid=14156 vsize=27739612 CPUtime=0.52 cores=0-7 /proc/14159/task/14191/stat : 14191 (java) S 14156 14159 2334 0 -1 1077944384 87 0 0 0 51 1 0 0 20 0 45 0 2062249 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927293556240 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14192] ppid=14156 vsize=27739612 CPUtime=0.16 cores=0-7 /proc/14159/task/14192/stat : 14192 (java) R 14156 14159 2334 0 -1 1077944384 35 0 0 0 16 0 0 0 20 0 45 0 2062249 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927292500864 139927928547029 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14193] ppid=14156 vsize=27739612 CPUtime=0.09 cores=0-7 /proc/14159/task/14193/stat : 14193 (java) S 14156 14159 2334 0 -1 1077944384 300 0 0 0 9 0 0 0 20 0 45 0 2062268 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927291444224 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14194] ppid=14156 vsize=27739612 CPUtime=0.25 cores=0-7 /proc/14159/task/14194/stat : 14194 (java) S 14156 14159 2334 0 -1 1077944384 46 0 0 0 25 0 0 0 20 0 45 0 2062268 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927290397584 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14195] ppid=14156 vsize=27739612 CPUtime=0.14 cores=0-7 /proc/14159/task/14195/stat : 14195 (java) S 14156 14159 2334 0 -1 1077944384 29 0 0 0 14 0 0 0 20 0 45 0 2062270 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927287211024 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14196] ppid=14156 vsize=27739612 CPUtime=0.06 cores=0-7 /proc/14159/task/14196/stat : 14196 (java) S 14156 14159 2334 0 -1 1077944384 27 0 0 0 6 0 0 0 20 0 45 0 2062270 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927286158480 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14197] ppid=14156 vsize=27739612 CPUtime=0.13 cores=0-7 /proc/14159/task/14197/stat : 14197 (java) S 14156 14159 2334 0 -1 1077944384 28 0 0 0 13 0 0 0 20 0 45 0 2062270 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927285098912 139927928547970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14198] ppid=14156 vsize=27739612 CPUtime=0.11 cores=0-7 /proc/14159/task/14198/stat : 14198 (java) S 14156 14159 2334 0 -1 1077944384 26 0 0 0 11 0 0 0 20 0 45 0 2062270 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927013549456 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14199] ppid=14156 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/14159/task/14199/stat : 14199 (java) S 14156 14159 2334 0 -1 1077944384 27 0 0 0 8 0 0 0 20 0 45 0 2062270 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927012496912 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14200] ppid=14156 vsize=27739612 CPUtime=0.12 cores=0-7 /proc/14159/task/14200/stat : 14200 (java) R 14156 14159 2334 0 -1 4202560 27 0 0 0 12 0 0 0 20 0 45 0 2062271 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927011441344 139927928548758 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14201] ppid=14156 vsize=27739612 CPUtime=0.09 cores=0-7 /proc/14159/task/14201/stat : 14201 (java) S 14156 14159 2334 0 -1 1077944384 27 0 0 0 9 0 0 0 20 0 45 0 2062271 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927010391824 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14202] ppid=14156 vsize=27739612 CPUtime=0.19 cores=0-7 /proc/14159/task/14202/stat : 14202 (java) S 14156 14159 2334 0 -1 1077944384 28 0 0 0 19 0 0 0 20 0 45 0 2062271 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927009338256 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14203] ppid=14156 vsize=27739612 CPUtime=0.17 cores=0-7 /proc/14159/task/14203/stat : 14203 (java) R 14156 14159 2334 0 -1 1077944384 30 0 0 0 17 0 0 0 20 0 45 0 2062272 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927008279552 139927928547970 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14204] ppid=14156 vsize=27739612 CPUtime=0.12 cores=0-7 /proc/14159/task/14204/stat : 14204 (java) S 14156 14159 2334 0 -1 1077944384 26 0 0 0 12 0 0 0 20 0 45 0 2062291 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927007233168 139927928547029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 [pid=14159/tid=14205] ppid=14156 vsize=27739612 CPUtime=0.06 cores=0-7 /proc/14159/task/14205/stat : 14205 (java) R 14156 14159 2334 0 -1 4202560 52 0 0 0 6 0 0 0 20 0 45 0 2062292 28405362688 105466 18446744073709551615 4194304 4196468 140731299034336 139927006166992 139927912617310 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7925760 140731299041681 140731299041866 140731299041866 140731299045327 0 Current children cumulated CPU time (s) 13.01 Current children cumulated vsize (KiB) 27739612 Child status: 0 Real time (s): 3.45755 CPU time (s): 13.1554 CPU user time (s): 12.6806 CPU system time (s): 0.474882 CPU usage (%): 380.484 Max. virtual memory (cumulated for all children) (KiB): 27739612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.6806 system time used= 0.474882 maximum resident set size= 423780 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45320 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7313 involuntary context switches= 589 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.02045 second user time and 0.028871 second system time The end
Begin job on node130 at 2017-08-02 15:45:15 IDJOB=4257175 IDBENCH=123144 IDSOLVER=2641 FILE ID=node130/4257175-1501682350 RUNJOBID= node130-1501661057-2426 PBS_JOBID= Free space on /tmp= 61864 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai10b.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257175-1501682350/watcher-4257175-1501682350 -o /tmp/evaluation-result-4257175-1501682350/solver-4257175-1501682350 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node130-1501661057-2426 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1642750455 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257175-1501682350.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8cbeed9b899096335d8f109a5af96966 RANDOM SEED=1642750455 node130.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31772020 kB MemAvailable: 32021508 kB Buffers: 103116 kB Cached: 426668 kB SwapCached: 0 kB Active: 277896 kB Inactive: 309080 kB Active(anon): 57448 kB Inactive(anon): 8556 kB Active(file): 220448 kB Inactive(file): 300524 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42852 kB Writeback: 0 kB AnonPages: 56852 kB Mapped: 27640 kB Shmem: 8868 kB Slab: 113012 kB SReclaimable: 88704 kB SUnreclaim: 24308 kB KernelStack: 3104 kB PageTables: 4744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 278320 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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= 61824 MiB End job on node130 at 2017-08-02 15:45:19