Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | Wrong Opt. | 50 | 22.539 | 4.08027 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-8.xml |
MD5SUM | 2aec32ddb698ed0594b6493531e6a3ee |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 63 |
Best CPU time to get the best result obtained on this benchmark | 35.9576 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 72 |
Number of constraints | 97 |
Number of domains | 25 |
Minimum domain size | 3 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":3,"count":2},{"size":4,"count":8},{"size":5,"count":11},{"size":6,"count":3},{"size":25,"count":48}] |
Minimum variable degree | 2 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] |
Number of extensional constraints | 48 |
Number of intensional constraints | 25 |
Distribution of constraint types | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] |
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-4394399-1568430748.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4394399-1568430748.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 4.71/1.79 c solve instance... 5.76/1.90 o -1000 10.44/2.58 o 0 12.80/2.84 o 12 12.80/2.84 o 14 13.57/2.98 o 22 17.49/3.49 o 31 19.06/3.60 o 46 19.06/3.69 o 49 22.11/4.06 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (131/133) 22.11/4.06 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 22.11/4.06 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 22.11/4.06 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 22.11/4.06 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 22.11/4.06 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 22.11/4.06 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (131/133) 22.11/4.06 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 22.11/4.06 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 22.11/4.06 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 22.11/4.06 at org.chocosolver.solver.Solver.repair(Solver.java:443) 22.11/4.06 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 22.11/4.06 at org.chocosolver.solver.Solver.solve(Solver.java:262) 22.11/4.06 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 22.11/4.06 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 22.11/4.06 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 22.11/4.06 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 22.11/4.06 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 22.11/4.06 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 22.11/4.06 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 22.11/4.06 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 22.11/4.06 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 22.11/4.06 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 22.11/4.06 o 50 22.11/4.07 s OPTIMUM FOUND 22.11/4.07 v <instantiation> 22.11/4.07 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] </list> 22.11/4.07 v <values>6 0 -1 -1 -1 -1 12 1 7 8 9 10 13 19 -1 16 17 11 -1 20 21 15 -1 -1 0 15 -1 -1 -1 -1 1 14 13 12 11 10 2 3 -1 7 8 9 -1 4 5 6 -1 -1 0 6 0 0 0 0 -3 6 9 -1 3 2 2 -6 0 4 9 2 0 9 1 7 0 0 </values> 22.11/4.07 v </instantiation>
OK 50
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 (14734 MiB free) memory of node 1: 16384 MiB (15171 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394399-1568430748/watcher-4394399-1568430748 -o /tmp/evaluation-result-4394399-1568430748/solver-4394399-1568430748 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1736970119 HOME/instance-4394399-1568430748.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 solver pid=20378, runsolver pid=20375 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.10011 s]* /proc/loadavg: 5.18 4.56 4.24 2/211 20399 /proc/meminfo: memFree=30607228/32770624 swapFree=66997684/67108860 [pid=20378] ppid=20375 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20378/stat : 20378 (xcsp3-exec) S 20375 20378 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419329438 115843072 364 33554432000 4194304 5098028 140726444369648 140726444367752 140050583130748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36851712 140726444372853 140726444373097 140726444373097 140726444376010 0 /proc/20378/statm: 28282 364 305 221 0 87 0 [pid=20380] ppid=20378 vsize=28227388 memory=29024 CPUtime=0.13 cores=0-7 /proc/20380/stat : 20380 (java) S 20378 20378 12749 0 -1 1077944320 5735 0 0 0 12 1 0 0 20 0 20 0 419329438 28904845312 7256 33554432000 4194304 4196468 140726265889360 140726265871904 140335219601143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 /proc/20380/statm: 7056847 7256 3121 1 0 7019032 0 [pid=20380/tid=20381] ppid=20378 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/20380/task/20381/stat : 20381 (java) R 20378 20378 12749 0 -1 4202560 3642 0 0 0 8 0 0 0 20 0 20 0 419329438 28904845312 7256 33554432000 4194304 4196468 140726265889360 140335223833392 140335219622490 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20382] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20382/stat : 20382 (java) S 20378 20378 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 7256 33554432000 4194304 4196468 140726265889360 140335172221584 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20383] ppid=20378 vsize=28227388 memory=140147453838509 CPUtime=0 cores=0-7 /proc/20380/task/20383/stat : 20383 (java) S 20378 20378 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 7256 33554432000 4194304 4196468 140726265889360 140334770018832 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20384] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20384/stat : 20384 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 7256 33554432000 4194304 4196468 140726265889360 140334768966032 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20385] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20385/stat : 20385 (java) S 20378 20378 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 7256 33554432000 4194304 4196468 140726265889360 140334767913232 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20386] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20386/stat : 20386 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 7256 33554432000 4194304 4196468 140726265889360 140334766861456 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20387] ppid=20378 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20380/task/20387/stat : 20387 (java) S 20378 20378 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 7256 33554432000 4194304 4196468 140726265889360 140334765808656 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20388] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20388/stat : 20388 (java) S 20378 20378 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 7256 33554432000 4194304 4196468 140726265889360 140334764755856 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20389] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20389/stat : 20389 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 7256 33554432000 4194304 4196468 140726265889360 140334763703056 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20390] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20390/stat : 20390 (java) S 20378 20378 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329440 28904845312 7256 33554432000 4194304 4196468 140726265889360 140333415217520 140335219612290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20391] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20391/stat : 20391 (java) S 20378 20378 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419329441 28904845312 7256 33554432000 4194304 4196468 140726265889360 140333414163488 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20392] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20392/stat : 20392 (java) S 20378 20378 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419329441 28904845312 7256 33554432000 4194304 4196468 140726265889360 140333413110640 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20393] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20393/stat : 20393 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329443 28904845312 7256 33554432000 4194304 4196468 140726265889360 140333412058960 140335219619739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20394] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20394/stat : 20394 (java) R 20378 20378 12749 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 419329443 28904845312 7256 33554432000 4194304 4196468 140726265889360 140333411007344 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20395] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20395/stat : 20395 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329443 28904845312 7256 33554432000 4194304 4196468 140726265889360 140333409954544 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20396] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20396/stat : 20396 (java) S 20378 20378 12749 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 419329443 28904845312 7256 33554432000 4194304 4196468 140726265889360 140333408901744 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20397] ppid=20378 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/20380/task/20397/stat : 20397 (java) R 20378 20378 12749 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 20 0 419329444 28904845312 7256 33554432000 4194304 4196468 140726265889360 140333407848944 140335219613078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20398] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20398/stat : 20398 (java) S 20378 20378 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419329444 28904845312 7256 33554432000 4194304 4196468 140726265889360 140333406796384 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20399] ppid=20378 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20380/task/20399/stat : 20399 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329444 28904845312 7256 33554432000 4194304 4196468 140726265889360 140333405743664 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30480 KiB [startup+0.210111 s]* /proc/loadavg: 5.18 4.56 4.24 3/211 20399 /proc/meminfo: memFree=30595876/32770624 swapFree=66997684/67108860 [pid=20378] ppid=20375 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20378/stat : 20378 (xcsp3-exec) S 20375 20378 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419329438 115843072 364 33554432000 4194304 5098028 140726444369648 140726444367752 140050583130748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36851712 140726444372853 140726444373097 140726444373097 140726444376010 0 /proc/20378/statm: 28282 364 305 221 0 87 0 [pid=20380] ppid=20378 vsize=28227388 memory=40108 CPUtime=0.33 cores=0-7 /proc/20380/stat : 20380 (java) S 20378 20378 12749 0 -1 1077944320 9335 0 0 0 31 2 0 0 20 0 20 0 419329438 28904845312 10027 33554432000 4194304 4196468 140726265889360 140726265871904 140335219601143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 /proc/20380/statm: 7056847 10027 3227 1 0 7019032 0 [pid=20380/tid=20381] ppid=20378 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/20380/task/20381/stat : 20381 (java) R 20378 20378 12749 0 -1 4202560 6597 0 0 0 18 1 0 0 20 0 20 0 419329438 28904845312 10027 33554432000 4194304 4196468 140726265889360 140335223830864 140335203681630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20382] ppid=20378 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7 /proc/20380/task/20382/stat : 20382 (java) S 20378 20378 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 10027 33554432000 4194304 4196468 140726265889360 140335172221584 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20383] ppid=20378 vsize=28227388 memory=3904821730271200928 CPUtime=0 cores=0-7 /proc/20380/task/20383/stat : 20383 (java) S 20378 20378 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 10027 33554432000 4194304 4196468 140726265889360 140334770018832 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20384] ppid=20378 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20380/task/20384/stat : 20384 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 10027 33554432000 4194304 4196468 140726265889360 140334768966032 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20385] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20385/stat : 20385 (java) S 20378 20378 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 10027 33554432000 4194304 4196468 140726265889360 140334767913232 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20386] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20386/stat : 20386 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 10027 33554432000 4194304 4196468 140726265889360 140334766861456 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20387] ppid=20378 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20380/task/20387/stat : 20387 (java) S 20378 20378 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 10027 33554432000 4194304 4196468 140726265889360 140334765808656 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20388] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20388/stat : 20388 (java) S 20378 20378 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 10027 33554432000 4194304 4196468 140726265889360 140334764755856 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20389] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20389/stat : 20389 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329439 28904845312 10027 33554432000 4194304 4196468 140726265889360 140334763703056 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20390] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20390/stat : 20390 (java) S 20378 20378 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419329440 28904845312 10027 33554432000 4194304 4196468 140726265889360 140333415217520 140335219612290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20391] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20391/stat : 20391 (java) S 20378 20378 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419329441 28904845312 10027 33554432000 4194304 4196468 140726265889360 140333414163488 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20392] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20392/stat : 20392 (java) S 20378 20378 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419329441 28904845312 10027 33554432000 4194304 4196468 140726265889360 140333413110640 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20393] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20393/stat : 20393 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329443 28904845312 10027 33554432000 4194304 4196468 140726265889360 140333412058960 140335219619739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20394] ppid=20378 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/20380/task/20394/stat : 20394 (java) S 20378 20378 12749 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 20 0 419329443 28904845312 10027 33554432000 4194304 4196468 140726265889360 140333411007344 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20395] ppid=20378 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/20380/task/20395/stat : 20395 (java) S 20378 20378 12749 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 20 0 419329443 28904845312 10027 33554432000 4194304 4196468 140726265889360 140333409954544 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20396] ppid=20378 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20380/task/20396/stat : 20396 (java) S 20378 20378 12749 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 419329443 28904845312 10027 33554432000 4194304 4196468 140726265889360 140333408901744 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20397] ppid=20378 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7 /proc/20380/task/20397/stat : 20397 (java) R 20378 20378 12749 0 -1 4202560 773 0 0 0 8 0 0 0 20 0 20 0 419329444 28904845312 10027 33554432000 4194304 4196468 140726265889360 140333407848944 140335204766798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20398] ppid=20378 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20398/stat : 20398 (java) S 20378 20378 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419329444 28904845312 10027 33554432000 4194304 4196468 140726265889360 140333406796384 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20399] ppid=20378 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20380/task/20399/stat : 20399 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329444 28904845312 10027 33554432000 4194304 4196468 140726265889360 140333405743664 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41564 KiB [startup+0.30944 s]* /proc/loadavg: 5.18 4.56 4.24 5/211 20399 /proc/meminfo: memFree=30588172/32770624 swapFree=66997684/67108860 [pid=20378] ppid=20375 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20378/stat : 20378 (xcsp3-exec) S 20375 20378 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419329438 115843072 364 33554432000 4194304 5098028 140726444369648 140726444367752 140050583130748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36851712 140726444372853 140726444373097 140726444373097 140726444376010 0 /proc/20378/statm: 28282 364 305 221 0 87 0 [pid=20380] ppid=20378 vsize=28231644 memory=49900 CPUtime=0.52 cores=0-7 /proc/20380/stat : 20380 (java) S 20378 20378 12749 0 -1 1077944320 10802 0 0 0 49 3 0 0 20 0 20 0 419329438 28909203456 12475 33554432000 4194304 4196468 140726265889360 140726265871904 140335219601143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 /proc/20380/statm: 7057911 12475 3353 1 0 7019032 0 [pid=20380/tid=20381] ppid=20378 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/20380/task/20381/stat : 20381 (java) R 20378 20378 12749 0 -1 4202560 7755 0 0 0 27 2 0 0 20 0 20 0 419329438 28909203456 12475 33554432000 4194304 4196468 140726265889360 140335223832256 140335203681630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20382] ppid=20378 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20382/stat : 20382 (java) S 20378 20378 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329439 28909203456 12475 33554432000 4194304 4196468 140726265889360 140335172221584 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20383] ppid=20378 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20383/stat : 20383 (java) S 20378 20378 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419329439 28909203456 12475 33554432000 4194304 4196468 140726265889360 140334770018832 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20384] ppid=20378 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20384/stat : 20384 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329439 28909203456 12475 33554432000 4194304 4196468 140726265889360 140334768966032 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20385] ppid=20378 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20385/stat : 20385 (java) S 20378 20378 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329439 28909203456 12475 33554432000 4194304 4196468 140726265889360 140334767913232 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20386] ppid=20378 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20386/stat : 20386 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329439 28909203456 12475 33554432000 4194304 4196468 140726265889360 140334766861456 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20387] ppid=20378 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20387/stat : 20387 (java) S 20378 20378 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329439 28909203456 12475 33554432000 4194304 4196468 140726265889360 140334765808656 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20388] ppid=20378 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20388/stat : 20388 (java) S 20378 20378 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329439 28909203456 12475 33554432000 4194304 4196468 140726265889360 140334764755856 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20389] ppid=20378 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20389/stat : 20389 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329439 28909203456 12475 33554432000 4194304 4196468 140726265889360 140334763703056 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20390] ppid=20378 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20390/stat : 20390 (java) S 20378 20378 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419329440 28909203456 12475 33554432000 4194304 4196468 140726265889360 140333415217520 140335219612290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20391] ppid=20378 vsize=28231644 memory=280294666214784 CPUtime=0 cores=0-7 /proc/20380/task/20391/stat : 20391 (java) S 20378 20378 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419329441 28909203456 12475 33554432000 4194304 4196468 140726265889360 140333414163488 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20392] ppid=20378 vsize=28231644 memory=280294666219392 CPUtime=0 cores=0-7 /proc/20380/task/20392/stat : 20392 (java) S 20378 20378 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419329441 28909203456 12475 33554432000 4194304 4196468 140726265889360 140333413110640 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20393] ppid=20378 vsize=28231644 memory=280294666224000 CPUtime=0 cores=0-7 /proc/20380/task/20393/stat : 20393 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329443 28909203456 12475 33554432000 4194304 4196468 140726265889360 140333412058960 140335219619739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20394] ppid=20378 vsize=28231644 memory=280294666228608 CPUtime=0.02 cores=0-7 /proc/20380/task/20394/stat : 20394 (java) S 20378 20378 12749 0 -1 1077944384 434 0 0 0 2 0 0 0 20 0 20 0 419329443 28909203456 12475 33554432000 4194304 4196468 140726265889360 140333411007344 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20395] ppid=20378 vsize=28231644 memory=280294666233216 CPUtime=0.03 cores=0-7 /proc/20380/task/20395/stat : 20395 (java) S 20378 20378 12749 0 -1 1077944384 133 0 0 0 3 0 0 0 20 0 20 0 419329443 28909203456 12475 33554432000 4194304 4196468 140726265889360 140333409954544 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20396] ppid=20378 vsize=28231644 memory=280294666237824 CPUtime=0.02 cores=0-7 /proc/20380/task/20396/stat : 20396 (java) R 20378 20378 12749 0 -1 4202560 265 0 0 0 2 0 0 0 20 0 20 0 419329443 28909203456 12475 33554432000 4194304 4196468 140726265889360 140333408888176 140335201122552 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20397] ppid=20378 vsize=28231644 memory=280294666242432 CPUtime=0.12 cores=0-7 /proc/20380/task/20397/stat : 20397 (java) S 20378 20378 12749 0 -1 1077944384 904 0 0 0 12 0 0 0 20 0 20 0 419329444 28909203456 12475 33554432000 4194304 4196468 140726265889360 140333407848944 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20398] ppid=20378 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20398/stat : 20398 (java) S 20378 20378 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419329444 28909203456 12475 33554432000 4194304 4196468 140726265889360 140333406796384 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20399] ppid=20378 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/20380/task/20399/stat : 20399 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329444 28909203456 12475 33554432000 4194304 4196468 140726265889360 140333405743664 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51356 KiB [startup+0.700909 s] /proc/loadavg: 5.18 4.56 4.24 6/211 20399 /proc/meminfo: memFree=30556812/32770624 swapFree=66997684/67108860 [pid=20378] ppid=20375 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20378/stat : 20378 (xcsp3-exec) S 20375 20378 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419329438 115843072 364 33554432000 4194304 5098028 140726444369648 140726444367752 140050583130748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36851712 140726444372853 140726444373097 140726444373097 140726444376010 0 /proc/20378/statm: 28282 364 305 221 0 87 0 [pid=20380] ppid=20378 vsize=28233768 memory=124156 CPUtime=2.02 cores=0-7 /proc/20380/stat : 20380 (java) S 20378 20378 12749 0 -1 1077944320 17574 0 0 0 196 6 0 0 20 0 20 0 419329438 28911378432 31039 33554432000 4194304 4196468 140726265889360 140726265871904 140335219601143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 /proc/20380/statm: 7058442 31039 3444 1 0 7019544 0 [pid=20380/tid=20381] ppid=20378 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7 /proc/20380/task/20381/stat : 20381 (java) R 20378 20378 12749 0 -1 4202560 9409 0 0 0 63 4 0 0 20 0 20 0 419329438 28911378432 31039 33554432000 4194304 4196468 140726265889360 140335223834768 140334852067085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20382] ppid=20378 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20382/stat : 20382 (java) S 20378 20378 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329439 28911378432 31039 33554432000 4194304 4196468 140726265889360 140335172221584 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20383] ppid=20378 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20383/stat : 20383 (java) S 20378 20378 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419329439 28911378432 31039 33554432000 4194304 4196468 140726265889360 140334770018832 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20384] ppid=20378 vsize=28233768 memory=4008 CPUtime=0 cores=0-7 /proc/20380/task/20384/stat : 20384 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329439 28911378432 31039 33554432000 4194304 4196468 140726265889360 140334768966032 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 ################ # More data... # ################ [pid=20380/tid=20389] ppid=20378 vsize=28768328 memory=6655300316396806240 CPUtime=0.05 cores=0-7 /proc/20380/task/20389/stat : 20389 (java) S 20378 20378 12749 0 -1 1077944384 76 0 0 0 3 2 0 0 20 0 28 0 419329439 29458767872 107193 33554432000 4194304 4196468 140726265889360 140334763703056 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20390] ppid=20378 vsize=28768328 memory=280294666097648 CPUtime=0.01 cores=0-7 /proc/20380/task/20390/stat : 20390 (java) S 20378 20378 12749 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 419329440 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333415217520 140335219612290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20391] ppid=20378 vsize=28768328 memory=89681467280106 CPUtime=0 cores=0-7 /proc/20380/task/20391/stat : 20391 (java) S 20378 20378 12749 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 419329441 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333414163552 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20392] ppid=20378 vsize=28768328 memory=89685762247402 CPUtime=0 cores=0-7 /proc/20380/task/20392/stat : 20392 (java) S 20378 20378 12749 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 419329441 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333413110656 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20393] ppid=20378 vsize=28768328 memory=89698647149290 CPUtime=0 cores=0-7 /proc/20380/task/20393/stat : 20393 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419329443 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333412058960 140335219619739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20394] ppid=20378 vsize=28768328 memory=89707237083882 CPUtime=1.67 cores=0-7 /proc/20380/task/20394/stat : 20394 (java) R 20378 20378 12749 0 -1 4202560 2330 0 0 0 167 0 0 0 20 0 28 0 419329443 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333410998800 140335205019764 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20395] ppid=20378 vsize=28768328 memory=135994099631873 CPUtime=1.35 cores=0-7 /proc/20380/task/20395/stat : 20395 (java) R 20378 20378 12749 0 -1 4202560 1838 0 0 0 135 0 0 0 20 0 28 0 419329443 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333409940608 140335212699585 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20396] ppid=20378 vsize=28768328 memory=280294666205200 CPUtime=1.5 cores=0-7 /proc/20380/task/20396/stat : 20396 (java) R 20378 20378 12749 0 -1 4202560 1856 0 0 0 149 1 0 0 20 0 28 0 419329443 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333408901744 140335203097414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20397] ppid=20378 vsize=28768328 memory=89707237083882 CPUtime=1.01 cores=0-7 /proc/20380/task/20397/stat : 20397 (java) S 20378 20378 12749 0 -1 1077944384 3676 0 0 0 100 1 0 0 20 0 28 0 419329444 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333407848944 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20398] ppid=20378 vsize=28768328 memory=89707237083882 CPUtime=0 cores=0-7 /proc/20380/task/20398/stat : 20398 (java) S 20378 20378 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419329444 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333406796384 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20399] ppid=20378 vsize=28768328 memory=89707237083882 CPUtime=0 cores=0-7 /proc/20380/task/20399/stat : 20399 (java) S 20378 20378 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419329444 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333405743664 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20440] ppid=20378 vsize=28768328 memory=1380 CPUtime=0.12 cores=0-7 /proc/20380/task/20440/stat : 20440 (java) R 20378 20378 12749 0 -1 4202560 17 0 0 0 12 0 0 0 20 0 28 0 419329736 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333393386360 140334859491864 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20441] ppid=20378 vsize=28768328 memory=1128 CPUtime=0.21 cores=0-7 /proc/20380/task/20441/stat : 20441 (java) R 20378 20378 12749 0 -1 4202560 18 0 0 0 21 0 0 0 20 0 28 0 419329736 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333392334384 140334860131600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20442] ppid=20378 vsize=28768328 memory=772 CPUtime=0.18 cores=0-7 /proc/20380/task/20442/stat : 20442 (java) R 20378 20378 12749 0 -1 4202560 22 0 0 0 18 0 0 0 20 0 28 0 419329736 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333389172824 140334859491752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20443] ppid=20378 vsize=28768328 memory=4008 CPUtime=0.15 cores=0-7 /proc/20380/task/20443/stat : 20443 (java) R 20378 20378 12749 0 -1 4202560 18 0 0 0 15 0 0 0 20 0 28 0 419329736 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333394436584 140334859491663 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20444] ppid=20378 vsize=28768328 memory=948 CPUtime=0.16 cores=0-7 /proc/20380/task/20444/stat : 20444 (java) R 20378 20378 12749 0 -1 4202560 17 0 0 0 16 0 0 0 20 0 28 0 419329736 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333388120920 140334860364920 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20445] ppid=20378 vsize=28768328 memory=2832 CPUtime=0.15 cores=0-7 /proc/20380/task/20445/stat : 20445 (java) R 20378 20378 12749 0 -1 4202560 18 0 0 0 15 0 0 0 20 0 28 0 419329736 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333387074760 140334859491816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20446] ppid=20378 vsize=28768328 memory=9404 CPUtime=0.18 cores=0-7 /proc/20380/task/20446/stat : 20446 (java) R 20378 20378 12749 0 -1 4202560 18 0 0 0 18 0 0 0 20 0 28 0 419329736 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333390225736 140334859491637 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20447] ppid=20378 vsize=28768328 memory=1548 CPUtime=0.11 cores=0-7 /proc/20380/task/20447/stat : 20447 (java) R 20378 20378 12749 0 -1 4202560 18 0 0 0 11 0 0 0 20 0 28 0 419329736 29458767872 107193 33554432000 4194304 4196468 140726265889360 140333391285192 140334859491816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 Current children cumulated CPU time: 15.9 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 430228 KiB [startup+3.60092 s] /proc/loadavg: 5.18 4.56 4.24 13/219 20447 /proc/meminfo: memFree=30210124/32770624 swapFree=66997684/67108860 [pid=20378] ppid=20375 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20378/stat : 20378 (xcsp3-exec) S 20375 20378 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419329438 115843072 364 33554432000 4194304 5098028 140726444369648 140726444367752 140050583130748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36851712 140726444372853 140726444373097 140726444373097 140726444376010 0 /proc/20378/statm: 28282 364 305 221 0 87 0 [pid=20380] ppid=20378 vsize=28768328 memory=429372 CPUtime=19.06 cores=0-7 /proc/20380/stat : 20380 (java) S 20378 20378 12749 0 -1 1077944320 23324 0 0 0 1865 41 0 0 20 0 28 0 419329438 29458767872 107343 33554432000 4194304 4196468 140726265889360 140726265871904 140335219601143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 /proc/20380/statm: 7192082 107343 3524 1 0 7153184 0 [pid=20380/tid=20381] ppid=20378 vsize=28768328 memory=0 CPUtime=1.72 cores=0-7 /proc/20380/task/20381/stat : 20381 (java) S 20378 20378 12749 0 -1 1077944384 9843 0 0 0 164 8 0 0 20 0 28 0 419329438 29458767872 107343 33554432000 4194304 4196468 140726265889360 140335223841920 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20382] ppid=20378 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7 /proc/20380/task/20382/stat : 20382 (java) S 20378 20378 12749 0 -1 1077944384 85 0 0 0 4 2 0 0 20 0 28 0 419329439 29458767872 107343 33554432000 4194304 4196468 140726265889360 140335172221584 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20383] ppid=20378 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7 /proc/20380/task/20383/stat : 20383 (java) S 20378 20378 12749 0 -1 1077944384 77 0 0 0 2 3 0 0 20 0 28 0 419329439 29458767872 107343 33554432000 4194304 4196468 140726265889360 140334770018832 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20384] ppid=20378 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7 /proc/20380/task/20384/stat : 20384 (java) S 20378 20378 12749 0 -1 1077944384 115 0 0 0 3 3 0 0 20 0 28 0 419329439 29458767872 107343 33554432000 4194304 4196468 140726265889360 140334768966032 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20385] ppid=20378 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7 /proc/20380/task/20385/stat : 20385 (java) S 20378 20378 12749 0 -1 1077944384 103 0 0 0 3 3 0 0 20 0 28 0 419329439 29458767872 107343 33554432000 4194304 4196468 140726265889360 140334767913232 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20386] ppid=20378 vsize=28768328 memory=5026 CPUtime=0.06 cores=0-7 /proc/20380/task/20386/stat : 20386 (java) S 20378 20378 12749 0 -1 1077944384 88 0 0 0 3 3 0 0 20 0 28 0 419329439 29458767872 107343 33554432000 4194304 4196468 140726265889360 140334766861456 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20387] ppid=20378 vsize=28768328 memory=280294667067856 CPUtime=0.06 cores=0-7 /proc/20380/task/20387/stat : 20387 (java) S 20378 20378 12749 0 -1 1077944384 107 0 0 0 4 2 0 0 20 0 28 0 419329439 29458767872 107343 33554432000 4194304 4196468 140726265889360 140334765808656 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20388] ppid=20378 vsize=28768328 memory=133 CPUtime=0.06 cores=0-7 /proc/20380/task/20388/stat : 20388 (java) S 20378 20378 12749 0 -1 1077944384 79 0 0 0 4 2 0 0 20 0 28 0 419329439 29458767872 107343 33554432000 4194304 4196468 140726265889360 140334764755856 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20389] ppid=20378 vsize=28768328 memory=99 CPUtime=0.05 cores=0-7 /proc/20380/task/20389/stat : 20389 (java) S 20378 20378 12749 0 -1 1077944384 76 0 0 0 3 2 0 0 20 0 28 0 419329439 29458767872 107343 33554432000 4194304 4196468 140726265889360 140334763703056 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20390] ppid=20378 vsize=28768328 memory=280294666010864 CPUtime=0.01 cores=0-7 /proc/20380/task/20390/stat : 20390 (java) S 20378 20378 12749 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 419329440 29458767872 107343 33554432000 4194304 4196468 140726265889360 140333415217520 140335219612290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20391] ppid=20378 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20391/stat : 20391 (java) S 20378 20378 12749 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 419329441 29458767872 107343 33554432000 4194304 4196468 140726265889360 140333414163552 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20392] ppid=20378 vsize=28768328 memory=280294667159648 CPUtime=0 cores=0-7 /proc/20380/task/20392/stat : 20392 (java) S 20378 20378 12749 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 419329441 29458767872 107343 33554432000 4194304 4196468 140726265889360 140333413110656 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20393] ppid=20378 vsize=28768328 memory=288230600329134386 CPUtime=0 cores=0-7 /proc/20380/task/20393/stat : 20393 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419329443 29458767872 107343 33554432000 4194304 4196468 140726265889360 140333412058960 140335219619739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20394] ppid=20378 vsize=28768328 memory=15542903367797058 CPUtime=1.9 cores=0-7 /proc/20380/task/20394/stat : 20394 (java) R 20378 20378 12749 0 -1 4202560 2369 0 0 0 190 0 0 0 20 0 28 0 419329443 29458767872 107343 33554432000 4194304 4196468 140726265889360 140333411007344 140335219613078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20395] ppid=20378 vsize=28768328 memory=0 CPUtime=1.56 cores=0-7 /proc/20380/task/20395/stat : 20395 (java) S 20378 20378 12749 0 -1 1077944384 1863 0 0 0 156 0 0 0 20 0 28 0 419329443 29458767872 107343 33554432000 4194304 4196468 140726265889360 140333409954544 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20396] ppid=20378 vsize=28768328 memory=0 CPUtime=1.71 cores=0-7 /proc/20380/task/20396/stat : 20396 (java) R 20378 20378 12749 0 -1 1077944384 1881 0 0 0 170 1 0 0 20 0 28 0 419329443 29458767872 107343 33554432000 4194304 4196468 140726265889360 140333408901744 140335219612290 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20397] ppid=20378 vsize=28768328 memory=0 CPUtime=1.04 cores=0-7 /proc/20380/task/20397/stat : 20397 (java) S 20378 20378 12749 0 -1 1077944384 3712 0 0 0 103 1 0 0 20 0 28 0 419329444 29458767872 107343 33554432000 4194304 4196468 140726265889360 140333407848944 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20398] ppid=20378 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20398/stat : 20398 (java) S 20378 20378 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419329444 29458767872 107343 33554432000 4194304 4196468 140726265889360 140333406796384 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20399] ppid=20378 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/20380/task/20399/stat : 20399 (java) S 20378 20378 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419329444 29458767872 107343 33554432000 4194304 4196468 140726265889360 140333405743664 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 Current children cumulated CPU time: 19.06 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 430828 KiB [startup+4.00179 s]* /proc/loadavg: 5.18 4.56 4.24 10/219 20471 /proc/meminfo: memFree=30208976/32770624 swapFree=66997684/67108860 [pid=20378] ppid=20375 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20378/stat : 20378 (xcsp3-exec) S 20375 20378 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419329438 115843072 364 33554432000 4194304 5098028 140726444369648 140726444367752 140050583130748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36851712 140726444372853 140726444373097 140726444373097 140726444376010 0 /proc/20378/statm: 28282 364 305 221 0 87 0 [pid=20380] ppid=20378 vsize=28768328 memory=429552 CPUtime=22.11 cores=0-7 /proc/20380/stat : 20380 (java) S 20378 20378 12749 0 -1 1077944320 23647 0 0 0 2170 41 0 0 20 0 28 0 419329438 29458767872 107388 33554432000 4194304 4196468 140726265889360 140726265871904 140335219601143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 /proc/20380/statm: 7192082 107388 3525 1 0 7153184 0 [pid=20380/tid=20381] ppid=20378 vsize=28768328 memory=8317482817917895235 CPUtime=1.72 cores=0-7 /proc/20380/task/20381/stat : 20381 (java) S 20378 20378 12749 0 -1 1077944384 9843 0 0 0 164 8 0 0 20 0 28 0 419329438 29458767872 107388 33554432000 4194304 4196468 140726265889360 140335223841920 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20382] ppid=20378 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7 /proc/20380/task/20382/stat : 20382 (java) S 20378 20378 12749 0 -1 1077944384 85 0 0 0 4 2 0 0 20 0 28 0 419329439 29458767872 107388 33554432000 4194304 4196468 140726265889360 140335172221584 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20383] ppid=20378 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7 /proc/20380/task/20383/stat : 20383 (java) S 20378 20378 12749 0 -1 1077944384 77 0 0 0 2 3 0 0 20 0 28 0 419329439 29458767872 107388 33554432000 4194304 4196468 140726265889360 140334770018832 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20384] ppid=20378 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7 /proc/20380/task/20384/stat : 20384 (java) S 20378 20378 12749 0 -1 1077944384 115 0 0 0 3 3 0 0 20 0 28 0 419329439 29458767872 107388 33554432000 4194304 4196468 140726265889360 140334768966032 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20385] ppid=20378 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7 /proc/20380/task/20385/stat : 20385 (java) S 20378 20378 12749 0 -1 1077944384 103 0 0 0 3 3 0 0 20 0 28 0 419329439 29458767872 107388 33554432000 4194304 4196468 140726265889360 140334767913232 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20386] ppid=20378 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7 /proc/20380/task/20386/stat : 20386 (java) S 20378 20378 12749 0 -1 1077944384 88 0 0 0 3 3 0 0 20 0 28 0 419329439 29458767872 107388 33554432000 4194304 4196468 140726265889360 140334766861456 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20387] ppid=20378 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7 /proc/20380/task/20387/stat : 20387 (java) S 20378 20378 12749 0 -1 1077944384 107 0 0 0 4 2 0 0 20 0 28 0 419329439 29458767872 107388 33554432000 4194304 4196468 140726265889360 140334765808656 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20388] ppid=20378 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7 /proc/20380/task/20388/stat : 20388 (java) S 20378 20378 12749 0 -1 1077944384 79 0 0 0 4 2 0 0 20 0 28 0 419329439 29458767872 107388 33554432000 4194304 4196468 140726265889360 140334764755856 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20389] ppid=20378 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7 /proc/20380/task/20389/stat : 20389 (java) S 20378 20378 12749 0 -1 1077944384 76 0 0 0 3 2 0 0 20 0 28 0 419329439 29458767872 107388 33554432000 4194304 4196468 140726265889360 140334763703056 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20390] ppid=20378 vsize=28768328 memory=6944656592387989600 CPUtime=0.01 cores=0-7 /proc/20380/task/20390/stat : 20390 (java) S 20378 20378 12749 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 419329440 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333415217520 140335219612290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20391] ppid=20378 vsize=28768328 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/20380/task/20391/stat : 20391 (java) S 20378 20378 12749 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 419329441 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333414163552 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20392] ppid=20378 vsize=28768328 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/20380/task/20392/stat : 20392 (java) S 20378 20378 12749 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 419329441 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333413110656 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20393] ppid=20378 vsize=28768328 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/20380/task/20393/stat : 20393 (java) S 20378 20378 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419329443 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333412058960 140335219619739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20394] ppid=20378 vsize=28768328 memory=9023629670928638048 CPUtime=1.94 cores=0-7 /proc/20380/task/20394/stat : 20394 (java) S 20378 20378 12749 0 -1 1077944384 2378 0 0 0 194 0 0 0 20 0 28 0 419329443 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333411007344 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20395] ppid=20378 vsize=28768328 memory=6944656592387989600 CPUtime=1.62 cores=0-7 /proc/20380/task/20395/stat : 20395 (java) S 20378 20378 12749 0 -1 1077944384 1871 0 0 0 161 1 0 0 20 0 28 0 419329443 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333409954544 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20396] ppid=20378 vsize=28768328 memory=4206186544037388384 CPUtime=1.8 cores=0-7 /proc/20380/task/20396/stat : 20396 (java) S 20378 20378 12749 0 -1 1077944384 1895 0 0 0 179 1 0 0 20 0 28 0 419329443 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333408901744 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20397] ppid=20378 vsize=28768328 memory=6944656592387989600 CPUtime=1.05 cores=0-7 /proc/20380/task/20397/stat : 20397 (java) S 20378 20378 12749 0 -1 1077944384 3719 0 0 0 104 1 0 0 20 0 28 0 419329444 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333407848944 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20398] ppid=20378 vsize=28768328 memory=4206468019014099040 CPUtime=0 cores=0-7 /proc/20380/task/20398/stat : 20398 (java) S 20378 20378 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419329444 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333406796384 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20399] ppid=20378 vsize=28768328 memory=4206468019014099040 CPUtime=0 cores=0-7 /proc/20380/task/20399/stat : 20399 (java) S 20378 20378 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419329444 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333405743664 140335219612290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20464] ppid=20378 vsize=28768328 memory=-9181546050914066336 CPUtime=0.31 cores=0-7 /proc/20380/task/20464/stat : 20464 (java) R 20378 20378 12749 0 -1 4202560 17 0 0 0 31 0 0 0 20 0 28 0 419329807 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333390223856 140334859491864 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20465] ppid=20378 vsize=28768328 memory=-7025452035940392864 CPUtime=0.31 cores=0-7 /proc/20380/task/20465/stat : 20465 (java) R 20378 20378 12749 0 -1 4202560 18 0 0 0 31 0 0 0 20 0 28 0 419329808 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333387071024 140334859491724 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20466] ppid=20378 vsize=28768328 memory=7679937539659563834 CPUtime=0.31 cores=0-7 /proc/20380/task/20466/stat : 20466 (java) R 20378 20378 12749 0 -1 4202560 18 0 0 0 31 0 0 0 20 0 28 0 419329808 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333393388792 140334859491816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20467] ppid=20378 vsize=28768328 memory=-8990767739041718176 CPUtime=0.29 cores=0-7 /proc/20380/task/20467/stat : 20467 (java) R 20378 20378 12749 0 -1 4202560 17 0 0 0 29 0 0 0 20 0 28 0 419329808 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333394437016 140334859491646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20468] ppid=20378 vsize=28768328 memory=-6236875931223311505 CPUtime=0.31 cores=0-7 /proc/20380/task/20468/stat : 20468 (java) R 20378 20378 12749 0 -1 4202560 18 0 0 0 31 0 0 0 20 0 28 0 419329808 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333388127560 140334859491752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20469] ppid=20378 vsize=28768328 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/20380/task/20469/stat : 20469 (java) S 20378 20378 12749 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419329808 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333389178064 140335219611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20470] ppid=20378 vsize=28768328 memory=6872598998417432672 CPUtime=0.3 cores=0-7 /proc/20380/task/20470/stat : 20470 (java) R 20378 20378 12749 0 -1 4202560 17 0 0 0 30 0 0 0 20 0 28 0 419329808 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333391285320 140334859491470 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 [pid=20380/tid=20471] ppid=20378 vsize=28768328 memory=1456 CPUtime=0.3 cores=0-7 /proc/20380/task/20471/stat : 20471 (java) R 20378 20378 12749 0 -1 4202560 18 0 0 0 30 0 0 0 20 0 28 0 419329808 29458767872 107388 33554432000 4194304 4196468 140726265889360 140333392337864 140334859491816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140726265893866 140726265894038 140726265894038 140726265896911 0 Current children cumulated CPU time: 22.11 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 431008 KiB Child status: 0 Real time (s): 4.08027 CPU time (s): 22.539 CPU user time (s): 22.1108 CPU system time (s): 0.428131 CPU usage (%): 552.389 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 431008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 22.1108 system time used= 0.428131 maximum resident set size= 430392 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24367 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= 4627 involuntary context switches= 505 # summary of solver processes directly reported to runsolver: # pid: 20378 # total CPU time (s): 22.539 # total CPU user time (s): 22.1108 # total CPU system time (s): 0.428131 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.060585 second user time and 0.079658 second system time The end
Begin job on node106 at 2019-09-14 04:11:11 IDJOB=4394399 IDBENCH=128024 IDSOLVER=2843 FILE ID=node106/4394399-1568430748 RUNJOBID= node106-1568413091-12776 PBS_JOBID= 21702261 Free space on /tmp= 59112 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-8.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-4394399-1568430748/watcher-4394399-1568430748 -o /tmp/evaluation-result-4394399-1568430748/solver-4394399-1568430748 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1736970119 HOME/instance-4394399-1568430748.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2aec32ddb698ed0594b6493531e6a3ee RANDOM SEED=1736970119 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30623724 kB MemAvailable: 31898904 kB Buffers: 184180 kB Cached: 1372128 kB SwapCached: 9320 kB Active: 487836 kB Inactive: 1083676 kB Active(anon): 14376 kB Inactive(anon): 34744 kB Active(file): 473460 kB Inactive(file): 1048932 kB Unevictable: 106908 kB Mlocked: 106908 kB SwapTotal: 67108860 kB SwapFree: 66997684 kB Dirty: 27292 kB Writeback: 0 kB AnonPages: 130432 kB Mapped: 38340 kB Shmem: 25300 kB Slab: 166956 kB SReclaimable: 137248 kB SUnreclaim: 29708 kB KernelStack: 3712 kB PageTables: 5856 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489724 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 86016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59088 MiB End job on node106 at 2019-09-14 04:11:15