Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 116 | 3413.59 | 457.69 |
Name | TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-04.xml |
MD5SUM | 3ec1135b215453db38ac12e83e420ae6 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 116 |
Best CPU time to get the best result obtained on this benchmark | 83.9978 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 30 |
Number of constraints | 16 |
Number of domains | 2 |
Minimum domain size | 15 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":15,"count":15},{"size":28,"count":15}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":15},{"degree":3,"count":15}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":3,"count":15},{"arity":15,"count":1}] |
Number of extensional constraints | 15 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":15},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393818-1568439068.xml" -tl '20160s' -p 8 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4393818-1568439068.xml, -tl, 20160s, -p, 8] 0.33/0.25 c 8 solvers in parallel 0.33/0.32 c parse instance... 1.32/0.63 c solve instance... 1.76/0.72 o 228 1.76/0.74 o 196 1.76/0.76 o 159 1.76/0.76 o 148 1.76/0.76 o 147 1.76/0.78 o 145 1.76/0.78 o 144 1.76/0.79 o 143 1.76/0.79 o 142 2.34/0.81 o 138 2.34/0.81 o 133 2.34/0.87 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (95/98) 2.34/0.87 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 2.34/0.87 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 2.34/0.87 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 2.34/0.87 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 2.34/0.87 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 2.34/0.87 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (95/98) 2.34/0.87 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 2.34/0.87 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 2.34/0.87 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 2.34/0.87 at org.chocosolver.solver.Solver.repair(Solver.java:443) 2.34/0.87 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 2.34/0.87 at org.chocosolver.solver.Solver.solve(Solver.java:262) 2.34/0.87 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 2.34/0.87 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 2.34/0.87 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 2.34/0.87 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 2.34/0.87 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 2.34/0.87 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 2.34/0.87 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 2.34/0.87 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 2.34/0.87 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 2.34/0.87 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 2.34/0.87 o 127 2.34/0.88 o 125 3.06/0.90 o 122 3.06/0.94 o 117 3.06/0.94 o 116 3413.48/457.67 s OPTIMUM FOUND 3413.48/457.67 v <instantiation> 3413.48/457.67 v <list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] </list> 3413.48/457.67 v <values>0 3 4 1 8 13 12 14 11 10 7 6 9 5 2 10 4 9 14 13 10 8 8 5 6 6 6 7 6 4 </values> 3413.48/457.67 v </instantiation>
OK 116
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: 16375 MiB (14530 MiB free) memory of node 1: 16384 MiB (15608 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393818-1568439068/watcher-4393818-1568439068 -o /tmp/evaluation-result-4393818-1568439068/solver-4393818-1568439068 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568427322-28555 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1513831284 HOME/instance-4393818-1568439068.xml running on 8 cores: 0-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=2287, runsolver pid=2284 [startup+0.100159 s]* /proc/loadavg: 7.65 8.10 8.27 2/211 2308 /proc/meminfo: memFree=30846744/32770688 swapFree=66961116/67108860 [pid=2287] ppid=2284 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419848463 115843072 363 33554432000 4194304 5098028 140721269071440 140721269069544 140564045775484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9220096 140721269076853 140721269077097 140721269077097 140721269080010 0 /proc/2287/statm: 28282 363 304 221 0 87 0 [pid=2289] ppid=2287 vsize=28227388 memory=27464 CPUtime=0.12 cores=0-7 /proc/2289/stat : 2289 (java) S 2287 2287 28528 0 -1 1077944320 5884 0 0 0 10 2 0 0 20 0 20 0 419848463 28904845312 6866 33554432000 4194304 4196468 140721689176960 140721689159504 140177896091383 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 /proc/2289/statm: 7056847 6866 3110 1 0 7019032 0 [pid=2289/tid=2290] ppid=2287 vsize=28227388 memory=6935054825532540783 CPUtime=0.09 cores=0-7 /proc/2289/task/2290/stat : 2290 (java) R 2287 2287 28528 0 -1 4202560 3740 0 0 0 8 1 0 0 20 0 20 0 419848464 28904845312 6866 33554432000 4194304 4196468 140721689176960 140177900312192 140177533605584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2291] ppid=2287 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2289/task/2291/stat : 2291 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 6866 33554432000 4194304 4196468 140721689176960 140177447619600 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2292] ppid=2287 vsize=28227388 memory=140644819543680 CPUtime=0 cores=0-7 /proc/2289/task/2292/stat : 2292 (java) S 2287 2287 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 6866 33554432000 4194304 4196468 140721689176960 140177446567056 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2293] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2293/stat : 2293 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 6866 33554432000 4194304 4196468 140721689176960 140177445514000 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2294] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2294/stat : 2294 (java) S 2287 2287 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 6866 33554432000 4194304 4196468 140721689176960 140177444461456 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2295] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2295/stat : 2295 (java) S 2287 2287 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 6866 33554432000 4194304 4196468 140721689176960 140177443408400 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2296] ppid=2287 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/2289/task/2296/stat : 2296 (java) S 2287 2287 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 6866 33554432000 4194304 4196468 140721689176960 140177442355856 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2297] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2297/stat : 2297 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 6866 33554432000 4194304 4196468 140721689176960 140177441302800 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2298] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2298/stat : 2298 (java) S 2287 2287 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 6866 33554432000 4194304 4196468 140721689176960 140177440250256 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2299] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2299/stat : 2299 (java) S 2287 2287 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419848466 28904845312 6866 33554432000 4194304 4196468 140721689176960 140176360102640 140177896102530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2300] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2300/stat : 2300 (java) S 2287 2287 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419848467 28904845312 6866 33554432000 4194304 4196468 140721689176960 140176359048864 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2301] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2301/stat : 2301 (java) S 2287 2287 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419848467 28904845312 6866 33554432000 4194304 4196468 140721689176960 140176357995760 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2302] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2302/stat : 2302 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848470 28904845312 6866 33554432000 4194304 4196468 140721689176960 140176356944336 140177896109979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2303] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2303/stat : 2303 (java) S 2287 2287 28528 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 419848470 28904845312 6866 33554432000 4194304 4196468 140721689176960 140176355891440 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2304] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2304/stat : 2304 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848470 28904845312 6866 33554432000 4194304 4196468 140721689176960 140176354838896 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2305] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2305/stat : 2305 (java) S 2287 2287 28528 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 419848470 28904845312 6866 33554432000 4194304 4196468 140721689176960 140176353785840 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2306] ppid=2287 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/2289/task/2306/stat : 2306 (java) S 2287 2287 28528 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 20 0 419848470 28904845312 6866 33554432000 4194304 4196468 140721689176960 140176352733296 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2307] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2307/stat : 2307 (java) S 2287 2287 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419848470 28904845312 6866 33554432000 4194304 4196468 140721689176960 140176351681504 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2308] ppid=2287 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/2289/task/2308/stat : 2308 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848470 28904845312 6866 33554432000 4194304 4196468 140721689176960 140176350629040 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 28916 KiB [startup+0.211603 s]* /proc/loadavg: 7.65 8.10 8.27 3/211 2308 /proc/meminfo: memFree=30834968/32770688 swapFree=66961116/67108860 [pid=2287] ppid=2284 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419848463 115843072 363 33554432000 4194304 5098028 140721269071440 140721269069544 140564045775484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9220096 140721269076853 140721269077097 140721269077097 140721269080010 0 /proc/2287/statm: 28282 363 304 221 0 87 0 [pid=2289] ppid=2287 vsize=28227388 memory=39708 CPUtime=0.33 cores=0-7 /proc/2289/stat : 2289 (java) S 2287 2287 28528 0 -1 1077944320 9648 0 0 0 29 4 0 0 20 0 20 0 419848463 28904845312 9927 33554432000 4194304 4196468 140721689176960 140721689159504 140177896091383 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 /proc/2289/statm: 7056847 9927 3314 1 0 7019032 0 [pid=2289/tid=2290] ppid=2287 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/2289/task/2290/stat : 2290 (java) R 2287 2287 28528 0 -1 4202560 6674 0 0 0 17 2 0 0 20 0 20 0 419848464 28904845312 9927 33554432000 4194304 4196468 140721689176960 140177900310720 140177896103318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2291] ppid=2287 vsize=28227388 memory=342 CPUtime=0 cores=0-7 /proc/2289/task/2291/stat : 2291 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 9927 33554432000 4194304 4196468 140721689176960 140177447619600 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2292] ppid=2287 vsize=28227388 memory=140644819568042 CPUtime=0 cores=0-7 /proc/2289/task/2292/stat : 2292 (java) S 2287 2287 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 9927 33554432000 4194304 4196468 140721689176960 140177446567056 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2293] ppid=2287 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/2289/task/2293/stat : 2293 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 9927 33554432000 4194304 4196468 140721689176960 140177445514000 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2294] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2294/stat : 2294 (java) S 2287 2287 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 9927 33554432000 4194304 4196468 140721689176960 140177444461456 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2295] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2295/stat : 2295 (java) S 2287 2287 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 9927 33554432000 4194304 4196468 140721689176960 140177443408400 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2296] ppid=2287 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/2289/task/2296/stat : 2296 (java) S 2287 2287 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 9927 33554432000 4194304 4196468 140721689176960 140177442355856 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2297] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2297/stat : 2297 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 9927 33554432000 4194304 4196468 140721689176960 140177441302800 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2298] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2298/stat : 2298 (java) S 2287 2287 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419848465 28904845312 9927 33554432000 4194304 4196468 140721689176960 140177440250256 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2299] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2299/stat : 2299 (java) S 2287 2287 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419848466 28904845312 9927 33554432000 4194304 4196468 140721689176960 140176360102640 140177896102530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2300] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2300/stat : 2300 (java) S 2287 2287 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419848467 28904845312 9927 33554432000 4194304 4196468 140721689176960 140176359048864 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2301] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2301/stat : 2301 (java) S 2287 2287 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419848467 28904845312 9927 33554432000 4194304 4196468 140721689176960 140176357995760 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2302] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2302/stat : 2302 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848470 28904845312 9927 33554432000 4194304 4196468 140721689176960 140176356944336 140177896109979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2303] ppid=2287 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/2289/task/2303/stat : 2303 (java) S 2287 2287 28528 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 20 0 419848470 28904845312 9927 33554432000 4194304 4196468 140721689176960 140176355891440 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2304] ppid=2287 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/2289/task/2304/stat : 2304 (java) S 2287 2287 28528 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 20 0 419848470 28904845312 9927 33554432000 4194304 4196468 140721689176960 140176354838896 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2305] ppid=2287 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/2289/task/2305/stat : 2305 (java) S 2287 2287 28528 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 20 0 419848470 28904845312 9927 33554432000 4194304 4196468 140721689176960 140176353785840 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2306] ppid=2287 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/2289/task/2306/stat : 2306 (java) R 2287 2287 28528 0 -1 4202560 865 0 0 0 7 0 0 0 20 0 20 0 419848470 28904845312 9927 33554432000 4194304 4196468 140721689176960 140176352733296 140177880171870 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2307] ppid=2287 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2307/stat : 2307 (java) S 2287 2287 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419848470 28904845312 9927 33554432000 4194304 4196468 140721689176960 140176351681504 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2308] ppid=2287 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/2289/task/2308/stat : 2308 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848470 28904845312 9927 33554432000 4194304 4196468 140721689176960 140176350629040 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41160 KiB [startup+0.311407 s]* /proc/loadavg: 7.65 8.10 8.27 4/211 2308 /proc/meminfo: memFree=30829384/32770688 swapFree=66961116/67108860 [pid=2287] ppid=2284 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419848463 115843072 363 33554432000 4194304 5098028 140721269071440 140721269069544 140564045775484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9220096 140721269076853 140721269077097 140721269077097 140721269080010 0 /proc/2287/statm: 28282 363 304 221 0 87 0 [pid=2289] ppid=2287 vsize=28231644 memory=46124 CPUtime=0.51 cores=0-7 /proc/2289/stat : 2289 (java) S 2287 2287 28528 0 -1 1077944320 10884 0 0 0 46 5 0 0 20 0 20 0 419848463 28909203456 11531 33554432000 4194304 4196468 140721689176960 140721689159504 140177896091383 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 /proc/2289/statm: 7057911 11531 3347 1 0 7019032 0 [pid=2289/tid=2290] ppid=2287 vsize=28231644 memory=6935054825532540783 CPUtime=0.29 cores=0-7 /proc/2289/task/2290/stat : 2290 (java) R 2287 2287 28528 0 -1 4202560 7670 0 0 0 26 3 0 0 20 0 20 0 419848464 28909203456 11531 33554432000 4194304 4196468 140721689176960 140177900303936 140177896113309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2291] ppid=2287 vsize=28231644 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2289/task/2291/stat : 2291 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848465 28909203456 11531 33554432000 4194304 4196468 140721689176960 140177447619600 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2292] ppid=2287 vsize=28231644 memory=8560 CPUtime=0 cores=0-7 /proc/2289/task/2292/stat : 2292 (java) S 2287 2287 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419848465 28909203456 11531 33554432000 4194304 4196468 140721689176960 140177446567056 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2293] ppid=2287 vsize=28231644 memory=14008 CPUtime=0 cores=0-7 /proc/2289/task/2293/stat : 2293 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848465 28909203456 11531 33554432000 4194304 4196468 140721689176960 140177445514000 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2294] ppid=2287 vsize=28231644 memory=19196 CPUtime=0 cores=0-7 /proc/2289/task/2294/stat : 2294 (java) S 2287 2287 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419848465 28909203456 11596 33554432000 4194304 4196468 140721689176960 140177444461456 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2295] ppid=2287 vsize=28231644 memory=14068 CPUtime=0 cores=0-7 /proc/2289/task/2295/stat : 2295 (java) S 2287 2287 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419848465 28909203456 11596 33554432000 4194304 4196468 140721689176960 140177443408400 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2296] ppid=2287 vsize=28231644 memory=2120 CPUtime=0 cores=0-7 /proc/2289/task/2296/stat : 2296 (java) S 2287 2287 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419848465 28909203456 11596 33554432000 4194304 4196468 140721689176960 140177442355856 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2297] ppid=2287 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2297/stat : 2297 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848465 28909203456 11596 33554432000 4194304 4196468 140721689176960 140177441302800 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2298] ppid=2287 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2298/stat : 2298 (java) S 2287 2287 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419848465 28909203456 11596 33554432000 4194304 4196468 140721689176960 140177440250256 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2299] ppid=2287 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2299/stat : 2299 (java) S 2287 2287 28528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419848466 28909203456 11596 33554432000 4194304 4196468 140721689176960 140176360102640 140177896102530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2300] ppid=2287 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2300/stat : 2300 (java) S 2287 2287 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419848467 28909203456 11596 33554432000 4194304 4196468 140721689176960 140176359048864 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2301] ppid=2287 vsize=28231644 memory=140644676896207 CPUtime=0 cores=0-7 /proc/2289/task/2301/stat : 2301 (java) S 2287 2287 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419848467 28909203456 11596 33554432000 4194304 4196468 140721689176960 140176357995760 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2302] ppid=2287 vsize=28231644 memory=67 CPUtime=0 cores=0-7 /proc/2289/task/2302/stat : 2302 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848470 28909203456 11596 33554432000 4194304 4196468 140721689176960 140176356944336 140177896109979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2303] ppid=2287 vsize=28231644 memory=51172 CPUtime=0.03 cores=0-7 /proc/2289/task/2303/stat : 2303 (java) S 2287 2287 28528 0 -1 1077944384 562 0 0 0 3 0 0 0 20 0 20 0 419848470 28909203456 11596 33554432000 4194304 4196468 140721689176960 140176355891440 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2304] ppid=2287 vsize=28231644 memory=53476 CPUtime=0.02 cores=0-7 /proc/2289/task/2304/stat : 2304 (java) S 2287 2287 28528 0 -1 1077944384 119 0 0 0 2 0 0 0 20 0 20 0 419848470 28909203456 11596 33554432000 4194304 4196468 140721689176960 140176354838896 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2305] ppid=2287 vsize=28231644 memory=55780 CPUtime=0.01 cores=0-7 /proc/2289/task/2305/stat : 2305 (java) R 2287 2287 28528 0 -1 4202560 200 0 0 0 1 0 0 0 20 0 20 0 419848470 28909203456 11596 33554432000 4194304 4196468 140721689176960 140176353785840 140177889076425 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2306] ppid=2287 vsize=28231644 memory=58084 CPUtime=0.12 cores=0-7 /proc/2289/task/2306/stat : 2306 (java) S 2287 2287 28528 0 -1 1077944384 1037 0 0 0 12 0 0 0 20 0 20 0 419848470 28909203456 11596 33554432000 4194304 4196468 140721689176960 140176352733296 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2307] ppid=2287 vsize=28231644 memory=110297088 CPUtime=0 cores=0-7 /proc/2289/task/2307/stat : 2307 (java) S 2287 2287 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419848470 28909203456 11596 33554432000 4194304 4196468 140721689176960 140176351681504 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2308] ppid=2287 vsize=28231644 memory=115843071 CPUtime=0 cores=0-7 /proc/2289/task/2308/stat : 2308 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419848470 28909203456 11596 33554432000 4194304 4196468 140721689176960 140176350629040 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 47576 KiB [startup+0.703472 s] /proc/loadavg: 7.65 8.10 8.27 4/211 2308 /proc/meminfo: memFree=30819272/32770688 swapFree=66961116/67108860 [pid=2287] ppid=2284 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419848463 115843072 363 33554432000 4194304 5098028 140721269071440 140721269069544 140564045775484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9220096 140721269076853 140721269077097 140721269077097 140721269080010 0 /proc/2287/statm: 28282 363 304 221 0 87 0 [pid=2289] ppid=2287 vsize=28766280 memory=93968 CPUtime=1.76 cores=0-7 /proc/2289/stat : 2289 (java) S 2287 2287 28528 0 -1 1077944320 15886 0 0 0 167 9 0 0 20 0 28 0 419848463 29456670720 23492 33554432000 4194304 4196468 140721689176960 140721689159504 140177896091383 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 /proc/2289/statm: 7191570 23492 3452 1 0 7152672 0 [pid=2289/tid=2290] ppid=2287 vsize=28766280 memory=0 CPUtime=0.63 cores=0-7 /proc/2289/task/2290/stat : 2290 (java) S 2287 2287 28528 0 -1 1077944384 9405 0 0 0 59 4 0 0 20 0 28 0 419848464 29456670720 23492 33554432000 4194304 4196468 140721689176960 140177900332160 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2291] ppid=2287 vsize=28766280 memory=6852 CPUtime=0 cores=0-7 /proc/2289/task/2291/stat : 2291 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419848465 29456670720 23492 33554432000 4194304 4196468 140721689176960 140177447619600 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2292] ppid=2287 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/2289/task/2292/stat : 2292 (java) S 2287 2287 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 419848465 29456670720 23492 33554432000 4194304 4196468 140721689176960 140177446567056 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2293] ppid=2287 vsize=28766280 memory=3988 CPUtime=0 cores=0-7 /proc/2289/task/2293/stat : 2293 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419848465 29456670720 23492 33554432000 4194304 4196468 140721689176960 140177445514000 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 ################ # More data... # ################ [pid=2289/tid=2306] ppid=2287 vsize=28901456 memory=1808 CPUtime=1.1 cores=0-7 /proc/2289/task/2306/stat : 2306 (java) S 2287 2287 28528 0 -1 1077944384 15271 0 0 0 106 4 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176352733296 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2307] ppid=2287 vsize=28901456 memory=920 CPUtime=0 cores=0-7 /proc/2289/task/2307/stat : 2307 (java) S 2287 2287 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176351681504 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2308] ppid=2287 vsize=28901456 memory=8112282956445269571 CPUtime=0.11 cores=0-7 /proc/2289/task/2308/stat : 2308 (java) S 2287 2287 28528 0 -1 1077944384 2042 0 0 0 1 10 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176350629040 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2450] ppid=2287 vsize=28901456 memory=3820 CPUtime=418.4 cores=0-7 /proc/2289/task/2450/stat : 2450 (java) S 2287 2287 28528 0 -1 1077944384 9759 0 0 0 41835 5 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176338263872 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2451] ppid=2287 vsize=28901456 memory=780 CPUtime=419.99 cores=0-7 /proc/2289/task/2451/stat : 2451 (java) S 2287 2287 28528 0 -1 1077944384 3167 0 0 0 41996 3 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176339318096 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2452] ppid=2287 vsize=28901456 memory=1708 CPUtime=451.44 cores=0-7 /proc/2289/task/2452/stat : 2452 (java) R 2287 2287 28528 0 -1 4202560 18229 0 0 0 45119 25 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176336154448 140177542771603 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2453] ppid=2287 vsize=28901456 memory=1280 CPUtime=419.78 cores=0-7 /proc/2289/task/2453/stat : 2453 (java) S 2287 2287 28528 0 -1 1077944384 3321 0 0 0 41975 3 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176331949136 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2454] ppid=2287 vsize=28901456 memory=5932 CPUtime=420.95 cores=0-7 /proc/2289/task/2454/stat : 2454 (java) S 2287 2287 28528 0 -1 1077944384 7539 0 0 0 42081 14 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176337212112 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2455] ppid=2287 vsize=28901456 memory=780 CPUtime=421.17 cores=0-7 /proc/2289/task/2455/stat : 2455 (java) S 2287 2287 28528 0 -1 1077944384 5194 0 0 0 42111 6 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176341422928 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2456] ppid=2287 vsize=28901456 memory=3988 CPUtime=419.32 cores=0-7 /proc/2289/task/2456/stat : 2456 (java) S 2287 2287 28528 0 -1 1077944384 4965 0 0 0 41919 13 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176340370896 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2457] ppid=2287 vsize=28901456 memory=1088 CPUtime=419.02 cores=0-7 /proc/2289/task/2457/stat : 2457 (java) S 2287 2287 28528 0 -1 1077944384 8753 0 0 0 41873 29 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176335107664 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 Current children cumulated CPU time: 3412.68 s Current children cumulated vsize: 29014584 KiB Current children cumulated memory: 1308440 KiB [startup+457.201 s] /proc/loadavg: 5.30 7.48 8.01 2/219 2484 /proc/meminfo: memFree=29563156/32770688 swapFree=66961116/67108860 [pid=2287] ppid=2284 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419848463 115843072 363 33554432000 4194304 5098028 140721269071440 140721269069544 140564045775484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9220096 140721269076853 140721269077097 140721269077097 140721269080010 0 /proc/2287/statm: 28282 363 304 221 0 87 0 [pid=2289] ppid=2287 vsize=28901456 memory=1306988 CPUtime=3413.08 cores=0-7 /proc/2289/stat : 2289 (java) S 2287 2287 28528 0 -1 1077944320 198923 0 0 0 341052 256 0 0 20 0 28 0 419848463 29595090944 326747 33554432000 4194304 4196468 140721689176960 140721689159504 140177896091383 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 /proc/2289/statm: 7225364 326747 3544 1 0 7186466 0 [pid=2289/tid=2290] ppid=2287 vsize=28901456 memory=1412 CPUtime=0.65 cores=0-7 /proc/2289/task/2290/stat : 2290 (java) S 2287 2287 28528 0 -1 1077944384 9409 0 0 0 60 5 0 0 20 0 28 0 419848464 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177900332160 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2291] ppid=2287 vsize=28901456 memory=3820 CPUtime=1.32 cores=0-7 /proc/2289/task/2291/stat : 2291 (java) S 2287 2287 28528 0 -1 1077944384 4341 0 0 0 118 14 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177447619600 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2292] ppid=2287 vsize=28901456 memory=1452 CPUtime=1.27 cores=0-7 /proc/2289/task/2292/stat : 2292 (java) S 2287 2287 28528 0 -1 1077944384 3331 0 0 0 113 14 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177446567056 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2293] ppid=2287 vsize=28901456 memory=1306988 CPUtime=1.28 cores=0-7 /proc/2289/task/2293/stat : 2293 (java) S 2287 2287 28528 0 -1 1077944384 5230 0 0 0 115 13 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177445514000 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2294] ppid=2287 vsize=28901456 memory=1760 CPUtime=1.28 cores=0-7 /proc/2289/task/2294/stat : 2294 (java) S 2287 2287 28528 0 -1 1077944384 6304 0 0 0 115 13 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177444461456 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2295] ppid=2287 vsize=28901456 memory=111636 CPUtime=1.29 cores=0-7 /proc/2289/task/2295/stat : 2295 (java) S 2287 2287 28528 0 -1 1077944384 2202 0 0 0 114 15 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177443408400 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2296] ppid=2287 vsize=28901456 memory=800 CPUtime=1.27 cores=0-7 /proc/2289/task/2296/stat : 2296 (java) S 2287 2287 28528 0 -1 1077944384 3983 0 0 0 113 14 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177442355856 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2297] ppid=2287 vsize=28901456 memory=1680 CPUtime=1.28 cores=0-7 /proc/2289/task/2297/stat : 2297 (java) S 2287 2287 28528 0 -1 1077944384 4912 0 0 0 113 15 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177441302800 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2298] ppid=2287 vsize=28901456 memory=1808 CPUtime=1.29 cores=0-7 /proc/2289/task/2298/stat : 2298 (java) S 2287 2287 28528 0 -1 1077944384 4297 0 0 0 116 13 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177440250256 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2299] ppid=2287 vsize=28901456 memory=920 CPUtime=0.48 cores=0-7 /proc/2289/task/2299/stat : 2299 (java) S 2287 2287 28528 0 -1 1077944384 18571 0 0 0 34 14 0 0 20 0 28 0 419848466 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176360102640 140177896102530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2300] ppid=2287 vsize=28901456 memory=4136 CPUtime=0 cores=0-7 /proc/2289/task/2300/stat : 2300 (java) S 2287 2287 28528 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 419848467 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176359048928 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2301] ppid=2287 vsize=28901456 memory=6935054825532540783 CPUtime=0 cores=0-7 /proc/2289/task/2301/stat : 2301 (java) S 2287 2287 28528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 419848467 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176357995776 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2302] ppid=2287 vsize=28901456 memory=1444 CPUtime=0 cores=0-7 /proc/2289/task/2302/stat : 2302 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176356944336 140177896109979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2303] ppid=2287 vsize=28901456 memory=1984 CPUtime=2.85 cores=0-7 /proc/2289/task/2303/stat : 2303 (java) S 2287 2287 28528 0 -1 1077944384 13801 0 0 0 282 3 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176355891440 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2304] ppid=2287 vsize=28901456 memory=2424 CPUtime=3.07 cores=0-7 /proc/2289/task/2304/stat : 2304 (java) S 2287 2287 28528 0 -1 1077944384 18879 0 0 0 303 4 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176354838896 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2305] ppid=2287 vsize=28901456 memory=1564 CPUtime=2.74 cores=0-7 /proc/2289/task/2305/stat : 2305 (java) S 2287 2287 28528 0 -1 1077944384 21557 0 0 0 270 4 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176353785840 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2306] ppid=2287 vsize=28901456 memory=1452 CPUtime=1.1 cores=0-7 /proc/2289/task/2306/stat : 2306 (java) S 2287 2287 28528 0 -1 1077944384 15271 0 0 0 106 4 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176352733296 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2307] ppid=2287 vsize=28901456 memory=1306988 CPUtime=0 cores=0-7 /proc/2289/task/2307/stat : 2307 (java) S 2287 2287 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176351681504 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2308] ppid=2287 vsize=28901456 memory=1056 CPUtime=0.11 cores=0-7 /proc/2289/task/2308/stat : 2308 (java) S 2287 2287 28528 0 -1 1077944384 2042 0 0 0 1 10 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176350629040 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2450] ppid=2287 vsize=28901456 memory=780 CPUtime=418.4 cores=0-7 /proc/2289/task/2450/stat : 2450 (java) S 2287 2287 28528 0 -1 1077944384 9759 0 0 0 41835 5 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176338263872 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2451] ppid=2287 vsize=28901456 memory=1708 CPUtime=419.99 cores=0-7 /proc/2289/task/2451/stat : 2451 (java) S 2287 2287 28528 0 -1 1077944384 3167 0 0 0 41996 3 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176339318096 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2452] ppid=2287 vsize=28901456 memory=1280 CPUtime=451.84 cores=0-7 /proc/2289/task/2452/stat : 2452 (java) R 2287 2287 28528 0 -1 4202560 18229 0 0 0 45159 25 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176336154448 140177542771603 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2453] ppid=2287 vsize=28901456 memory=5932 CPUtime=419.78 cores=0-7 /proc/2289/task/2453/stat : 2453 (java) S 2287 2287 28528 0 -1 1077944384 3321 0 0 0 41975 3 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176331949136 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2454] ppid=2287 vsize=28901456 memory=780 CPUtime=420.95 cores=0-7 /proc/2289/task/2454/stat : 2454 (java) S 2287 2287 28528 0 -1 1077944384 7539 0 0 0 42081 14 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176337212112 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2455] ppid=2287 vsize=28901456 memory=3988 CPUtime=421.17 cores=0-7 /proc/2289/task/2455/stat : 2455 (java) S 2287 2287 28528 0 -1 1077944384 5194 0 0 0 42111 6 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176341422928 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2456] ppid=2287 vsize=28901456 memory=1088 CPUtime=419.32 cores=0-7 /proc/2289/task/2456/stat : 2456 (java) S 2287 2287 28528 0 -1 1077944384 4965 0 0 0 41919 13 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176340370896 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2457] ppid=2287 vsize=28901456 memory=2832 CPUtime=419.02 cores=0-7 /proc/2289/task/2457/stat : 2457 (java) S 2287 2287 28528 0 -1 1077944384 8753 0 0 0 41873 29 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176335107664 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 Current children cumulated CPU time: 3413.08 s Current children cumulated vsize: 29014584 KiB Current children cumulated memory: 1308440 KiB [startup+457.601 s] /proc/loadavg: 5.30 7.48 8.01 2/219 2484 /proc/meminfo: memFree=29563156/32770688 swapFree=66961116/67108860 [pid=2287] ppid=2284 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2287/stat : 2287 (xcsp3-exec) S 2284 2287 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419848463 115843072 363 33554432000 4194304 5098028 140721269071440 140721269069544 140564045775484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9220096 140721269076853 140721269077097 140721269077097 140721269080010 0 /proc/2287/statm: 28282 363 304 221 0 87 0 [pid=2289] ppid=2287 vsize=28901456 memory=1306988 CPUtime=3413.48 cores=0-7 /proc/2289/stat : 2289 (java) S 2287 2287 28528 0 -1 1077944320 198923 0 0 0 341092 256 0 0 20 0 28 0 419848463 29595090944 326747 33554432000 4194304 4196468 140721689176960 140721689159504 140177896091383 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 /proc/2289/statm: 7225364 326747 3544 1 0 7186466 0 [pid=2289/tid=2290] ppid=2287 vsize=28901456 memory=1452 CPUtime=0.65 cores=0-7 /proc/2289/task/2290/stat : 2290 (java) S 2287 2287 28528 0 -1 1077944384 9409 0 0 0 60 5 0 0 20 0 28 0 419848464 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177900332160 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2291] ppid=2287 vsize=28901456 memory=1306988 CPUtime=1.32 cores=0-7 /proc/2289/task/2291/stat : 2291 (java) S 2287 2287 28528 0 -1 1077944384 4341 0 0 0 118 14 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177447619600 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2292] ppid=2287 vsize=28901456 memory=8112282956445269571 CPUtime=1.27 cores=0-7 /proc/2289/task/2292/stat : 2292 (java) S 2287 2287 28528 0 -1 1077944384 3331 0 0 0 113 14 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177446567056 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2293] ppid=2287 vsize=28901456 memory=1306988 CPUtime=1.28 cores=0-7 /proc/2289/task/2293/stat : 2293 (java) S 2287 2287 28528 0 -1 1077944384 5230 0 0 0 115 13 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177445514000 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2294] ppid=2287 vsize=28901456 memory=2120 CPUtime=1.28 cores=0-7 /proc/2289/task/2294/stat : 2294 (java) S 2287 2287 28528 0 -1 1077944384 6304 0 0 0 115 13 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177444461456 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2295] ppid=2287 vsize=28901456 memory=8112282956445269571 CPUtime=1.29 cores=0-7 /proc/2289/task/2295/stat : 2295 (java) S 2287 2287 28528 0 -1 1077944384 2202 0 0 0 114 15 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177443408400 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2296] ppid=2287 vsize=28901456 memory=8112282956445269571 CPUtime=1.27 cores=0-7 /proc/2289/task/2296/stat : 2296 (java) S 2287 2287 28528 0 -1 1077944384 3983 0 0 0 113 14 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177442355856 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2297] ppid=2287 vsize=28901456 memory=1556 CPUtime=1.28 cores=0-7 /proc/2289/task/2297/stat : 2297 (java) S 2287 2287 28528 0 -1 1077944384 4912 0 0 0 113 15 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177441302800 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2298] ppid=2287 vsize=28901456 memory=928 CPUtime=1.29 cores=0-7 /proc/2289/task/2298/stat : 2298 (java) S 2287 2287 28528 0 -1 1077944384 4297 0 0 0 116 13 0 0 20 0 28 0 419848465 29595090944 326747 33554432000 4194304 4196468 140721689176960 140177440250256 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2299] ppid=2287 vsize=28901456 memory=1628 CPUtime=0.48 cores=0-7 /proc/2289/task/2299/stat : 2299 (java) S 2287 2287 28528 0 -1 1077944384 18571 0 0 0 34 14 0 0 20 0 28 0 419848466 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176360102640 140177896102530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2300] ppid=2287 vsize=28901456 memory=796 CPUtime=0 cores=0-7 /proc/2289/task/2300/stat : 2300 (java) S 2287 2287 28528 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 419848467 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176359048928 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2301] ppid=2287 vsize=28901456 memory=1444 CPUtime=0 cores=0-7 /proc/2289/task/2301/stat : 2301 (java) S 2287 2287 28528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 419848467 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176357995776 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2302] ppid=2287 vsize=28901456 memory=1984 CPUtime=0 cores=0-7 /proc/2289/task/2302/stat : 2302 (java) S 2287 2287 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176356944336 140177896109979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2303] ppid=2287 vsize=28901456 memory=1556 CPUtime=2.85 cores=0-7 /proc/2289/task/2303/stat : 2303 (java) S 2287 2287 28528 0 -1 1077944384 13801 0 0 0 282 3 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176355891440 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2304] ppid=2287 vsize=28901456 memory=7100839861465685612 CPUtime=3.07 cores=0-7 /proc/2289/task/2304/stat : 2304 (java) S 2287 2287 28528 0 -1 1077944384 18879 0 0 0 303 4 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176354838896 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2305] ppid=2287 vsize=28901456 memory=-7175204567652784766 CPUtime=2.74 cores=0-7 /proc/2289/task/2305/stat : 2305 (java) S 2287 2287 28528 0 -1 1077944384 21557 0 0 0 270 4 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176353785840 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2306] ppid=2287 vsize=28901456 memory=3054156605268465310 CPUtime=1.1 cores=0-7 /proc/2289/task/2306/stat : 2306 (java) S 2287 2287 28528 0 -1 1077944384 15271 0 0 0 106 4 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176352733296 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2307] ppid=2287 vsize=28901456 memory=4715433313220523562 CPUtime=0 cores=0-7 /proc/2289/task/2307/stat : 2307 (java) S 2287 2287 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176351681504 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2308] ppid=2287 vsize=28901456 memory=7882828121784479853 CPUtime=0.11 cores=0-7 /proc/2289/task/2308/stat : 2308 (java) S 2287 2287 28528 0 -1 1077944384 2042 0 0 0 1 10 0 0 20 0 28 0 419848470 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176350629040 140177896102530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2450] ppid=2287 vsize=28901456 memory=7595440001688102255 CPUtime=418.4 cores=0-7 /proc/2289/task/2450/stat : 2450 (java) S 2287 2287 28528 0 -1 1077944384 9759 0 0 0 41835 5 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176338263872 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2451] ppid=2287 vsize=28901456 memory=7595440001688102255 CPUtime=419.99 cores=0-7 /proc/2289/task/2451/stat : 2451 (java) S 2287 2287 28528 0 -1 1077944384 3167 0 0 0 41996 3 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176339318096 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2452] ppid=2287 vsize=28901456 memory=3612 CPUtime=452.24 cores=0-7 /proc/2289/task/2452/stat : 2452 (java) R 2287 2287 28528 0 -1 4202560 18229 0 0 0 45199 25 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176336154448 140177542771657 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2453] ppid=2287 vsize=28901456 memory=39848 CPUtime=419.78 cores=0-7 /proc/2289/task/2453/stat : 2453 (java) S 2287 2287 28528 0 -1 1077944384 3321 0 0 0 41975 3 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176331949136 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2454] ppid=2287 vsize=28901456 memory=8112282956445269571 CPUtime=420.95 cores=0-7 /proc/2289/task/2454/stat : 2454 (java) S 2287 2287 28528 0 -1 1077944384 7539 0 0 0 42081 14 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176337212112 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2455] ppid=2287 vsize=28901456 memory=1452 CPUtime=421.17 cores=0-7 /proc/2289/task/2455/stat : 2455 (java) S 2287 2287 28528 0 -1 1077944384 5194 0 0 0 42111 6 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176341422928 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2456] ppid=2287 vsize=28901456 memory=1306988 CPUtime=419.32 cores=0-7 /proc/2289/task/2456/stat : 2456 (java) S 2287 2287 28528 0 -1 1077944384 4965 0 0 0 41919 13 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176340370896 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 [pid=2289/tid=2457] ppid=2287 vsize=28901456 memory=41999 CPUtime=419.02 cores=0-7 /proc/2289/task/2457/stat : 2457 (java) S 2287 2287 28528 0 -1 1077944384 8753 0 0 0 41873 29 0 0 20 0 28 0 419848558 29595090944 326747 33554432000 4194304 4196468 140721689176960 140176335107664 140177896101589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 12328960 140721689179114 140721689179286 140721689179286 140721689182159 0 Current children cumulated CPU time: 3413.48 s Current children cumulated vsize: 29014584 KiB Current children cumulated memory: 1308440 KiB Child status: 0 Real time (s): 457.69 CPU time (s): 3413.59 CPU user time (s): 3411.01 CPU system time (s): 2.57983 CPU usage (%): 745.831 Max. virtual memory (cumulated for all children) (KiB): 29014584 Max. memory (cumulated for all children) (KiB): 1812048 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3411.01 system time used= 2.57983 maximum resident set size= 1822964 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 201721 page faults= 0 swaps= 0 block input operations= 0 block output operations= 800 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31932 involuntary context switches= 39407 # summary of solver processes directly reported to runsolver: # pid: 2287 # total CPU time (s): 3413.59 # total CPU user time (s): 3411.01 # total CPU system time (s): 2.57983 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.54195 second user time and 4.99567 second system time The end
Begin job on node116 at 2019-09-14 07:30:27 IDJOB=4393818 IDBENCH=135733 IDSOLVER=2841 FILE ID=node116/4393818-1568439068 RUNJOBID= node116-1568427322-28555 PBS_JOBID= 21702297 Free space on /tmp= 61244 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n15/TravellingSalesman-15-30-04.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-4393818-1568439068/watcher-4393818-1568439068 -o /tmp/evaluation-result-4393818-1568439068/solver-4393818-1568439068 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568427322-28555 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1513831284 HOME/instance-4393818-1568439068.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3ec1135b215453db38ac12e83e420ae6 RANDOM SEED=1513831284 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 30861168 kB MemAvailable: 31854332 kB Buffers: 86348 kB Cached: 1192656 kB SwapCached: 46664 kB Active: 946444 kB Inactive: 384948 kB Active(anon): 4576 kB Inactive(anon): 88348 kB Active(file): 941868 kB Inactive(file): 296600 kB Unevictable: 109348 kB Mlocked: 109348 kB SwapTotal: 67108860 kB SwapFree: 66961116 kB Dirty: 26212 kB Writeback: 0 kB AnonPages: 115056 kB Mapped: 43716 kB Shmem: 32008 kB Slab: 168992 kB SReclaimable: 141060 kB SUnreclaim: 27932 kB KernelStack: 3344 kB PageTables: 5932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 497604 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61216 MiB End job on node116 at 2019-09-14 07:38:05