Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 32 | 74.2055 | 10.7528 |
Name | StillLife/StillLife-m1-s1/ StillLife-05-11.xml |
MD5SUM | 797e5cb3172be67eb960f2d678910748 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 32 |
Best CPU time to get the best result obtained on this benchmark | 15.2862 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 134 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":55},{"size":9,"count":55}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":55},{"degree":7,"count":4},{"degree":8,"count":24},{"degree":10,"count":27}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":55},{"arity":3,"count":24},{"arity":4,"count":4},{"arity":6,"count":24},{"arity":9,"count":27}] |
Number of extensional constraints | 79 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":79},{"type":"sum","count":55}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393867-1568419165.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393867-1568419165.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.71/0.71 c solve instance... 1.71/0.77 o 0 1.71/0.78 o 4 2.20/0.80 o 6 2.20/0.81 o 8 2.20/0.84 o 10 2.20/0.85 o 12 2.20/0.87 o 27 2.88/0.92 o 29 6.04/1.35 o 30 63.77/9.49 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (31/33) 63.77/9.49 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 63.77/9.49 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 63.77/9.49 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 63.77/9.49 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 63.77/9.49 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 63.77/9.49 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (31/33) 63.77/9.49 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 63.77/9.49 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 63.77/9.49 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 63.77/9.49 at org.chocosolver.solver.Solver.repair(Solver.java:443) 63.77/9.49 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 63.77/9.49 at org.chocosolver.solver.Solver.solve(Solver.java:262) 63.77/9.49 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 63.77/9.49 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 63.77/9.49 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 63.77/9.49 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 63.77/9.49 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 63.77/9.49 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 63.77/9.49 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 63.77/9.49 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 63.77/9.49 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 63.77/9.49 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 63.77/9.49 o 32 73.93/10.73 s OPTIMUM FOUND 73.93/10.73 v <instantiation> 73.93/10.73 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[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[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[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[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] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] </list> 73.93/10.73 v <values>1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 3 3 4 3 3 4 3 3 4 3 3 3 3 4 3 3 4 3 3 4 3 3 4 4 4 4 4 4 4 4 4 4 4 3 3 4 3 3 4 3 3 4 3 3 3 3 4 3 3 4 3 3 4 3 3 </values> 73.93/10.73 v </instantiation>
OK 32
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 (11842 MiB free) memory of node 1: 16384 MiB (10750 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393867-1568419165/watcher-4393867-1568419165 -o /tmp/evaluation-result-4393867-1568419165/solver-4393867-1568419165 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568417505-21287 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 458147737 HOME/instance-4393867-1568419165.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=21835, runsolver pid=21832 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.100252 s]* /proc/loadavg: 4.95 7.19 6.44 2/211 21856 /proc/meminfo: memFree=23117300/32770624 swapFree=66939840/67108860 [pid=21835] ppid=21832 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21835/stat : 21835 (xcsp3-exec) S 21832 21835 21260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417831391 115843072 364 33554432000 4194304 5098028 140735905331792 140735905329896 140161606230652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21925888 140735905338230 140735905338473 140735905338473 140735905341386 0 /proc/21835/statm: 28282 364 305 221 0 87 0 [pid=21837] ppid=21835 vsize=28227388 memory=29660 CPUtime=0.12 cores=0-7 /proc/21837/stat : 21837 (java) S 21835 21835 21260 0 -1 1077944320 5890 0 0 0 11 1 0 0 20 0 20 0 417831392 28904845312 7415 33554432000 4194304 4196468 140725221835296 140725221817840 140187599859447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 /proc/21837/statm: 7056847 7415 3118 1 0 7019032 0 [pid=21837/tid=21838] ppid=21835 vsize=28227388 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/21837/task/21838/stat : 21838 (java) R 21835 21835 21260 0 -1 4202560 3800 0 0 0 8 0 0 0 20 0 20 0 417831392 28904845312 7415 33554432000 4194304 4196468 140725221835296 140187604091696 140187599871382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21839] ppid=21835 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21837/task/21839/stat : 21839 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 7415 33554432000 4194304 4196468 140725221835296 140187552479760 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21840] ppid=21835 vsize=28227388 memory=139821952816768 CPUtime=0 cores=0-7 /proc/21837/task/21840/stat : 21840 (java) S 21835 21835 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 7415 33554432000 4194304 4196468 140725221835296 140187551427216 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21841] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21841/stat : 21841 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 7415 33554432000 4194304 4196468 140725221835296 140187550374160 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21842] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21842/stat : 21842 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 7415 33554432000 4194304 4196468 140725221835296 140187549321616 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21843] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21843/stat : 21843 (java) S 21835 21835 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 7415 33554432000 4194304 4196468 140725221835296 140187548269584 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21844] ppid=21835 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/21837/task/21844/stat : 21844 (java) S 21835 21835 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 7415 33554432000 4194304 4196468 140725221835296 140187547217040 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21845] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21845/stat : 21845 (java) S 21835 21835 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 7415 33554432000 4194304 4196468 140725221835296 140187546163984 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21846] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21846/stat : 21846 (java) S 21835 21835 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 7415 33554432000 4194304 4196468 140725221835296 140187545111440 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21847] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21847/stat : 21847 (java) S 21835 21835 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417831394 28904845312 7415 33554432000 4194304 4196468 140725221835296 140186782484720 140187599870594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21848] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21848/stat : 21848 (java) S 21835 21835 21260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417831395 28904845312 7415 33554432000 4194304 4196468 140725221835296 140186781430944 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21849] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21849/stat : 21849 (java) S 21835 21835 21260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417831395 28904845312 7415 33554432000 4194304 4196468 140725221835296 140186780377840 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21850] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21850/stat : 21850 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831397 28904845312 7415 33554432000 4194304 4196468 140725221835296 140186779326416 140187599878043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21851] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21851/stat : 21851 (java) S 21835 21835 21260 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 417831397 28904845312 7415 33554432000 4194304 4196468 140725221835296 140186778274544 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21852] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21852/stat : 21852 (java) S 21835 21835 21260 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 417831397 28904845312 7415 33554432000 4194304 4196468 140725221835296 140186777222000 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21853] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21853/stat : 21853 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831397 28904845312 7415 33554432000 4194304 4196468 140725221835296 140186776168944 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21854] ppid=21835 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/21837/task/21854/stat : 21854 (java) R 21835 21835 21260 0 -1 4202560 352 0 0 0 1 0 0 0 20 0 20 0 417831397 28904845312 7415 33554432000 4194304 4196468 140725221835296 140186775116400 140187599880794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21855] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21855/stat : 21855 (java) S 21835 21835 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417831398 28904845312 7415 33554432000 4194304 4196468 140725221835296 140186774063584 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21856] ppid=21835 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/21837/task/21856/stat : 21856 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831398 28904845312 7415 33554432000 4194304 4196468 140725221835296 140186773011120 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31116 KiB [startup+0.210506 s]* /proc/loadavg: 4.95 7.19 6.44 2/211 21856 /proc/meminfo: memFree=23105120/32770624 swapFree=66939840/67108860 [pid=21835] ppid=21832 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21835/stat : 21835 (xcsp3-exec) S 21832 21835 21260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417831391 115843072 364 33554432000 4194304 5098028 140735905331792 140735905329896 140161606230652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21925888 140735905338230 140735905338473 140735905338473 140735905341386 0 /proc/21835/statm: 28282 364 305 221 0 87 0 [pid=21837] ppid=21835 vsize=28227388 memory=40776 CPUtime=0.34 cores=0-7 /proc/21837/stat : 21837 (java) S 21835 21835 21260 0 -1 1077944320 9398 0 0 0 31 3 0 0 20 0 20 0 417831392 28904845312 10194 33554432000 4194304 4196468 140725221835296 140725221817840 140187599859447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 /proc/21837/statm: 7056847 10194 3318 1 0 7019032 0 [pid=21837/tid=21838] ppid=21835 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/21837/task/21838/stat : 21838 (java) R 21835 21835 21260 0 -1 4202560 6652 0 0 0 18 1 0 0 20 0 20 0 417831392 28904845312 10194 33554432000 4194304 4196468 140725221835296 140187604094144 140187599871382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21839] ppid=21835 vsize=28227388 memory=342 CPUtime=0 cores=0-7 /proc/21837/task/21839/stat : 21839 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 10194 33554432000 4194304 4196468 140725221835296 140187552479760 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21840] ppid=21835 vsize=28227388 memory=139821955910453 CPUtime=0 cores=0-7 /proc/21837/task/21840/stat : 21840 (java) S 21835 21835 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 10194 33554432000 4194304 4196468 140725221835296 140187551427216 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21841] ppid=21835 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/21837/task/21841/stat : 21841 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 10194 33554432000 4194304 4196468 140725221835296 140187550374160 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21842] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21842/stat : 21842 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 10194 33554432000 4194304 4196468 140725221835296 140187549321616 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21843] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21843/stat : 21843 (java) S 21835 21835 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 10194 33554432000 4194304 4196468 140725221835296 140187548269584 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21844] ppid=21835 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/21837/task/21844/stat : 21844 (java) S 21835 21835 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 10194 33554432000 4194304 4196468 140725221835296 140187547217040 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21845] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21845/stat : 21845 (java) S 21835 21835 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 10194 33554432000 4194304 4196468 140725221835296 140187546163984 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21846] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21846/stat : 21846 (java) S 21835 21835 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417831393 28904845312 10194 33554432000 4194304 4196468 140725221835296 140187545111440 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21847] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21847/stat : 21847 (java) S 21835 21835 21260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417831394 28904845312 10194 33554432000 4194304 4196468 140725221835296 140186782484720 140187599870594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21848] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21848/stat : 21848 (java) S 21835 21835 21260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417831395 28904845312 10194 33554432000 4194304 4196468 140725221835296 140186781430944 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21849] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21849/stat : 21849 (java) S 21835 21835 21260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417831395 28904845312 10194 33554432000 4194304 4196468 140725221835296 140186780377840 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21850] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21850/stat : 21850 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831397 28904845312 10194 33554432000 4194304 4196468 140725221835296 140186779326416 140187599878043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21851] ppid=21835 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/21837/task/21851/stat : 21851 (java) S 21835 21835 21260 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 20 0 417831397 28904845312 10194 33554432000 4194304 4196468 140725221835296 140186778274544 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21852] ppid=21835 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/21837/task/21852/stat : 21852 (java) S 21835 21835 21260 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 20 0 417831397 28904845312 10194 33554432000 4194304 4196468 140725221835296 140186777222000 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21853] ppid=21835 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/21837/task/21853/stat : 21853 (java) S 21835 21835 21260 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 20 0 417831397 28904845312 10194 33554432000 4194304 4196468 140725221835296 140186776168944 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21854] ppid=21835 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/21837/task/21854/stat : 21854 (java) R 21835 21835 21260 0 -1 4202560 773 0 0 0 8 0 0 0 20 0 20 0 417831397 28904845312 10194 33554432000 4194304 4196468 140725221835296 140186775116400 140187592096574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21855] ppid=21835 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21855/stat : 21855 (java) S 21835 21835 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417831398 28904845312 10194 33554432000 4194304 4196468 140725221835296 140186774063584 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21856] ppid=21835 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/21837/task/21856/stat : 21856 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831398 28904845312 10194 33554432000 4194304 4196468 140725221835296 140186773011120 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42232 KiB [startup+0.319197 s]* /proc/loadavg: 4.95 7.19 6.44 3/211 21856 /proc/meminfo: memFree=23097092/32770624 swapFree=66939840/67108860 [pid=21835] ppid=21832 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21835/stat : 21835 (xcsp3-exec) S 21832 21835 21260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417831391 115843072 364 33554432000 4194304 5098028 140735905331792 140735905329896 140161606230652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21925888 140735905338230 140735905338473 140735905338473 140735905341386 0 /proc/21835/statm: 28282 364 305 221 0 87 0 [pid=21837] ppid=21835 vsize=28231644 memory=50204 CPUtime=0.54 cores=0-7 /proc/21837/stat : 21837 (java) S 21835 21835 21260 0 -1 1077944320 11003 0 0 0 50 4 0 0 20 0 20 0 417831392 28909203456 12551 33554432000 4194304 4196468 140725221835296 140725221817840 140187599859447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 /proc/21837/statm: 7057911 12551 3358 1 0 7019032 0 [pid=21837/tid=21838] ppid=21835 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/21837/task/21838/stat : 21838 (java) R 21835 21835 21260 0 -1 4202560 7905 0 0 0 28 2 0 0 20 0 20 0 417831392 28909203456 12616 33554432000 4194304 4196468 140725221835296 140187604093408 140187583939934 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21839] ppid=21835 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21839/stat : 21839 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831393 28909203456 12616 33554432000 4194304 4196468 140725221835296 140187552479760 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21840] ppid=21835 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21840/stat : 21840 (java) S 21835 21835 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417831393 28909203456 12616 33554432000 4194304 4196468 140725221835296 140187551427216 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21841] ppid=21835 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21841/stat : 21841 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831393 28909203456 12616 33554432000 4194304 4196468 140725221835296 140187550374160 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21842] ppid=21835 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21842/stat : 21842 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831393 28909203456 12616 33554432000 4194304 4196468 140725221835296 140187549321616 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21843] ppid=21835 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21843/stat : 21843 (java) S 21835 21835 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417831393 28909203456 12616 33554432000 4194304 4196468 140725221835296 140187548269584 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21844] ppid=21835 vsize=28231644 memory=139821855107759 CPUtime=0 cores=0-7 /proc/21837/task/21844/stat : 21844 (java) S 21835 21835 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417831393 28909203456 12616 33554432000 4194304 4196468 140725221835296 140187547217040 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21845] ppid=21835 vsize=28231644 memory=139821855110064 CPUtime=0 cores=0-7 /proc/21837/task/21845/stat : 21845 (java) S 21835 21835 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417831393 28909203456 12616 33554432000 4194304 4196468 140725221835296 140187546163984 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21846] ppid=21835 vsize=28231644 memory=139821855112368 CPUtime=0 cores=0-7 /proc/21837/task/21846/stat : 21846 (java) S 21835 21835 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417831393 28909203456 12616 33554432000 4194304 4196468 140725221835296 140187545111440 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21847] ppid=21835 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21847/stat : 21847 (java) S 21835 21835 21260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417831394 28909203456 12616 33554432000 4194304 4196468 140725221835296 140186782484720 140187599870594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21848] ppid=21835 vsize=28231644 memory=279643710238608 CPUtime=0 cores=0-7 /proc/21837/task/21848/stat : 21848 (java) S 21835 21835 21260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417831395 28909203456 12616 33554432000 4194304 4196468 140725221835296 140186781430944 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21849] ppid=21835 vsize=28231644 memory=279643710236304 CPUtime=0 cores=0-7 /proc/21837/task/21849/stat : 21849 (java) S 21835 21835 21260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417831395 28909203456 12616 33554432000 4194304 4196468 140725221835296 140186780377840 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21850] ppid=21835 vsize=28231644 memory=279643710243216 CPUtime=0 cores=0-7 /proc/21837/task/21850/stat : 21850 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831397 28909203456 12616 33554432000 4194304 4196468 140725221835296 140186779326416 140187599878043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21851] ppid=21835 vsize=28231644 memory=279643710184496 CPUtime=0.02 cores=0-7 /proc/21837/task/21851/stat : 21851 (java) S 21835 21835 21260 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 20 0 417831397 28909203456 12616 33554432000 4194304 4196468 140725221835296 140186778274544 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21852] ppid=21835 vsize=28231644 memory=279643710257040 CPUtime=0.04 cores=0-7 /proc/21837/task/21852/stat : 21852 (java) S 21835 21835 21260 0 -1 1077944384 312 0 0 0 4 0 0 0 20 0 20 0 417831397 28909203456 12616 33554432000 4194304 4196468 140725221835296 140186777222000 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21853] ppid=21835 vsize=28231644 memory=279643710263952 CPUtime=0.02 cores=0-7 /proc/21837/task/21853/stat : 21853 (java) S 21835 21835 21260 0 -1 1077944384 98 0 0 0 2 0 0 0 20 0 20 0 417831397 28909203456 12616 33554432000 4194304 4196468 140725221835296 140186776168944 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21854] ppid=21835 vsize=28231644 memory=279643710261648 CPUtime=0.12 cores=0-7 /proc/21837/task/21854/stat : 21854 (java) S 21835 21835 21260 0 -1 1077944384 947 0 0 0 12 0 0 0 20 0 20 0 417831397 28909203456 12616 33554432000 4194304 4196468 140725221835296 140186775116400 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21855] ppid=21835 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21855/stat : 21855 (java) S 21835 21835 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417831398 28909203456 12616 33554432000 4194304 4196468 140725221835296 140186774063584 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21856] ppid=21835 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/21837/task/21856/stat : 21856 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831398 28909203456 12616 33554432000 4194304 4196468 140725221835296 140186773011120 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51660 KiB [startup+0.700944 s] /proc/loadavg: 4.95 7.19 6.44 4/211 21856 /proc/meminfo: memFree=23084464/32770624 swapFree=66939840/67108860 [pid=21835] ppid=21832 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21835/stat : 21835 (xcsp3-exec) S 21832 21835 21260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417831391 115843072 364 33554432000 4194304 5098028 140735905331792 140735905329896 140161606230652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21925888 140735905338230 140735905338473 140735905338473 140735905341386 0 /proc/21835/statm: 28282 364 305 221 0 87 0 [pid=21837] ppid=21835 vsize=28233768 memory=95128 CPUtime=1.71 cores=0-7 /proc/21837/stat : 21837 (java) S 21835 21835 21260 0 -1 1077944320 17044 0 0 0 165 6 0 0 20 0 20 0 417831392 28911378432 23782 33554432000 4194304 4196468 140725221835296 140725221817840 140187599859447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 /proc/21837/statm: 7058442 23782 3456 1 0 7019544 0 [pid=21837/tid=21838] ppid=21835 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7 /proc/21837/task/21838/stat : 21838 (java) R 21835 21835 21260 0 -1 4202560 9299 0 0 0 65 3 0 0 20 0 20 0 417831392 28911378432 23782 33554432000 4194304 4196468 140725221835296 140187604093712 140187216843944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21839] ppid=21835 vsize=28233768 memory=139821855318896 CPUtime=0 cores=0-7 /proc/21837/task/21839/stat : 21839 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417831393 28911378432 23782 33554432000 4194304 4196468 140725221835296 140187552479760 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21840] ppid=21835 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21840/stat : 21840 (java) S 21835 21835 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417831393 28911378432 23782 33554432000 4194304 4196468 140725221835296 140187551427216 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21841] ppid=21835 vsize=28233768 memory=1256 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=21837/tid=21854] ppid=21835 vsize=28768328 memory=139821855343696 CPUtime=0.98 cores=0-7 /proc/21837/task/21854/stat : 21854 (java) S 21835 21835 21260 0 -1 1077944384 7121 0 0 0 96 2 0 0 20 0 28 0 417831397 29458767872 53106 33554432000 4194304 4196468 140725221835296 140186775116400 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21855] ppid=21835 vsize=28768328 memory=139821855343728 CPUtime=0 cores=0-7 /proc/21837/task/21855/stat : 21855 (java) S 21835 21835 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417831398 29458767872 53106 33554432000 4194304 4196468 140725221835296 140186774063584 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21856] ppid=21835 vsize=28768328 memory=139821855343760 CPUtime=0 cores=0-7 /proc/21837/task/21856/stat : 21856 (java) S 21835 21835 21260 0 -1 1077944384 551 0 0 0 0 0 0 0 20 0 28 0 417831398 29458767872 53106 33554432000 4194304 4196468 140725221835296 140186773011120 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21937] ppid=21835 vsize=28768328 memory=139821855343792 CPUtime=0.74 cores=0-7 /proc/21837/task/21937/stat : 21937 (java) R 21835 21835 21260 0 -1 4202560 41 0 0 0 74 0 0 0 20 0 28 0 417832341 29458767872 53106 33554432000 4194304 4196468 140725221835296 140186759825608 140187219185682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21938] ppid=21835 vsize=28768328 memory=139821855343824 CPUtime=0.84 cores=0-7 /proc/21837/task/21938/stat : 21938 (java) R 21835 21835 21260 0 -1 4202560 18 0 0 0 84 0 0 0 20 0 28 0 417832341 29458767872 53106 33554432000 4194304 4196468 140725221835296 140186756668936 140187215804345 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21939] ppid=21835 vsize=28768328 memory=139821855343856 CPUtime=0.5 cores=0-7 /proc/21837/task/21939/stat : 21939 (java) R 21835 21835 21260 0 -1 4202560 504 0 0 0 50 0 0 0 20 0 28 0 417832341 29458767872 53106 33554432000 4194304 4196468 140725221835296 140186758774856 140187220298584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21940] ppid=21835 vsize=28768328 memory=279643710605512 CPUtime=0.7 cores=0-7 /proc/21837/task/21940/stat : 21940 (java) R 21835 21835 21260 0 -1 4202560 18 0 0 0 70 0 0 0 20 0 28 0 417832341 29458767872 53106 33554432000 4194304 4196468 140725221835296 140186757722120 140187215804208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21941] ppid=21835 vsize=28768328 memory=95965943958250 CPUtime=0.82 cores=0-7 /proc/21837/task/21941/stat : 21941 (java) R 21835 21835 21260 0 -1 4202560 18 0 0 0 82 0 0 0 20 0 28 0 417832341 29458767872 53106 33554432000 4194304 4196468 140725221835296 140186762985288 140187219186116 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21942] ppid=21835 vsize=28768328 memory=95965943957994 CPUtime=0.76 cores=0-7 /proc/21837/task/21942/stat : 21942 (java) R 21835 21835 21260 0 -1 4202560 23 0 0 0 76 0 0 0 20 0 28 0 417832341 29458767872 53106 33554432000 4194304 4196468 140725221835296 140186761933000 140187212784762 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21943] ppid=21835 vsize=28768328 memory=95965943957994 CPUtime=0.61 cores=0-7 /proc/21837/task/21943/stat : 21943 (java) R 21835 21835 21260 0 -1 4202560 18 0 0 0 61 0 0 0 20 0 28 0 417832341 29458767872 53106 33554432000 4194304 4196468 140725221835296 140186760879992 140187218270290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21944] ppid=21835 vsize=28768328 memory=95965943957738 CPUtime=0.68 cores=0-7 /proc/21837/task/21944/stat : 21944 (java) R 21835 21835 21260 0 -1 4202560 20 0 0 0 68 0 0 0 20 0 28 0 417832341 29458767872 53106 33554432000 4194304 4196468 140725221835296 140186764037832 140187220847460 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 Current children cumulated CPU time: 71.57 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 213880 KiB [startup+10.6012 s] /proc/loadavg: 5.12 7.15 6.43 13/219 21944 /proc/meminfo: memFree=22937760/32770624 swapFree=66939840/67108860 [pid=21835] ppid=21832 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21835/stat : 21835 (xcsp3-exec) S 21832 21835 21260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417831391 115843072 364 33554432000 4194304 5098028 140735905331792 140735905329896 140161606230652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21925888 140735905338230 140735905338473 140735905338473 140735905341386 0 /proc/21835/statm: 28282 364 305 221 0 87 0 [pid=21837] ppid=21835 vsize=28768328 memory=209348 CPUtime=73.14 cores=0-7 /proc/21837/stat : 21837 (java) S 21835 21835 21260 0 -1 1077944320 44346 0 0 0 7289 25 0 0 20 0 28 0 417831392 29458767872 52337 33554432000 4194304 4196468 140725221835296 140725221817840 140187599859447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 /proc/21837/statm: 7192082 52337 3534 1 0 7153184 0 [pid=21837/tid=21838] ppid=21835 vsize=28768328 memory=7377859784108174948 CPUtime=0.72 cores=0-7 /proc/21837/task/21838/stat : 21838 (java) S 21835 21835 21260 0 -1 1077944384 9823 0 0 0 69 3 0 0 20 0 28 0 417831392 29458767872 52337 33554432000 4194304 4196468 140725221835296 140187604100224 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21839] ppid=21835 vsize=28768328 memory=7164209213318521964 CPUtime=0.03 cores=0-7 /proc/21837/task/21839/stat : 21839 (java) S 21835 21835 21260 0 -1 1077944384 1090 0 0 0 2 1 0 0 20 0 28 0 417831393 29458767872 52337 33554432000 4194304 4196468 140725221835296 140187552479760 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21840] ppid=21835 vsize=28768328 memory=7377859784108174948 CPUtime=0.02 cores=0-7 /proc/21837/task/21840/stat : 21840 (java) S 21835 21835 21260 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 28 0 417831393 29458767872 52337 33554432000 4194304 4196468 140725221835296 140187551427216 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21841] ppid=21835 vsize=28768328 memory=7164209213318521964 CPUtime=0.02 cores=0-7 /proc/21837/task/21841/stat : 21841 (java) S 21835 21835 21260 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 28 0 417831393 29458767872 52337 33554432000 4194304 4196468 140725221835296 140187550374160 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21842] ppid=21835 vsize=28768328 memory=7377859784108174948 CPUtime=0.02 cores=0-7 /proc/21837/task/21842/stat : 21842 (java) S 21835 21835 21260 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 28 0 417831393 29458767872 52337 33554432000 4194304 4196468 140725221835296 140187549321616 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21843] ppid=21835 vsize=28768328 memory=6299802978650451056 CPUtime=0.02 cores=0-7 /proc/21837/task/21843/stat : 21843 (java) S 21835 21835 21260 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 28 0 417831393 29458767872 52337 33554432000 4194304 4196468 140725221835296 140187548269584 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21844] ppid=21835 vsize=28768328 memory=7740109326258432105 CPUtime=0.02 cores=0-7 /proc/21837/task/21844/stat : 21844 (java) S 21835 21835 21260 0 -1 1077944384 89 0 0 0 2 0 0 0 20 0 28 0 417831393 29458767872 52337 33554432000 4194304 4196468 140725221835296 140187547217040 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21845] ppid=21835 vsize=28768328 memory=2608 CPUtime=0.02 cores=0-7 /proc/21837/task/21845/stat : 21845 (java) S 21835 21835 21260 0 -1 1077944384 205 0 0 0 2 0 0 0 20 0 28 0 417831393 29458767872 52337 33554432000 4194304 4196468 140725221835296 140187546163984 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21846] ppid=21835 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/21837/task/21846/stat : 21846 (java) S 21835 21835 21260 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 28 0 417831393 29458767872 52337 33554432000 4194304 4196468 140725221835296 140187545111440 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21847] ppid=21835 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/21837/task/21847/stat : 21847 (java) S 21835 21835 21260 0 -1 1077944384 562 0 0 0 2 0 0 0 20 0 28 0 417831394 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186782484720 140187599870594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21848] ppid=21835 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21848/stat : 21848 (java) S 21835 21835 21260 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 417831395 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186781431008 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21849] ppid=21835 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21849/stat : 21849 (java) S 21835 21835 21260 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 417831395 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186780377840 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21850] ppid=21835 vsize=28768328 memory=56 CPUtime=0 cores=0-7 /proc/21837/task/21850/stat : 21850 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417831397 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186779326416 140187599878043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21851] ppid=21835 vsize=28768328 memory=-7384994778349281184 CPUtime=1.85 cores=0-7 /proc/21837/task/21851/stat : 21851 (java) S 21835 21835 21260 0 -1 1077944384 6037 0 0 0 184 1 0 0 20 0 28 0 417831397 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186778274544 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21852] ppid=21835 vsize=28768328 memory=7091571145706595667 CPUtime=2 cores=0-7 /proc/21837/task/21852/stat : 21852 (java) R 21835 21835 21260 0 -1 4202560 6147 0 0 0 199 1 0 0 20 0 28 0 417831397 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186777207776 140187581404126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21853] ppid=21835 vsize=28768328 memory=6300657269120783718 CPUtime=1.79 cores=0-7 /proc/21837/task/21853/stat : 21853 (java) S 21835 21835 21260 0 -1 1077944384 5690 0 0 0 178 1 0 0 20 0 28 0 417831397 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186776168944 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21854] ppid=21835 vsize=28768328 memory=7233745695611121519 CPUtime=0.99 cores=0-7 /proc/21837/task/21854/stat : 21854 (java) R 21835 21835 21260 0 -1 1077944384 7153 0 0 0 97 2 0 0 20 0 28 0 417831397 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186775116400 140187599870594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21855] ppid=21835 vsize=28768328 memory=4639948313719891052 CPUtime=0 cores=0-7 /proc/21837/task/21855/stat : 21855 (java) S 21835 21835 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417831398 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186774063584 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21856] ppid=21835 vsize=28768328 memory=7666924728542323282 CPUtime=0 cores=0-7 /proc/21837/task/21856/stat : 21856 (java) S 21835 21835 21260 0 -1 1077944384 551 0 0 0 0 0 0 0 20 0 28 0 417831398 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186773011120 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21937] ppid=21835 vsize=28768328 memory=6944656575208382560 CPUtime=0.91 cores=0-7 /proc/21837/task/21937/stat : 21937 (java) R 21835 21835 21260 0 -1 4202560 41 0 0 0 91 0 0 0 20 0 28 0 417832341 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186759830424 140187218271811 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21938] ppid=21835 vsize=28768328 memory=6655300316396806240 CPUtime=1.03 cores=0-7 /proc/21837/task/21938/stat : 21938 (java) R 21835 21835 21260 0 -1 4202560 18 0 0 0 103 0 0 0 20 0 28 0 417832341 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186756669600 140187217861031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21939] ppid=21835 vsize=28768328 memory=3937748765343744032 CPUtime=0.63 cores=0-7 /proc/21837/task/21939/stat : 21939 (java) R 21835 21835 21260 0 -1 4202560 504 0 0 0 63 0 0 0 20 0 28 0 417832341 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186758775624 140187221600977 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21940] ppid=21835 vsize=28768328 memory=301741407901843824 CPUtime=0.86 cores=0-7 /proc/21837/task/21940/stat : 21940 (java) R 21835 21835 21260 0 -1 4202560 19 0 0 0 86 0 0 0 20 0 28 0 417832341 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186757726560 140187221015139 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21941] ppid=21835 vsize=28768328 memory=3113486 CPUtime=1.01 cores=0-7 /proc/21837/task/21941/stat : 21941 (java) R 21835 21835 21260 0 -1 4202560 18 0 0 0 101 0 0 0 20 0 28 0 417832341 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186762985752 140187219924807 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21942] ppid=21835 vsize=28768328 memory=5938117486282239074 CPUtime=0.94 cores=0-7 /proc/21837/task/21942/stat : 21942 (java) R 21835 21835 21260 0 -1 4202560 23 0 0 0 94 0 0 0 20 0 28 0 417832341 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186761933800 140187217860831 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21943] ppid=21835 vsize=28768328 memory=7956005031678667109 CPUtime=0.79 cores=0-7 /proc/21837/task/21943/stat : 21943 (java) R 21835 21835 21260 0 -1 4202560 19 0 0 0 79 0 0 0 20 0 28 0 417832341 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186760880616 140187219045252 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21944] ppid=21835 vsize=28768328 memory=7740109326258432105 CPUtime=0.85 cores=0-7 /proc/21837/task/21944/stat : 21944 (java) R 21835 21835 21260 0 -1 4202560 20 0 0 0 85 0 0 0 20 0 28 0 417832341 29458767872 52337 33554432000 4194304 4196468 140725221835296 140186764037968 140187219817598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 Current children cumulated CPU time: 73.14 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 210804 KiB [startup+10.7012 s] /proc/loadavg: 5.12 7.15 6.43 13/219 21944 /proc/meminfo: memFree=22937760/32770624 swapFree=66939840/67108860 [pid=21835] ppid=21832 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21835/stat : 21835 (xcsp3-exec) S 21832 21835 21260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417831391 115843072 364 33554432000 4194304 5098028 140735905331792 140735905329896 140161606230652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21925888 140735905338230 140735905338473 140735905338473 140735905341386 0 /proc/21835/statm: 28282 364 305 221 0 87 0 [pid=21837] ppid=21835 vsize=28768328 memory=209388 CPUtime=73.93 cores=0-7 /proc/21837/stat : 21837 (java) S 21835 21835 21260 0 -1 1077944320 44381 0 0 0 7368 25 0 0 20 0 28 0 417831392 29458767872 52347 33554432000 4194304 4196468 140725221835296 140725221817840 140187599859447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 /proc/21837/statm: 7192082 52347 3534 1 0 7153184 0 [pid=21837/tid=21838] ppid=21835 vsize=28768328 memory=1456 CPUtime=0.72 cores=0-7 /proc/21837/task/21838/stat : 21838 (java) S 21835 21835 21260 0 -1 1077944384 9823 0 0 0 69 3 0 0 20 0 28 0 417831392 29458767872 52347 33554432000 4194304 4196468 140725221835296 140187604100224 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21839] ppid=21835 vsize=28768328 memory=212380 CPUtime=0.03 cores=0-7 /proc/21837/task/21839/stat : 21839 (java) S 21835 21835 21260 0 -1 1077944384 1090 0 0 0 2 1 0 0 20 0 28 0 417831393 29458767872 52347 33554432000 4194304 4196468 140725221835296 140187552479760 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21840] ppid=21835 vsize=28768328 memory=1456 CPUtime=0.02 cores=0-7 /proc/21837/task/21840/stat : 21840 (java) S 21835 21835 21260 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 28 0 417831393 29458767872 52347 33554432000 4194304 4196468 140725221835296 140187551427216 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21841] ppid=21835 vsize=28768328 memory=209348 CPUtime=0.02 cores=0-7 /proc/21837/task/21841/stat : 21841 (java) S 21835 21835 21260 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 28 0 417831393 29458767872 52347 33554432000 4194304 4196468 140725221835296 140187550374160 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21842] ppid=21835 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/21837/task/21842/stat : 21842 (java) S 21835 21835 21260 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 28 0 417831393 29458767872 52347 33554432000 4194304 4196468 140725221835296 140187549321616 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21843] ppid=21835 vsize=28768328 memory=-9108684669924984198 CPUtime=0.02 cores=0-7 /proc/21837/task/21843/stat : 21843 (java) S 21835 21835 21260 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 28 0 417831393 29458767872 52347 33554432000 4194304 4196468 140725221835296 140187548269584 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21844] ppid=21835 vsize=28768328 memory=7084538691080842604 CPUtime=0.02 cores=0-7 /proc/21837/task/21844/stat : 21844 (java) S 21835 21835 21260 0 -1 1077944384 89 0 0 0 2 0 0 0 20 0 28 0 417831393 29458767872 52347 33554432000 4194304 4196468 140725221835296 140187547217040 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21845] ppid=21835 vsize=28768328 memory=4294967328 CPUtime=0.02 cores=0-7 /proc/21837/task/21845/stat : 21845 (java) S 21835 21835 21260 0 -1 1077944384 205 0 0 0 2 0 0 0 20 0 28 0 417831393 29458767872 52347 33554432000 4194304 4196468 140725221835296 140187546163984 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21846] ppid=21835 vsize=28768328 memory=214356 CPUtime=0.02 cores=0-7 /proc/21837/task/21846/stat : 21846 (java) S 21835 21835 21260 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 28 0 417831393 29458767872 52347 33554432000 4194304 4196468 140725221835296 140187545111440 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21847] ppid=21835 vsize=28768328 memory=221988 CPUtime=0.02 cores=0-7 /proc/21837/task/21847/stat : 21847 (java) S 21835 21835 21260 0 -1 1077944384 562 0 0 0 2 0 0 0 20 0 28 0 417831394 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186782484720 140187599870594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21848] ppid=21835 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21848/stat : 21848 (java) S 21835 21835 21260 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 417831395 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186781431008 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21849] ppid=21835 vsize=28768328 memory=279643710738784 CPUtime=0 cores=0-7 /proc/21837/task/21849/stat : 21849 (java) S 21835 21835 21260 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 417831395 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186780377840 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21850] ppid=21835 vsize=28768328 memory=222844 CPUtime=0 cores=0-7 /proc/21837/task/21850/stat : 21850 (java) S 21835 21835 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417831397 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186779326416 140187599878043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21851] ppid=21835 vsize=28768328 memory=226920 CPUtime=1.85 cores=0-7 /proc/21837/task/21851/stat : 21851 (java) S 21835 21835 21260 0 -1 1077944384 6039 0 0 0 184 1 0 0 20 0 28 0 417831397 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186778274544 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21852] ppid=21835 vsize=28768328 memory=24415 CPUtime=2.04 cores=0-7 /proc/21837/task/21852/stat : 21852 (java) S 21835 21835 21260 0 -1 1077944384 6162 0 0 0 203 1 0 0 20 0 28 0 417831397 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186777222000 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21853] ppid=21835 vsize=28768328 memory=0 CPUtime=1.79 cores=0-7 /proc/21837/task/21853/stat : 21853 (java) S 21835 21835 21260 0 -1 1077944384 5690 0 0 0 178 1 0 0 20 0 28 0 417831397 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186776168944 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21854] ppid=21835 vsize=28768328 memory=72 CPUtime=0.99 cores=0-7 /proc/21837/task/21854/stat : 21854 (java) S 21835 21835 21260 0 -1 1077944384 7171 0 0 0 97 2 0 0 20 0 28 0 417831397 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186775116400 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21855] ppid=21835 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/21837/task/21855/stat : 21855 (java) S 21835 21835 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417831398 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186774063584 140187599869653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21856] ppid=21835 vsize=28768328 memory=5539 CPUtime=0 cores=0-7 /proc/21837/task/21856/stat : 21856 (java) S 21835 21835 21260 0 -1 1077944384 551 0 0 0 0 0 0 0 20 0 28 0 417831398 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186773011120 140187599870594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21937] ppid=21835 vsize=28768328 memory=1456 CPUtime=1.01 cores=0-7 /proc/21837/task/21937/stat : 21937 (java) R 21835 21835 21260 0 -1 4202560 41 0 0 0 101 0 0 0 20 0 28 0 417832341 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186759830424 140187218273551 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21938] ppid=21835 vsize=28768328 memory=208216 CPUtime=1.13 cores=0-7 /proc/21837/task/21938/stat : 21938 (java) R 21835 21835 21260 0 -1 4202560 18 0 0 0 113 0 0 0 20 0 28 0 417832341 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186756669736 140187585100679 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21939] ppid=21835 vsize=28768328 memory=668 CPUtime=0.72 cores=0-7 /proc/21837/task/21939/stat : 21939 (java) R 21835 21835 21260 0 -1 4202560 504 0 0 0 72 0 0 0 20 0 28 0 417832341 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186758774352 140187219185415 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21940] ppid=21835 vsize=28768328 memory=1256 CPUtime=0.94 cores=0-7 /proc/21837/task/21940/stat : 21940 (java) R 21835 21835 21260 0 -1 4202560 19 0 0 0 94 0 0 0 20 0 28 0 417832341 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186757726560 140187219046397 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21941] ppid=21835 vsize=28768328 memory=1076 CPUtime=1.11 cores=0-7 /proc/21837/task/21941/stat : 21941 (java) R 21835 21835 21260 0 -1 4202560 18 0 0 0 111 0 0 0 20 0 28 0 417832341 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186762985752 140187219186213 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21942] ppid=21835 vsize=28768328 memory=14008 CPUtime=1.04 cores=0-7 /proc/21837/task/21942/stat : 21942 (java) R 21835 21835 21260 0 -1 4202560 23 0 0 0 104 0 0 0 20 0 28 0 417832341 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186761933800 140187219185904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21943] ppid=21835 vsize=28768328 memory=22404 CPUtime=0.89 cores=0-7 /proc/21837/task/21943/stat : 21943 (java) R 21835 21835 21260 0 -1 4202560 19 0 0 0 89 0 0 0 20 0 28 0 417832341 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186760880616 140187213599867 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 [pid=21837/tid=21944] ppid=21835 vsize=28768328 memory=14056 CPUtime=0.95 cores=0-7 /proc/21837/task/21944/stat : 21944 (java) R 21835 21835 21260 0 -1 4202560 20 0 0 0 95 0 0 0 20 0 28 0 417832341 29458767872 52347 33554432000 4194304 4196468 140725221835296 140186764037968 140187219186002 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11390976 140725221843946 140725221844118 140725221844118 140725221846991 0 Current children cumulated CPU time: 73.93 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 210844 KiB Child status: 0 Real time (s): 10.7528 CPU time (s): 74.2055 CPU user time (s): 73.9375 CPU system time (s): 0.268002 CPU usage (%): 690.106 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 229152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 73.9375 system time used= 0.268002 maximum resident set size= 229296 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45049 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5720 involuntary context switches= 975 # summary of solver processes directly reported to runsolver: # pid: 21835 # total CPU time (s): 74.2055 # total CPU user time (s): 73.9375 # total CPU system time (s): 0.268002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.115826 second user time and 0.155879 second system time The end
Begin job on node119 at 2019-09-14 01:58:45 IDJOB=4393867 IDBENCH=115972 IDSOLVER=2841 FILE ID=node119/4393867-1568419165 RUNJOBID= node119-1568417505-21287 PBS_JOBID= 21702275 Free space on /tmp= 61504 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-05-11.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-4393867-1568419165/watcher-4393867-1568419165 -o /tmp/evaluation-result-4393867-1568419165/solver-4393867-1568419165 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568417505-21287 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 458147737 HOME/instance-4393867-1568419165.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 797e5cb3172be67eb960f2d678910748 RANDOM SEED=458147737 node119.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.47 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.47 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.47 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.47 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: 23133416 kB MemAvailable: 31815856 kB Buffers: 203488 kB Cached: 8743736 kB SwapCached: 61108 kB Active: 2821212 kB Inactive: 6192280 kB Active(anon): 5140 kB Inactive(anon): 102432 kB Active(file): 2816072 kB Inactive(file): 6089848 kB Unevictable: 107736 kB Mlocked: 107736 kB SwapTotal: 67108860 kB SwapFree: 66939840 kB Dirty: 26020 kB Writeback: 0 kB AnonPages: 264684 kB Mapped: 44584 kB Shmem: 32816 kB Slab: 215224 kB SReclaimable: 184712 kB SUnreclaim: 30512 kB KernelStack: 3872 kB PageTables: 4996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498656 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 219136 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61476 MiB End job on node119 at 2019-09-14 01:58:56