Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 4.0.5 (2017-07-05) | OPT | 55 | 50.8556 | 6.96173 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml |
| MD5SUM | 1a91370fd3edda64a19224a97cd9d854 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 55 |
| Best CPU time to get the best result obtained on this benchmark | 11.9432 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 110 |
| Number of constraints | 48 |
| Number of domains | 2 |
| Minimum domain size | 500 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":500,"count":45},{"size":501,"count":10}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 11 |
| Distribution of variable degrees | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":10,"count":8},{"degree":11,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 45 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":45},{"arity":10,"count":1},{"arity":45,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 46 |
| Distribution of constraint types | [{"type":"intension","count":46},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246722-1500688019.xml" -tl '2400s' -p 8 -x 0 0.00/0.19 c [HOME/instance-4246722-1500688019.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.24 c 8 solvers in parallel 0.00/0.31 c parse instance... 0.00/0.65 c solve instance... 0.00/0.79 o 467 0.00/0.81 o 80 0.00/0.85 o 75 0.00/0.89 o 73 0.00/0.91 o 72 0.00/0.98 o 71 0.00/0.99 o 70 0.00/1.00 o 68 0.00/1.06 o 65 0.00/1.12 o 62 8.45/1.66 o 60 21.12/3.24 o 55 50.41/6.95 s OPTIMUM FOUND 50.41/6.95 v <instantiation> 50.41/6.95 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][6] y[5][7] y[5][8] y[5][9] y[6][7] y[6][8] y[6][9] y[7][8] y[7][9] y[8][9] </list> 50.41/6.95 v <values>0 1 6 10 23 26 34 41 53 55 1 6 10 23 26 34 41 53 55 5 9 22 25 33 40 52 54 4 17 20 28 35 47 49 13 16 24 31 43 45 3 11 18 30 32 8 15 27 29 7 19 21 12 14 2 </values> 50.41/6.95 v </instantiation>
OK 55
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246722-1500688019/watcher-4246722-1500688019 -o /tmp/evaluation-result-4246722-1500688019/solver-4246722-1500688019 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 461175870 HOME/instance-4246722-1500688019.xml pid=10855 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 15.90 15.96 15.70 9/274 10858 /proc/meminfo: memFree=31163296/32770624 swapFree=5900/257636 [pid=10858] ppid=10855 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10858/stat : 10858 (xcsp3-exec) S 10855 10858 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4068905 9740288 345 33554432000 4194304 5098028 140731769396080 140731769394184 140702612771452 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29876224 140731769398415 140731769398624 140731769398624 140731769401323 0 /proc/10858/statm: 2378 345 289 221 0 87 0 [startup+0.100073 s] /proc/loadavg: 15.90 15.96 15.70 9/274 10858 /proc/meminfo: memFree=31163296/32770624 swapFree=5900/257636 [pid=10858] ppid=10855 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10858/stat : 10858 (xcsp3-exec) S 10855 10858 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4068905 9740288 345 33554432000 4194304 5098028 140731769396080 140731769394184 140702612771452 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29876224 140731769398415 140731769398624 140731769398624 140731769401323 0 /proc/10858/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200355 s] /proc/loadavg: 15.90 15.96 15.70 9/274 10858 /proc/meminfo: memFree=31163296/32770624 swapFree=5900/257636 [pid=10858] ppid=10855 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10858/stat : 10858 (xcsp3-exec) S 10855 10858 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4068905 9740288 345 33554432000 4194304 5098028 140731769396080 140731769394184 140702612771452 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29876224 140731769398415 140731769398624 140731769398624 140731769401323 0 /proc/10858/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300247 s] /proc/loadavg: 15.90 15.96 15.70 9/274 10858 /proc/meminfo: memFree=31163296/32770624 swapFree=5900/257636 [pid=10858] ppid=10855 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10858/stat : 10858 (xcsp3-exec) S 10855 10858 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4068905 9740288 345 33554432000 4194304 5098028 140731769396080 140731769394184 140702612771452 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29876224 140731769398415 140731769398624 140731769398624 140731769401323 0 /proc/10858/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700207 s] /proc/loadavg: 15.90 15.96 15.70 9/274 10858 /proc/meminfo: memFree=31163296/32770624 swapFree=5900/257636 [pid=10858] ppid=10855 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10858/stat : 10858 (xcsp3-exec) S 10855 10858 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4068905 9740288 345 33554432000 4194304 5098028 140731769396080 140731769394184 140702612771452 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29876224 140731769398415 140731769398624 140731769398624 140731769401323 0 /proc/10858/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50115 s] /proc/loadavg: 15.90 15.96 15.70 21/303 10959 /proc/meminfo: memFree=30988716/32770624 swapFree=5900/257668 [pid=10858] ppid=10855 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10858/stat : 10858 (xcsp3-exec) S 10855 10858 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4068905 9740288 345 33554432000 4194304 5098028 140731769396080 140731769394184 140702612771452 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29876224 140731769398415 140731769398624 140731769398624 140731769401323 0 /proc/10858/statm: 2378 345 289 221 0 87 0 [pid=10859] ppid=10858 vsize=13934896 CPUtime=7.65 cores=1,3,5,7,9,11,13,15 /proc/10859/stat : 10859 (java) S 10858 10858 16913 0 -1 1077944320 19037 0 0 0 753 12 0 0 20 0 28 0 4068905 14269333504 48241 33554432000 4194304 4196468 140727211226080 140727211208624 140417681936119 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 /proc/10859/statm: 3483724 48241 3252 1 0 3470957 0 [pid=10859/tid=10860] ppid=10858 vsize=13934896 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10860/stat : 10860 (java) S 10858 10858 16913 0 -1 1077944384 6502 0 0 0 61 4 0 0 20 0 28 0 4068906 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417686176896 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10862] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10862/stat : 10862 (java) S 10858 10858 16913 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4068906 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417649494800 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10863] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10863/stat : 10863 (java) S 10858 10858 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4068906 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417279658896 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10864] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10864/stat : 10864 (java) S 10858 10858 16913 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4068906 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417278606352 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10865] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10865/stat : 10865 (java) S 10858 10858 16913 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4068906 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417277553808 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10866] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10866/stat : 10866 (java) S 10858 10858 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4068906 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417276500240 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10867] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10867/stat : 10867 (java) S 10858 10858 16913 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4068907 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417275447696 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10868] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10868/stat : 10868 (java) S 10858 10858 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4068907 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417274395152 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10869] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10869/stat : 10869 (java) S 10858 10858 16913 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4068907 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417273342608 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10870] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10870/stat : 10870 (java) S 10858 10858 16913 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4068909 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417144195568 140417681947266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10871] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10871/stat : 10871 (java) S 10858 10858 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4068909 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417143141792 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10872] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10872/stat : 10872 (java) S 10858 10858 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4068910 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417142089200 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10873] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10873/stat : 10873 (java) S 10858 10858 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4068913 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417141037776 140417681954715 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10874] ppid=10858 vsize=13934896 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10874/stat : 10874 (java) R 10858 10858 16913 0 -1 4202560 2349 0 0 0 69 0 0 0 20 0 28 0 4068913 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417139970128 140417660069700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10875] ppid=10858 vsize=13934896 CPUtime=0.77 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10875/stat : 10875 (java) R 10858 10858 16913 0 -1 4202560 1809 0 0 0 77 0 0 0 20 0 28 0 4068914 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417138924312 140417665432903 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10876] ppid=10858 vsize=13934896 CPUtime=0.79 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10876/stat : 10876 (java) R 10858 10858 16913 0 -1 4202560 2198 0 0 0 78 1 0 0 20 0 28 0 4068914 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417137865376 140417665323024 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10877] ppid=10858 vsize=13934896 CPUtime=0.63 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10877/stat : 10877 (java) R 10858 10858 16913 0 -1 4202560 2893 0 0 0 63 0 0 0 20 0 28 0 4068914 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417136826576 140417681957466 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10878] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10878/stat : 10878 (java) S 10858 10858 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4068914 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417135774432 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10879] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10879/stat : 10879 (java) S 10858 10858 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4068914 14269333504 48241 33554432000 4194304 4196468 140727211226080 140417134721968 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 Current children cumulated CPU time (s) 7.65 Current children cumulated vsize (KiB) 13944408 [startup+3.10159 s] /proc/loadavg: 15.90 15.96 15.70 20/303 10975 /proc/meminfo: memFree=30979724/32770624 swapFree=5900/257680 [pid=10858] ppid=10855 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10858/stat : 10858 (xcsp3-exec) S 10855 10858 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4068905 9740288 345 33554432000 4194304 5098028 140731769396080 140731769394184 140702612771452 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29876224 140731769398415 140731769398624 140731769398624 140731769401323 0 /proc/10858/statm: 2378 345 289 221 0 87 0 [pid=10859] ppid=10858 vsize=13934896 CPUtime=20.32 cores=1,3,5,7,9,11,13,15 /proc/10859/stat : 10859 (java) S 10858 10858 16913 0 -1 1077944320 21456 0 0 0 2019 13 0 0 20 0 28 0 4068905 14269333504 51955 33554432000 4194304 4196468 140727211226080 140727211208624 140417681936119 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 /proc/10859/statm: 3483724 51955 3266 1 0 3470957 0 [pid=10859/tid=10860] ppid=10858 vsize=13934896 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10860/stat : 10860 (java) S 10858 10858 16913 0 -1 1077944384 6502 0 0 0 61 4 0 0 20 0 28 0 4068906 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417686176896 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10862] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10862/stat : 10862 (java) S 10858 10858 16913 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4068906 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417649494800 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10863] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10863/stat : 10863 (java) S 10858 10858 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4068906 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417279658896 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10864] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10864/stat : 10864 (java) S 10858 10858 16913 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4068906 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417278606352 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10865] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10865/stat : 10865 (java) S 10858 10858 16913 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4068906 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417277553808 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10866] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10866/stat : 10866 (java) S 10858 10858 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4068906 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417276500240 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10867] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10867/stat : 10867 (java) S 10858 10858 16913 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4068907 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417275447696 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10868] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10868/stat : 10868 (java) S 10858 10858 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4068907 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417274395152 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10869] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10869/stat : 10869 (java) S 10858 10858 16913 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4068907 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417273342608 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10870] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10870/stat : 10870 (java) S 10858 10858 16913 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4068909 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417144195568 140417681947266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10871] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10871/stat : 10871 (java) S 10858 10858 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4068909 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417143141792 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10872] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10872/stat : 10872 (java) S 10858 10858 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4068910 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417142089200 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10873] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10873/stat : 10873 (java) S 10858 10858 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4068913 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417141037776 140417681954715 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10874] ppid=10858 vsize=13934896 CPUtime=1.94 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10874/stat : 10874 (java) R 10858 10858 16913 0 -1 4202560 3165 0 0 0 194 0 0 0 20 0 28 0 4068913 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417139970912 140417665420071 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10875] ppid=10858 vsize=13934896 CPUtime=2.04 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10875/stat : 10875 (java) R 10858 10858 16913 0 -1 4202560 2477 0 0 0 204 0 0 0 20 0 28 0 4068914 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417138917920 140417659721215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10876] ppid=10858 vsize=13934896 CPUtime=1.88 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10876/stat : 10876 (java) R 10858 10858 16913 0 -1 4202560 2602 0 0 0 187 1 0 0 20 0 28 0 4068914 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417137865568 140417659531137 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10877] ppid=10858 vsize=13934896 CPUtime=0.8 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10877/stat : 10877 (java) S 10858 10858 16913 0 -1 1077944384 3173 0 0 0 80 0 0 0 20 0 28 0 4068914 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417136826736 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10878] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10878/stat : 10878 (java) S 10858 10858 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4068914 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417135774432 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10879] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10879/stat : 10879 (java) S 10858 10858 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4068914 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417134721968 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10968] ppid=10858 vsize=13934896 CPUtime=0.93 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10968/stat : 10968 (java) R 10858 10858 16913 0 -1 4202560 32 0 0 0 93 0 0 0 20 0 28 0 4069071 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417121443784 140417324928282 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10969] ppid=10858 vsize=13934896 CPUtime=1.05 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10969/stat : 10969 (java) R 10858 10858 16913 0 -1 4202560 35 0 0 0 105 0 0 0 20 0 28 0 4069072 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417125654880 140417323792784 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10970] ppid=10858 vsize=13934896 CPUtime=0.84 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10970/stat : 10970 (java) R 10858 10858 16913 0 -1 4202560 32 0 0 0 84 0 0 0 20 0 28 0 4069072 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417119338312 140417666313239 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10971] ppid=10858 vsize=13934896 CPUtime=0.98 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10971/stat : 10971 (java) R 10858 10858 16913 0 -1 4202560 33 0 0 0 98 0 0 0 20 0 28 0 4069072 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417123549080 140417323286508 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10972] ppid=10858 vsize=13934896 CPUtime=0.94 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10972/stat : 10972 (java) R 10858 10858 16913 0 -1 4202560 27 0 0 0 94 0 0 0 20 0 28 0 4069072 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417118286424 140417322440695 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10973] ppid=10858 vsize=13934896 CPUtime=1.22 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10973/stat : 10973 (java) R 10858 10858 16913 0 -1 4202560 26 0 0 0 122 0 0 0 20 0 28 0 4069072 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417122496424 140417322650552 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10974] ppid=10858 vsize=13934896 CPUtime=1 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10974/stat : 10974 (java) R 10858 10858 16913 0 -1 4202560 29 0 0 0 100 0 0 0 20 0 28 0 4069072 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417117234016 140417323199640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10975] ppid=10858 vsize=13934896 CPUtime=0.99 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10975/stat : 10975 (java) R 10858 10858 16913 0 -1 4202560 35 0 0 0 99 0 0 0 20 0 28 0 4069072 14269333504 51955 33554432000 4194304 4196468 140727211226080 140417126707064 140417322440296 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 Current children cumulated CPU time (s) 20.32 Current children cumulated vsize (KiB) 13944408 [startup+6.30158 s] /proc/loadavg: 15.98 15.98 15.71 17/303 10983 /proc/meminfo: memFree=30953160/32770624 swapFree=5900/257680 [pid=10858] ppid=10855 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10858/stat : 10858 (xcsp3-exec) S 10855 10858 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4068905 9740288 345 33554432000 4194304 5098028 140731769396080 140731769394184 140702612771452 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29876224 140731769398415 140731769398624 140731769398624 140731769401323 0 /proc/10858/statm: 2378 345 289 221 0 87 0 [pid=10859] ppid=10858 vsize=13934896 CPUtime=45.69 cores=1,3,5,7,9,11,13,15 /proc/10859/stat : 10859 (java) S 10858 10858 16913 0 -1 1077944320 29841 0 0 0 4549 20 0 0 20 0 28 0 4068905 14269333504 55773 33554432000 4194304 4196468 140727211226080 140727211208624 140417681936119 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 /proc/10859/statm: 3483724 55773 3275 1 0 3470957 0 [pid=10859/tid=10860] ppid=10858 vsize=13934896 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10860/stat : 10860 (java) S 10858 10858 16913 0 -1 1077944384 6503 0 0 0 61 4 0 0 20 0 28 0 4068906 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417686176896 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10862] ppid=10858 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10862/stat : 10862 (java) S 10858 10858 16913 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 28 0 4068906 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417649494800 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10863] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10863/stat : 10863 (java) S 10858 10858 16913 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 4068906 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417279658896 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10864] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10864/stat : 10864 (java) S 10858 10858 16913 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 4068906 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417278606352 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10865] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10865/stat : 10865 (java) S 10858 10858 16913 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 4068906 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417277553808 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 ################ # More data... # ################ /proc/10859/task/10871/stat : 10871 (java) S 10858 10858 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4068909 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417143141856 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10872] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10872/stat : 10872 (java) S 10858 10858 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4068910 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417142089200 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10873] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10873/stat : 10873 (java) S 10858 10858 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4068913 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417141037776 140417681954715 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10874] ppid=10858 vsize=13934896 CPUtime=2.6 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10874/stat : 10874 (java) S 10858 10858 16913 0 -1 1077944384 4464 0 0 0 260 0 0 0 20 0 28 0 4068913 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417139984368 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10875] ppid=10858 vsize=13934896 CPUtime=2.59 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10875/stat : 10875 (java) S 10858 10858 16913 0 -1 1077944384 3907 0 0 0 258 1 0 0 20 0 28 0 4068914 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417138931824 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10876] ppid=10858 vsize=13934896 CPUtime=2.63 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10876/stat : 10876 (java) S 10858 10858 16913 0 -1 1077944384 4439 0 0 0 262 1 0 0 20 0 28 0 4068914 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417137879280 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10877] ppid=10858 vsize=13934896 CPUtime=0.89 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10877/stat : 10877 (java) S 10858 10858 16913 0 -1 1077944384 3585 0 0 0 88 1 0 0 20 0 28 0 4068914 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417136826736 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10878] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10878/stat : 10878 (java) S 10858 10858 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4068914 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417135774432 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10879] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10879/stat : 10879 (java) S 10858 10858 16913 0 -1 1077944384 593 0 0 0 0 0 0 0 20 0 28 0 4068914 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417134721968 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10976] ppid=10858 vsize=13934896 CPUtime=2.86 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10976/stat : 10976 (java) R 10858 10858 16913 0 -1 4202560 140 0 0 0 286 0 0 0 20 0 28 0 4069230 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417121443192 140417322441132 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10977] ppid=10858 vsize=13934896 CPUtime=2.91 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10977/stat : 10977 (java) R 10858 10858 16913 0 -1 4202560 156 0 0 0 291 0 0 0 20 0 28 0 4069230 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417122497128 140417318874094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10978] ppid=10858 vsize=13934896 CPUtime=2.85 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10978/stat : 10978 (java) R 10858 10858 16913 0 -1 4202560 138 0 0 0 285 0 0 0 20 0 28 0 4069230 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417119337592 140417323286606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10979] ppid=10858 vsize=13934896 CPUtime=2.93 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10979/stat : 10979 (java) R 10858 10858 16913 0 -1 4202560 207 0 0 0 293 0 0 0 20 0 28 0 4069230 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417125654008 140417324926822 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10980] ppid=10858 vsize=13934896 CPUtime=2.89 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10980/stat : 10980 (java) R 10858 10858 16913 0 -1 4202560 441 0 0 0 289 0 0 0 20 0 28 0 4069230 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417118285536 140417322650552 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10981] ppid=10858 vsize=13934896 CPUtime=2.97 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10981/stat : 10981 (java) R 10858 10858 16913 0 -1 4202560 167 0 0 0 297 0 0 0 20 0 28 0 4069230 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417117232560 140417325787683 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10982] ppid=10858 vsize=13934896 CPUtime=2.95 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10982/stat : 10982 (java) R 10858 10858 16913 0 -1 4202560 141 0 0 0 295 0 0 0 20 0 28 0 4069230 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417123549928 140417323335783 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10983] ppid=10858 vsize=13934896 CPUtime=2.77 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10983/stat : 10983 (java) R 10858 10858 16913 0 -1 4202560 141 0 0 0 277 0 0 0 20 0 28 0 4069230 14269333504 55773 33554432000 4194304 4196468 140727211226080 140417126707400 140417324370003 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 Current children cumulated CPU time (s) 46.49 Current children cumulated vsize (KiB) 13944408 [startup+6.80152 s] /proc/loadavg: 15.98 15.98 15.71 18/303 10983 /proc/meminfo: memFree=30951592/32770624 swapFree=5900/257680 [pid=10858] ppid=10855 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10858/stat : 10858 (xcsp3-exec) S 10855 10858 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4068905 9740288 345 33554432000 4194304 5098028 140731769396080 140731769394184 140702612771452 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29876224 140731769398415 140731769398624 140731769398624 140731769401323 0 /proc/10858/statm: 2378 345 289 221 0 87 0 [pid=10859] ppid=10858 vsize=13934896 CPUtime=49.61 cores=1,3,5,7,9,11,13,15 /proc/10859/stat : 10859 (java) S 10858 10858 16913 0 -1 1077944320 30732 0 0 0 4938 23 0 0 20 0 28 0 4068905 14269333504 57451 33554432000 4194304 4196468 140727211226080 140727211208624 140417681936119 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 /proc/10859/statm: 3483724 57451 3279 1 0 3470957 0 [pid=10859/tid=10860] ppid=10858 vsize=13934896 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10860/stat : 10860 (java) S 10858 10858 16913 0 -1 1077944384 6503 0 0 0 61 4 0 0 20 0 28 0 4068906 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417686176896 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10862] ppid=10858 vsize=13934896 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10862/stat : 10862 (java) S 10858 10858 16913 0 -1 1077944384 217 0 0 0 1 1 0 0 20 0 28 0 4068906 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417649494800 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10863] ppid=10858 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10863/stat : 10863 (java) S 10858 10858 16913 0 -1 1077944384 23 0 0 0 0 1 0 0 20 0 28 0 4068906 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417279658896 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10864] ppid=10858 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10864/stat : 10864 (java) S 10858 10858 16913 0 -1 1077944384 35 0 0 0 0 1 0 0 20 0 28 0 4068906 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417278606352 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10865] ppid=10858 vsize=13934896 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10865/stat : 10865 (java) S 10858 10858 16913 0 -1 1077944384 81 0 0 0 1 1 0 0 20 0 28 0 4068906 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417277553808 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10866] ppid=10858 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10866/stat : 10866 (java) S 10858 10858 16913 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 28 0 4068906 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417276500240 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10867] ppid=10858 vsize=13934896 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10867/stat : 10867 (java) S 10858 10858 16913 0 -1 1077944384 70 0 0 0 1 1 0 0 20 0 28 0 4068907 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417275447696 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10868] ppid=10858 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10868/stat : 10868 (java) S 10858 10858 16913 0 -1 1077944384 18 0 0 0 0 1 0 0 20 0 28 0 4068907 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417274395152 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10869] ppid=10858 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10869/stat : 10869 (java) S 10858 10858 16913 0 -1 1077944384 759 0 0 0 1 0 0 0 20 0 28 0 4068907 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417273342608 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10870] ppid=10858 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10870/stat : 10870 (java) S 10858 10858 16913 0 -1 1077944384 300 0 0 0 1 0 0 0 20 0 28 0 4068909 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417144195568 140417681947266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10871] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10871/stat : 10871 (java) S 10858 10858 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4068909 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417143141856 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10872] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10872/stat : 10872 (java) S 10858 10858 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4068910 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417142089200 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10873] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10873/stat : 10873 (java) S 10858 10858 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4068913 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417141037776 140417681954715 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10874] ppid=10858 vsize=13934896 CPUtime=2.68 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10874/stat : 10874 (java) R 10858 10858 16913 0 -1 4202560 4665 0 0 0 268 0 0 0 20 0 28 0 4068913 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417139984664 140417666493569 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10875] ppid=10858 vsize=13934896 CPUtime=2.77 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10875/stat : 10875 (java) S 10858 10858 16913 0 -1 1077944384 4439 0 0 0 276 1 0 0 20 0 28 0 4068914 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417138931824 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10876] ppid=10858 vsize=13934896 CPUtime=2.66 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10876/stat : 10876 (java) S 10858 10858 16913 0 -1 1077944384 4443 0 0 0 265 1 0 0 20 0 28 0 4068914 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417137879280 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10877] ppid=10858 vsize=13934896 CPUtime=0.9 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10877/stat : 10877 (java) S 10858 10858 16913 0 -1 1077944384 3586 0 0 0 89 1 0 0 20 0 28 0 4068914 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417136826736 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10878] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10878/stat : 10878 (java) S 10858 10858 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4068914 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417135774432 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10879] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10879/stat : 10879 (java) S 10858 10858 16913 0 -1 1077944384 593 0 0 0 0 0 0 0 20 0 28 0 4068914 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417134721968 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10976] ppid=10858 vsize=13934896 CPUtime=3.21 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10976/stat : 10976 (java) R 10858 10858 16913 0 -1 4202560 141 0 0 0 321 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417121442656 140417322609679 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10977] ppid=10858 vsize=13934896 CPUtime=3.29 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10977/stat : 10977 (java) R 10858 10858 16913 0 -1 4202560 158 0 0 0 329 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417122496696 140417323336502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10978] ppid=10858 vsize=13934896 CPUtime=3.21 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10978/stat : 10978 (java) R 10858 10858 16913 0 -1 4202560 138 0 0 0 321 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417119338760 140417322440222 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10979] ppid=10858 vsize=13934896 CPUtime=3.3 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10979/stat : 10979 (java) R 10858 10858 16913 0 -1 4202560 207 0 0 0 330 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417125654888 140417323288878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10980] ppid=10858 vsize=13934896 CPUtime=3.25 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10980/stat : 10980 (java) R 10858 10858 16913 0 -1 4202560 460 0 0 0 325 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417118287568 140417322441132 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10981] ppid=10858 vsize=13934896 CPUtime=3.35 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10981/stat : 10981 (java) R 10858 10858 16913 0 -1 4202560 167 0 0 0 335 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417117233048 140417323288287 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10982] ppid=10858 vsize=13934896 CPUtime=3.19 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10982/stat : 10982 (java) R 10858 10858 16913 0 -1 4202560 141 0 0 0 319 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417123549128 140417323336570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10983] ppid=10858 vsize=13934896 CPUtime=3.11 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10983/stat : 10983 (java) R 10858 10858 16913 0 -1 4202560 141 0 0 0 311 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417126707560 140417323801266 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 Current children cumulated CPU time (s) 49.61 Current children cumulated vsize (KiB) 13944408 [startup+6.90151 s] /proc/loadavg: 15.98 15.98 15.71 18/303 10983 /proc/meminfo: memFree=30951592/32770624 swapFree=5900/257680 [pid=10858] ppid=10855 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10858/stat : 10858 (xcsp3-exec) S 10855 10858 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4068905 9740288 345 33554432000 4194304 5098028 140731769396080 140731769394184 140702612771452 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29876224 140731769398415 140731769398624 140731769398624 140731769401323 0 /proc/10858/statm: 2378 345 289 221 0 87 0 [pid=10859] ppid=10858 vsize=13934896 CPUtime=50.41 cores=1,3,5,7,9,11,13,15 /proc/10859/stat : 10859 (java) S 10858 10858 16913 0 -1 1077944320 30737 0 0 0 5018 23 0 0 20 0 28 0 4068905 14269333504 57451 33554432000 4194304 4196468 140727211226080 140727211208624 140417681936119 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 /proc/10859/statm: 3483724 57451 3279 1 0 3470957 0 [pid=10859/tid=10860] ppid=10858 vsize=13934896 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10860/stat : 10860 (java) S 10858 10858 16913 0 -1 1077944384 6503 0 0 0 61 4 0 0 20 0 28 0 4068906 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417686176896 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10862] ppid=10858 vsize=13934896 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10862/stat : 10862 (java) S 10858 10858 16913 0 -1 1077944384 217 0 0 0 1 1 0 0 20 0 28 0 4068906 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417649494800 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10863] ppid=10858 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10863/stat : 10863 (java) S 10858 10858 16913 0 -1 1077944384 23 0 0 0 0 1 0 0 20 0 28 0 4068906 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417279658896 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10864] ppid=10858 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10864/stat : 10864 (java) S 10858 10858 16913 0 -1 1077944384 35 0 0 0 0 1 0 0 20 0 28 0 4068906 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417278606352 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10865] ppid=10858 vsize=13934896 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10865/stat : 10865 (java) S 10858 10858 16913 0 -1 1077944384 81 0 0 0 1 1 0 0 20 0 28 0 4068906 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417277553808 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10866] ppid=10858 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10866/stat : 10866 (java) S 10858 10858 16913 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 28 0 4068906 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417276500240 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10867] ppid=10858 vsize=13934896 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10867/stat : 10867 (java) S 10858 10858 16913 0 -1 1077944384 70 0 0 0 1 1 0 0 20 0 28 0 4068907 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417275447696 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10868] ppid=10858 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10868/stat : 10868 (java) S 10858 10858 16913 0 -1 1077944384 18 0 0 0 0 1 0 0 20 0 28 0 4068907 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417274395152 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10869] ppid=10858 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10869/stat : 10869 (java) S 10858 10858 16913 0 -1 1077944384 759 0 0 0 1 0 0 0 20 0 28 0 4068907 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417273342608 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10870] ppid=10858 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10870/stat : 10870 (java) S 10858 10858 16913 0 -1 1077944384 300 0 0 0 1 0 0 0 20 0 28 0 4068909 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417144195568 140417681947266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10871] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10871/stat : 10871 (java) S 10858 10858 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4068909 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417143141856 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10872] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10872/stat : 10872 (java) S 10858 10858 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4068910 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417142089200 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10873] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10873/stat : 10873 (java) S 10858 10858 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4068913 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417141037776 140417681954715 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10874] ppid=10858 vsize=13934896 CPUtime=2.72 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10874/stat : 10874 (java) R 10858 10858 16913 0 -1 4202560 4670 0 0 0 272 0 0 0 20 0 28 0 4068913 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417139984664 140417663481315 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10875] ppid=10858 vsize=13934896 CPUtime=2.77 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10875/stat : 10875 (java) S 10858 10858 16913 0 -1 1077944384 4439 0 0 0 276 1 0 0 20 0 28 0 4068914 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417138931824 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10876] ppid=10858 vsize=13934896 CPUtime=2.67 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10876/stat : 10876 (java) S 10858 10858 16913 0 -1 1077944384 4443 0 0 0 266 1 0 0 20 0 28 0 4068914 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417137879280 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10877] ppid=10858 vsize=13934896 CPUtime=0.9 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10877/stat : 10877 (java) S 10858 10858 16913 0 -1 1077944384 3586 0 0 0 89 1 0 0 20 0 28 0 4068914 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417136826736 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10878] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10878/stat : 10878 (java) S 10858 10858 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4068914 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417135774432 140417681946325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10879] ppid=10858 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10879/stat : 10879 (java) S 10858 10858 16913 0 -1 1077944384 593 0 0 0 0 0 0 0 20 0 28 0 4068914 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417134721968 140417681947266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10976] ppid=10858 vsize=13934896 CPUtime=3.31 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10976/stat : 10976 (java) R 10858 10858 16913 0 -1 4202560 141 0 0 0 331 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417121443800 140417323287401 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10977] ppid=10858 vsize=13934896 CPUtime=3.39 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10977/stat : 10977 (java) R 10858 10858 16913 0 -1 4202560 158 0 0 0 339 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417122496696 140417325736320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10978] ppid=10858 vsize=13934896 CPUtime=3.27 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10978/stat : 10978 (java) R 10858 10858 16913 0 -1 4202560 138 0 0 0 327 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417119338760 140417322441223 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10979] ppid=10858 vsize=13934896 CPUtime=3.4 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10979/stat : 10979 (java) R 10858 10858 16913 0 -1 4202560 207 0 0 0 340 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417125654888 140417322440743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10980] ppid=10858 vsize=13934896 CPUtime=3.34 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10980/stat : 10980 (java) R 10858 10858 16913 0 -1 4202560 460 0 0 0 334 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417118287568 140417324994081 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10981] ppid=10858 vsize=13934896 CPUtime=3.45 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10981/stat : 10981 (java) R 10858 10858 16913 0 -1 4202560 167 0 0 0 345 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417117233048 140417322650173 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10982] ppid=10858 vsize=13934896 CPUtime=3.29 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10982/stat : 10982 (java) R 10858 10858 16913 0 -1 4202560 141 0 0 0 329 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417123549128 140417323482936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 [pid=10859/tid=10983] ppid=10858 vsize=13934896 CPUtime=3.21 cores=1,3,5,7,9,11,13,15 /proc/10859/task/10983/stat : 10983 (java) R 10858 10858 16913 0 -1 4202560 141 0 0 0 321 0 0 0 20 0 28 0 4069230 14269333504 57451 33554432000 4194304 4196468 140727211226080 140417126707560 140417324986368 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7290880 140727211234492 140727211234668 140727211234668 140727211237327 0 Current children cumulated CPU time (s) 50.41 Current children cumulated vsize (KiB) 13944408 Child status: 0 Real time (s): 6.96173 CPU time (s): 50.8556 CPU user time (s): 50.6105 CPU system time (s): 0.24505 CPU usage (%): 730.502 Max. virtual memory (cumulated for all children) (KiB): 13944408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 50.6105 system time used= 0.24505 maximum resident set size= 233396 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31613 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5487 involuntary context switches= 4800 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.093844 second user time and 0.096904 second system time The end
Begin job on node133 at 2017-07-22 03:47:00 IDJOB=4246722 IDBENCH=126224 IDSOLVER=2625 FILE ID=node133/4246722-1500688019 RUNJOBID= node133-1500682387-16945 PBS_JOBID= 20623321 Free space on /tmp= 62008 MiB SOLVER NAME= choco-solver 4.0.5 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-10-a3.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246722-1500688019/watcher-4246722-1500688019 -o /tmp/evaluation-result-4246722-1500688019/solver-4246722-1500688019 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 461175870 HOME/instance-4246722-1500688019.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 1a91370fd3edda64a19224a97cd9d854 RANDOM SEED=461175870 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 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 : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 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 : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 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 : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31164064 kB MemAvailable: 31323588 kB Buffers: 111240 kB Cached: 329396 kB SwapCached: 0 kB Active: 904876 kB Inactive: 266392 kB Active(anon): 733236 kB Inactive(anon): 8756 kB Active(file): 171640 kB Inactive(file): 257636 kB Unevictable: 5900 kB Mlocked: 5900 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7856 kB Writeback: 0 kB AnonPages: 746284 kB Mapped: 43044 kB Shmem: 8872 kB Slab: 126156 kB SReclaimable: 92164 kB SUnreclaim: 33992 kB KernelStack: 5056 kB PageTables: 6712 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1922056 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 632832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62000 MiB End job on node133 at 2017-07-22 03:47:07