Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 583 | 45.2032 | 8.99346 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff21.xml |
MD5SUM | 9ed96a9b02dc4e036934e9ef3088dc03 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 583 |
Best CPU time to get the best result obtained on this benchmark | 12.5314 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 323 |
Number of constraints | 319 |
Number of domains | 34 |
Minimum domain size | 31 |
Maximum domain size | 34 |
Distribution of domain sizes | [{"size":31,"count":24},{"size":32,"count":48},{"size":33,"count":108},{"size":34,"count":143}] |
Minimum variable degree | 2 |
Maximum variable degree | 54 |
Distribution of variable degrees | [{"degree":2,"count":318},{"degree":54,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":265},{"arity":5,"count":1},{"arity":6,"count":53}] |
Number of extensional constraints | 265 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":265},{"type":"ordered","count":1},{"type":"minimum","count":53}] |
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-4399798-1568713315.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399798-1568713315.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 3.35/1.01 c solve instance... 6.09/1.49 o 4062 6.63/1.52 o 1102 8.04/1.76 o 1067 9.32/1.90 o 1018 10.53/2.16 o 986 11.28/2.24 o 904 11.93/2.38 o 897 12.17/2.43 o 877 12.50/2.51 o 874 12.50/2.53 o 794 14.71/2.86 o 761 16.63/3.13 o 759 21.22/3.78 o 753 21.22/3.79 o 744 21.42/3.81 o 742 21.62/3.93 o 729 21.62/3.94 o 727 21.62/3.94 o 721 21.62/3.94 o 719 21.62/3.96 o 708 21.62/3.96 o 706 21.85/4.09 o 705 21.85/4.09 o 703 21.85/4.10 o 702 22.38/4.24 o 697 22.38/4.27 o 695 22.38/4.28 o 694 22.38/4.30 o 692 22.74/4.41 o 691 23.25/4.54 o 688 23.25/4.55 o 686 23.25/4.56 o 685 23.42/4.66 o 683 23.42/4.68 o 682 23.67/4.78 o 676 23.67/4.79 o 674 23.85/4.80 o 663 24.04/4.91 o 661 24.04/4.91 o 660 24.04/4.92 o 658 24.22/5.03 o 657 24.47/5.13 o 656 32.88/6.23 o 655 32.88/6.26 o 654 33.36/6.35 o 649 33.36/6.36 o 647 33.36/6.37 o 646 33.52/6.45 o 644 33.52/6.46 o 643 33.83/6.54 o 633 33.83/6.55 o 631 33.83/6.56 o 625 33.83/6.58 o 623 34.04/6.66 o 612 34.04/6.66 o 610 34.04/6.67 o 609 34.17/6.75 o 607 34.17/6.76 o 606 34.47/6.84 o 605 34.47/6.85 o 604 34.47/6.86 o 602 34.62/6.91 o 601 34.62/6.98 o 600 34.62/6.99 o 599 39.24/7.60 o 597 39.24/7.61 o 595 39.35/7.70 o 594 39.35/7.70 o 592 39.35/7.79 o 591 39.65/7.87 o 590 39.83/7.95 o 589 39.95/8.02 o 587 39.95/8.09 o 586 40.18/8.18 o 585 40.47/8.29 o 584 41.46/8.47 o 583 45.06/8.97 s OPTIMUM FOUND 45.06/8.97 v <instantiation> 45.06/8.97 v <list>x[0] x[1] x[2] x[3] x[4] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[39][0] drd[39][1] drd[39][2] drd[39][3] drd[39][4] drd[40][0] drd[40][1] drd[40][2] drd[40][3] drd[40][4] drd[41][0] drd[41][1] drd[41][2] drd[41][3] drd[41][4] drd[42][0] drd[42][1] drd[42][2] drd[42][3] drd[42][4] drd[43][0] drd[43][1] drd[43][2] drd[43][3] drd[43][4] drd[44][0] drd[44][1] drd[44][2] drd[44][3] drd[44][4] drd[45][0] drd[45][1] drd[45][2] drd[45][3] drd[45][4] drd[46][0] drd[46][1] drd[46][2] drd[46][3] drd[46][4] drd[47][0] drd[47][1] drd[47][2] drd[47][3] drd[47][4] drd[48][0] drd[48][1] drd[48][2] drd[48][3] drd[48][4] drd[49][0] drd[49][1] drd[49][2] drd[49][3] drd[49][4] drd[50][0] drd[50][1] drd[50][2] drd[50][3] drd[50][4] drd[51][0] drd[51][1] drd[51][2] drd[51][3] drd[51][4] drd[52][0] drd[52][1] drd[52][2] drd[52][3] drd[52][4] 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] dr[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] dr[39] dr[40] dr[41] dr[42] dr[43] dr[44] dr[45] dr[46] dr[47] dr[48] dr[49] dr[50] dr[51] dr[52] </list> 45.06/8.97 v <values>15 52 113 204 277 1 38 99 190 263 1 38 99 190 263 91 54 7 98 171 91 54 7 98 171 36 1 62 153 226 36 1 62 153 226 118 81 20 71 144 118 81 20 71 144 52 15 46 137 210 52 15 46 137 210 11 26 87 178 251 12 25 86 177 250 127 90 29 62 135 0 37 98 189 262 0 37 98 189 262 189 152 91 0 73 188 151 90 1 74 262 225 164 73 0 262 225 164 73 0 35 2 63 154 227 35 2 63 154 227 43 6 55 146 219 42 5 56 147 220 4 41 102 193 266 301 264 203 112 39 42 5 56 147 220 70 33 28 119 192 234 197 136 45 28 29 8 69 160 233 138 101 40 51 124 208 171 110 19 54 208 171 110 19 54 15 52 113 204 277 15 52 113 204 277 30 7 68 159 232 30 7 68 159 232 67 30 31 122 195 260 223 162 71 2 28 9 70 161 234 15 22 83 174 247 15 22 83 174 247 37 0 61 152 225 37 0 61 152 225 179 142 81 10 83 88 51 10 101 174 98 61 0 91 164 98 61 0 91 164 140 103 42 49 122 140 103 42 49 122 43 6 55 146 219 43 6 55 146 219 95 58 3 94 167 95 58 3 94 167 1 1 7 7 1 1 20 20 15 15 11 12 29 0 0 0 1 0 0 2 2 6 5 4 39 5 28 28 8 40 19 19 15 15 7 7 30 2 9 15 15 0 0 10 10 0 0 42 42 6 6 3 3 </values> 45.06/8.97 v </instantiation>
OK 583
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 (15122 MiB free) memory of node 1: 16384 MiB (15327 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399798-1568713315/watcher-4399798-1568713315 -o /tmp/evaluation-result-4399798-1568713315/solver-4399798-1568713315 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568709526-22615 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1029683641 HOME/instance-4399798-1568713315.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 solver pid=25728, runsolver pid=25725 Current StackSize limit: 8192 KiB [startup+0.100114 s]* /proc/loadavg: 7.03 7.85 8.12 3/211 25749 /proc/meminfo: memFree=31164504/32770624 swapFree=66939876/67108860 [pid=25728] ppid=25725 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25728/stat : 25728 (xcsp3-exec) S 25725 25728 22588 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447589680 115843072 363 33554432000 4194304 5098028 140727386841440 140727386839544 140401900327548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32243712 140727386850165 140727386850409 140727386850409 140727386853322 0 /proc/25728/statm: 28282 363 304 221 0 87 0 [pid=25730] ppid=25728 vsize=28227396 memory=28984 CPUtime=0.12 cores=0-7 /proc/25730/stat : 25730 (java) S 25728 25728 22588 0 -1 1077944320 5659 0 0 0 11 1 0 0 20 0 20 0 447589680 28904853504 7246 33554432000 4194304 4196468 140722209166352 140722209148896 140336325041911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 /proc/25730/statm: 7056849 7246 3161 1 0 7019032 0 [pid=25730/tid=25731] ppid=25728 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/25730/task/25731/stat : 25731 (java) R 25728 25728 22588 0 -1 4202560 3605 0 0 0 8 0 0 0 20 0 20 0 447589680 28904853504 7246 33554432000 4194304 4196468 140722209166352 140336329278336 140336309085541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25732] ppid=25728 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/25730/task/25732/stat : 25732 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 7246 33554432000 4194304 4196468 140722209166352 140335876529040 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25733] ppid=25728 vsize=28227396 memory=140096301549184 CPUtime=0 cores=0-7 /proc/25730/task/25733/stat : 25733 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 7246 33554432000 4194304 4196468 140722209166352 140335875476240 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25734] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25734/stat : 25734 (java) S 25728 25728 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 7246 33554432000 4194304 4196468 140722209166352 140335874423952 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25735] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25735/stat : 25735 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 7246 33554432000 4194304 4196468 140722209166352 140335873371152 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25736] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25736/stat : 25736 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 7246 33554432000 4194304 4196468 140722209166352 140335872317840 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25737] ppid=25728 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25730/task/25737/stat : 25737 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 7246 33554432000 4194304 4196468 140722209166352 140335871265040 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25738] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25738/stat : 25738 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 7246 33554432000 4194304 4196468 140722209166352 140335870212752 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25739] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25739/stat : 25739 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 7246 33554432000 4194304 4196468 140722209166352 140335869159952 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25740] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25740/stat : 25740 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589682 28904853504 7246 33554432000 4194304 4196468 140722209166352 140335041632880 140336325053058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25741] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25741/stat : 25741 (java) S 25728 25728 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447589683 28904853504 7246 33554432000 4194304 4196468 140722209166352 140335040578848 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25742] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25742/stat : 25742 (java) S 25728 25728 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447589683 28904853504 7246 33554432000 4194304 4196468 140722209166352 140335039526512 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25743] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25743/stat : 25743 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447589686 28904853504 7246 33554432000 4194304 4196468 140722209166352 140335038474832 140336325060507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25744] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25744/stat : 25744 (java) S 25728 25728 22588 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 447589686 28904853504 7246 33554432000 4194304 4196468 140722209166352 140334969383024 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25745] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25745/stat : 25745 (java) S 25728 25728 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447589686 28904853504 7246 33554432000 4194304 4196468 140722209166352 140334968330224 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25746] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25746/stat : 25746 (java) R 25728 25728 22588 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 447589686 28904853504 7246 33554432000 4194304 4196468 140722209166352 140334967277936 140336318026953 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25747] ppid=25728 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25730/task/25747/stat : 25747 (java) R 25728 25728 22588 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 20 0 447589686 28904853504 7246 33554432000 4194304 4196468 140722209166352 140334966225136 140336325053846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25748] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25748/stat : 25748 (java) S 25728 25728 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447589686 28904853504 7246 33554432000 4194304 4196468 140722209166352 140334965173088 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25749] ppid=25728 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25730/task/25749/stat : 25749 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447589686 28904853504 7246 33554432000 4194304 4196468 140722209166352 140334964120368 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30436 KiB [startup+0.210376 s]* /proc/loadavg: 7.03 7.85 8.12 3/211 25749 /proc/meminfo: memFree=31151276/32770624 swapFree=66939876/67108860 [pid=25728] ppid=25725 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25728/stat : 25728 (xcsp3-exec) S 25725 25728 22588 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447589680 115843072 363 33554432000 4194304 5098028 140727386841440 140727386839544 140401900327548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32243712 140727386850165 140727386850409 140727386850409 140727386853322 0 /proc/25728/statm: 28282 363 304 221 0 87 0 [pid=25730] ppid=25728 vsize=28227396 memory=41164 CPUtime=0.34 cores=0-7 /proc/25730/stat : 25730 (java) S 25728 25728 22588 0 -1 1077944320 9541 0 0 0 32 2 0 0 20 0 20 0 447589680 28904853504 10291 33554432000 4194304 4196468 140722209166352 140722209148896 140336325041911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 /proc/25730/statm: 7056849 10291 3310 1 0 7019032 0 [pid=25730/tid=25731] ppid=25728 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/25730/task/25731/stat : 25731 (java) R 25728 25728 22588 0 -1 4202560 6631 0 0 0 18 2 0 0 20 0 20 0 447589680 28904853504 10291 33554432000 4194304 4196468 140722209166352 140336329275360 140336325053846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25732] ppid=25728 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/25730/task/25732/stat : 25732 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 10291 33554432000 4194304 4196468 140722209166352 140335876529040 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25733] ppid=25728 vsize=28227396 memory=140096304722985 CPUtime=0 cores=0-7 /proc/25730/task/25733/stat : 25733 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 10291 33554432000 4194304 4196468 140722209166352 140335875476240 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25734] ppid=25728 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25730/task/25734/stat : 25734 (java) S 25728 25728 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 10291 33554432000 4194304 4196468 140722209166352 140335874423952 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25735] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25735/stat : 25735 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 10291 33554432000 4194304 4196468 140722209166352 140335873371152 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25736] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25736/stat : 25736 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 10291 33554432000 4194304 4196468 140722209166352 140335872317840 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25737] ppid=25728 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25730/task/25737/stat : 25737 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 10291 33554432000 4194304 4196468 140722209166352 140335871265040 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25738] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25738/stat : 25738 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 10291 33554432000 4194304 4196468 140722209166352 140335870212752 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25739] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25739/stat : 25739 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589681 28904853504 10291 33554432000 4194304 4196468 140722209166352 140335869159952 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25740] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25740/stat : 25740 (java) S 25728 25728 22588 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447589682 28904853504 10291 33554432000 4194304 4196468 140722209166352 140335041632880 140336325053058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25741] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25741/stat : 25741 (java) S 25728 25728 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447589683 28904853504 10291 33554432000 4194304 4196468 140722209166352 140335040578848 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25742] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25742/stat : 25742 (java) S 25728 25728 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447589683 28904853504 10291 33554432000 4194304 4196468 140722209166352 140335039526512 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25743] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25743/stat : 25743 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447589686 28904853504 10291 33554432000 4194304 4196468 140722209166352 140335038474832 140336325060507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25744] ppid=25728 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25730/task/25744/stat : 25744 (java) R 25728 25728 22588 0 -1 4202560 680 0 0 0 1 0 0 0 20 0 20 0 447589686 28904853504 10291 33554432000 4194304 4196468 140722209166352 140334969383024 140336309355128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25745] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25745/stat : 25745 (java) S 25728 25728 22588 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 447589686 28904853504 10291 33554432000 4194304 4196468 140722209166352 140334968330224 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25746] ppid=25728 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/25730/task/25746/stat : 25746 (java) R 25728 25728 22588 0 -1 4202560 184 0 0 0 2 0 0 0 20 0 20 0 447589686 28904853504 10291 33554432000 4194304 4196468 140722209166352 140334967277936 140336325053058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25747] ppid=25728 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/25730/task/25747/stat : 25747 (java) R 25728 25728 22588 0 -1 4202560 721 0 0 0 8 0 0 0 20 0 20 0 447589686 28904853504 10291 33554432000 4194304 4196468 140722209166352 140334966225136 140336303142584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25748] ppid=25728 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25748/stat : 25748 (java) S 25728 25728 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447589686 28904853504 10291 33554432000 4194304 4196468 140722209166352 140334965173088 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25749] ppid=25728 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25730/task/25749/stat : 25749 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447589686 28904853504 10291 33554432000 4194304 4196468 140722209166352 140334964120368 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42616 KiB [startup+0.313289 s]* /proc/loadavg: 7.03 7.85 8.12 4/211 25749 /proc/meminfo: memFree=31143496/32770624 swapFree=66939876/67108860 [pid=25728] ppid=25725 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25728/stat : 25728 (xcsp3-exec) S 25725 25728 22588 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447589680 115843072 363 33554432000 4194304 5098028 140727386841440 140727386839544 140401900327548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32243712 140727386850165 140727386850409 140727386850409 140727386853322 0 /proc/25728/statm: 28282 363 304 221 0 87 0 [pid=25730] ppid=25728 vsize=28231652 memory=50328 CPUtime=0.53 cores=0-7 /proc/25730/stat : 25730 (java) S 25728 25728 22588 0 -1 1077944320 10963 0 0 0 50 3 0 0 20 0 20 0 447589680 28909211648 12582 33554432000 4194304 4196468 140722209166352 140722209148896 140336325041911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 /proc/25730/statm: 7057913 12582 3348 1 0 7019032 0 [pid=25730/tid=25731] ppid=25728 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/25730/task/25731/stat : 25731 (java) R 25728 25728 22588 0 -1 4202560 7832 0 0 0 27 2 0 0 20 0 20 0 447589680 28909211648 12582 33554432000 4194304 4196468 140722209166352 140336329273024 140336309122398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25732] ppid=25728 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25732/stat : 25732 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447589681 28909211648 12582 33554432000 4194304 4196468 140722209166352 140335876529040 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25733] ppid=25728 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25733/stat : 25733 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447589681 28909211648 12582 33554432000 4194304 4196468 140722209166352 140335875476240 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25734] ppid=25728 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25734/stat : 25734 (java) S 25728 25728 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447589681 28909211648 12582 33554432000 4194304 4196468 140722209166352 140335874423952 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25735] ppid=25728 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25735/stat : 25735 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589681 28909211648 12582 33554432000 4194304 4196468 140722209166352 140335873371152 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25736] ppid=25728 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25736/stat : 25736 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589681 28909211648 12582 33554432000 4194304 4196468 140722209166352 140335872317840 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25737] ppid=25728 vsize=28231652 memory=140096196143791 CPUtime=0 cores=0-7 /proc/25730/task/25737/stat : 25737 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589681 28909211648 12582 33554432000 4194304 4196468 140722209166352 140335871265040 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25738] ppid=25728 vsize=28231652 memory=140096196146096 CPUtime=0 cores=0-7 /proc/25730/task/25738/stat : 25738 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589681 28909211648 12582 33554432000 4194304 4196468 140722209166352 140335870212752 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25739] ppid=25728 vsize=28231652 memory=140096196148400 CPUtime=0 cores=0-7 /proc/25730/task/25739/stat : 25739 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447589681 28909211648 12582 33554432000 4194304 4196468 140722209166352 140335869159952 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25740] ppid=25728 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25740/stat : 25740 (java) S 25728 25728 22588 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447589682 28909211648 12582 33554432000 4194304 4196468 140722209166352 140335041632880 140336325053058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25741] ppid=25728 vsize=28231652 memory=280192392310672 CPUtime=0 cores=0-7 /proc/25730/task/25741/stat : 25741 (java) S 25728 25728 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447589683 28909211648 12582 33554432000 4194304 4196468 140722209166352 140335040578848 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25742] ppid=25728 vsize=28231652 memory=280192392308368 CPUtime=0 cores=0-7 /proc/25730/task/25742/stat : 25742 (java) S 25728 25728 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447589683 28909211648 12582 33554432000 4194304 4196468 140722209166352 140335039526512 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25743] ppid=25728 vsize=28231652 memory=280192392315280 CPUtime=0 cores=0-7 /proc/25730/task/25743/stat : 25743 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447589686 28909211648 12582 33554432000 4194304 4196468 140722209166352 140335038474832 140336325060507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25744] ppid=25728 vsize=28231652 memory=280192392256560 CPUtime=0.02 cores=0-7 /proc/25730/task/25744/stat : 25744 (java) S 25728 25728 22588 0 -1 1077944384 680 0 0 0 2 0 0 0 20 0 20 0 447589686 28909211648 12582 33554432000 4194304 4196468 140722209166352 140334969383024 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25745] ppid=25728 vsize=28231652 memory=280192392329104 CPUtime=0.03 cores=0-7 /proc/25730/task/25745/stat : 25745 (java) S 25728 25728 22588 0 -1 1077944384 131 0 0 0 3 0 0 0 20 0 20 0 447589686 28909211648 12582 33554432000 4194304 4196468 140722209166352 140334968330224 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25746] ppid=25728 vsize=28231652 memory=280192392336016 CPUtime=0.04 cores=0-7 /proc/25730/task/25746/stat : 25746 (java) S 25728 25728 22588 0 -1 1077944384 208 0 0 0 4 0 0 0 20 0 20 0 447589686 28909211648 12582 33554432000 4194304 4196468 140722209166352 140334967277936 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25747] ppid=25728 vsize=28231652 memory=280192392333712 CPUtime=0.13 cores=0-7 /proc/25730/task/25747/stat : 25747 (java) S 25728 25728 22588 0 -1 1077944384 804 0 0 0 13 0 0 0 20 0 20 0 447589686 28909211648 12582 33554432000 4194304 4196468 140722209166352 140334966225136 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25748] ppid=25728 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25748/stat : 25748 (java) S 25728 25728 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447589686 28909211648 12582 33554432000 4194304 4196468 140722209166352 140334965173088 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25749] ppid=25728 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/25730/task/25749/stat : 25749 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447589686 28909211648 12582 33554432000 4194304 4196468 140722209166352 140334964120368 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51780 KiB [startup+0.700982 s] /proc/loadavg: 7.03 7.85 8.12 2/211 25749 /proc/meminfo: memFree=31128412/32770624 swapFree=66939876/67108860 [pid=25728] ppid=25725 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25728/stat : 25728 (xcsp3-exec) S 25725 25728 22588 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447589680 115843072 363 33554432000 4194304 5098028 140727386841440 140727386839544 140401900327548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32243712 140727386850165 140727386850409 140727386850409 140727386853322 0 /proc/25728/statm: 28282 363 304 221 0 87 0 [pid=25730] ppid=25728 vsize=28233776 memory=109596 CPUtime=1.77 cores=0-7 /proc/25730/stat : 25730 (java) S 25728 25728 22588 0 -1 1077944320 15452 0 0 0 171 6 0 0 20 0 20 0 447589680 28911386624 27399 33554432000 4194304 4196468 140722209166352 140722209148896 140336325041911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 /proc/25730/statm: 7058444 27399 3458 1 0 7019544 0 [pid=25730/tid=25731] ppid=25728 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/25730/task/25731/stat : 25731 (java) R 25728 25728 22588 0 -1 4202560 9172 0 0 0 63 4 0 0 20 0 20 0 447589680 28911386624 27399 33554432000 4194304 4196468 140722209166352 140336329277904 140336325063837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25732] ppid=25728 vsize=28233776 memory=140096196354928 CPUtime=0 cores=0-7 /proc/25730/task/25732/stat : 25732 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447589681 28911386624 27399 33554432000 4194304 4196468 140722209166352 140335876529040 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25733] ppid=25728 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25733/stat : 25733 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447589681 28911386624 27399 33554432000 4194304 4196468 140722209166352 140335875476240 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25734] ppid=25728 vsize=28233776 memory=784 CPUtime=0 cores=0-7 /proc/25730/task/25734/stat : 25734 (java) S 25728 25728 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447589681 28911386624 27399 33554432000 4194304 4196468 140722209166352 140335874423952 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 ################ # More data... # ################ /proc/25730/task/26324/stat : 26324 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447590475 29459828736 169889 33554432000 4194304 4196468 140722209166352 140334949881296 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=26325] ppid=25728 vsize=28769364 memory=250594161903880 CPUtime=0 cores=0-7 /proc/25730/task/26325/stat : 26325 (java) S 25728 25728 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447590475 29459828736 169889 33554432000 4194304 4196468 140722209166352 140334947775824 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 Current children cumulated CPU time: 39.95 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 681008 KiB [startup+8.40105 s] /proc/loadavg: 7.19 7.87 8.13 2/219 26325 /proc/meminfo: memFree=30512244/32770624 swapFree=66939876/67108860 [pid=25728] ppid=25725 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25728/stat : 25728 (xcsp3-exec) S 25725 25728 22588 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447589680 115843072 363 33554432000 4194304 5098028 140727386841440 140727386839544 140401900327548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32243712 140727386850165 140727386850409 140727386850409 140727386853322 0 /proc/25728/statm: 28282 363 304 221 0 87 0 [pid=25730] ppid=25728 vsize=28769364 memory=736060 CPUtime=41.46 cores=0-7 /proc/25730/stat : 25730 (java) S 25728 25728 22588 0 -1 1077944320 54109 0 0 0 4062 84 0 0 20 0 28 0 447589680 29459828736 184015 33554432000 4194304 4196468 140722209166352 140722209148896 140336325041911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 /proc/25730/statm: 7192341 184015 3535 1 0 7153441 0 [pid=25730/tid=25731] ppid=25728 vsize=28769364 memory=0 CPUtime=1 cores=0-7 /proc/25730/task/25731/stat : 25731 (java) S 25728 25728 22588 0 -1 1077944384 9518 0 0 0 94 6 0 0 20 0 28 0 447589680 29459828736 184015 33554432000 4194304 4196468 140722209166352 140336329282688 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25732] ppid=25728 vsize=28769364 memory=280192393443392 CPUtime=0.15 cores=0-7 /proc/25730/task/25732/stat : 25732 (java) S 25728 25728 22588 0 -1 1077944384 240 0 0 0 9 6 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335876529040 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25733] ppid=25728 vsize=28769364 memory=140096196723968 CPUtime=0.14 cores=0-7 /proc/25730/task/25733/stat : 25733 (java) S 25728 25728 22588 0 -1 1077944384 1018 0 0 0 8 6 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335875476240 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25734] ppid=25728 vsize=28769364 memory=0 CPUtime=0.13 cores=0-7 /proc/25730/task/25734/stat : 25734 (java) S 25728 25728 22588 0 -1 1077944384 185 0 0 0 8 5 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335874423952 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25735] ppid=25728 vsize=28769364 memory=0 CPUtime=0.14 cores=0-7 /proc/25730/task/25735/stat : 25735 (java) S 25728 25728 22588 0 -1 1077944384 189 0 0 0 8 6 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335873371152 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25736] ppid=25728 vsize=28769364 memory=0 CPUtime=0.12 cores=0-7 /proc/25730/task/25736/stat : 25736 (java) S 25728 25728 22588 0 -1 1077944384 203 0 0 0 7 5 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335872317840 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25737] ppid=25728 vsize=28769364 memory=0 CPUtime=0.14 cores=0-7 /proc/25730/task/25737/stat : 25737 (java) S 25728 25728 22588 0 -1 1077944384 271 0 0 0 8 6 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335871265040 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25738] ppid=25728 vsize=28769364 memory=0 CPUtime=0.13 cores=0-7 /proc/25730/task/25738/stat : 25738 (java) S 25728 25728 22588 0 -1 1077944384 175 0 0 0 8 5 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335870212752 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25739] ppid=25728 vsize=28769364 memory=8976414709404591081 CPUtime=0.15 cores=0-7 /proc/25730/task/25739/stat : 25739 (java) S 25728 25728 22588 0 -1 1077944384 165 0 0 0 9 6 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335869159952 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25740] ppid=25728 vsize=28769364 memory=6944656592455097440 CPUtime=0.02 cores=0-7 /proc/25730/task/25740/stat : 25740 (java) S 25728 25728 22588 0 -1 1077944384 850 0 0 0 2 0 0 0 20 0 28 0 447589682 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335041632880 140336325053058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25741] ppid=25728 vsize=28769364 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/25730/task/25741/stat : 25741 (java) S 25728 25728 22588 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 447589683 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335040578912 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25742] ppid=25728 vsize=28769364 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/25730/task/25742/stat : 25742 (java) S 25728 25728 22588 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 447589683 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335039526528 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25743] ppid=25728 vsize=28769364 memory=-3833726747341067623 CPUtime=0 cores=0-7 /proc/25730/task/25743/stat : 25743 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335038474832 140336325060507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25744] ppid=25728 vsize=28769364 memory=1452 CPUtime=2.57 cores=0-7 /proc/25730/task/25744/stat : 25744 (java) S 25728 25728 22588 0 -1 1077944384 7585 0 0 0 255 2 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334969383024 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25745] ppid=25728 vsize=28769364 memory=2116 CPUtime=2.28 cores=0-7 /proc/25730/task/25745/stat : 25745 (java) S 25728 25728 22588 0 -1 1077944384 7254 0 0 0 225 3 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334968330224 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25746] ppid=25728 vsize=28769364 memory=516 CPUtime=2.46 cores=0-7 /proc/25730/task/25746/stat : 25746 (java) S 25728 25728 22588 0 -1 1077944384 7496 0 0 0 244 2 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334967277936 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25747] ppid=25728 vsize=28769364 memory=1556 CPUtime=0.95 cores=0-7 /proc/25730/task/25747/stat : 25747 (java) S 25728 25728 22588 0 -1 1077944384 5249 0 0 0 93 2 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334966225136 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25748] ppid=25728 vsize=28769364 memory=928 CPUtime=0 cores=0-7 /proc/25730/task/25748/stat : 25748 (java) S 25728 25728 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334965173088 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25749] ppid=25728 vsize=28769364 memory=1452 CPUtime=0 cores=0-7 /proc/25730/task/25749/stat : 25749 (java) S 25728 25728 22588 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334964120368 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 Current children cumulated CPU time: 41.46 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 737512 KiB [startup+8.80105 s] /proc/loadavg: 7.19 7.87 8.13 2/219 26325 /proc/meminfo: memFree=30512244/32770624 swapFree=66939876/67108860 [pid=25728] ppid=25725 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25728/stat : 25728 (xcsp3-exec) S 25725 25728 22588 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447589680 115843072 363 33554432000 4194304 5098028 140727386841440 140727386839544 140401900327548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32243712 140727386850165 140727386850409 140727386850409 140727386853322 0 /proc/25728/statm: 28282 363 304 221 0 87 0 [pid=25730] ppid=25728 vsize=28769364 memory=736060 CPUtime=44.37 cores=0-7 /proc/25730/stat : 25730 (java) S 25728 25728 22588 0 -1 1077944320 54258 0 0 0 4353 84 0 0 20 0 28 0 447589680 29459828736 184015 33554432000 4194304 4196468 140722209166352 140722209148896 140336325041911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 /proc/25730/statm: 7192341 184015 3535 1 0 7153441 0 [pid=25730/tid=25731] ppid=25728 vsize=28769364 memory=3624 CPUtime=1 cores=0-7 /proc/25730/task/25731/stat : 25731 (java) S 25728 25728 22588 0 -1 1077944384 9518 0 0 0 94 6 0 0 20 0 28 0 447589680 29459828736 184015 33554432000 4194304 4196468 140722209166352 140336329282688 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25732] ppid=25728 vsize=28769364 memory=6791534058613427641 CPUtime=0.15 cores=0-7 /proc/25730/task/25732/stat : 25732 (java) S 25728 25728 22588 0 -1 1077944384 240 0 0 0 9 6 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335876529040 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25733] ppid=25728 vsize=28769364 memory=4000 CPUtime=0.14 cores=0-7 /proc/25730/task/25733/stat : 25733 (java) S 25728 25728 22588 0 -1 1077944384 1018 0 0 0 8 6 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335875476240 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25734] ppid=25728 vsize=28769364 memory=616 CPUtime=0.13 cores=0-7 /proc/25730/task/25734/stat : 25734 (java) S 25728 25728 22588 0 -1 1077944384 185 0 0 0 8 5 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335874423952 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25735] ppid=25728 vsize=28769364 memory=2832 CPUtime=0.14 cores=0-7 /proc/25730/task/25735/stat : 25735 (java) S 25728 25728 22588 0 -1 1077944384 189 0 0 0 8 6 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335873371152 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25736] ppid=25728 vsize=28769364 memory=1624 CPUtime=0.12 cores=0-7 /proc/25730/task/25736/stat : 25736 (java) S 25728 25728 22588 0 -1 1077944384 203 0 0 0 7 5 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335872317840 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25737] ppid=25728 vsize=28769364 memory=1136 CPUtime=0.14 cores=0-7 /proc/25730/task/25737/stat : 25737 (java) S 25728 25728 22588 0 -1 1077944384 271 0 0 0 8 6 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335871265040 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25738] ppid=25728 vsize=28769364 memory=1072 CPUtime=0.13 cores=0-7 /proc/25730/task/25738/stat : 25738 (java) S 25728 25728 22588 0 -1 1077944384 175 0 0 0 8 5 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335870212752 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25739] ppid=25728 vsize=28769364 memory=6044 CPUtime=0.15 cores=0-7 /proc/25730/task/25739/stat : 25739 (java) S 25728 25728 22588 0 -1 1077944384 165 0 0 0 9 6 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335869159952 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25740] ppid=25728 vsize=28769364 memory=784 CPUtime=0.02 cores=0-7 /proc/25730/task/25740/stat : 25740 (java) S 25728 25728 22588 0 -1 1077944384 850 0 0 0 2 0 0 0 20 0 28 0 447589682 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335041632880 140336325053058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25741] ppid=25728 vsize=28769364 memory=1060 CPUtime=0 cores=0-7 /proc/25730/task/25741/stat : 25741 (java) S 25728 25728 22588 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 447589683 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335040578912 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25742] ppid=25728 vsize=28769364 memory=14012 CPUtime=0 cores=0-7 /proc/25730/task/25742/stat : 25742 (java) S 25728 25728 22588 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 447589683 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335039526528 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25743] ppid=25728 vsize=28769364 memory=15632 CPUtime=0 cores=0-7 /proc/25730/task/25743/stat : 25743 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335038474832 140336325060507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25744] ppid=25728 vsize=28769364 memory=14056 CPUtime=2.59 cores=0-7 /proc/25730/task/25744/stat : 25744 (java) R 25728 25728 22588 0 -1 4202560 7585 0 0 0 257 2 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334969369568 140336306564991 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25745] ppid=25728 vsize=28769364 memory=2116 CPUtime=2.3 cores=0-7 /proc/25730/task/25745/stat : 25745 (java) S 25728 25728 22588 0 -1 1077944384 7261 0 0 0 227 3 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334968330224 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25746] ppid=25728 vsize=28769364 memory=516 CPUtime=2.48 cores=0-7 /proc/25730/task/25746/stat : 25746 (java) S 25728 25728 22588 0 -1 1077944384 7498 0 0 0 246 2 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334967277936 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25747] ppid=25728 vsize=28769364 memory=1556 CPUtime=0.95 cores=0-7 /proc/25730/task/25747/stat : 25747 (java) S 25728 25728 22588 0 -1 1077944384 5249 0 0 0 93 2 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334966225136 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25748] ppid=25728 vsize=28769364 memory=928 CPUtime=0 cores=0-7 /proc/25730/task/25748/stat : 25748 (java) S 25728 25728 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334965173088 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25749] ppid=25728 vsize=28769364 memory=1772 CPUtime=0 cores=0-7 /proc/25730/task/25749/stat : 25749 (java) S 25728 25728 22588 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334964120368 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 Current children cumulated CPU time: 44.37 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 737512 KiB [startup+8.90109 s] /proc/loadavg: 7.19 7.87 8.13 2/219 26325 /proc/meminfo: memFree=30512244/32770624 swapFree=66939876/67108860 [pid=25728] ppid=25725 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25728/stat : 25728 (xcsp3-exec) S 25725 25728 22588 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447589680 115843072 363 33554432000 4194304 5098028 140727386841440 140727386839544 140401900327548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32243712 140727386850165 140727386850409 140727386850409 140727386853322 0 /proc/25728/statm: 28282 363 304 221 0 87 0 [pid=25730] ppid=25728 vsize=28769364 memory=736060 CPUtime=45.06 cores=0-7 /proc/25730/stat : 25730 (java) S 25728 25728 22588 0 -1 1077944320 54313 0 0 0 4422 84 0 0 20 0 28 0 447589680 29459828736 184015 33554432000 4194304 4196468 140722209166352 140722209148896 140336325041911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 /proc/25730/statm: 7192341 184015 3535 1 0 7153441 0 [pid=25730/tid=25731] ppid=25728 vsize=28769364 memory=1452 CPUtime=1 cores=0-7 /proc/25730/task/25731/stat : 25731 (java) S 25728 25728 22588 0 -1 1077944384 9518 0 0 0 94 6 0 0 20 0 28 0 447589680 29459828736 184015 33554432000 4194304 4196468 140722209166352 140336329282688 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25732] ppid=25728 vsize=28769364 memory=712324 CPUtime=0.15 cores=0-7 /proc/25730/task/25732/stat : 25732 (java) S 25728 25728 22588 0 -1 1077944384 240 0 0 0 9 6 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335876529040 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25733] ppid=25728 vsize=28769364 memory=56 CPUtime=0.14 cores=0-7 /proc/25730/task/25733/stat : 25733 (java) S 25728 25728 22588 0 -1 1077944384 1018 0 0 0 8 6 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335875476240 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25734] ppid=25728 vsize=28769364 memory=0 CPUtime=0.13 cores=0-7 /proc/25730/task/25734/stat : 25734 (java) S 25728 25728 22588 0 -1 1077944384 185 0 0 0 8 5 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335874423952 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25735] ppid=25728 vsize=28769364 memory=1452 CPUtime=0.14 cores=0-7 /proc/25730/task/25735/stat : 25735 (java) S 25728 25728 22588 0 -1 1077944384 189 0 0 0 8 6 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335873371152 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25736] ppid=25728 vsize=28769364 memory=562820 CPUtime=0.12 cores=0-7 /proc/25730/task/25736/stat : 25736 (java) S 25728 25728 22588 0 -1 1077944384 203 0 0 0 7 5 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335872317840 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25737] ppid=25728 vsize=28769364 memory=1452 CPUtime=0.14 cores=0-7 /proc/25730/task/25737/stat : 25737 (java) S 25728 25728 22588 0 -1 1077944384 271 0 0 0 8 6 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335871265040 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25738] ppid=25728 vsize=28769364 memory=477588 CPUtime=0.13 cores=0-7 /proc/25730/task/25738/stat : 25738 (java) S 25728 25728 22588 0 -1 1077944384 175 0 0 0 8 5 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335870212752 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25739] ppid=25728 vsize=28769364 memory=-3252517613198930781 CPUtime=0.15 cores=0-7 /proc/25730/task/25739/stat : 25739 (java) S 25728 25728 22588 0 -1 1077944384 165 0 0 0 9 6 0 0 20 0 28 0 447589681 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335869159952 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25740] ppid=25728 vsize=28769364 memory=56 CPUtime=0.02 cores=0-7 /proc/25730/task/25740/stat : 25740 (java) S 25728 25728 22588 0 -1 1077944384 850 0 0 0 2 0 0 0 20 0 28 0 447589682 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335041632880 140336325053058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25741] ppid=25728 vsize=28769364 memory=1899429 CPUtime=0 cores=0-7 /proc/25730/task/25741/stat : 25741 (java) S 25728 25728 22588 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 447589683 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335040578912 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25742] ppid=25728 vsize=28769364 memory=1900672 CPUtime=0 cores=0-7 /proc/25730/task/25742/stat : 25742 (java) S 25728 25728 22588 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 447589683 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335039526528 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25743] ppid=25728 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/25730/task/25743/stat : 25743 (java) S 25728 25728 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140335038474832 140336325060507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25744] ppid=25728 vsize=28769364 memory=1452 CPUtime=2.6 cores=0-7 /proc/25730/task/25744/stat : 25744 (java) S 25728 25728 22588 0 -1 1077944384 7585 0 0 0 258 2 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334969383024 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25745] ppid=25728 vsize=28769364 memory=735532 CPUtime=2.3 cores=0-7 /proc/25730/task/25745/stat : 25745 (java) S 25728 25728 22588 0 -1 1077944384 7261 0 0 0 227 3 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334968330224 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25746] ppid=25728 vsize=28769364 memory=6944652177228980320 CPUtime=2.48 cores=0-7 /proc/25730/task/25746/stat : 25746 (java) S 25728 25728 22588 0 -1 1077944384 7498 0 0 0 246 2 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334967277936 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25747] ppid=25728 vsize=28769364 memory=280192392174328 CPUtime=0.95 cores=0-7 /proc/25730/task/25747/stat : 25747 (java) S 25728 25728 22588 0 -1 1077944384 5249 0 0 0 93 2 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334966225136 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25748] ppid=25728 vsize=28769364 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/25730/task/25748/stat : 25748 (java) S 25728 25728 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334965173088 140336325052117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 [pid=25730/tid=25749] ppid=25728 vsize=28769364 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/25730/task/25749/stat : 25749 (java) S 25728 25728 22588 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 28 0 447589686 29459828736 184015 33554432000 4194304 4196468 140722209166352 140334964120368 140336325053058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11776000 140722209174506 140722209174678 140722209174678 140722209177551 0 Current children cumulated CPU time: 45.06 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 737512 KiB Child status: 0 Real time (s): 8.99346 CPU time (s): 45.2032 CPU user time (s): 44.3447 CPU system time (s): 0.858527 CPU usage (%): 502.623 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 737512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 44.3447 system time used= 0.858527 maximum resident set size= 737100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55053 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9747 involuntary context switches= 1022 # summary of solver processes directly reported to runsolver: # pid: 25728 # total CPU time (s): 45.2032 # total CPU user time (s): 44.3447 # total CPU system time (s): 0.858527 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.076944 second user time and 0.147397 second system time The end
Begin job on node105 at 2019-09-17 10:40:18 IDJOB=4399798 IDBENCH=138353 IDSOLVER=2854 FILE ID=node105/4399798-1568713315 RUNJOBID= node105-1568709526-22615 PBS_JOBID= 21703944 Free space on /tmp= 61004 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff21.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-4399798-1568713315/watcher-4399798-1568713315 -o /tmp/evaluation-result-4399798-1568713315/solver-4399798-1568713315 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568709526-22615 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1029683641 HOME/instance-4399798-1568713315.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9ed96a9b02dc4e036934e9ef3088dc03 RANDOM SEED=1029683641 node105.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.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31181116 kB MemAvailable: 31844816 kB Buffers: 185656 kB Cached: 778360 kB SwapCached: 65548 kB Active: 542788 kB Inactive: 488480 kB Active(anon): 8092 kB Inactive(anon): 103456 kB Active(file): 534696 kB Inactive(file): 385024 kB Unevictable: 109028 kB Mlocked: 109028 kB SwapTotal: 67108860 kB SwapFree: 66939876 kB Dirty: 26444 kB Writeback: 0 kB AnonPages: 112180 kB Mapped: 44180 kB Shmem: 35668 kB Slab: 148340 kB SReclaimable: 119628 kB SUnreclaim: 28712 kB KernelStack: 3376 kB PageTables: 5160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497892 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60980 MiB End job on node105 at 2019-09-17 10:40:27