Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 192 | 88.1253 | 12.2582 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff60.xml |
MD5SUM | 7a954e9050bb3a994248d3527dd6cfee |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 192 |
Best CPU time to get the best result obtained on this benchmark | 18.7387 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 395 |
Number of constraints | 385 |
Number of domains | 27 |
Minimum domain size | 23 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":23,"count":12},{"size":25,"count":36},{"size":26,"count":347}] |
Minimum variable degree | 2 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":2,"count":384},{"degree":33,"count":11}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 12 |
Distribution of constraint arities | [{"arity":2,"count":352},{"arity":11,"count":1},{"arity":12,"count":32}] |
Number of extensional constraints | 352 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":352},{"type":"ordered","count":1},{"type":"minimum","count":32}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406938-1569357111.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406938-1569357111.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 7.46/1.67 c solve instance... 9.61/1.91 o 5774 9.61/1.92 o 646 9.61/1.95 o 425 10.34/2.10 o 357 11.13/2.16 o 339 11.13/2.17 o 335 11.13/2.17 o 332 11.13/2.20 o 307 11.72/2.22 o 281 11.72/2.24 o 280 18.78/3.19 o 261 19.49/3.25 o 260 19.49/3.27 o 259 20.09/3.35 o 256 20.09/3.36 o 253 20.79/3.44 o 245 20.79/3.46 o 229 22.99/3.75 o 217 22.99/3.77 o 206 29.09/4.88 o 192 87.85/12.23 s OPTIMUM FOUND 87.85/12.23 v <instantiation> 87.85/12.23 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[0][10] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[1][10] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[2][10] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[3][10] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[4][10] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[5][10] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[6][10] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[7][10] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[8][10] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] drd[9][10] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[10][10] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[11][10] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[12][10] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[13][10] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[14][10] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[15][10] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[16][10] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[17][10] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[18][10] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[19][10] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[20][10] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[21][10] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[22][10] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[23][10] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[24][10] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[25][10] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[26][10] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[27][10] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[28][10] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[29][10] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[30][10] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[31][10] 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] dr[30] dr[31] </list> 87.85/12.23 v <values>25 62 95 122 209 467 512 546 606 661 711 112 75 42 15 72 330 375 409 469 524 574 25 12 45 72 159 417 462 496 556 611 661 97 60 27 0 87 345 390 424 484 539 589 97 60 27 0 87 345 390 424 484 539 589 62 25 8 35 122 380 425 459 519 574 624 56 19 14 41 128 386 431 465 525 580 630 162 125 92 65 22 280 325 359 419 474 524 33 4 37 64 151 409 454 488 548 603 653 135 98 65 38 49 307 352 386 446 501 551 73 36 3 24 111 369 414 448 508 563 613 70 33 0 27 114 372 417 451 511 566 616 0 37 70 97 184 442 487 521 581 636 686 2 39 72 99 186 444 489 523 583 638 688 686 649 616 589 502 244 199 165 105 50 0 16 21 54 81 168 426 471 505 565 620 670 487 450 417 390 303 45 0 34 94 149 199 487 450 417 390 303 45 0 34 94 149 199 79 42 9 18 105 363 408 442 502 557 607 42 5 28 55 142 400 445 479 539 594 644 636 599 566 539 452 194 149 115 55 0 50 636 599 566 539 452 194 149 115 55 0 50 442 405 372 345 258 0 45 79 139 194 244 442 405 372 345 258 0 45 79 139 194 244 213 176 143 116 29 229 274 308 368 423 473 37 0 33 60 147 405 450 484 544 599 649 37 0 33 60 147 405 450 484 544 599 649 581 544 511 484 397 139 94 60 0 55 105 581 544 511 484 397 139 94 60 0 55 105 184 147 114 87 0 258 303 337 397 452 502 13 50 83 110 197 455 500 534 594 649 699 523 486 453 426 339 81 36 2 58 113 163 521 484 451 424 337 79 34 0 60 115 165 15 12 0 0 8 14 22 4 38 3 0 0 2 0 16 0 0 9 5 0 0 0 0 29 0 0 0 0 0 13 2 0 </values> 87.85/12.23 v </instantiation>
OK 192
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12715 MiB free) memory of node 1: 16384 MiB (10058 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406938-1569357111/watcher-4406938-1569357111 -o /tmp/evaluation-result-4406938-1569357111/solver-4406938-1569357111 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569351215-14889 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1078152854 HOME/instance-4406938-1569357111.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=18054, runsolver pid=18051 [startup+0.100109 s]* /proc/loadavg: 7.55 7.55 7.64 2/212 18075 /proc/meminfo: memFree=23303996/32770624 swapFree=66956516/67108860 [pid=18054] ppid=18051 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18054/stat : 18054 (xcsp3-exec) S 18051 18054 14862 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 511982360 115843072 363 33554432000 4194304 5098028 140721367329696 140721367327800 140602490860156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17682432 140721367335797 140721367336041 140721367336041 140721367338954 0 /proc/18054/statm: 28282 363 305 221 0 87 0 [pid=18056] ppid=18054 vsize=28227396 memory=29052 CPUtime=0.12 cores=0-7 /proc/18056/stat : 18056 (java) S 18054 18054 14862 0 -1 1077944320 5740 0 0 0 11 1 0 0 20 0 20 0 511982360 28904853504 7263 33554432000 4194304 4196468 140726366411744 140726366394288 139679364644599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 /proc/18056/statm: 7056849 7263 3120 1 0 7019032 0 [pid=18056/tid=18057] ppid=18054 vsize=28227396 memory=7682184872503189404 CPUtime=0.08 cores=0-7 /proc/18056/task/18057/stat : 18057 (java) R 18054 18054 14862 0 -1 4202560 3649 0 0 0 8 0 0 0 20 0 20 0 511982360 28904853504 7263 33554432000 4194304 4196468 140726366411744 139679368880944 139679345289266 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18058] ppid=18054 vsize=28227396 memory=732369817055030245 CPUtime=0 cores=0-7 /proc/18056/task/18058/stat : 18058 (java) S 18054 18054 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 7263 33554432000 4194304 4196468 140726366411744 139679317265552 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18059] ppid=18054 vsize=28227396 memory=139678717576832 CPUtime=0 cores=0-7 /proc/18056/task/18059/stat : 18059 (java) S 18054 18054 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 7263 33554432000 4194304 4196468 140726366411744 139678915091472 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18060] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18060/stat : 18060 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 7263 33554432000 4194304 4196468 140726366411744 139678914038672 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18061] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18061/stat : 18061 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 7263 33554432000 4194304 4196468 140726366411744 139678912985872 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18062] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18062/stat : 18062 (java) S 18054 18054 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 7263 33554432000 4194304 4196468 140726366411744 139678911933072 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18063] ppid=18054 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18056/task/18063/stat : 18063 (java) S 18054 18054 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 7263 33554432000 4194304 4196468 140726366411744 139678910880272 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18064] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18064/stat : 18064 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 7263 33554432000 4194304 4196468 140726366411744 139678909827472 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18065] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18065/stat : 18065 (java) S 18054 18054 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 7263 33554432000 4194304 4196468 140726366411744 139678908774672 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18066] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18066/stat : 18066 (java) S 18054 18054 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511982362 28904853504 7263 33554432000 4194304 4196468 140726366411744 139677560290160 139679364655746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18067] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18067/stat : 18067 (java) S 18054 18054 14862 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511982363 28904853504 7263 33554432000 4194304 4196468 140726366411744 139677559236128 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18068] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18068/stat : 18068 (java) S 18054 18054 14862 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511982363 28904853504 7263 33554432000 4194304 4196468 140726366411744 139677558183280 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18069] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18069/stat : 18069 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982366 28904853504 7263 33554432000 4194304 4196468 140726366411744 139677557131600 139679364663195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18070] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18070/stat : 18070 (java) S 18054 18054 14862 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 511982366 28904853504 7263 33554432000 4194304 4196468 140726366411744 139677556078960 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18071] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18071/stat : 18071 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982366 28904853504 7263 33554432000 4194304 4196468 140726366411744 139677555026160 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18072] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18072/stat : 18072 (java) S 18054 18054 14862 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 511982366 28904853504 7263 33554432000 4194304 4196468 140726366411744 139677553973360 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18073] ppid=18054 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/18056/task/18073/stat : 18073 (java) S 18054 18054 14862 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 20 0 511982366 28904853504 7263 33554432000 4194304 4196468 140726366411744 139677552920560 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18074] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18074/stat : 18074 (java) S 18054 18054 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511982366 28904853504 7263 33554432000 4194304 4196468 140726366411744 139677551869024 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18075] ppid=18054 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18056/task/18075/stat : 18075 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982366 28904853504 7263 33554432000 4194304 4196468 140726366411744 139677550816304 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30504 KiB [startup+0.210011 s]* /proc/loadavg: 7.03 7.44 7.61 2/212 18075 /proc/meminfo: memFree=23292420/32770624 swapFree=66956516/67108860 [pid=18054] ppid=18051 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18054/stat : 18054 (xcsp3-exec) S 18051 18054 14862 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 511982360 115843072 363 33554432000 4194304 5098028 140721367329696 140721367327800 140602490860156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17682432 140721367335797 140721367336041 140721367336041 140721367338954 0 /proc/18054/statm: 28282 363 305 221 0 87 0 [pid=18056] ppid=18054 vsize=28227396 memory=40152 CPUtime=0.33 cores=0-7 /proc/18056/stat : 18056 (java) S 18054 18054 14862 0 -1 1077944320 9352 0 0 0 30 3 0 0 20 0 20 0 511982360 28904853504 10038 33554432000 4194304 4196468 140726366411744 140726366394288 139679364644599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 /proc/18056/statm: 7056849 10038 3261 1 0 7019032 0 [pid=18056/tid=18057] ppid=18054 vsize=28227396 memory=0 CPUtime=0.2 cores=0-7 /proc/18056/task/18057/stat : 18057 (java) R 18054 18054 14862 0 -1 4202560 6609 0 0 0 18 2 0 0 20 0 20 0 511982360 28904853504 10038 33554432000 4194304 4196468 140726366411744 139679368877328 139679364656534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18058] ppid=18054 vsize=28227396 memory=732369817055030245 CPUtime=0 cores=0-7 /proc/18056/task/18058/stat : 18058 (java) S 18054 18054 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 10038 33554432000 4194304 4196468 140726366411744 139679317265552 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18059] ppid=18054 vsize=28227396 memory=139678717576832 CPUtime=0 cores=0-7 /proc/18056/task/18059/stat : 18059 (java) S 18054 18054 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 10038 33554432000 4194304 4196468 140726366411744 139678915091472 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18060] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18060/stat : 18060 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 10038 33554432000 4194304 4196468 140726366411744 139678914038672 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18061] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18061/stat : 18061 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 10038 33554432000 4194304 4196468 140726366411744 139678912985872 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18062] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18062/stat : 18062 (java) S 18054 18054 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 10038 33554432000 4194304 4196468 140726366411744 139678911933072 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18063] ppid=18054 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18056/task/18063/stat : 18063 (java) S 18054 18054 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 10038 33554432000 4194304 4196468 140726366411744 139678910880272 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18064] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18064/stat : 18064 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 10038 33554432000 4194304 4196468 140726366411744 139678909827472 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18065] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18065/stat : 18065 (java) S 18054 18054 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511982361 28904853504 10038 33554432000 4194304 4196468 140726366411744 139678908774672 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18066] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18066/stat : 18066 (java) S 18054 18054 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511982362 28904853504 10038 33554432000 4194304 4196468 140726366411744 139677560290160 139679364655746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18067] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18067/stat : 18067 (java) S 18054 18054 14862 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511982363 28904853504 10038 33554432000 4194304 4196468 140726366411744 139677559236128 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18068] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18068/stat : 18068 (java) S 18054 18054 14862 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511982363 28904853504 10038 33554432000 4194304 4196468 140726366411744 139677558183280 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18069] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18069/stat : 18069 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982366 28904853504 10038 33554432000 4194304 4196468 140726366411744 139677557131600 139679364663195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18070] ppid=18054 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18056/task/18070/stat : 18070 (java) S 18054 18054 14862 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 20 0 511982366 28904853504 10038 33554432000 4194304 4196468 140726366411744 139677556078960 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18071] ppid=18054 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18056/task/18071/stat : 18071 (java) S 18054 18054 14862 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 20 0 511982366 28904853504 10038 33554432000 4194304 4196468 140726366411744 139677555026160 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18072] ppid=18054 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/18056/task/18072/stat : 18072 (java) R 18054 18054 14862 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 20 0 511982366 28904853504 10038 33554432000 4194304 4196468 140726366411744 139677553973360 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18073] ppid=18054 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/18056/task/18073/stat : 18073 (java) R 18054 18054 14862 0 -1 4202560 782 0 0 0 7 0 0 0 20 0 20 0 511982366 28904853504 10038 33554432000 4194304 4196468 140726366411744 139677552920560 139679364656534 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18074] ppid=18054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18074/stat : 18074 (java) S 18054 18054 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511982366 28904853504 10038 33554432000 4194304 4196468 140726366411744 139677551869024 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18075] ppid=18054 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18056/task/18075/stat : 18075 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982366 28904853504 10038 33554432000 4194304 4196468 140726366411744 139677550816304 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41604 KiB [startup+0.309602 s]* /proc/loadavg: 7.03 7.44 7.61 5/212 18075 /proc/meminfo: memFree=23284912/32770624 swapFree=66956516/67108860 [pid=18054] ppid=18051 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18054/stat : 18054 (xcsp3-exec) S 18051 18054 14862 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 511982360 115843072 363 33554432000 4194304 5098028 140721367329696 140721367327800 140602490860156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17682432 140721367335797 140721367336041 140721367336041 140721367338954 0 /proc/18054/statm: 28282 363 305 221 0 87 0 [pid=18056] ppid=18054 vsize=28231652 memory=49988 CPUtime=0.52 cores=0-7 /proc/18056/stat : 18056 (java) S 18054 18054 14862 0 -1 1077944320 10822 0 0 0 48 4 0 0 20 0 20 0 511982360 28909211648 12497 33554432000 4194304 4196468 140726366411744 140726366394288 139679364644599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 /proc/18056/statm: 7057913 12497 3372 1 0 7019032 0 [pid=18056/tid=18057] ppid=18054 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/18056/task/18057/stat : 18057 (java) R 18054 18054 14862 0 -1 4202560 7733 0 0 0 27 2 0 0 20 0 20 0 511982360 28909211648 12497 33554432000 4194304 4196468 140726366411744 139679368875712 139679348725086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18058] ppid=18054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18058/stat : 18058 (java) S 18054 18054 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511982361 28909211648 12497 33554432000 4194304 4196468 140726366411744 139679317265552 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18059] ppid=18054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18059/stat : 18059 (java) S 18054 18054 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511982361 28909211648 12497 33554432000 4194304 4196468 140726366411744 139678915091472 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18060] ppid=18054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18060/stat : 18060 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982361 28909211648 12529 33554432000 4194304 4196468 140726366411744 139678914038672 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18061] ppid=18054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18061/stat : 18061 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982361 28909211648 12529 33554432000 4194304 4196468 140726366411744 139678912985872 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18062] ppid=18054 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/18056/task/18062/stat : 18062 (java) S 18054 18054 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511982361 28909211648 12529 33554432000 4194304 4196468 140726366411744 139678911933072 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18063] ppid=18054 vsize=28231652 memory=139678577685423 CPUtime=0 cores=0-7 /proc/18056/task/18063/stat : 18063 (java) S 18054 18054 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511982361 28909211648 12529 33554432000 4194304 4196468 140726366411744 139678910880272 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18064] ppid=18054 vsize=28231652 memory=139678577687728 CPUtime=0 cores=0-7 /proc/18056/task/18064/stat : 18064 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982361 28909211648 12529 33554432000 4194304 4196468 140726366411744 139678909827472 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18065] ppid=18054 vsize=28231652 memory=139678577690032 CPUtime=0 cores=0-7 /proc/18056/task/18065/stat : 18065 (java) S 18054 18054 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511982361 28909211648 12529 33554432000 4194304 4196468 140726366411744 139678908774672 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18066] ppid=18054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18066/stat : 18066 (java) S 18054 18054 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511982362 28909211648 12529 33554432000 4194304 4196468 140726366411744 139677560290160 139679364655746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18067] ppid=18054 vsize=28231652 memory=279357155387024 CPUtime=0 cores=0-7 /proc/18056/task/18067/stat : 18067 (java) S 18054 18054 14862 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511982363 28909211648 12529 33554432000 4194304 4196468 140726366411744 139677559236128 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18068] ppid=18054 vsize=28231652 memory=279357155393936 CPUtime=0 cores=0-7 /proc/18056/task/18068/stat : 18068 (java) S 18054 18054 14862 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511982363 28909211648 12529 33554432000 4194304 4196468 140726366411744 139677558183280 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18069] ppid=18054 vsize=28231652 memory=279357155335216 CPUtime=0 cores=0-7 /proc/18056/task/18069/stat : 18069 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982366 28909211648 12529 33554432000 4194304 4196468 140726366411744 139677557131600 139679364663195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18070] ppid=18054 vsize=28231652 memory=279357155407760 CPUtime=0.01 cores=0-7 /proc/18056/task/18070/stat : 18070 (java) S 18054 18054 14862 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 20 0 511982366 28909211648 12529 33554432000 4194304 4196468 140726366411744 139677556078960 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18071] ppid=18054 vsize=28231652 memory=279357155414672 CPUtime=0.03 cores=0-7 /proc/18056/task/18071/stat : 18071 (java) R 18054 18054 14862 0 -1 4202560 165 0 0 0 3 0 0 0 20 0 20 0 511982366 28909211648 12529 33554432000 4194304 4196468 140726366411744 139677555016272 139679344337695 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18072] ppid=18054 vsize=28231652 memory=279357155412368 CPUtime=0.02 cores=0-7 /proc/18056/task/18072/stat : 18072 (java) S 18054 18054 14862 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 20 0 511982366 28909211648 12529 33554432000 4194304 4196468 140726366411744 139677553973360 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18073] ppid=18054 vsize=28231652 memory=279357155428528 CPUtime=0.12 cores=0-7 /proc/18056/task/18073/stat : 18073 (java) S 18054 18054 14862 0 -1 1077944384 945 0 0 0 12 0 0 0 20 0 20 0 511982366 28909211648 12529 33554432000 4194304 4196468 140726366411744 139677552920560 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18074] ppid=18054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18074/stat : 18074 (java) S 18054 18054 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511982366 28909211648 12529 33554432000 4194304 4196468 140726366411744 139677551869024 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18075] ppid=18054 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/18056/task/18075/stat : 18075 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982366 28909211648 12529 33554432000 4194304 4196468 140726366411744 139677550816304 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51440 KiB [startup+0.7009 s] /proc/loadavg: 7.03 7.44 7.61 4/212 18075 /proc/meminfo: memFree=23270192/32770624 swapFree=66956516/67108860 [pid=18054] ppid=18051 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18054/stat : 18054 (xcsp3-exec) S 18051 18054 14862 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 511982360 115843072 363 33554432000 4194304 5098028 140721367329696 140721367327800 140602490860156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17682432 140721367335797 140721367336041 140721367336041 140721367338954 0 /proc/18054/statm: 28282 363 305 221 0 87 0 [pid=18056] ppid=18054 vsize=28233776 memory=170908 CPUtime=1.74 cores=0-7 /proc/18056/stat : 18056 (java) S 18054 18054 14862 0 -1 1077944320 15444 0 0 0 166 8 0 0 20 0 20 0 511982360 28911386624 42727 33554432000 4194304 4196468 140726366411744 140726366394288 139679364644599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 /proc/18056/statm: 7058444 42727 3445 1 0 7019544 0 [pid=18056/tid=18057] ppid=18054 vsize=28233776 memory=279357155723456 CPUtime=0.68 cores=0-7 /proc/18056/task/18057/stat : 18057 (java) R 18054 18054 14862 0 -1 4202560 9273 0 0 0 63 5 0 0 20 0 20 0 511982360 28911386624 42727 33554432000 4194304 4196468 140726366411744 139679368881920 139679000773317 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18058] ppid=18054 vsize=28233776 memory=1560 CPUtime=0 cores=0-7 /proc/18056/task/18058/stat : 18058 (java) S 18054 18054 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511982361 28911386624 42727 33554432000 4194304 4196468 140726366411744 139679317265552 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18059] ppid=18054 vsize=28233776 memory=976 CPUtime=0 cores=0-7 /proc/18056/task/18059/stat : 18059 (java) S 18054 18054 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511982361 28911386624 42727 33554432000 4194304 4196468 140726366411744 139678915091472 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18060] ppid=18054 vsize=28233776 memory=772 CPUtime=0 cores=0-7 /proc/18056/task/18060/stat : 18060 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511982361 28911386624 42727 33554432000 4194304 4196468 140726366411744 139678914038672 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 ################ # More data... # ################ [pid=18056/tid=18073] ppid=18054 vsize=28768336 memory=0 CPUtime=0.91 cores=0-7 /proc/18056/task/18073/stat : 18073 (java) S 18054 18054 14862 0 -1 1077944384 5688 0 0 0 89 2 0 0 20 0 28 0 511982366 29458776064 227441 33554432000 4194304 4196468 140726366411744 139677552920560 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18074] ppid=18054 vsize=28768336 memory=2601 CPUtime=0 cores=0-7 /proc/18056/task/18074/stat : 18074 (java) S 18054 18054 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511982366 29458776064 227441 33554432000 4194304 4196468 140726366411744 139677551869024 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18075] ppid=18054 vsize=28768336 memory=1343 CPUtime=0 cores=0-7 /proc/18056/task/18075/stat : 18075 (java) S 18054 18054 14862 0 -1 1077944384 699 0 0 0 0 0 0 0 20 0 28 0 511982366 29458776064 227441 33554432000 4194304 4196468 140726366411744 139677550816304 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18237] ppid=18054 vsize=28768336 memory=291 CPUtime=6.06 cores=0-7 /proc/18056/task/18237/stat : 18237 (java) R 18054 18054 14862 0 -1 4202560 5240 0 0 0 604 2 0 0 20 0 28 0 511982848 29458776064 227441 33554432000 4194304 4196468 140726366411744 139677536333416 139679003587484 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18238] ppid=18054 vsize=28768336 memory=779 CPUtime=6.08 cores=0-7 /proc/18056/task/18238/stat : 18238 (java) R 18054 18054 14862 0 -1 4202560 522 0 0 0 608 0 0 0 20 0 28 0 511982848 29458776064 227441 33554432000 4194304 4196468 140726366411744 139677537386400 139679007014874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18239] ppid=18054 vsize=28768336 memory=2 CPUtime=6.11 cores=0-7 /proc/18056/task/18239/stat : 18239 (java) R 18054 18054 14862 0 -1 4202560 5332 0 0 0 609 2 0 0 20 0 28 0 511982848 29458776064 227441 33554432000 4194304 4196468 140726366411744 139677534229272 139679004517359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18240] ppid=18054 vsize=28768336 memory=333 CPUtime=6.28 cores=0-7 /proc/18056/task/18240/stat : 18240 (java) R 18054 18054 14862 0 -1 4202560 1819 0 0 0 626 2 0 0 20 0 28 0 511982848 29458776064 227441 33554432000 4194304 4196468 140726366411744 139677541597608 139679003587843 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18241] ppid=18054 vsize=28768336 memory=276878 CPUtime=6.15 cores=0-7 /proc/18056/task/18241/stat : 18241 (java) R 18054 18054 14862 0 -1 4202560 5759 0 0 0 614 1 0 0 20 0 28 0 511982848 29458776064 227441 33554432000 4194304 4196468 140726366411744 139677540544424 139679003587787 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18242] ppid=18054 vsize=28768336 memory=1 CPUtime=5.86 cores=0-7 /proc/18056/task/18242/stat : 18242 (java) R 18054 18054 14862 0 -1 4202560 431 0 0 0 586 0 0 0 20 0 28 0 511982848 29458776064 227441 33554432000 4194304 4196468 140726366411744 139677539491800 139679004674828 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18243] ppid=18054 vsize=28768336 memory=45184 CPUtime=5.97 cores=0-7 /proc/18056/task/18243/stat : 18243 (java) R 18054 18054 14862 0 -1 4202560 496 0 0 0 597 0 0 0 20 0 28 0 511982848 29458776064 227441 33554432000 4194304 4196468 140726366411744 139677535282504 139679003587715 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18244] ppid=18054 vsize=28768336 memory=0 CPUtime=6.15 cores=0-7 /proc/18056/task/18244/stat : 18244 (java) R 18054 18054 14862 0 -1 4202560 1219 0 0 0 615 0 0 0 20 0 28 0 511982848 29458776064 227441 33554432000 4194304 4196468 140726366411744 139677538439352 139679006415233 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 Current children cumulated CPU time: 79.88 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 911216 KiB [startup+12.0016 s]* /proc/loadavg: 7.40 7.51 7.63 9/220 18244 /proc/meminfo: memFree=22410720/32770624 swapFree=66956516/67108860 [pid=18054] ppid=18051 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18054/stat : 18054 (xcsp3-exec) S 18051 18054 14862 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 511982360 115843072 363 33554432000 4194304 5098028 140721367329696 140721367327800 140602490860156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17682432 140721367335797 140721367336041 140721367336041 140721367338954 0 /proc/18054/statm: 28282 363 305 221 0 87 0 [pid=18056] ppid=18054 vsize=28768336 memory=922568 CPUtime=86.31 cores=0-7 /proc/18056/stat : 18056 (java) S 18054 18054 14862 0 -1 1077944320 108744 0 0 0 8487 144 0 0 20 0 28 0 511982360 29458776064 230642 33554432000 4194304 4196468 140726366411744 140726366394288 139679364644599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 /proc/18056/statm: 7192084 230642 3548 1 0 7153184 0 [pid=18056/tid=18057] ppid=18054 vsize=28768336 memory=6791534058613427641 CPUtime=1.01 cores=0-7 /proc/18056/task/18057/stat : 18057 (java) S 18054 18054 14862 0 -1 1077944384 9725 0 0 0 94 7 0 0 20 0 28 0 511982360 29458776064 230642 33554432000 4194304 4196468 140726366411744 139679368885376 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18058] ppid=18054 vsize=28768336 memory=-7003737579269690708 CPUtime=0.6 cores=0-7 /proc/18056/task/18058/stat : 18058 (java) S 18054 18054 14862 0 -1 1077944384 2855 0 0 0 47 13 0 0 20 0 28 0 511982361 29458776064 230642 33554432000 4194304 4196468 140726366411744 139679317265552 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18059] ppid=18054 vsize=28768336 memory=6944656592455360604 CPUtime=0.61 cores=0-7 /proc/18056/task/18059/stat : 18059 (java) S 18054 18054 14862 0 -1 1077944384 2744 0 0 0 50 11 0 0 20 0 28 0 511982361 29458776064 230642 33554432000 4194304 4196468 140726366411744 139678915091472 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18060] ppid=18054 vsize=28768336 memory=6944656575208382560 CPUtime=0.66 cores=0-7 /proc/18056/task/18060/stat : 18060 (java) S 18054 18054 14862 0 -1 1077944384 2637 0 0 0 55 11 0 0 20 0 28 0 511982361 29458776064 230642 33554432000 4194304 4196468 140726366411744 139678914038672 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18061] ppid=18054 vsize=28768336 memory=6944656592455359580 CPUtime=0.68 cores=0-7 /proc/18056/task/18061/stat : 18061 (java) S 18054 18054 14862 0 -1 1077944384 3059 0 0 0 55 13 0 0 20 0 28 0 511982361 29458776064 230642 33554432000 4194304 4196468 140726366411744 139678912985872 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18062] ppid=18054 vsize=28768336 memory=6944656592387989600 CPUtime=0.61 cores=0-7 /proc/18056/task/18062/stat : 18062 (java) S 18054 18054 14862 0 -1 1077944384 3095 0 0 0 50 11 0 0 20 0 28 0 511982361 29458776064 230642 33554432000 4194304 4196468 140726366411744 139678911933072 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18063] ppid=18054 vsize=28768336 memory=6944652177228980272 CPUtime=0.59 cores=0-7 /proc/18056/task/18063/stat : 18063 (java) S 18054 18054 14862 0 -1 1077944384 2543 0 0 0 47 12 0 0 20 0 28 0 511982361 29458776064 230642 33554432000 4194304 4196468 140726366411744 139678910880272 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18064] ppid=18054 vsize=28768336 memory=6944656592455097440 CPUtime=0.65 cores=0-7 /proc/18056/task/18064/stat : 18064 (java) S 18054 18054 14862 0 -1 1077944384 2794 0 0 0 53 12 0 0 20 0 28 0 511982361 29458776064 230642 33554432000 4194304 4196468 140726366411744 139678909827472 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18065] ppid=18054 vsize=28768336 memory=-8961733167378907077 CPUtime=0.63 cores=0-7 /proc/18056/task/18065/stat : 18065 (java) S 18054 18054 14862 0 -1 1077944384 2716 0 0 0 49 14 0 0 20 0 28 0 511982361 29458776064 230642 33554432000 4194304 4196468 140726366411744 139678908774672 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18066] ppid=18054 vsize=28768336 memory=4138389733787924010 CPUtime=0.02 cores=0-7 /proc/18056/task/18066/stat : 18066 (java) S 18054 18054 14862 0 -1 1077944384 959 0 0 0 2 0 0 0 20 0 28 0 511982362 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677560290160 139679364655746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18067] ppid=18054 vsize=28768336 memory=-9112918889202037851 CPUtime=0 cores=0-7 /proc/18056/task/18067/stat : 18067 (java) S 18054 18054 14862 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 511982363 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677559236192 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18068] ppid=18054 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18068/stat : 18068 (java) S 18054 18054 14862 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511982363 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677558183296 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18069] ppid=18054 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18069/stat : 18069 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511982366 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677557131600 139679364663195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18070] ppid=18054 vsize=28768336 memory=0 CPUtime=3.56 cores=0-7 /proc/18056/task/18070/stat : 18070 (java) S 18054 18054 14862 0 -1 1077944384 12627 0 0 0 351 5 0 0 20 0 28 0 511982366 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677556078960 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18071] ppid=18054 vsize=28768336 memory=0 CPUtime=2.75 cores=0-7 /proc/18056/task/18071/stat : 18071 (java) S 18054 18054 14862 0 -1 1077944384 8306 0 0 0 273 2 0 0 20 0 28 0 511982366 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677555026160 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18072] ppid=18054 vsize=28768336 memory=139683012544127 CPUtime=3.15 cores=0-7 /proc/18056/task/18072/stat : 18072 (java) S 18054 18054 14862 0 -1 1077944384 11583 0 0 0 312 3 0 0 20 0 28 0 511982366 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677553973360 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18073] ppid=18054 vsize=28768336 memory=0 CPUtime=0.91 cores=0-7 /proc/18056/task/18073/stat : 18073 (java) S 18054 18054 14862 0 -1 1077944384 5688 0 0 0 89 2 0 0 20 0 28 0 511982366 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677552920560 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18074] ppid=18054 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18074/stat : 18074 (java) S 18054 18054 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511982366 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677551869024 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18075] ppid=18054 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18075/stat : 18075 (java) S 18054 18054 14862 0 -1 1077944384 699 0 0 0 0 0 0 0 20 0 28 0 511982366 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677550816304 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18237] ppid=18054 vsize=28768336 memory=0 CPUtime=6.86 cores=0-7 /proc/18056/task/18237/stat : 18237 (java) R 18054 18054 14862 0 -1 4202560 6831 0 0 0 684 2 0 0 20 0 28 0 511982848 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677536332904 139679003587488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18238] ppid=18054 vsize=28768336 memory=0 CPUtime=6.89 cores=0-7 /proc/18056/task/18238/stat : 18238 (java) R 18054 18054 14862 0 -1 4202560 684 0 0 0 689 0 0 0 20 0 28 0 511982848 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677537386536 139679007200736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18239] ppid=18054 vsize=28768336 memory=0 CPUtime=6.9 cores=0-7 /proc/18056/task/18239/stat : 18239 (java) R 18054 18054 14862 0 -1 4202560 6905 0 0 0 688 2 0 0 20 0 28 0 511982848 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677534227928 139679003587509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18240] ppid=18054 vsize=28768336 memory=0 CPUtime=7.09 cores=0-7 /proc/18056/task/18240/stat : 18240 (java) R 18054 18054 14862 0 -1 4202560 2122 0 0 0 707 2 0 0 20 0 28 0 511982848 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677541596968 139679007252498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18241] ppid=18054 vsize=28768336 memory=0 CPUtime=6.95 cores=0-7 /proc/18056/task/18241/stat : 18241 (java) R 18054 18054 14862 0 -1 4202560 7042 0 0 0 694 1 0 0 20 0 28 0 511982848 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677540544248 139679006415271 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18242] ppid=18054 vsize=28768336 memory=279357156952992 CPUtime=6.65 cores=0-7 /proc/18056/task/18242/stat : 18242 (java) R 18054 18054 14862 0 -1 4202560 505 0 0 0 665 0 0 0 20 0 28 0 511982848 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677539491448 139679004514853 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18243] ppid=18054 vsize=28768336 memory=0 CPUtime=6.78 cores=0-7 /proc/18056/task/18243/stat : 18243 (java) R 18054 18054 14862 0 -1 4202560 832 0 0 0 678 0 0 0 20 0 28 0 511982848 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677535281576 139679007198840 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18244] ppid=18054 vsize=28768336 memory=0 CPUtime=6.96 cores=0-7 /proc/18056/task/18244/stat : 18244 (java) R 18054 18054 14862 0 -1 4202560 1296 0 0 0 696 0 0 0 20 0 28 0 511982848 29458776064 230642 33554432000 4194304 4196468 140726366411744 139677538439368 139679003587954 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 Current children cumulated CPU time: 86.31 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 924020 KiB [startup+12.2016 s] /proc/loadavg: 7.40 7.51 7.63 9/220 18244 /proc/meminfo: memFree=22410720/32770624 swapFree=66956516/67108860 [pid=18054] ppid=18051 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18054/stat : 18054 (xcsp3-exec) S 18051 18054 14862 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 511982360 115843072 363 33554432000 4194304 5098028 140721367329696 140721367327800 140602490860156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17682432 140721367335797 140721367336041 140721367336041 140721367338954 0 /proc/18054/statm: 28282 363 305 221 0 87 0 [pid=18056] ppid=18054 vsize=28768336 memory=926664 CPUtime=87.85 cores=0-7 /proc/18056/stat : 18056 (java) S 18054 18054 14862 0 -1 1077944320 109391 0 0 0 8640 145 0 0 20 0 28 0 511982360 29458776064 231666 33554432000 4194304 4196468 140726366411744 140726366394288 139679364644599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 /proc/18056/statm: 7192084 231666 3548 1 0 7153184 0 [pid=18056/tid=18057] ppid=18054 vsize=28768336 memory=3761410806789715715 CPUtime=1.01 cores=0-7 /proc/18056/task/18057/stat : 18057 (java) S 18054 18054 14862 0 -1 1077944384 9725 0 0 0 94 7 0 0 20 0 28 0 511982360 29458776064 231666 33554432000 4194304 4196468 140726366411744 139679368885376 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18058] ppid=18054 vsize=28768336 memory=6944613755328037012 CPUtime=0.6 cores=0-7 /proc/18056/task/18058/stat : 18058 (java) S 18054 18054 14862 0 -1 1077944384 2855 0 0 0 47 13 0 0 20 0 28 0 511982361 29458776064 231666 33554432000 4194304 4196468 140726366411744 139679317265552 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18059] ppid=18054 vsize=28768336 memory=6944656592455360569 CPUtime=0.61 cores=0-7 /proc/18056/task/18059/stat : 18059 (java) S 18054 18054 14862 0 -1 1077944384 2744 0 0 0 50 11 0 0 20 0 28 0 511982361 29458776064 231666 33554432000 4194304 4196468 140726366411744 139678915091472 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18060] ppid=18054 vsize=28768336 memory=6944656592455360608 CPUtime=0.66 cores=0-7 /proc/18056/task/18060/stat : 18060 (java) S 18054 18054 14862 0 -1 1077944384 2637 0 0 0 55 11 0 0 20 0 28 0 511982361 29458776064 231666 33554432000 4194304 4196468 140726366411744 139678914038672 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18061] ppid=18054 vsize=28768336 memory=8116781154467152954 CPUtime=0.68 cores=0-7 /proc/18056/task/18061/stat : 18061 (java) S 18054 18054 14862 0 -1 1077944384 3059 0 0 0 55 13 0 0 20 0 28 0 511982361 29458776064 231666 33554432000 4194304 4196468 140726366411744 139678912985872 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18062] ppid=18054 vsize=28768336 memory=-7595718148000617571 CPUtime=0.61 cores=0-7 /proc/18056/task/18062/stat : 18062 (java) S 18054 18054 14862 0 -1 1077944384 3095 0 0 0 50 11 0 0 20 0 28 0 511982361 29458776064 231666 33554432000 4194304 4196468 140726366411744 139678911933072 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18063] ppid=18054 vsize=28768336 memory=-6876588461455810464 CPUtime=0.59 cores=0-7 /proc/18056/task/18063/stat : 18063 (java) S 18054 18054 14862 0 -1 1077944384 2543 0 0 0 47 12 0 0 20 0 28 0 511982361 29458776064 231666 33554432000 4194304 4196468 140726366411744 139678910880272 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18064] ppid=18054 vsize=28768336 memory=-3040564339105353098 CPUtime=0.65 cores=0-7 /proc/18056/task/18064/stat : 18064 (java) S 18054 18054 14862 0 -1 1077944384 2794 0 0 0 53 12 0 0 20 0 28 0 511982361 29458776064 231666 33554432000 4194304 4196468 140726366411744 139678909827472 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18065] ppid=18054 vsize=28768336 memory=6655300316396806240 CPUtime=0.63 cores=0-7 /proc/18056/task/18065/stat : 18065 (java) S 18054 18054 14862 0 -1 1077944384 2716 0 0 0 49 14 0 0 20 0 28 0 511982361 29458776064 231666 33554432000 4194304 4196468 140726366411744 139678908774672 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18066] ppid=18054 vsize=28768336 memory=6944656592455360604 CPUtime=0.02 cores=0-7 /proc/18056/task/18066/stat : 18066 (java) S 18054 18054 14862 0 -1 1077944384 959 0 0 0 2 0 0 0 20 0 28 0 511982362 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677560290160 139679364655746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18067] ppid=18054 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18067/stat : 18067 (java) S 18054 18054 14862 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 511982363 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677559236192 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18068] ppid=18054 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18068/stat : 18068 (java) S 18054 18054 14862 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511982363 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677558183296 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18069] ppid=18054 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/18056/task/18069/stat : 18069 (java) S 18054 18054 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511982366 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677557131600 139679364663195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18070] ppid=18054 vsize=28768336 memory=0 CPUtime=3.56 cores=0-7 /proc/18056/task/18070/stat : 18070 (java) S 18054 18054 14862 0 -1 1077944384 12627 0 0 0 351 5 0 0 20 0 28 0 511982366 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677556078960 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18071] ppid=18054 vsize=28768336 memory=0 CPUtime=2.75 cores=0-7 /proc/18056/task/18071/stat : 18071 (java) S 18054 18054 14862 0 -1 1077944384 8306 0 0 0 273 2 0 0 20 0 28 0 511982366 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677555026160 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18072] ppid=18054 vsize=28768336 memory=-4695052241013923951 CPUtime=3.15 cores=0-7 /proc/18056/task/18072/stat : 18072 (java) S 18054 18054 14862 0 -1 1077944384 11583 0 0 0 312 3 0 0 20 0 28 0 511982366 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677553973360 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18073] ppid=18054 vsize=28768336 memory=6944656592455097440 CPUtime=0.91 cores=0-7 /proc/18056/task/18073/stat : 18073 (java) S 18054 18054 14862 0 -1 1077944384 5688 0 0 0 89 2 0 0 20 0 28 0 511982366 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677552920560 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18074] ppid=18054 vsize=28768336 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/18056/task/18074/stat : 18074 (java) S 18054 18054 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511982366 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677551869024 139679364654805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18075] ppid=18054 vsize=28768336 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/18056/task/18075/stat : 18075 (java) S 18054 18054 14862 0 -1 1077944384 699 0 0 0 0 0 0 0 20 0 28 0 511982366 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677550816304 139679364655746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18237] ppid=18054 vsize=28768336 memory=3054355819557830759 CPUtime=7.05 cores=0-7 /proc/18056/task/18237/stat : 18237 (java) R 18054 18054 14862 0 -1 4202560 6857 0 0 0 703 2 0 0 20 0 28 0 511982848 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677536332904 139679007613502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18238] ppid=18054 vsize=28768336 memory=-7966001967340291680 CPUtime=7.08 cores=0-7 /proc/18056/task/18238/stat : 18238 (java) R 18054 18054 14862 0 -1 4202560 719 0 0 0 708 0 0 0 20 0 28 0 511982848 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677537386536 139679007051617 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18239] ppid=18054 vsize=28768336 memory=-7737605734073691286 CPUtime=7.09 cores=0-7 /proc/18056/task/18239/stat : 18239 (java) R 18054 18054 14862 0 -1 4202560 7000 0 0 0 707 2 0 0 20 0 28 0 511982848 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677534227928 139679003587484 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18240] ppid=18054 vsize=28768336 memory=8390361644446492005 CPUtime=7.28 cores=0-7 /proc/18056/task/18240/stat : 18240 (java) R 18054 18054 14862 0 -1 4202560 2145 0 0 0 726 2 0 0 20 0 28 0 511982848 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677541596968 139679004358112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18241] ppid=18054 vsize=28768336 memory=8226496019563508634 CPUtime=7.14 cores=0-7 /proc/18056/task/18241/stat : 18241 (java) R 18054 18054 14862 0 -1 4202560 7483 0 0 0 713 1 0 0 20 0 28 0 511982848 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677540544248 139679003587574 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18242] ppid=18054 vsize=28768336 memory=7100839852556125036 CPUtime=6.84 cores=0-7 /proc/18056/task/18242/stat : 18242 (java) R 18054 18054 14862 0 -1 4202560 510 0 0 0 684 0 0 0 20 0 28 0 511982848 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677539491448 139679003587488 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18243] ppid=18054 vsize=28768336 memory=4195447445982048887 CPUtime=6.97 cores=0-7 /proc/18056/task/18243/stat : 18243 (java) R 18054 18054 14862 0 -1 4202560 844 0 0 0 697 0 0 0 20 0 28 0 511982848 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677535281576 139679004514746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 [pid=18056/tid=18244] ppid=18054 vsize=28768336 memory=279357155180784 CPUtime=7.15 cores=0-7 /proc/18056/task/18244/stat : 18244 (java) R 18054 18054 14862 0 -1 4202560 1302 0 0 0 715 0 0 0 20 0 28 0 511982848 29458776064 231666 33554432000 4194304 4196468 140726366411744 139677538439368 139679003587570 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140726366413802 140726366413974 140726366413974 140726366416847 0 Current children cumulated CPU time: 87.85 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 928116 KiB Child status: 0 Real time (s): 12.2582 CPU time (s): 88.1253 CPU user time (s): 86.6505 CPU system time (s): 1.47475 CPU usage (%): 718.911 Max. virtual memory (cumulated for all children) (KiB): 28883652 Max. memory (cumulated for all children) (KiB): 928116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 86.6505 system time used= 1.47475 maximum resident set size= 928668 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 111149 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7150 involuntary context switches= 1810 # summary of solver processes directly reported to runsolver: # pid: 18054 # total CPU time (s): 88.1253 # total CPU user time (s): 86.6505 # total CPU system time (s): 1.47475 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.106034 second user time and 0.200097 second system time The end
Begin job on node151 at 2019-09-24 22:31:10 IDJOB=4406938 IDBENCH=138339 IDSOLVER=2871 FILE ID=node151/4406938-1569357111 RUNJOBID= node151-1569351215-14889 PBS_JOBID= 21705099 Free space on /tmp= 12412 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff60.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406938-1569357111/watcher-4406938-1569357111 -o /tmp/evaluation-result-4406938-1569357111/solver-4406938-1569357111 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569351215-14889 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1078152854 HOME/instance-4406938-1569357111.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7a954e9050bb3a994248d3527dd6cfee RANDOM SEED=1078152854 node151.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 : 5335.75 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 : 5335.75 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 : 5335.75 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23319968 kB MemAvailable: 31792508 kB Buffers: 102496 kB Cached: 8530080 kB SwapCached: 50724 kB Active: 2765736 kB Inactive: 5923512 kB Active(anon): 4936 kB Inactive(anon): 106076 kB Active(file): 2760800 kB Inactive(file): 5817436 kB Unevictable: 107680 kB Mlocked: 107680 kB SwapTotal: 67108860 kB SwapFree: 66956516 kB Dirty: 26088 kB Writeback: 0 kB AnonPages: 113752 kB Mapped: 54632 kB Shmem: 45980 kB Slab: 351796 kB SReclaimable: 322764 kB SUnreclaim: 29032 kB KernelStack: 3424 kB PageTables: 6308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514852 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 12388 MiB End job on node151 at 2019-09-24 22:31:22