Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | ? | 7118.76 | 1389.76 |
Name | SuperSolutions/SuperSolutions-Taillard-os10/ SuperTaillard-os-10-06.xml |
MD5SUM | 6b3d88799df56964f86d557249875b85 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 56.1836 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2800 |
Number of domains | 64 |
Minimum domain size | 440 |
Maximum domain size | 538 |
Distribution of domain sizes | [{"size":440,"count":2},{"size":441,"count":2},{"size":442,"count":2},{"size":444,"count":2},{"size":445,"count":4},{"size":447,"count":2},{"size":448,"count":4},{"size":449,"count":4},{"size":450,"count":2},{"size":452,"count":2},{"size":455,"count":4},{"size":457,"count":4},{"size":459,"count":2},{"size":461,"count":2},{"size":462,"count":2},{"size":464,"count":4},{"size":466,"count":2},{"size":467,"count":2},{"size":470,"count":4},{"size":472,"count":8},{"size":474,"count":2},{"size":475,"count":2},{"size":477,"count":2},{"size":480,"count":6},{"size":483,"count":2},"...",{"size":505,"count":2}, {"size":506,"count":2}, {"size":508,"count":10}, {"size":509,"count":2}, {"size":511,"count":2}, {"size":512,"count":2}, {"size":513,"count":6}, {"size":514,"count":2}, {"size":515,"count":2}, {"size":516,"count":2}, {"size":517,"count":4}, {"size":518,"count":4}, {"size":519,"count":4}, {"size":520,"count":2}, {"size":521,"count":2}, {"size":522,"count":4}, {"size":523,"count":4}, {"size":524,"count":2}, {"size":526,"count":4}, {"size":528,"count":2}, {"size":529,"count":4}, {"size":530,"count":8}, {"size":531,"count":4}, {"size":534,"count":2}, {"size":538,"count":4}] |
Minimum variable degree | 19 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":19,"count":100},{"degree":37,"count":100}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":2800}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2800 |
Distribution of constraint types | [{"type":"intension","count":2800}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406728-1569357324.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4406728-1569357324.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 7025.46/1374.65 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded 7025.46/1374.65 at java.util.stream.ReduceOps.makeInt(ReduceOps.java:271) 7025.46/1374.65 at java.util.stream.IntPipeline.reduce(IntPipeline.java:456) 7025.46/1374.65 at org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression.ieval(NaArExpression.java:125) 7025.46/1374.65 at org.chocosolver.solver.expression.discrete.relational.BiReExpression.beval(BiReExpression.java:214) 7025.46/1374.65 at org.chocosolver.solver.expression.discrete.logical.NaLoExpression.beval(NaLoExpression.java:137) 7025.46/1374.65 at org.chocosolver.solver.expression.discrete.relational.ReExpression.lambda$extension$3(ReExpression.java:150) 7025.46/1374.65 at org.chocosolver.solver.expression.discrete.relational.ReExpression$$Lambda$147/1758386724.valid(Unknown Source) 7025.46/1374.65 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 7025.46/1374.65 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150) 7025.46/1374.65 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 7025.46/1374.65 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283) 7025.46/1374.65 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164) 7025.46/1374.65 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 7025.46/1374.65 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 7025.46/1374.65 at org.xcsp.parser.XCallbacks$$Lambda$89/1123629720.accept(Unknown Source) 7025.46/1374.65 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 7025.46/1374.65 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 7025.46/1374.65 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 7025.46/1374.65 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 7025.46/1374.65 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 7025.46/1374.65 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 7025.46/1374.65 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 7025.46/1374.65 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 7025.46/1374.65 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 7025.46/1374.65 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 7025.46/1374.65 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 7025.46/1374.65 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 7118.31/1389.39 s UNKNOWN 7118.31/1389.39 c Unexpected resolution interruption!
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 (12715 MiB free) memory of node 1: 16384 MiB (10058 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406728-1569357324/watcher-4406728-1569357324 -o /tmp/evaluation-result-4406728-1569357324/solver-4406728-1569357324 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569351215-14889 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 11004825 HOME/instance-4406728-1569357324.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=20410, runsolver pid=20407 Current StackSize limit: 8192 KiB [startup+0.100091 s]* /proc/loadavg: 4.84 5.95 6.98 2/212 20431 /proc/meminfo: memFree=23304760/32770624 swapFree=66956516/67108860 [pid=20410] ppid=20407 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20410/stat : 20410 (xcsp3-exec) S 20407 20410 14862 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512003729 115843072 364 33554432000 4194304 5098028 140730665773392 140730665771496 140151179391612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29216768 140730665780087 140730665780329 140730665780329 140730665783242 0 /proc/20410/statm: 28282 364 305 221 0 87 0 [pid=20412] ppid=20410 vsize=28227396 memory=29328 CPUtime=0.13 cores=0-7 /proc/20412/stat : 20412 (java) S 20410 20410 14862 0 -1 1077944320 5749 0 0 0 11 2 0 0 20 0 20 0 512003729 28904853504 7332 33554432000 4194304 4196468 140736830949952 140736830932496 140641581928183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 /proc/20412/statm: 7056849 7332 3143 1 0 7019032 0 [pid=20412/tid=20413] ppid=20410 vsize=28227396 memory=7968164548352842648 CPUtime=0.09 cores=0-7 /proc/20412/task/20413/stat : 20413 (java) R 20410 20410 14862 0 -1 4202560 3641 0 0 0 8 1 0 0 20 0 20 0 512003730 28904853504 7332 33554432000 4194304 4196468 140736830949952 140641586157360 140641581950109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20414] ppid=20410 vsize=28227396 memory=732370264952237029 CPUtime=0 cores=0-7 /proc/20412/task/20414/stat : 20414 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 7332 33554432000 4194304 4196468 140736830949952 140641534548624 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20415] ppid=20410 vsize=28227396 memory=140126614783616 CPUtime=0 cores=0-7 /proc/20412/task/20415/stat : 20415 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 7332 33554432000 4194304 4196468 140736830949952 140641533495824 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20416] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20416/stat : 20416 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 7332 33554432000 4194304 4196468 140736830949952 140641532443024 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20417] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20417/stat : 20417 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 7332 33554432000 4194304 4196468 140736830949952 140641531390224 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20418] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20418/stat : 20418 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 7332 33554432000 4194304 4196468 140736830949952 140641530338448 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20419] ppid=20410 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20412/task/20419/stat : 20419 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 7332 33554432000 4194304 4196468 140736830949952 140641529285648 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20420] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20420/stat : 20420 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 7332 33554432000 4194304 4196468 140736830949952 140641528232848 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20421] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20421/stat : 20421 (java) S 20410 20410 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 7332 33554432000 4194304 4196468 140736830949952 140641527180048 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20422] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20422/stat : 20422 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003732 28904853504 7332 33554432000 4194304 4196468 140736830949952 140640179444080 140641581939330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20423] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20423/stat : 20423 (java) S 20410 20410 14862 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512003732 28904853504 7332 33554432000 4194304 4196468 140736830949952 140640178390048 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20424] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20424/stat : 20424 (java) S 20410 20410 14862 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512003733 28904853504 7332 33554432000 4194304 4196468 140736830949952 140640177337200 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20425] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20425/stat : 20425 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512003735 28904853504 7332 33554432000 4194304 4196468 140736830949952 140640176285520 140641581946779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20426] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20426/stat : 20426 (java) S 20410 20410 14862 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 512003735 28904853504 7332 33554432000 4194304 4196468 140736830949952 140640175233904 140641581939330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20427] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20427/stat : 20427 (java) S 20410 20410 14862 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 20 0 512003735 28904853504 7332 33554432000 4194304 4196468 140736830949952 140640174181104 140641581939330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20428] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20428/stat : 20428 (java) S 20410 20410 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512003735 28904853504 7332 33554432000 4194304 4196468 140736830949952 140640173128304 140641581939330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20429] ppid=20410 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/20412/task/20429/stat : 20429 (java) R 20410 20410 14862 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 20 0 512003735 28904853504 7332 33554432000 4194304 4196468 140736830949952 140640172075504 140641581940118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20430] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20430/stat : 20430 (java) S 20410 20410 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512003735 28904853504 7332 33554432000 4194304 4196468 140736830949952 140640171022944 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20431] ppid=20410 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20412/task/20431/stat : 20431 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512003735 28904853504 7332 33554432000 4194304 4196468 140736830949952 140640169970224 140641581939330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30784 KiB [startup+0.210386 s]* /proc/loadavg: 4.84 5.95 6.98 2/212 20431 /proc/meminfo: memFree=23290808/32770624 swapFree=66956516/67108860 [pid=20410] ppid=20407 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20410/stat : 20410 (xcsp3-exec) S 20407 20410 14862 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512003729 115843072 364 33554432000 4194304 5098028 140730665773392 140730665771496 140151179391612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29216768 140730665780087 140730665780329 140730665780329 140730665783242 0 /proc/20410/statm: 28282 364 305 221 0 87 0 [pid=20412] ppid=20410 vsize=28227396 memory=40976 CPUtime=0.33 cores=0-7 /proc/20412/stat : 20412 (java) S 20410 20410 14862 0 -1 1077944320 9527 0 0 0 29 4 0 0 20 0 20 0 512003729 28904853504 10244 33554432000 4194304 4196468 140736830949952 140736830932496 140641581928183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 /proc/20412/statm: 7056849 10244 3254 1 0 7019032 0 [pid=20412/tid=20413] ppid=20410 vsize=28227396 memory=0 CPUtime=0.2 cores=0-7 /proc/20412/task/20413/stat : 20413 (java) R 20410 20410 14862 0 -1 4202560 6643 0 0 0 17 3 0 0 20 0 20 0 512003730 28904853504 10244 33554432000 4194304 4196468 140736830949952 140641586158736 140641581940118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20414] ppid=20410 vsize=28227396 memory=732370264952237029 CPUtime=0 cores=0-7 /proc/20412/task/20414/stat : 20414 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 10244 33554432000 4194304 4196468 140736830949952 140641534548624 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20415] ppid=20410 vsize=28227396 memory=140126614783616 CPUtime=0 cores=0-7 /proc/20412/task/20415/stat : 20415 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 10244 33554432000 4194304 4196468 140736830949952 140641533495824 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20416] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20416/stat : 20416 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 10244 33554432000 4194304 4196468 140736830949952 140641532443024 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20417] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20417/stat : 20417 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 10244 33554432000 4194304 4196468 140736830949952 140641531390224 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20418] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20418/stat : 20418 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 10244 33554432000 4194304 4196468 140736830949952 140641530338448 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20419] ppid=20410 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20412/task/20419/stat : 20419 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 10244 33554432000 4194304 4196468 140736830949952 140641529285648 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20420] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20420/stat : 20420 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 10244 33554432000 4194304 4196468 140736830949952 140641528232848 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20421] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20421/stat : 20421 (java) S 20410 20410 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512003730 28904853504 10244 33554432000 4194304 4196468 140736830949952 140641527180048 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20422] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20422/stat : 20422 (java) S 20410 20410 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512003732 28904853504 10244 33554432000 4194304 4196468 140736830949952 140640179444080 140641581939330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20423] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20423/stat : 20423 (java) S 20410 20410 14862 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512003732 28904853504 10244 33554432000 4194304 4196468 140736830949952 140640178390048 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20424] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20424/stat : 20424 (java) S 20410 20410 14862 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512003733 28904853504 10244 33554432000 4194304 4196468 140736830949952 140640177337200 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20425] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20425/stat : 20425 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512003735 28904853504 10244 33554432000 4194304 4196468 140736830949952 140640176285520 140641581946779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20426] ppid=20410 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/20412/task/20426/stat : 20426 (java) S 20410 20410 14862 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 20 0 512003735 28904853504 10244 33554432000 4194304 4196468 140736830949952 140640175233904 140641581939330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20427] ppid=20410 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/20412/task/20427/stat : 20427 (java) S 20410 20410 14862 0 -1 1077944384 453 0 0 0 1 0 0 0 20 0 20 0 512003735 28904853504 10244 33554432000 4194304 4196468 140736830949952 140640174181104 140641581939330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20428] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20428/stat : 20428 (java) S 20410 20410 14862 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 512003735 28904853504 10244 33554432000 4194304 4196468 140736830949952 140640173128304 140641581939330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20429] ppid=20410 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/20412/task/20429/stat : 20429 (java) R 20410 20410 14862 0 -1 4202560 739 0 0 0 8 0 0 0 20 0 20 0 512003735 28904853504 10244 33554432000 4194304 4196468 140736830949952 140640172075312 140641560879142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20430] ppid=20410 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20430/stat : 20430 (java) S 20410 20410 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512003735 28904853504 10244 33554432000 4194304 4196468 140736830949952 140640171022944 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20431] ppid=20410 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20412/task/20431/stat : 20431 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512003735 28904853504 10244 33554432000 4194304 4196468 140736830949952 140640169970224 140641581939330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42432 KiB [startup+0.310226 s]* /proc/loadavg: 4.84 5.95 6.98 4/212 20431 /proc/meminfo: memFree=23283884/32770624 swapFree=66956516/67108860 [pid=20410] ppid=20407 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20410/stat : 20410 (xcsp3-exec) S 20407 20410 14862 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512003729 115843072 364 33554432000 4194304 5098028 140730665773392 140730665771496 140151179391612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29216768 140730665780087 140730665780329 140730665780329 140730665783242 0 /proc/20410/statm: 28282 364 305 221 0 87 0 [pid=20412] ppid=20410 vsize=28231652 memory=50124 CPUtime=0.51 cores=0-7 /proc/20412/stat : 20412 (java) S 20410 20410 14862 0 -1 1077944320 10877 0 0 0 46 5 0 0 20 0 20 0 512003729 28909211648 12531 33554432000 4194304 4196468 140736830949952 140736830932496 140641581928183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 /proc/20412/statm: 7057913 12531 3344 1 0 7019032 0 [pid=20412/tid=20413] ppid=20410 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/20412/task/20413/stat : 20413 (java) R 20410 20410 14862 0 -1 4202560 7780 0 0 0 26 4 0 0 20 0 20 0 512003730 28909211648 12531 33554432000 4194304 4196468 140736830949952 140641586163512 140641566008670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20414] ppid=20410 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20414/stat : 20414 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512003730 28909211648 12531 33554432000 4194304 4196468 140736830949952 140641534548624 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20415] ppid=20410 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20415/stat : 20415 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28909211648 12531 33554432000 4194304 4196468 140736830949952 140641533495824 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20416] ppid=20410 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20416/stat : 20416 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28909211648 12531 33554432000 4194304 4196468 140736830949952 140641532443024 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20417] ppid=20410 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20417/stat : 20417 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28909211648 12531 33554432000 4194304 4196468 140736830949952 140641531390224 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20418] ppid=20410 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/20412/task/20418/stat : 20418 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28909211648 12531 33554432000 4194304 4196468 140736830949952 140641530338448 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20419] ppid=20410 vsize=28231652 memory=140126462243759 CPUtime=0 cores=0-7 /proc/20412/task/20419/stat : 20419 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512003730 28909211648 12531 33554432000 4194304 4196468 140736830949952 140641529285648 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20420] ppid=20410 vsize=28231652 memory=140126462246064 CPUtime=0 cores=0-7 /proc/20412/task/20420/stat : 20420 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28909211648 12531 33554432000 4194304 4196468 140736830949952 140641528232848 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20421] ppid=20410 vsize=28231652 memory=140126462248368 CPUtime=0 cores=0-7 /proc/20412/task/20421/stat : 20421 (java) S 20410 20410 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512003730 28909211648 12531 33554432000 4194304 4196468 140736830949952 140641527180048 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20422] ppid=20410 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20422/stat : 20422 (java) S 20410 20410 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512003732 28909211648 12531 33554432000 4194304 4196468 140736830949952 140640179444080 140641581939330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20423] ppid=20410 vsize=28231652 memory=280252924503696 CPUtime=0 cores=0-7 /proc/20412/task/20423/stat : 20423 (java) S 20410 20410 14862 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512003732 28909211648 12531 33554432000 4194304 4196468 140736830949952 140640178390048 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20424] ppid=20410 vsize=28231652 memory=280252924510608 CPUtime=0 cores=0-7 /proc/20412/task/20424/stat : 20424 (java) S 20410 20410 14862 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512003733 28909211648 12531 33554432000 4194304 4196468 140736830949952 140640177337200 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20425] ppid=20410 vsize=28231652 memory=280252924451888 CPUtime=0 cores=0-7 /proc/20412/task/20425/stat : 20425 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512003735 28909211648 12531 33554432000 4194304 4196468 140736830949952 140640176285520 140641581946779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20426] ppid=20410 vsize=28231652 memory=280252924524432 CPUtime=0.03 cores=0-7 /proc/20412/task/20426/stat : 20426 (java) R 20410 20410 14862 0 -1 4202560 409 0 0 0 3 0 0 0 20 0 20 0 512003735 28909211648 12531 33554432000 4194304 4196468 140736830949952 140640175233904 140641563449377 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20427] ppid=20410 vsize=28231652 memory=280252924531344 CPUtime=0.02 cores=0-7 /proc/20412/task/20427/stat : 20427 (java) S 20410 20410 14862 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 20 0 512003735 28909211648 12531 33554432000 4194304 4196468 140736830949952 140640174181104 140641581939330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20428] ppid=20410 vsize=28231652 memory=280252924529040 CPUtime=0.01 cores=0-7 /proc/20412/task/20428/stat : 20428 (java) S 20410 20410 14862 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 20 0 512003735 28909211648 12531 33554432000 4194304 4196468 140736830949952 140640173128304 140641581939330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20429] ppid=20410 vsize=28231652 memory=280252924545200 CPUtime=0.12 cores=0-7 /proc/20412/task/20429/stat : 20429 (java) S 20410 20410 14862 0 -1 1077944384 842 0 0 0 12 0 0 0 20 0 20 0 512003735 28909211648 12531 33554432000 4194304 4196468 140736830949952 140640172075504 140641581939330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20430] ppid=20410 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20430/stat : 20430 (java) S 20410 20410 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512003735 28909211648 12531 33554432000 4194304 4196468 140736830949952 140640171022944 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20431] ppid=20410 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/20412/task/20431/stat : 20431 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512003735 28909211648 12531 33554432000 4194304 4196468 140736830949952 140640169970224 140641581939330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51580 KiB [startup+0.700993 s] /proc/loadavg: 4.84 5.95 6.98 4/212 20431 /proc/meminfo: memFree=23261056/32770624 swapFree=66956516/67108860 [pid=20410] ppid=20407 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20410/stat : 20410 (xcsp3-exec) S 20407 20410 14862 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512003729 115843072 364 33554432000 4194304 5098028 140730665773392 140730665771496 140151179391612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29216768 140730665780087 140730665780329 140730665780329 140730665783242 0 /proc/20410/statm: 28282 364 305 221 0 87 0 [pid=20412] ppid=20410 vsize=28233776 memory=122480 CPUtime=2.01 cores=0-7 /proc/20412/stat : 20412 (java) S 20410 20410 14862 0 -1 1077944320 17252 0 0 0 193 8 0 0 20 0 20 0 512003729 28911386624 30620 33554432000 4194304 4196468 140736830949952 140736830932496 140641581928183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 /proc/20412/statm: 7058444 30620 3446 1 0 7019544 0 [pid=20412/tid=20413] ppid=20410 vsize=28233776 memory=280252924840128 CPUtime=0.67 cores=0-7 /proc/20412/task/20413/stat : 20413 (java) R 20410 20410 14862 0 -1 4202560 9168 0 0 0 62 5 0 0 20 0 20 0 512003730 28911386624 30620 33554432000 4194304 4196468 140736830949952 140641586163696 140641204007389 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20414] ppid=20410 vsize=28233776 memory=1560 CPUtime=0 cores=0-7 /proc/20412/task/20414/stat : 20414 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512003730 28911386624 30620 33554432000 4194304 4196468 140736830949952 140641534548624 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20415] ppid=20410 vsize=28233776 memory=976 CPUtime=0 cores=0-7 /proc/20412/task/20415/stat : 20415 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28911386624 30620 33554432000 4194304 4196468 140736830949952 140641533495824 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20416] ppid=20410 vsize=28233776 memory=772 CPUtime=0 cores=0-7 /proc/20412/task/20416/stat : 20416 (java) S 20410 20410 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512003730 28911386624 30620 33554432000 4194304 4196468 140736830949952 140641532443024 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 ################ # More data... # ################ [pid=20412/tid=20418] ppid=20410 vsize=28300340 memory=6791534058613427641 CPUtime=817.85 cores=0-7 /proc/20412/task/20418/stat : 20418 (java) S 20410 20410 14862 0 -1 1077944384 5920257 0 0 0 80829 956 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641530338448 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 38 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20419] ppid=20410 vsize=28300340 memory=772 CPUtime=817.65 cores=0-7 /proc/20412/task/20419/stat : 20419 (java) S 20410 20410 14862 0 -1 1077944384 2823076 0 0 0 81012 753 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641529285648 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20420] ppid=20410 vsize=28300340 memory=1456 CPUtime=818.52 cores=0-7 /proc/20412/task/20420/stat : 20420 (java) S 20410 20410 14862 0 -1 1077944384 4613821 0 0 0 80923 929 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641528232848 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20421] ppid=20410 vsize=28300340 memory=25341084 CPUtime=818.6 cores=0-7 /proc/20412/task/20421/stat : 20421 (java) S 20410 20410 14862 0 -1 1077944384 3519941 0 0 0 81036 824 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641527180048 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20422] ppid=20410 vsize=28300340 memory=1548 CPUtime=173.63 cores=0-7 /proc/20412/task/20422/stat : 20422 (java) R 20410 20410 14862 0 -1 4202560 1772020 0 0 0 17191 172 0 0 20 0 21 0 512003732 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640179442512 140641566924593 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20423] ppid=20410 vsize=28300340 memory=1056 CPUtime=0 cores=0-7 /proc/20412/task/20423/stat : 20423 (java) S 20410 20410 14862 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 21 0 512003732 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640178390112 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20424] ppid=20410 vsize=28300340 memory=1560 CPUtime=0 cores=0-7 /proc/20412/task/20424/stat : 20424 (java) S 20410 20410 14862 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 21 0 512003733 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640177337216 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20425] ppid=20410 vsize=28300340 memory=976 CPUtime=0 cores=0-7 /proc/20412/task/20425/stat : 20425 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640176285520 140641581946779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20426] ppid=20410 vsize=28300340 memory=772 CPUtime=1.35 cores=0-7 /proc/20412/task/20426/stat : 20426 (java) S 20410 20410 14862 0 -1 1077944384 8526 0 0 0 134 1 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640175233952 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20427] ppid=20410 vsize=28300340 memory=3616 CPUtime=0.9 cores=0-7 /proc/20412/task/20427/stat : 20427 (java) S 20410 20410 14862 0 -1 1077944384 8600 0 0 0 89 1 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640174180864 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20428] ppid=20410 vsize=28300340 memory=2832 CPUtime=1.39 cores=0-7 /proc/20412/task/20428/stat : 20428 (java) S 20410 20410 14862 0 -1 1077944384 10508 0 0 0 137 2 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640173128352 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20429] ppid=20410 vsize=28300340 memory=1548 CPUtime=0.68 cores=0-7 /proc/20412/task/20429/stat : 20429 (java) S 20410 20410 14862 0 -1 1077944384 7875 0 0 0 66 2 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640172071872 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20430] ppid=20410 vsize=28300340 memory=744 CPUtime=0 cores=0-7 /proc/20412/task/20430/stat : 20430 (java) S 20410 20410 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640171022944 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20431] ppid=20410 vsize=28300340 memory=8444 CPUtime=0.65 cores=0-7 /proc/20412/task/20431/stat : 20431 (java) S 20410 20410 14862 0 -1 1077944384 2164 0 0 0 31 34 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640169970224 140641581939330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20534] ppid=20410 vsize=28300340 memory=6172 CPUtime=0 cores=0-7 /proc/20412/task/20534/stat : 20534 (java) S 20410 20410 14862 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 21 0 512141195 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640160992448 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 Current children cumulated CPU time: 7116.21 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25342548 KiB [startup+1388.8 s] /proc/loadavg: 5.50 5.72 5.44 2/212 20534 /proc/meminfo: memFree=192500/32770624 swapFree=66956516/67108860 [pid=20410] ppid=20407 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20410/stat : 20410 (xcsp3-exec) S 20407 20410 14862 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512003729 115843072 364 33554432000 4194304 5098028 140730665773392 140730665771496 140151179391612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29216768 140730665780087 140730665780329 140730665780329 140730665783242 0 /proc/20410/statm: 28282 364 305 221 0 87 0 [pid=20412] ppid=20410 vsize=28300340 memory=25341092 CPUtime=7117.81 cores=0-7 /proc/20412/stat : 20412 (java) S 20410 20410 14862 0 -1 1077944320 36828502 0 0 0 704465 7316 0 0 20 0 21 0 512003729 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140736830932496 140641581928183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 /proc/20412/statm: 7075085 6335273 3518 1 0 7036185 0 [pid=20412/tid=20413] ppid=20410 vsize=28300340 memory=984 CPUtime=386.82 cores=0-7 /proc/20412/task/20413/stat : 20413 (java) S 20410 20410 14862 0 -1 1077944384 101078 0 0 0 38559 123 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641586168864 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20414] ppid=20410 vsize=28300340 memory=2032 CPUtime=819.74 cores=0-7 /proc/20412/task/20414/stat : 20414 (java) S 20410 20410 14862 0 -1 1077944384 5551350 0 0 0 81067 907 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641534548624 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20415] ppid=20410 vsize=28300340 memory=25341084 CPUtime=819.6 cores=0-7 /proc/20412/task/20415/stat : 20415 (java) S 20410 20410 14862 0 -1 1077944384 5431939 0 0 0 80992 968 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641533495824 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20416] ppid=20410 vsize=28300340 memory=1456 CPUtime=818.87 cores=0-7 /proc/20412/task/20416/stat : 20416 (java) S 20410 20410 14862 0 -1 1077944384 3470621 0 0 0 81032 855 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641532443024 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20417] ppid=20410 vsize=28300340 memory=3620 CPUtime=819.79 cores=0-7 /proc/20412/task/20417/stat : 20417 (java) S 20410 20410 14862 0 -1 1077944384 3585322 0 0 0 81178 801 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641531390224 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20418] ppid=20410 vsize=28300340 memory=1456 CPUtime=817.85 cores=0-7 /proc/20412/task/20418/stat : 20418 (java) S 20410 20410 14862 0 -1 1077944384 5920257 0 0 0 80829 956 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641530338448 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 38 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20419] ppid=20410 vsize=28300340 memory=25341088 CPUtime=817.65 cores=0-7 /proc/20412/task/20419/stat : 20419 (java) S 20410 20410 14862 0 -1 1077944384 2823076 0 0 0 81012 753 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641529285648 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20420] ppid=20410 vsize=28300340 memory=1456 CPUtime=818.52 cores=0-7 /proc/20412/task/20420/stat : 20420 (java) S 20410 20410 14862 0 -1 1077944384 4613821 0 0 0 80923 929 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641528232848 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20421] ppid=20410 vsize=28300340 memory=6791534058613427641 CPUtime=818.6 cores=0-7 /proc/20412/task/20421/stat : 20421 (java) S 20410 20410 14862 0 -1 1077944384 3519941 0 0 0 81036 824 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641527180048 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20422] ppid=20410 vsize=28300340 memory=25340920 CPUtime=175.23 cores=0-7 /proc/20412/task/20422/stat : 20422 (java) R 20410 20410 14862 0 -1 4202560 1772020 0 0 0 17351 172 0 0 20 0 21 0 512003732 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640179442512 140641566385753 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20423] ppid=20410 vsize=28300340 memory=4100 CPUtime=0 cores=0-7 /proc/20412/task/20423/stat : 20423 (java) S 20410 20410 14862 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 21 0 512003732 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640178390112 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20424] ppid=20410 vsize=28300340 memory=25340920 CPUtime=0 cores=0-7 /proc/20412/task/20424/stat : 20424 (java) S 20410 20410 14862 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 21 0 512003733 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640177337216 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20425] ppid=20410 vsize=28300340 memory=1328 CPUtime=0 cores=0-7 /proc/20412/task/20425/stat : 20425 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640176285520 140641581946779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20426] ppid=20410 vsize=28300340 memory=1560 CPUtime=1.35 cores=0-7 /proc/20412/task/20426/stat : 20426 (java) S 20410 20410 14862 0 -1 1077944384 8526 0 0 0 134 1 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640175233952 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20427] ppid=20410 vsize=28300340 memory=976 CPUtime=0.9 cores=0-7 /proc/20412/task/20427/stat : 20427 (java) S 20410 20410 14862 0 -1 1077944384 8600 0 0 0 89 1 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640174180864 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20428] ppid=20410 vsize=28300340 memory=772 CPUtime=1.39 cores=0-7 /proc/20412/task/20428/stat : 20428 (java) S 20410 20410 14862 0 -1 1077944384 10508 0 0 0 137 2 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640173128352 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20429] ppid=20410 vsize=28300340 memory=3616 CPUtime=0.68 cores=0-7 /proc/20412/task/20429/stat : 20429 (java) S 20410 20410 14862 0 -1 1077944384 7875 0 0 0 66 2 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640172071872 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20430] ppid=20410 vsize=28300340 memory=6172 CPUtime=0 cores=0-7 /proc/20412/task/20430/stat : 20430 (java) S 20410 20410 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640171022944 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20431] ppid=20410 vsize=28300340 memory=1124 CPUtime=0.65 cores=0-7 /proc/20412/task/20431/stat : 20431 (java) S 20410 20410 14862 0 -1 1077944384 2164 0 0 0 31 34 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640169970224 140641581939330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20534] ppid=20410 vsize=28300340 memory=14008 CPUtime=0 cores=0-7 /proc/20412/task/20534/stat : 20534 (java) S 20410 20410 14862 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 21 0 512141195 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640160992448 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 Current children cumulated CPU time: 7117.81 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25342548 KiB [startup+1389.2 s] /proc/loadavg: 5.50 5.72 5.44 2/212 20534 /proc/meminfo: memFree=192500/32770624 swapFree=66956516/67108860 [pid=20410] ppid=20407 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20410/stat : 20410 (xcsp3-exec) S 20407 20410 14862 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512003729 115843072 364 33554432000 4194304 5098028 140730665773392 140730665771496 140151179391612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29216768 140730665780087 140730665780329 140730665780329 140730665783242 0 /proc/20410/statm: 28282 364 305 221 0 87 0 [pid=20412] ppid=20410 vsize=28300340 memory=25341092 CPUtime=7118.21 cores=0-7 /proc/20412/stat : 20412 (java) S 20410 20410 14862 0 -1 1077944320 36828502 0 0 0 704505 7316 0 0 20 0 21 0 512003729 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140736830932496 140641581928183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 /proc/20412/statm: 7075085 6335273 3518 1 0 7036185 0 [pid=20412/tid=20413] ppid=20410 vsize=28300340 memory=25341016 CPUtime=386.82 cores=0-7 /proc/20412/task/20413/stat : 20413 (java) S 20410 20410 14862 0 -1 1077944384 101078 0 0 0 38559 123 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641586168864 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20414] ppid=20410 vsize=28300340 memory=7523107478184158290 CPUtime=819.74 cores=0-7 /proc/20412/task/20414/stat : 20414 (java) S 20410 20410 14862 0 -1 1077944384 5551350 0 0 0 81067 907 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641534548624 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20415] ppid=20410 vsize=28300340 memory=1456 CPUtime=819.6 cores=0-7 /proc/20412/task/20415/stat : 20415 (java) S 20410 20410 14862 0 -1 1077944384 5431939 0 0 0 80992 968 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641533495824 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20416] ppid=20410 vsize=28300340 memory=1056 CPUtime=818.87 cores=0-7 /proc/20412/task/20416/stat : 20416 (java) S 20410 20410 14862 0 -1 1077944384 3470621 0 0 0 81032 855 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641532443024 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20417] ppid=20410 vsize=28300340 memory=744 CPUtime=819.79 cores=0-7 /proc/20412/task/20417/stat : 20417 (java) S 20410 20410 14862 0 -1 1077944384 3585322 0 0 0 81178 801 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641531390224 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20418] ppid=20410 vsize=28300340 memory=8444 CPUtime=817.85 cores=0-7 /proc/20412/task/20418/stat : 20418 (java) S 20410 20410 14862 0 -1 1077944384 5920257 0 0 0 80829 956 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641530338448 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 38 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20419] ppid=20410 vsize=28300340 memory=6172 CPUtime=817.65 cores=0-7 /proc/20412/task/20419/stat : 20419 (java) S 20410 20410 14862 0 -1 1077944384 2823076 0 0 0 81012 753 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641529285648 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20420] ppid=20410 vsize=28300340 memory=1124 CPUtime=818.52 cores=0-7 /proc/20412/task/20420/stat : 20420 (java) S 20410 20410 14862 0 -1 1077944384 4613821 0 0 0 80923 929 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641528232848 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20421] ppid=20410 vsize=28300340 memory=14008 CPUtime=818.6 cores=0-7 /proc/20412/task/20421/stat : 20421 (java) S 20410 20410 14862 0 -1 1077944384 3519941 0 0 0 81036 824 0 0 20 0 21 0 512003730 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140641527180048 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20422] ppid=20410 vsize=28300340 memory=12024 CPUtime=175.63 cores=0-7 /proc/20412/task/20422/stat : 20422 (java) R 20410 20410 14862 0 -1 4202560 1772020 0 0 0 17391 172 0 0 20 0 21 0 512003732 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640179442512 140641566924564 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20423] ppid=20410 vsize=28300340 memory=2124 CPUtime=0 cores=0-7 /proc/20412/task/20423/stat : 20423 (java) S 20410 20410 14862 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 21 0 512003732 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640178390112 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20424] ppid=20410 vsize=28300340 memory=22232 CPUtime=0 cores=0-7 /proc/20412/task/20424/stat : 20424 (java) S 20410 20410 14862 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 21 0 512003733 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640177337216 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20425] ppid=20410 vsize=28300340 memory=504 CPUtime=0 cores=0-7 /proc/20412/task/20425/stat : 20425 (java) S 20410 20410 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640176285520 140641581946779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20426] ppid=20410 vsize=28300340 memory=1564 CPUtime=1.35 cores=0-7 /proc/20412/task/20426/stat : 20426 (java) S 20410 20410 14862 0 -1 1077944384 8526 0 0 0 134 1 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640175233952 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20427] ppid=20410 vsize=28300340 memory=0 CPUtime=0.9 cores=0-7 /proc/20412/task/20427/stat : 20427 (java) S 20410 20410 14862 0 -1 1077944384 8600 0 0 0 89 1 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640174180864 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20428] ppid=20410 vsize=28300340 memory=0 CPUtime=1.39 cores=0-7 /proc/20412/task/20428/stat : 20428 (java) S 20410 20410 14862 0 -1 1077944384 10508 0 0 0 137 2 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640173128352 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20429] ppid=20410 vsize=28300340 memory=135 CPUtime=0.68 cores=0-7 /proc/20412/task/20429/stat : 20429 (java) S 20410 20410 14862 0 -1 1077944384 7875 0 0 0 66 2 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640172071872 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20430] ppid=20410 vsize=28300340 memory=0 CPUtime=0 cores=0-7 /proc/20412/task/20430/stat : 20430 (java) S 20410 20410 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640171022944 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20431] ppid=20410 vsize=28300340 memory=711661 CPUtime=0.65 cores=0-7 /proc/20412/task/20431/stat : 20431 (java) S 20410 20410 14862 0 -1 1077944384 2164 0 0 0 31 34 0 0 20 0 21 0 512003735 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640169970224 140641581939330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 [pid=20412/tid=20534] ppid=20410 vsize=28300340 memory=38682 CPUtime=0 cores=0-7 /proc/20412/task/20534/stat : 20534 (java) S 20410 20410 14862 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 21 0 512141195 28979548160 6335273 33554432000 4194304 4196468 140736830949952 140640160992448 140641581938389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140736830956522 140736830956694 140736830956694 140736830959567 0 Current children cumulated CPU time: 7118.21 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25342548 KiB [startup+1389.6 s] /proc/loadavg: 5.50 5.72 5.44 2/212 20534 /proc/meminfo: memFree=192500/32770624 swapFree=66956516/67108860 [pid=20410] ppid=20407 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20410/stat : 20410 (xcsp3-exec) S 20407 20410 14862 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512003729 115843072 364 33554432000 4194304 5098028 140730665773392 140730665771496 140151179391612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29216768 140730665780087 140730665780329 140730665780329 140730665783242 0 /proc/20410/statm: 28282 364 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB [startup+1389.7 s] /proc/loadavg: 5.50 5.72 5.44 2/212 20534 /proc/meminfo: memFree=192500/32770624 swapFree=66956516/67108860 [pid=20410] ppid=20407 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20410/stat : 20410 (xcsp3-exec) S 20407 20410 14862 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512003729 115843072 364 33554432000 4194304 5098028 140730665773392 140730665771496 140151179391612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29216768 140730665780087 140730665780329 140730665780329 140730665783242 0 /proc/20410/statm: 28282 364 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB Child status: 1 Real time (s): 1389.76 CPU time (s): 7118.76 CPU user time (s): 7045.25 CPU system time (s): 73.5087 CPU usage (%): 512.228 Max. virtual memory (cumulated for all children) (KiB): 28413468 Max. memory (cumulated for all children) (KiB): 25342548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7045.25 system time used= 73.5087 maximum resident set size= 25341416 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36829158 page faults= 0 swaps= 0 block input operations= 8 block output operations= 1832 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 84011 involuntary context switches= 114441 # summary of solver processes directly reported to runsolver: # pid: 20410 # total CPU time (s): 7118.76 # total CPU user time (s): 7045.25 # total CPU system time (s): 73.5087 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.02153 second user time and 15.2118 second system time The end
Begin job on node151 at 2019-09-24 22:34:44 IDJOB=4406728 IDBENCH=138444 IDSOLVER=2871 FILE ID=node151/4406728-1569357324 RUNJOBID= node151-1569351215-14889 PBS_JOBID= 21705099 Free space on /tmp= 12412 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-06.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-4406728-1569357324/watcher-4406728-1569357324 -o /tmp/evaluation-result-4406728-1569357324/solver-4406728-1569357324 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569351215-14889 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 11004825 HOME/instance-4406728-1569357324.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6b3d88799df56964f86d557249875b85 RANDOM SEED=11004825 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23319480 kB MemAvailable: 31793408 kB Buffers: 102916 kB Cached: 8530748 kB SwapCached: 50724 kB Active: 2766932 kB Inactive: 5924368 kB Active(anon): 5768 kB Inactive(anon): 106076 kB Active(file): 2761164 kB Inactive(file): 5818292 kB Unevictable: 107680 kB Mlocked: 107680 kB SwapTotal: 67108860 kB SwapFree: 66956516 kB Dirty: 26276 kB Writeback: 0 kB AnonPages: 113628 kB Mapped: 54244 kB Shmem: 45980 kB Slab: 351820 kB SReclaimable: 322932 kB SUnreclaim: 28888 kB KernelStack: 3456 kB PageTables: 5544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514852 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 12388 MiB End job on node151 at 2019-09-24 22:57:53