Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | OPT | 770 | 14.1334 | 6.4866099 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml |
MD5SUM | 57c9b04c42ddec3121be36f9ed91283a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 770 |
Best CPU time to get the best result obtained on this benchmark | 0.127775 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 154 |
Number of constraints | 151 |
Number of domains | 20 |
Minimum domain size | 18 |
Maximum domain size | 19 |
Distribution of domain sizes | [{"size":18,"count":10},{"size":19,"count":144}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":150},{"degree":31,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 5 |
Distribution of constraint arities | [{"arity":2,"count":120},{"arity":4,"count":1},{"arity":5,"count":30}] |
Number of extensional constraints | 120 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":120},{"type":"ordered","count":1},{"type":"minimum","count":30}] |
Optimization problem | YES |
Type of objective | min SUM |
0.37/0.40 c version: 2017-07-26 0.37/0.40 c seed: 1682371921 0.37/0.40 c timeout: 1920 0.37/0.40 c memlimit: 22000 0.37/0.40 c nbcore: 8 0.37/0.43 c Parsing instance... 1.01/0.78 c Parsing done, starting search... 11.37/6.10 o 2402 11.37/6.10 o 1723 11.37/6.10 o 1360 11.37/6.11 o 1356 11.37/6.11 o 1327 11.37/6.11 o 1277 11.37/6.11 o 1259 11.37/6.14 o 1252 11.37/6.14 o 1042 11.37/6.14 o 926 11.37/6.14 o 872 11.37/6.15 o 856 12.93/6.30 o 850 12.93/6.30 o 846 12.93/6.30 o 822 12.93/6.31 o 796 12.93/6.33 o 788 12.93/6.35 o 774 12.93/6.35 o 772 12.93/6.37 o 770 13.66/6.46 s OPTIMUM FOUND 13.66/6.46 v <instantiation> 13.66/6.46 v <list> 13.66/6.46 v x[0] x[1] x[2] x[3] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[29][0] drd[29][1] drd[29][2] drd[29][3] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] 13.66/6.46 v </list> 13.66/6.46 v <values> 13.66/6.46 v 24 118 244 450 1 95 221 427 1 95 221 427 220 126 0 206 221 127 1 205 308 214 88 118 308 214 88 118 486 392 266 60 399 305 179 27 397 303 177 29 163 69 57 263 163 69 57 263 218 124 2 208 0 94 220 426 0 94 220 426 461 367 241 35 15 109 235 441 0 94 220 426 72 22 148 354 72 22 148 354 426 332 206 0 94 0 126 332 94 0 126 332 361 267 141 65 361 267 141 65 134 40 86 292 134 40 86 292 181 87 39 245 8 86 212 418 8 86 212 418 426 332 206 0 1 1 0 1 88 88 60 27 29 57 57 2 0 0 35 15 0 22 22 0 0 0 65 65 40 40 39 8 8 0 13.66/6.46 v </values> 13.66/6.46 v </instantiation>
OK 770
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-4256991-1501697054/watcher-4256991-1501697054 -o /tmp/evaluation-result-4256991-1501697054/solver-4256991-1501697054 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1682371921 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4256991-1501697054.xml pid=31615 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: 2.03 3.02 5.02 2/174 31618 /proc/meminfo: memFree=31702220/32770624 swapFree=0/276352 [pid=31618] ppid=31615 vsize=23672 CPUtime=0 cores=0-7 /proc/31618/stat : 31618 (runsolver) D 31615 31618 31142 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 18328455 24240128 108 18446744073709551615 4194304 4338465 140731921878384 140731921876024 140104408044247 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 38891520 140731921887331 140731921887811 140731921887811 140731921891274 0 /proc/31618/statm: 5918 108 54 36 0 2156 0 [startup+0.100156 s] /proc/loadavg: 2.03 3.02 5.02 2/174 31618 /proc/meminfo: memFree=31702220/32770624 swapFree=0/276352 [pid=31618] ppid=31615 vsize=25300336 CPUtime=0.01 cores=0-7 /proc/31618/stat : 31618 (java) S 31615 31618 31142 0 -1 1077944320 3555 0 0 0 1 0 0 0 20 0 10 0 18328455 25907544064 3738 18446744073709551615 4194304 4196468 140730959300528 140730959283072 139939899068151 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 /proc/31618/statm: 6325084 3738 1902 1 0 6314589 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 25300336 [startup+0.200327 s] /proc/loadavg: 2.03 3.02 5.02 2/174 31618 /proc/meminfo: memFree=31702220/32770624 swapFree=0/276352 [pid=31618] ppid=31615 vsize=25927168 CPUtime=0.05 cores=0-7 /proc/31618/stat : 31618 (java) S 31615 31618 31142 0 -1 1077944320 4965 0 0 0 5 0 0 0 20 0 19 0 18328455 26549420032 5498 18446744073709551615 4194304 4196468 140730959300528 140730959283072 139939899068151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 /proc/31618/statm: 6481792 5498 2568 1 0 6471297 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 25927168 [startup+0.30033 s] /proc/loadavg: 2.03 3.02 5.02 2/174 31618 /proc/meminfo: memFree=31702220/32770624 swapFree=0/276352 [pid=31618] ppid=31615 vsize=25996604 CPUtime=0.21 cores=0-7 /proc/31618/stat : 31618 (java) S 31615 31618 31142 0 -1 1077944320 10051 0 0 0 18 3 0 0 20 0 20 0 18328455 26620522496 8933 18446744073709551615 4194304 4196468 140730959300528 140730959283072 139939899068151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 /proc/31618/statm: 6499151 8933 3537 1 0 6487938 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 25996604 [startup+0.700983 s] /proc/loadavg: 2.03 3.02 5.02 2/174 31618 /proc/meminfo: memFree=31702220/32770624 swapFree=0/276352 [pid=31618] ppid=31615 vsize=25998672 CPUtime=1.01 cores=0-7 /proc/31618/stat : 31618 (java) S 31615 31618 31142 0 -1 1077944320 14820 0 0 0 96 5 0 0 20 0 20 0 18328455 26622640128 16520 18446744073709551615 4194304 4196468 140730959300528 140730959283072 139939899068151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 /proc/31618/statm: 6499668 16520 3722 1 0 6488450 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 25998672 [startup+1.50087 s] /proc/loadavg: 2.03 3.02 5.02 6/194 31638 /proc/meminfo: memFree=31591208/32770624 swapFree=0/276364 [pid=31618] ppid=31615 vsize=26002768 CPUtime=3.73 cores=0-7 /proc/31618/stat : 31618 (java) S 31615 31618 31142 0 -1 1077944320 38741 0 0 0 359 14 0 0 20 0 20 0 18328455 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 140730959283072 139939899068151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 /proc/31618/statm: 6500692 49490 3750 1 0 6489474 0 [pid=31618/tid=31620] ppid=31615 vsize=26002768 CPUtime=1.33 cores=0-7 /proc/31618/task/31620/stat : 31620 (java) R 31615 31618 31142 0 -1 4202560 14248 0 0 0 128 5 0 0 20 0 20 0 18328464 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139939903300608 139939518244247 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31621] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31621/stat : 31621 (java) S 31615 31618 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139939856034704 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31622] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31622/stat : 31622 (java) S 31615 31618 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139939854981904 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31623] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31623/stat : 31623 (java) S 31615 31618 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139939853929616 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31624] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31624/stat : 31624 (java) S 31615 31618 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139939852876816 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31625] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31625/stat : 31625 (java) S 31615 31618 31142 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139939851823504 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31626] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31626/stat : 31626 (java) S 31615 31618 31142 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139939850770704 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31627] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31627/stat : 31627 (java) S 31615 31618 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139939849718416 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31628] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31628/stat : 31628 (java) S 31615 31618 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139939848665616 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31629] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31629/stat : 31629 (java) S 31615 31618 31142 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 18328466 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139938175670896 139939899079298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31630] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31630/stat : 31630 (java) S 31615 31618 31142 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 18328466 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139938174616864 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31631] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31631/stat : 31631 (java) S 31615 31618 31142 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 18328466 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139938173564528 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31632] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31632/stat : 31632 (java) S 31615 31618 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18328469 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139938172512848 139939899086747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31633] ppid=31615 vsize=26002768 CPUtime=0.58 cores=0-7 /proc/31618/task/31633/stat : 31633 (java) R 31615 31618 31142 0 -1 4202560 5168 0 0 0 56 2 0 0 20 0 20 0 18328469 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139938171446224 139939878722881 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31634] ppid=31615 vsize=26002768 CPUtime=0.63 cores=0-7 /proc/31618/task/31634/stat : 31634 (java) R 31615 31618 31142 0 -1 4202560 6256 0 0 0 61 2 0 0 20 0 20 0 18328469 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139938170386976 139939884183231 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31635] ppid=31615 vsize=26002768 CPUtime=0.63 cores=0-7 /proc/31618/task/31635/stat : 31635 (java) R 31615 31618 31142 0 -1 4202560 5333 0 0 0 62 1 0 0 20 0 20 0 18328469 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139938169341136 139939880611512 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31636] ppid=31615 vsize=26002768 CPUtime=0.52 cores=0-7 /proc/31618/task/31636/stat : 31636 (java) S 31615 31618 31142 0 -1 1077944384 6333 0 0 0 50 2 0 0 20 0 20 0 18328469 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139938168301808 139939899079298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31637] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31637/stat : 31637 (java) S 31615 31618 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 18328469 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139938167249760 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31638] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31638/stat : 31638 (java) S 31615 31618 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 18328476 26626834432 49490 18446744073709551615 4194304 4196468 140730959300528 139938166197040 139939899079298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 Current children cumulated CPU time (s) 3.73 Current children cumulated vsize (KiB) 26002768 [startup+3.10087 s] /proc/loadavg: 1.95 2.99 5.00 2/194 31638 /proc/meminfo: memFree=31450704/32770624 swapFree=0/276356 [pid=31618] ppid=31615 vsize=26002768 CPUtime=6.69 cores=0-7 /proc/31618/stat : 31618 (java) S 31615 31618 31142 0 -1 1077944320 41546 0 0 0 650 19 0 0 20 0 20 0 18328455 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 140730959283072 139939899068151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 /proc/31618/statm: 6500692 63251 3776 1 0 6489474 0 [pid=31618/tid=31620] ppid=31615 vsize=26002768 CPUtime=2.9 cores=0-7 /proc/31618/task/31620/stat : 31620 (java) R 31615 31618 31142 0 -1 4202560 14335 0 0 0 284 6 0 0 20 0 20 0 18328464 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139939903304208 139939520044656 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31621] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31621/stat : 31621 (java) S 31615 31618 31142 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139939856034704 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31622] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31622/stat : 31622 (java) S 31615 31618 31142 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139939854981904 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31623] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31623/stat : 31623 (java) S 31615 31618 31142 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139939853929616 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31624] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31624/stat : 31624 (java) S 31615 31618 31142 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139939852876816 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31625] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31625/stat : 31625 (java) S 31615 31618 31142 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139939851823504 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31626] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31626/stat : 31626 (java) S 31615 31618 31142 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139939850770704 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31627] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31627/stat : 31627 (java) S 31615 31618 31142 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139939849718416 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31628] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31628/stat : 31628 (java) S 31615 31618 31142 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 18328464 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139939848665616 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31629] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31629/stat : 31629 (java) S 31615 31618 31142 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 20 0 18328466 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139938175670896 139939899079298 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31630] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31630/stat : 31630 (java) S 31615 31618 31142 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 18328466 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139938174616928 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31631] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31631/stat : 31631 (java) S 31615 31618 31142 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 18328466 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139938173564544 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31632] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31632/stat : 31632 (java) S 31615 31618 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18328469 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139938172512848 139939899086747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31633] ppid=31615 vsize=26002768 CPUtime=0.95 cores=0-7 /proc/31618/task/31633/stat : 31633 (java) S 31615 31618 31142 0 -1 1077944384 5989 0 0 0 93 2 0 0 20 0 20 0 18328469 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139938171459696 139939899079298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31634] ppid=31615 vsize=26002768 CPUtime=1.04 cores=0-7 /proc/31618/task/31634/stat : 31634 (java) R 31615 31618 31142 0 -1 4202560 6745 0 0 0 102 2 0 0 20 0 20 0 18328469 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139938170406896 139939878363184 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31635] ppid=31615 vsize=26002768 CPUtime=1.05 cores=0-7 /proc/31618/task/31635/stat : 31635 (java) S 31615 31618 31142 0 -1 1077944384 5720 0 0 0 104 1 0 0 20 0 20 0 18328469 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139938169354608 139939899079298 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31636] ppid=31615 vsize=26002768 CPUtime=0.6 cores=0-7 /proc/31618/task/31636/stat : 31636 (java) S 31615 31618 31142 0 -1 1077944384 6735 0 0 0 57 3 0 0 20 0 20 0 18328469 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139938168301808 139939899079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31637] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31637/stat : 31637 (java) S 31615 31618 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 18328469 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139938167249760 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31638] ppid=31615 vsize=26002768 CPUtime=0 cores=0-7 /proc/31618/task/31638/stat : 31638 (java) S 31615 31618 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 18328476 26626834432 63251 18446744073709551615 4194304 4196468 140730959300528 139938166197040 139939899079298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 Current children cumulated CPU time (s) 6.69 Current children cumulated vsize (KiB) 26002768 [startup+6.30382 s] /proc/loadavg: 1.95 2.99 5.00 2/194 31638 /proc/meminfo: memFree=31470052/32770624 swapFree=0/276360 [pid=31618] ppid=31615 vsize=27739612 CPUtime=12.93 cores=0-7 /proc/31618/stat : 31618 (java) S 31615 31618 31142 0 -1 1077944320 51968 0 0 0 1262 31 0 0 20 0 46 0 18328455 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 140730959283072 139939899068151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 /proc/31618/statm: 6934903 67680 3807 1 0 6923164 0 [pid=31618/tid=31620] ppid=31615 vsize=27739612 CPUtime=5.73 cores=0-7 /proc/31618/task/31620/stat : 31620 (java) S 31615 31618 31142 0 -1 1077944384 17384 0 0 0 566 7 0 0 20 0 46 0 18328464 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139939903305856 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31621] ppid=31615 vsize=27739612 CPUtime=0.02 cores=0-7 /proc/31618/task/31621/stat : 31621 (java) S 31615 31618 31142 0 -1 1077944384 93 0 0 0 2 0 0 0 20 0 46 0 18328464 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139939856034704 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31622] ppid=31615 vsize=27739612 CPUtime=0.03 cores=0-7 /proc/31618/task/31622/stat : 31622 (java) S 31615 31618 31142 0 -1 1077944384 58 0 0 0 2 1 0 0 20 0 46 0 18328464 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139939854981904 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31623] ppid=31615 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/31618/task/31623/stat : 31623 (java) S 31615 31618 31142 0 -1 1077944384 84 0 0 0 3 1 0 0 20 0 46 0 18328464 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139939853929616 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31624] ppid=31615 vsize=27739612 CPUtime=0.03 cores=0-7 /proc/31618/task/31624/stat : 31624 (java) S 31615 31618 31142 0 -1 1077944384 123 0 0 0 2 1 0 0 20 0 46 0 18328464 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139939852876816 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31625] ppid=31615 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/31618/task/31625/stat : 31625 (java) S 31615 31618 31142 0 -1 1077944384 235 0 0 0 3 1 0 0 20 0 46 0 18328464 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139939851823504 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31626] ppid=31615 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/31618/task/31626/stat : 31626 (java) S 31615 31618 31142 0 -1 1077944384 148 0 0 0 3 1 0 0 20 0 46 0 18328464 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139939850770704 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31627] ppid=31615 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/31618/task/31627/stat : 31627 (java) S 31615 31618 31142 0 -1 1077944384 699 0 0 0 3 1 0 0 20 0 46 0 18328464 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139939849718416 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31628] ppid=31615 vsize=27739612 CPUtime=0.03 cores=0-7 /proc/31618/task/31628/stat : 31628 (java) S 31615 31618 31142 0 -1 1077944384 99 0 0 0 2 1 0 0 20 0 46 0 18328464 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139939848665616 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31629] ppid=31615 vsize=27739612 CPUtime=0.02 cores=0-7 /proc/31618/task/31629/stat : 31629 (java) S 31615 31618 31142 0 -1 1077944384 626 0 0 0 2 0 0 0 20 0 46 0 18328466 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139938175670896 139939899079298 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31630] ppid=31615 vsize=27739612 CPUtime=0 cores=0-7 /proc/31618/task/31630/stat : 31630 (java) S 31615 31618 31142 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 18328466 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139938174616928 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31631] ppid=31615 vsize=27739612 CPUtime=0 cores=0-7 /proc/31618/task/31631/stat : 31631 (java) S 31615 31618 31142 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 46 0 18328466 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139938173564544 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31632] ppid=31615 vsize=27739612 CPUtime=0 cores=0-7 /proc/31618/task/31632/stat : 31632 (java) S 31615 31618 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 18328469 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139938172512848 139939899086747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31633] ppid=31615 vsize=27739612 CPUtime=1.23 cores=0-7 /proc/31618/task/31633/stat : 31633 (java) R 31615 31618 31142 0 -1 4202560 6350 0 0 0 121 2 0 0 20 0 46 0 18328469 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139938171449168 139939880247767 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31634] ppid=31615 vsize=27739612 CPUtime=1.7 cores=0-7 /proc/31618/task/31634/stat : 31634 (java) R 31615 31618 31142 0 -1 4202560 8330 0 0 0 168 2 0 0 20 0 46 0 18328469 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139938170400088 139939883973904 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31635] ppid=31615 vsize=27739612 CPUtime=1.52 cores=0-7 /proc/31618/task/31635/stat : 31635 (java) R 31615 31618 31142 0 -1 4202560 6452 0 0 0 151 1 0 0 20 0 46 0 18328469 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139938169347800 139939878324212 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31636] ppid=31615 vsize=27739612 CPUtime=0.84 cores=0-7 /proc/31618/task/31636/stat : 31636 (java) R 31615 31618 31142 0 -1 4202560 8290 0 0 0 81 3 0 0 20 0 46 0 18328469 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139938168299600 139939883148638 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31637] ppid=31615 vsize=27739612 CPUtime=0 cores=0-7 /proc/31618/task/31637/stat : 31637 (java) S 31615 31618 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 18328469 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139938167249760 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31638] ppid=31615 vsize=27739612 CPUtime=0 cores=0-7 /proc/31618/task/31638/stat : 31638 (java) S 31615 31618 31142 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 46 0 18328476 28405362688 67680 18446744073709551615 4194304 4196468 140730959300528 139938166197040 139939899079298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 Current children cumulated CPU time (s) 12.93 Current children cumulated vsize (KiB) 27739612 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 31618 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40094 s] /proc/loadavg: 1.95 2.99 5.00 2/194 31638 /proc/meminfo: memFree=31470052/32770624 swapFree=0/276360 [pid=31618] ppid=31615 vsize=27739612 CPUtime=13.66 cores=0-7 /proc/31618/stat : 31618 (java) S 31615 31618 31142 0 -1 1077944320 52142 0 0 0 1334 32 0 0 20 0 46 0 18328455 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 140730959283072 139939899068151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 /proc/31618/statm: 6934903 73390 3810 1 0 6923164 0 [pid=31618/tid=31620] ppid=31615 vsize=27739612 CPUtime=5.73 cores=0-7 /proc/31618/task/31620/stat : 31620 (java) S 31615 31618 31142 0 -1 1077944384 17384 0 0 0 566 7 0 0 20 0 46 0 18328464 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139939903305856 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31621] ppid=31615 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/31618/task/31621/stat : 31621 (java) S 31615 31618 31142 0 -1 1077944384 97 0 0 0 3 1 0 0 20 0 46 0 18328464 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139939856034704 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31622] ppid=31615 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/31618/task/31622/stat : 31622 (java) S 31615 31618 31142 0 -1 1077944384 72 0 0 0 3 1 0 0 20 0 46 0 18328464 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139939854981904 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31623] ppid=31615 vsize=27739612 CPUtime=0.05 cores=0-7 /proc/31618/task/31623/stat : 31623 (java) S 31615 31618 31142 0 -1 1077944384 94 0 0 0 4 1 0 0 20 0 46 0 18328464 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139939853929616 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31624] ppid=31615 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/31618/task/31624/stat : 31624 (java) S 31615 31618 31142 0 -1 1077944384 134 0 0 0 3 1 0 0 20 0 46 0 18328464 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139939852876816 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31625] ppid=31615 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/31618/task/31625/stat : 31625 (java) S 31615 31618 31142 0 -1 1077944384 241 0 0 0 3 1 0 0 20 0 46 0 18328464 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139939851823504 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31626] ppid=31615 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/31618/task/31626/stat : 31626 (java) S 31615 31618 31142 0 -1 1077944384 150 0 0 0 3 1 0 0 20 0 46 0 18328464 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139939850770704 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31627] ppid=31615 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/31618/task/31627/stat : 31627 (java) S 31615 31618 31142 0 -1 1077944384 705 0 0 0 3 1 0 0 20 0 46 0 18328464 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139939849718416 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31628] ppid=31615 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/31618/task/31628/stat : 31628 (java) S 31615 31618 31142 0 -1 1077944384 103 0 0 0 3 1 0 0 20 0 46 0 18328464 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139939848665616 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31629] ppid=31615 vsize=27739612 CPUtime=0.02 cores=0-7 /proc/31618/task/31629/stat : 31629 (java) S 31615 31618 31142 0 -1 1077944384 626 0 0 0 2 0 0 0 20 0 46 0 18328466 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139938175670896 139939899079298 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31630] ppid=31615 vsize=27739612 CPUtime=0 cores=0-7 /proc/31618/task/31630/stat : 31630 (java) S 31615 31618 31142 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 18328466 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139938174616928 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31631] ppid=31615 vsize=27739612 CPUtime=0 cores=0-7 /proc/31618/task/31631/stat : 31631 (java) S 31615 31618 31142 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 46 0 18328466 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139938173564544 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31632] ppid=31615 vsize=27739612 CPUtime=0 cores=0-7 /proc/31618/task/31632/stat : 31632 (java) S 31615 31618 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 18328469 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139938172512848 139939899086747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31633] ppid=31615 vsize=27739612 CPUtime=1.31 cores=0-7 /proc/31618/task/31633/stat : 31633 (java) R 31615 31618 31142 0 -1 4202560 6350 0 0 0 129 2 0 0 20 0 46 0 18328469 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139938171446336 139939882455347 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31634] ppid=31615 vsize=27739612 CPUtime=1.77 cores=0-7 /proc/31618/task/31634/stat : 31634 (java) R 31615 31618 31142 0 -1 4202560 8397 0 0 0 175 2 0 0 20 0 46 0 18328469 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139938170398848 139939880612240 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31635] ppid=31615 vsize=27739612 CPUtime=1.57 cores=0-7 /proc/31618/task/31635/stat : 31635 (java) R 31615 31618 31142 0 -1 4202560 6453 0 0 0 156 1 0 0 20 0 46 0 18328469 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139938169339568 139939883061222 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31636] ppid=31615 vsize=27739612 CPUtime=0.86 cores=0-7 /proc/31618/task/31636/stat : 31636 (java) R 31615 31618 31142 0 -1 1077944384 8327 0 0 0 83 3 0 0 20 0 46 0 18328469 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139938168301808 139939899079298 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31637] ppid=31615 vsize=27739612 CPUtime=0 cores=0-7 /proc/31618/task/31637/stat : 31637 (java) S 31615 31618 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 18328469 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139938167249760 139939899078357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 [pid=31618/tid=31638] ppid=31615 vsize=27739612 CPUtime=0 cores=0-7 /proc/31618/task/31638/stat : 31638 (java) R 31615 31618 31142 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 46 0 18328476 28405362688 73390 18446744073709551615 4194304 4196468 140730959300528 139938166197040 139939899079298 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31117312 140730959307151 140730959307336 140730959307336 140730959310799 0 Current children cumulated CPU time (s) 13.66 Current children cumulated vsize (KiB) 27739612 Child status: 0 Real time (s): 6.48661 CPU time (s): 14.1334 CPU user time (s): 13.7907 CPU system time (s): 0.342676 CPU usage (%): 217.885 Max. virtual memory (cumulated for all children) (KiB): 27739612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.7907 system time used= 0.342676 maximum resident set size= 295800 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52386 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= 7909 involuntary context switches= 196 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.02977 second user time and 0.048976 second system time The end
Begin job on node129 at 2017-08-02 19:50:14 IDJOB=4256991 IDBENCH=138368 IDSOLVER=2641 FILE ID=node129/4256991-1501697054 RUNJOBID= node129-1501676508-31199 PBS_JOBID= Free space on /tmp= 61948 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff84.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-4256991-1501697054/watcher-4256991-1501697054 -o /tmp/evaluation-result-4256991-1501697054/solver-4256991-1501697054 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1682371921 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4256991-1501697054.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 57c9b04c42ddec3121be36f9ed91283a RANDOM SEED=1682371921 node129.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.53 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.57 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.53 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.57 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.53 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.57 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.53 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31702592 kB MemAvailable: 32013936 kB Buffers: 143328 kB Cached: 455384 kB SwapCached: 0 kB Active: 360672 kB Inactive: 293068 kB Active(anon): 55584 kB Inactive(anon): 16716 kB Active(file): 305088 kB Inactive(file): 276352 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42624 kB Writeback: 4 kB AnonPages: 54404 kB Mapped: 31228 kB Shmem: 17064 kB Slab: 116492 kB SReclaimable: 91476 kB SUnreclaim: 25016 kB KernelStack: 3136 kB PageTables: 3828 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 287264 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: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61904 MiB End job on node129 at 2017-08-02 19:50:20