Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 54 | 611.401 | 110.286 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-10.xml |
MD5SUM | e31de29e6699e81a7472a47d1439bb7a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 54 |
Best CPU time to get the best result obtained on this benchmark | 18.4594 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 301 |
Number of constraints | 208 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 289 |
Distribution of domain sizes | [{"size":2,"count":144},{"size":3,"count":144},{"size":101,"count":1},{"size":289,"count":12}] |
Minimum variable degree | 1 |
Maximum variable degree | 13 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":141},{"degree":3,"count":15},{"degree":4,"count":40},{"degree":8,"count":36},{"degree":9,"count":64},{"degree":13,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 14 |
Distribution of constraint arities | [{"arity":2,"count":52},{"arity":3,"count":40},{"arity":10,"count":100},{"arity":12,"count":4},{"arity":13,"count":1},{"arity":14,"count":11}] |
Number of extensional constraints | 140 |
Number of intensional constraints | 51 |
Distribution of constraint types | [{"type":"extension","count":140},{"type":"intension","count":51},{"type":"sum","count":13},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394403-1568418729.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394403-1568418729.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 3.09/1.03 c solve instance... 4.30/1.22 o 0 4.30/1.23 o 4 4.30/1.24 o 6 4.30/1.26 o 8 4.99/1.31 o 25 4.99/1.32 o 26 4.99/1.34 o 27 5.75/1.41 o 31 5.75/1.45 o 32 5.75/1.48 o 33 9.66/1.98 o 36 11.16/2.15 o 37 11.16/2.16 o 38 14.92/2.72 o 39 23.30/3.86 o 40 32.51/5.09 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (86/90) 33.85/5.22 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 33.85/5.22 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 33.85/5.22 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 33.85/5.22 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 33.85/5.22 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 33.85/5.22 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (86/90) 33.85/5.22 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 33.85/5.22 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 33.85/5.22 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 33.85/5.22 at org.chocosolver.solver.Solver.repair(Solver.java:443) 33.85/5.22 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 33.85/5.22 at org.chocosolver.solver.Solver.solve(Solver.java:262) 33.85/5.22 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 33.85/5.22 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 33.85/5.22 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 33.85/5.22 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 33.85/5.22 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 33.85/5.22 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 33.85/5.22 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 33.85/5.22 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 33.85/5.22 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 33.85/5.22 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 33.85/5.22 o 41 35.45/6.81 o 42 35.77/7.07 o 43 53.41/9.39 o 44 71.39/11.76 o 45 82.70/14.45 o 46 83.98/14.90 o 47 127.72/23.01 o 48 144.20/33.34 o 49 150.55/34.32 o 50 173.51/37.84 o 51 209.33/42.95 o 52 253.87/49.63 o 53 539.08/97.22 o 54 611.30/110.26 s OPTIMUM FOUND 611.30/110.26 v <instantiation> 611.30/110.26 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] z </list> 611.30/110.26 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 3 5 6 9 11 12 14 15 20 20 21 24 54 </values> 611.30/110.26 v </instantiation>
OK 54
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 (14744 MiB free) memory of node 1: 16384 MiB (15171 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394403-1568418729/watcher-4394403-1568418729 -o /tmp/evaluation-result-4394403-1568418729/solver-4394403-1568418729 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1450637892 HOME/instance-4394403-1568418729.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=13962, runsolver pid=13959 [startup+0.100107 s]* /proc/loadavg: 7.66 6.54 4.04 2/211 13983 /proc/meminfo: memFree=30618696/32770624 swapFree=66997532/67108860 [pid=13962] ppid=13959 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13962/stat : 13962 (xcsp3-exec) S 13959 13962 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418127563 115843072 363 33554432000 4194304 5098028 140724359842592 140724359840696 140180963435132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10424320 140724359848821 140724359849065 140724359849065 140724359851978 0 /proc/13962/statm: 28282 363 305 221 0 87 0 [pid=13964] ppid=13962 vsize=28227388 memory=29376 CPUtime=0.12 cores=0-7 /proc/13964/stat : 13964 (java) S 13962 13962 12749 0 -1 1077944320 5736 0 0 0 11 1 0 0 20 0 20 0 418127563 28904845312 7344 33554432000 4194304 4196468 140733080043408 140733080025952 140457973882615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 /proc/13964/statm: 7056847 7344 3153 1 0 7019032 0 [pid=13964/tid=13965] ppid=13962 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/13964/task/13965/stat : 13965 (java) R 13962 13962 12749 0 -1 4202560 3661 0 0 0 8 0 0 0 20 0 20 0 418127563 28904845312 7344 33554432000 4194304 4196468 140733080043408 140457978115888 140457973904541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13966] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13966/stat : 13966 (java) S 13962 13962 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 7344 33554432000 4194304 4196468 140733080043408 140457926503056 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13967] ppid=13962 vsize=28227388 memory=288370599357212288 CPUtime=0 cores=0-7 /proc/13964/task/13967/stat : 13967 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 7344 33554432000 4194304 4196468 140733080043408 140457925450256 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13968] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13968/stat : 13968 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 7344 33554432000 4194304 4196468 140733080043408 140457924397456 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13969] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13969/stat : 13969 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 7344 33554432000 4194304 4196468 140733080043408 140457923344656 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13970] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13970/stat : 13970 (java) S 13962 13962 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 7344 33554432000 4194304 4196468 140733080043408 140457922292880 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13971] ppid=13962 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13964/task/13971/stat : 13971 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 7344 33554432000 4194304 4196468 140733080043408 140457921240080 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13972] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13972/stat : 13972 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 7344 33554432000 4194304 4196468 140733080043408 140457920187280 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13973] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13973/stat : 13973 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 7344 33554432000 4194304 4196468 140733080043408 140457919134480 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13974] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13974/stat : 13974 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127566 28904845312 7344 33554432000 4194304 4196468 140733080043408 140456639330672 140457973893762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13975] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13975/stat : 13975 (java) S 13962 13962 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418127566 28904845312 7344 33554432000 4194304 4196468 140733080043408 140456570643488 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13976] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13976/stat : 13976 (java) S 13962 13962 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418127566 28904845312 7344 33554432000 4194304 4196468 140733080043408 140456569590640 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13977] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13977/stat : 13977 (java) S 13962 13962 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418127569 28904845312 7344 33554432000 4194304 4196468 140733080043408 140456568538960 140457973901211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13978] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13978/stat : 13978 (java) S 13962 13962 12749 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 20 0 418127569 28904845312 7344 33554432000 4194304 4196468 140733080043408 140456567487344 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13979] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13979/stat : 13979 (java) S 13962 13962 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418127569 28904845312 7344 33554432000 4194304 4196468 140733080043408 140456566434544 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13980] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13980/stat : 13980 (java) S 13962 13962 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418127569 28904845312 7344 33554432000 4194304 4196468 140733080043408 140456565381744 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13981] ppid=13962 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/13964/task/13981/stat : 13981 (java) R 13962 13962 12749 0 -1 4202560 340 0 0 0 1 0 0 0 20 0 20 0 418127569 28904845312 7344 33554432000 4194304 4196468 140733080043408 140456564328944 140457952861484 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13982] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13982/stat : 13982 (java) S 13962 13962 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418127569 28904845312 7344 33554432000 4194304 4196468 140733080043408 140456563276384 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13983] ppid=13962 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13964/task/13983/stat : 13983 (java) S 13962 13962 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418127569 28904845312 7344 33554432000 4194304 4196468 140733080043408 140456562223664 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30828 KiB [startup+0.210102 s]* /proc/loadavg: 7.66 6.54 4.04 2/211 13983 /proc/meminfo: memFree=30607328/32770624 swapFree=66997532/67108860 [pid=13962] ppid=13959 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13962/stat : 13962 (xcsp3-exec) S 13959 13962 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418127563 115843072 363 33554432000 4194304 5098028 140724359842592 140724359840696 140180963435132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10424320 140724359848821 140724359849065 140724359849065 140724359851978 0 /proc/13962/statm: 28282 363 305 221 0 87 0 [pid=13964] ppid=13962 vsize=28227388 memory=41204 CPUtime=0.34 cores=0-7 /proc/13964/stat : 13964 (java) S 13962 13962 12749 0 -1 1077944320 9492 0 0 0 31 3 0 0 20 0 20 0 418127563 28904845312 10301 33554432000 4194304 4196468 140733080043408 140733080025952 140457973882615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 /proc/13964/statm: 7056847 10301 3321 1 0 7019032 0 [pid=13964/tid=13965] ppid=13962 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/13964/task/13965/stat : 13965 (java) R 13962 13962 12749 0 -1 4202560 6671 0 0 0 18 2 0 0 20 0 20 0 418127563 28904845312 10301 33554432000 4194304 4196468 140733080043408 140457978120640 140457595202393 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13966] ppid=13962 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7 /proc/13964/task/13966/stat : 13966 (java) S 13962 13962 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 10301 33554432000 4194304 4196468 140733080043408 140457926503056 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13967] ppid=13962 vsize=28227388 memory=140223205513577 CPUtime=0 cores=0-7 /proc/13964/task/13967/stat : 13967 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 10301 33554432000 4194304 4196468 140733080043408 140457925450256 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13968] ppid=13962 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13964/task/13968/stat : 13968 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 10301 33554432000 4194304 4196468 140733080043408 140457924397456 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13969] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13969/stat : 13969 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 10301 33554432000 4194304 4196468 140733080043408 140457923344656 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13970] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13970/stat : 13970 (java) S 13962 13962 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 10301 33554432000 4194304 4196468 140733080043408 140457922292880 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13971] ppid=13962 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13964/task/13971/stat : 13971 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 10301 33554432000 4194304 4196468 140733080043408 140457921240080 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13972] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13972/stat : 13972 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 10301 33554432000 4194304 4196468 140733080043408 140457920187280 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13973] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13973/stat : 13973 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28904845312 10301 33554432000 4194304 4196468 140733080043408 140457919134480 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13974] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13974/stat : 13974 (java) S 13962 13962 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418127566 28904845312 10301 33554432000 4194304 4196468 140733080043408 140456639330672 140457973893762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13975] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13975/stat : 13975 (java) S 13962 13962 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418127566 28904845312 10301 33554432000 4194304 4196468 140733080043408 140456570643488 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13976] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13976/stat : 13976 (java) S 13962 13962 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418127566 28904845312 10301 33554432000 4194304 4196468 140733080043408 140456569590640 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13977] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13977/stat : 13977 (java) S 13962 13962 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418127569 28904845312 10301 33554432000 4194304 4196468 140733080043408 140456568538960 140457973901211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13978] ppid=13962 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/13964/task/13978/stat : 13978 (java) R 13962 13962 12749 0 -1 1077944384 668 0 0 0 2 0 0 0 20 0 20 0 418127569 28904845312 10301 33554432000 4194304 4196468 140733080043408 140456567487344 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13979] ppid=13962 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/13964/task/13979/stat : 13979 (java) S 13962 13962 12749 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 20 0 418127569 28904845312 10301 33554432000 4194304 4196468 140733080043408 140456566434544 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13980] ppid=13962 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13964/task/13980/stat : 13980 (java) R 13962 13962 12749 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 418127569 28904845312 10301 33554432000 4194304 4196468 140733080043408 140456565381744 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13981] ppid=13962 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/13964/task/13981/stat : 13981 (java) R 13962 13962 12749 0 -1 4202560 759 0 0 0 7 0 0 0 20 0 20 0 418127569 28904845312 10301 33554432000 4194304 4196468 140733080043408 140456564328944 140457973894550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13982] ppid=13962 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13982/stat : 13982 (java) S 13962 13962 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418127569 28904845312 10301 33554432000 4194304 4196468 140733080043408 140456563276384 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13983] ppid=13962 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13964/task/13983/stat : 13983 (java) S 13962 13962 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418127569 28904845312 10301 33554432000 4194304 4196468 140733080043408 140456562223664 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42656 KiB [startup+0.30949 s]* /proc/loadavg: 7.66 6.54 4.04 4/211 13983 /proc/meminfo: memFree=30599572/32770624 swapFree=66997532/67108860 [pid=13962] ppid=13959 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13962/stat : 13962 (xcsp3-exec) S 13959 13962 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418127563 115843072 363 33554432000 4194304 5098028 140724359842592 140724359840696 140180963435132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10424320 140724359848821 140724359849065 140724359849065 140724359851978 0 /proc/13962/statm: 28282 363 305 221 0 87 0 [pid=13964] ppid=13962 vsize=28231644 memory=50212 CPUtime=0.52 cores=0-7 /proc/13964/stat : 13964 (java) S 13962 13962 12749 0 -1 1077944320 10868 0 0 0 48 4 0 0 20 0 20 0 418127563 28909203456 12553 33554432000 4194304 4196468 140733080043408 140733080025952 140457973882615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 /proc/13964/statm: 7057911 12553 3360 1 0 7019032 0 [pid=13964/tid=13965] ppid=13962 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/13964/task/13965/stat : 13965 (java) R 13962 13962 12749 0 -1 4202560 7792 0 0 0 27 3 0 0 20 0 20 0 418127563 28909203456 12553 33554432000 4194304 4196468 140733080043408 140457978113728 140457957963102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13966] ppid=13962 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13966/stat : 13966 (java) S 13962 13962 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418127564 28909203456 12553 33554432000 4194304 4196468 140733080043408 140457926503056 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13967] ppid=13962 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13967/stat : 13967 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28909203456 12553 33554432000 4194304 4196468 140733080043408 140457925450256 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13968] ppid=13962 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13968/stat : 13968 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28909203456 12553 33554432000 4194304 4196468 140733080043408 140457924397456 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13969] ppid=13962 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13969/stat : 13969 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28909203456 12553 33554432000 4194304 4196468 140733080043408 140457923344656 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13970] ppid=13962 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13970/stat : 13970 (java) S 13962 13962 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418127564 28909203456 12553 33554432000 4194304 4196468 140733080043408 140457922292880 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13971] ppid=13962 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13971/stat : 13971 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28909203456 12553 33554432000 4194304 4196468 140733080043408 140457921240080 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13972] ppid=13962 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13972/stat : 13972 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28909203456 12553 33554432000 4194304 4196468 140733080043408 140457920187280 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13973] ppid=13962 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13973/stat : 13973 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28909203456 12553 33554432000 4194304 4196468 140733080043408 140457919134480 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13974] ppid=13962 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13974/stat : 13974 (java) S 13962 13962 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418127566 28909203456 12553 33554432000 4194304 4196468 140733080043408 140456639330672 140457973893762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13975] ppid=13962 vsize=28231644 memory=280446198029696 CPUtime=0 cores=0-7 /proc/13964/task/13975/stat : 13975 (java) S 13962 13962 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418127566 28909203456 12553 33554432000 4194304 4196468 140733080043408 140456570643488 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13976] ppid=13962 vsize=28231644 memory=280446198034304 CPUtime=0 cores=0-7 /proc/13964/task/13976/stat : 13976 (java) S 13962 13962 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418127566 28909203456 12553 33554432000 4194304 4196468 140733080043408 140456569590640 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13977] ppid=13962 vsize=28231644 memory=280446198038912 CPUtime=0 cores=0-7 /proc/13964/task/13977/stat : 13977 (java) S 13962 13962 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418127569 28909203456 12553 33554432000 4194304 4196468 140733080043408 140456568538960 140457973901211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13978] ppid=13962 vsize=28231644 memory=280446198043520 CPUtime=0.03 cores=0-7 /proc/13964/task/13978/stat : 13978 (java) S 13962 13962 12749 0 -1 1077944384 683 0 0 0 3 0 0 0 20 0 20 0 418127569 28909203456 12553 33554432000 4194304 4196468 140733080043408 140456567487344 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13979] ppid=13962 vsize=28231644 memory=280446198048128 CPUtime=0.02 cores=0-7 /proc/13964/task/13979/stat : 13979 (java) S 13962 13962 12749 0 -1 1077944384 86 0 0 0 2 0 0 0 20 0 20 0 418127569 28909203456 12585 33554432000 4194304 4196468 140733080043408 140456566434544 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13980] ppid=13962 vsize=28231644 memory=280446198052736 CPUtime=0.02 cores=0-7 /proc/13964/task/13980/stat : 13980 (java) R 13962 13962 12749 0 -1 4202560 151 0 0 0 2 0 0 0 20 0 20 0 418127569 28909203456 12585 33554432000 4194304 4196468 140733080043408 140456565362856 140457955426774 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13981] ppid=13962 vsize=28231644 memory=280446198057344 CPUtime=0.12 cores=0-7 /proc/13964/task/13981/stat : 13981 (java) S 13962 13962 12749 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 20 0 418127569 28909203456 12585 33554432000 4194304 4196468 140733080043408 140456564328944 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13982] ppid=13962 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13982/stat : 13982 (java) S 13962 13962 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418127569 28909203456 12585 33554432000 4194304 4196468 140733080043408 140456563276384 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13983] ppid=13962 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/13964/task/13983/stat : 13983 (java) S 13962 13962 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418127569 28909203456 12585 33554432000 4194304 4196468 140733080043408 140456562223664 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51664 KiB [startup+0.700879 s] /proc/loadavg: 7.45 6.51 4.05 5/211 13983 /proc/meminfo: memFree=30579916/32770624 swapFree=66997532/67108860 [pid=13962] ppid=13959 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13962/stat : 13962 (xcsp3-exec) S 13959 13962 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418127563 115843072 363 33554432000 4194304 5098028 140724359842592 140724359840696 140180963435132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10424320 140724359848821 140724359849065 140724359849065 140724359851978 0 /proc/13962/statm: 28282 363 305 221 0 87 0 [pid=13964] ppid=13962 vsize=28233768 memory=86976 CPUtime=1.73 cores=0-7 /proc/13964/stat : 13964 (java) S 13962 13962 12749 0 -1 1077944320 16012 0 0 0 168 5 0 0 20 0 20 0 418127563 28911378432 21744 33554432000 4194304 4196468 140733080043408 140733080025952 140457973882615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 /proc/13964/statm: 7058442 21744 3445 1 0 7019544 0 [pid=13964/tid=13965] ppid=13962 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7 /proc/13964/task/13965/stat : 13965 (java) R 13962 13962 12749 0 -1 4202560 9339 0 0 0 64 3 0 0 20 0 20 0 418127563 28911378432 21744 33554432000 4194304 4196468 140733080043408 140457978119168 140457596876430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13966] ppid=13962 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13966/stat : 13966 (java) S 13962 13962 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418127564 28911378432 21744 33554432000 4194304 4196468 140733080043408 140457926503056 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13967] ppid=13962 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/13964/task/13967/stat : 13967 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28911378432 21744 33554432000 4194304 4196468 140733080043408 140457925450256 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13968] ppid=13962 vsize=28233768 memory=4008 CPUtime=0 cores=0-7 /proc/13964/task/13968/stat : 13968 (java) S 13962 13962 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418127564 28911378432 21744 33554432000 4194304 4196468 140733080043408 140457924397456 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 ################ # More data... # ################ [pid=13964/tid=13981] ppid=13962 vsize=28901456 memory=500 CPUtime=1.48 cores=0-7 /proc/13964/task/13981/stat : 13981 (java) S 13962 13962 12749 0 -1 1077944384 18848 0 0 0 144 4 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456564328944 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13982] ppid=13962 vsize=28901456 memory=928 CPUtime=0 cores=0-7 /proc/13964/task/13982/stat : 13982 (java) S 13962 13962 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456563276384 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13983] ppid=13962 vsize=28901456 memory=1528 CPUtime=0.04 cores=0-7 /proc/13964/task/13983/stat : 13983 (java) S 13962 13962 12749 0 -1 1077944384 1965 0 0 0 1 3 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456562223664 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14222] ppid=13962 vsize=28901456 memory=1448 CPUtime=7.96 cores=0-7 /proc/13964/task/14222/stat : 14222 (java) S 13962 13962 12749 0 -1 1077944384 306 0 0 0 796 0 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456545893792 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14223] ppid=13962 vsize=28901456 memory=876 CPUtime=7.81 cores=0-7 /proc/13964/task/14223/stat : 14223 (java) S 13962 13962 12749 0 -1 1077944384 260 0 0 0 781 0 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456551158512 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14224] ppid=13962 vsize=28901456 memory=1980 CPUtime=9.67 cores=0-7 /proc/13964/task/14224/stat : 14224 (java) S 13962 13962 12749 0 -1 1077944384 1762 0 0 0 961 6 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456548001392 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14225] ppid=13962 vsize=28901456 memory=2552 CPUtime=9.63 cores=0-7 /proc/13964/task/14225/stat : 14225 (java) S 13962 13962 12749 0 -1 1077944384 126 0 0 0 963 0 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456546948592 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14226] ppid=13962 vsize=28901456 memory=1760 CPUtime=7.97 cores=0-7 /proc/13964/task/14226/stat : 14226 (java) S 13962 13962 12749 0 -1 1077944384 756 0 0 0 796 1 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456550106480 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14227] ppid=13962 vsize=28901456 memory=111632 CPUtime=7.96 cores=0-7 /proc/13964/task/14227/stat : 14227 (java) S 13962 13962 12749 0 -1 1077944384 1019 0 0 0 795 1 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456549053680 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14228] ppid=13962 vsize=28901456 memory=800 CPUtime=7.97 cores=0-7 /proc/13964/task/14228/stat : 14228 (java) S 13962 13962 12749 0 -1 1077944384 1070 0 0 0 791 6 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456541684848 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14229] ppid=13962 vsize=28901456 memory=1808 CPUtime=10.54 cores=0-7 /proc/13964/task/14229/stat : 14229 (java) R 13962 13962 12749 0 -1 4202560 220 0 0 0 1054 0 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456543785000 140457609221917 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 Current children cumulated CPU time: 610.7 s Current children cumulated vsize: 29014584 KiB Current children cumulated memory: 2304412 KiB [startup+110.001 s]* /proc/loadavg: 6.17 6.31 4.23 2/219 14229 /proc/meminfo: memFree=28344100/32770624 swapFree=66997532/67108860 [pid=13962] ppid=13959 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13962/stat : 13962 (xcsp3-exec) S 13959 13962 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418127563 115843072 363 33554432000 4194304 5098028 140724359842592 140724359840696 140180963435132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10424320 140724359848821 140724359849065 140724359849065 140724359851978 0 /proc/13962/statm: 28282 363 305 221 0 87 0 [pid=13964] ppid=13962 vsize=28901456 memory=2302960 CPUtime=611.11 cores=0-7 /proc/13964/stat : 13964 (java) S 13962 13962 12749 0 -1 1077944320 158251 0 0 0 60708 403 0 0 20 0 28 0 418127563 29595090944 575740 33554432000 4194304 4196468 140733080043408 140733080025952 140457973882615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 /proc/13964/statm: 7225364 575740 3539 1 0 7186466 0 [pid=13964/tid=13965] ppid=13962 vsize=28901456 memory=8317482817917895235 CPUtime=1.06 cores=0-7 /proc/13964/task/13965/stat : 13965 (java) S 13962 13962 12749 0 -1 1077944384 13655 0 0 0 100 6 0 0 20 0 28 0 418127563 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457978123392 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13966] ppid=13962 vsize=28901456 memory=1380 CPUtime=0.24 cores=0-7 /proc/13964/task/13966/stat : 13966 (java) S 13962 13962 12749 0 -1 1077944384 1339 0 0 0 14 10 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457926503056 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13967] ppid=13962 vsize=28901456 memory=1452 CPUtime=0.23 cores=0-7 /proc/13964/task/13967/stat : 13967 (java) S 13962 13962 12749 0 -1 1077944384 786 0 0 0 14 9 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457925450256 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13968] ppid=13962 vsize=28901456 memory=2302960 CPUtime=0.24 cores=0-7 /proc/13964/task/13968/stat : 13968 (java) S 13962 13962 12749 0 -1 1077944384 887 0 0 0 14 10 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457924397456 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13969] ppid=13962 vsize=28901456 memory=6791534058613427641 CPUtime=0.24 cores=0-7 /proc/13964/task/13969/stat : 13969 (java) S 13962 13962 12749 0 -1 1077944384 555 0 0 0 14 10 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457923344656 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13970] ppid=13962 vsize=28901456 memory=1452 CPUtime=0.24 cores=0-7 /proc/13964/task/13970/stat : 13970 (java) S 13962 13962 12749 0 -1 1077944384 524 0 0 0 15 9 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457922292880 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13971] ppid=13962 vsize=28901456 memory=2326292 CPUtime=0.25 cores=0-7 /proc/13964/task/13971/stat : 13971 (java) S 13962 13962 12749 0 -1 1077944384 2770 0 0 0 14 11 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457921240080 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13972] ppid=13962 vsize=28901456 memory=948 CPUtime=0.24 cores=0-7 /proc/13964/task/13972/stat : 13972 (java) S 13962 13962 12749 0 -1 1077944384 430 0 0 0 14 10 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457920187280 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13973] ppid=13962 vsize=28901456 memory=2832 CPUtime=0.27 cores=0-7 /proc/13964/task/13973/stat : 13973 (java) S 13962 13962 12749 0 -1 1077944384 929 0 0 0 17 10 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457919134480 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13974] ppid=13962 vsize=28901456 memory=9404 CPUtime=1.86 cores=0-7 /proc/13964/task/13974/stat : 13974 (java) S 13962 13962 12749 0 -1 1077944384 3630 0 0 0 69 117 0 0 20 0 28 0 418127566 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456639330672 140457973893762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13975] ppid=13962 vsize=28901456 memory=1548 CPUtime=0 cores=0-7 /proc/13964/task/13975/stat : 13975 (java) S 13962 13962 12749 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 418127566 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456570643552 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13976] ppid=13962 vsize=28901456 memory=628 CPUtime=0 cores=0-7 /proc/13964/task/13976/stat : 13976 (java) S 13962 13962 12749 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 418127566 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456569590656 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13977] ppid=13962 vsize=28901456 memory=1808 CPUtime=0 cores=0-7 /proc/13964/task/13977/stat : 13977 (java) S 13962 13962 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456568538960 140457973901211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13978] ppid=13962 vsize=28901456 memory=920 CPUtime=4.17 cores=0-7 /proc/13964/task/13978/stat : 13978 (java) S 13962 13962 12749 0 -1 1077944384 16904 0 0 0 414 3 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456567487344 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13979] ppid=13962 vsize=28901456 memory=4204 CPUtime=3.8 cores=0-7 /proc/13964/task/13979/stat : 13979 (java) S 13962 13962 12749 0 -1 1077944384 18592 0 0 0 376 4 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456566434544 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13980] ppid=13962 vsize=28901456 memory=4104 CPUtime=4.01 cores=0-7 /proc/13964/task/13980/stat : 13980 (java) S 13962 13962 12749 0 -1 1077944384 12555 0 0 0 399 2 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456565381744 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13981] ppid=13962 vsize=28901456 memory=1412 CPUtime=1.48 cores=0-7 /proc/13964/task/13981/stat : 13981 (java) S 13962 13962 12749 0 -1 1077944384 18848 0 0 0 144 4 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456564328944 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13982] ppid=13962 vsize=28901456 memory=3728 CPUtime=0 cores=0-7 /proc/13964/task/13982/stat : 13982 (java) S 13962 13962 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456563276384 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13983] ppid=13962 vsize=28901456 memory=1452 CPUtime=0.04 cores=0-7 /proc/13964/task/13983/stat : 13983 (java) S 13962 13962 12749 0 -1 1077944384 1998 0 0 0 1 3 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456562223664 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14222] ppid=13962 vsize=28901456 memory=2302960 CPUtime=7.96 cores=0-7 /proc/13964/task/14222/stat : 14222 (java) S 13962 13962 12749 0 -1 1077944384 306 0 0 0 796 0 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456545893792 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14223] ppid=13962 vsize=28901456 memory=1164 CPUtime=7.81 cores=0-7 /proc/13964/task/14223/stat : 14223 (java) S 13962 13962 12749 0 -1 1077944384 260 0 0 0 781 0 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456551158512 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14224] ppid=13962 vsize=28901456 memory=8317482817917895235 CPUtime=9.67 cores=0-7 /proc/13964/task/14224/stat : 14224 (java) S 13962 13962 12749 0 -1 1077944384 1762 0 0 0 961 6 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456548001392 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14225] ppid=13962 vsize=28901456 memory=0 CPUtime=9.63 cores=0-7 /proc/13964/task/14225/stat : 14225 (java) S 13962 13962 12749 0 -1 1077944384 126 0 0 0 963 0 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456546948592 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14226] ppid=13962 vsize=28901456 memory=0 CPUtime=7.97 cores=0-7 /proc/13964/task/14226/stat : 14226 (java) S 13962 13962 12749 0 -1 1077944384 756 0 0 0 796 1 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456550106480 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14227] ppid=13962 vsize=28901456 memory=2670024 CPUtime=7.96 cores=0-7 /proc/13964/task/14227/stat : 14227 (java) S 13962 13962 12749 0 -1 1077944384 1019 0 0 0 795 1 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456549053680 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14228] ppid=13962 vsize=28901456 memory=2671417 CPUtime=7.97 cores=0-7 /proc/13964/task/14228/stat : 14228 (java) S 13962 13962 12749 0 -1 1077944384 1070 0 0 0 791 6 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456541684848 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14229] ppid=13962 vsize=28901456 memory=6944656592455097440 CPUtime=10.95 cores=0-7 /proc/13964/task/14229/stat : 14229 (java) R 13962 13962 12749 0 -1 4202560 250 0 0 0 1095 0 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456543785000 140457609221819 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 Current children cumulated CPU time: 611.11 s Current children cumulated vsize: 29014584 KiB Current children cumulated memory: 2304412 KiB [startup+110.201 s] /proc/loadavg: 6.17 6.31 4.23 2/219 14229 /proc/meminfo: memFree=28344100/32770624 swapFree=66997532/67108860 [pid=13962] ppid=13959 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13962/stat : 13962 (xcsp3-exec) S 13959 13962 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418127563 115843072 363 33554432000 4194304 5098028 140724359842592 140724359840696 140180963435132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10424320 140724359848821 140724359849065 140724359849065 140724359851978 0 /proc/13962/statm: 28282 363 305 221 0 87 0 [pid=13964] ppid=13962 vsize=28901456 memory=2302960 CPUtime=611.3 cores=0-7 /proc/13964/stat : 13964 (java) S 13962 13962 12749 0 -1 1077944320 158294 0 0 0 60727 403 0 0 20 0 28 0 418127563 29595090944 575740 33554432000 4194304 4196468 140733080043408 140733080025952 140457973882615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 /proc/13964/statm: 7225364 575740 3539 1 0 7186466 0 [pid=13964/tid=13965] ppid=13962 vsize=28901456 memory=15252636593031516 CPUtime=1.06 cores=0-7 /proc/13964/task/13965/stat : 13965 (java) S 13962 13962 12749 0 -1 1077944384 13655 0 0 0 100 6 0 0 20 0 28 0 418127563 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457978123392 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13966] ppid=13962 vsize=28901456 memory=2116 CPUtime=0.24 cores=0-7 /proc/13964/task/13966/stat : 13966 (java) S 13962 13962 12749 0 -1 1077944384 1339 0 0 0 14 10 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457926503056 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13967] ppid=13962 vsize=28901456 memory=10368 CPUtime=0.23 cores=0-7 /proc/13964/task/13967/stat : 13967 (java) S 13962 13962 12749 0 -1 1077944384 786 0 0 0 14 9 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457925450256 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13968] ppid=13962 vsize=28901456 memory=12024 CPUtime=0.24 cores=0-7 /proc/13964/task/13968/stat : 13968 (java) S 13962 13962 12749 0 -1 1077944384 887 0 0 0 14 10 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457924397456 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13969] ppid=13962 vsize=28901456 memory=1556 CPUtime=0.24 cores=0-7 /proc/13964/task/13969/stat : 13969 (java) S 13962 13962 12749 0 -1 1077944384 555 0 0 0 14 10 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457923344656 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13970] ppid=13962 vsize=28901456 memory=500 CPUtime=0.24 cores=0-7 /proc/13964/task/13970/stat : 13970 (java) S 13962 13962 12749 0 -1 1077944384 524 0 0 0 15 9 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457922292880 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13971] ppid=13962 vsize=28901456 memory=928 CPUtime=0.25 cores=0-7 /proc/13964/task/13971/stat : 13971 (java) S 13962 13962 12749 0 -1 1077944384 2770 0 0 0 14 11 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457921240080 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13972] ppid=13962 vsize=28901456 memory=1528 CPUtime=0.24 cores=0-7 /proc/13964/task/13972/stat : 13972 (java) S 13962 13962 12749 0 -1 1077944384 430 0 0 0 14 10 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457920187280 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13973] ppid=13962 vsize=28901456 memory=1448 CPUtime=0.27 cores=0-7 /proc/13964/task/13973/stat : 13973 (java) S 13962 13962 12749 0 -1 1077944384 929 0 0 0 17 10 0 0 20 0 28 0 418127564 29595090944 575740 33554432000 4194304 4196468 140733080043408 140457919134480 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13974] ppid=13962 vsize=28901456 memory=876 CPUtime=1.86 cores=0-7 /proc/13964/task/13974/stat : 13974 (java) S 13962 13962 12749 0 -1 1077944384 3630 0 0 0 69 117 0 0 20 0 28 0 418127566 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456639330672 140457973893762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13975] ppid=13962 vsize=28901456 memory=1980 CPUtime=0 cores=0-7 /proc/13964/task/13975/stat : 13975 (java) S 13962 13962 12749 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 418127566 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456570643552 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13976] ppid=13962 vsize=28901456 memory=2552 CPUtime=0 cores=0-7 /proc/13964/task/13976/stat : 13976 (java) S 13962 13962 12749 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 418127566 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456569590656 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13977] ppid=13962 vsize=28901456 memory=32964 CPUtime=0 cores=0-7 /proc/13964/task/13977/stat : 13977 (java) S 13962 13962 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456568538960 140457973901211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13978] ppid=13962 vsize=28901456 memory=1452 CPUtime=4.17 cores=0-7 /proc/13964/task/13978/stat : 13978 (java) S 13962 13962 12749 0 -1 1077944384 16904 0 0 0 414 3 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456567487344 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13979] ppid=13962 vsize=28901456 memory=2302960 CPUtime=3.8 cores=0-7 /proc/13964/task/13979/stat : 13979 (java) S 13962 13962 12749 0 -1 1077944384 18592 0 0 0 376 4 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456566434544 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13980] ppid=13962 vsize=28901456 memory=6655300316396806240 CPUtime=4.01 cores=0-7 /proc/13964/task/13980/stat : 13980 (java) S 13962 13962 12749 0 -1 1077944384 12555 0 0 0 399 2 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456565381744 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13981] ppid=13962 vsize=28901456 memory=6655300316396806240 CPUtime=1.48 cores=0-7 /proc/13964/task/13981/stat : 13981 (java) S 13962 13962 12749 0 -1 1077944384 18848 0 0 0 144 4 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456564328944 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13982] ppid=13962 vsize=28901456 memory=7522227782817377126 CPUtime=0 cores=0-7 /proc/13964/task/13982/stat : 13982 (java) S 13962 13962 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456563276384 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=13983] ppid=13962 vsize=28901456 memory=7517159033909830208 CPUtime=0.04 cores=0-7 /proc/13964/task/13983/stat : 13983 (java) S 13962 13962 12749 0 -1 1077944384 1998 0 0 0 1 3 0 0 20 0 28 0 418127569 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456562223664 140457973893762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14222] ppid=13962 vsize=28901456 memory=8400956032930 CPUtime=7.96 cores=0-7 /proc/13964/task/14222/stat : 14222 (java) S 13962 13962 12749 0 -1 1077944384 306 0 0 0 796 0 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456545893792 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14223] ppid=13962 vsize=28901456 memory=5787213827164104036 CPUtime=7.81 cores=0-7 /proc/13964/task/14223/stat : 14223 (java) S 13962 13962 12749 0 -1 1077944384 260 0 0 0 781 0 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456551158512 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14224] ppid=13962 vsize=28901456 memory=5571041044932679781 CPUtime=9.67 cores=0-7 /proc/13964/task/14224/stat : 14224 (java) S 13962 13962 12749 0 -1 1077944384 1762 0 0 0 961 6 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456548001392 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14225] ppid=13962 vsize=28901456 memory=5571041044932483173 CPUtime=9.63 cores=0-7 /proc/13964/task/14225/stat : 14225 (java) S 13962 13962 12749 0 -1 1077944384 126 0 0 0 963 0 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456546948592 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14226] ppid=13962 vsize=28901456 memory=288230574492221466 CPUtime=7.97 cores=0-7 /proc/13964/task/14226/stat : 14226 (java) S 13962 13962 12749 0 -1 1077944384 756 0 0 0 796 1 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456550106480 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14227] ppid=13962 vsize=28901456 memory=6791534058613427641 CPUtime=7.96 cores=0-7 /proc/13964/task/14227/stat : 14227 (java) S 13962 13962 12749 0 -1 1077944384 1019 0 0 0 795 1 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456549053680 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14228] ppid=13962 vsize=28901456 memory=15252636593031516 CPUtime=7.97 cores=0-7 /proc/13964/task/14228/stat : 14228 (java) S 13962 13962 12749 0 -1 1077944384 1070 0 0 0 791 6 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456541684848 140457973892821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 [pid=13964/tid=14229] ppid=13962 vsize=28901456 memory=0 CPUtime=11.14 cores=0-7 /proc/13964/task/14229/stat : 14229 (java) R 13962 13962 12749 0 -1 4202560 293 0 0 0 1114 0 0 0 20 0 28 0 418137286 29595090944 575740 33554432000 4194304 4196468 140733080043408 140456543785000 140457609221775 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23429120 140733080048618 140733080048790 140733080048790 140733080051663 0 Current children cumulated CPU time: 611.3 s Current children cumulated vsize: 29014584 KiB Current children cumulated memory: 2304412 KiB Child status: 0 Real time (s): 110.286 CPU time (s): 611.401 CPU user time (s): 607.345 CPU system time (s): 4.05661 CPU usage (%): 554.379 Max. virtual memory (cumulated for all children) (KiB): 29014584 Max. memory (cumulated for all children) (KiB): 2327944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 607.345 system time used= 4.05661 maximum resident set size= 2345028 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 160394 page faults= 0 swaps= 0 block input operations= 0 block output operations= 320 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11194 involuntary context switches= 7526 # summary of solver processes directly reported to runsolver: # pid: 13962 # total CPU time (s): 611.401 # total CPU user time (s): 607.345 # total CPU system time (s): 4.05661 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.889928 second user time and 1.3322 second system time The end
Begin job on node106 at 2019-09-14 00:50:52 IDJOB=4394403 IDBENCH=115879 IDSOLVER=2843 FILE ID=node106/4394403-1568418729 RUNJOBID= node106-1568413091-12776 PBS_JOBID= 21702261 Free space on /tmp= 59112 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-10.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-4394403-1568418729/watcher-4394403-1568418729 -o /tmp/evaluation-result-4394403-1568418729/solver-4394403-1568418729 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1450637892 HOME/instance-4394403-1568418729.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e31de29e6699e81a7472a47d1439bb7a RANDOM SEED=1450637892 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30634188 kB MemAvailable: 31900712 kB Buffers: 176972 kB Cached: 1370428 kB SwapCached: 9408 kB Active: 484084 kB Inactive: 1077852 kB Active(anon): 14428 kB Inactive(anon): 33832 kB Active(file): 469656 kB Inactive(file): 1044020 kB Unevictable: 107756 kB Mlocked: 107756 kB SwapTotal: 67108860 kB SwapFree: 66997532 kB Dirty: 26036 kB Writeback: 0 kB AnonPages: 165280 kB Mapped: 38284 kB Shmem: 25148 kB Slab: 166404 kB SReclaimable: 137364 kB SUnreclaim: 29040 kB KernelStack: 3824 kB PageTables: 5348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489600 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 122880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59088 MiB End job on node106 at 2019-09-14 00:52:42