Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-06-14 parallel | ? | 9192.85 | 1560.13 |
Name | SuperSolutions/SuperSolutions-Taillard-js15/ SuperTaillard-js-15-18.xml |
MD5SUM | 3f0141c7bb33af25d9039070b39091b8 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 52.3708 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 5580 |
Number of domains | 84 |
Minimum domain size | 1184 |
Maximum domain size | 1282 |
Distribution of domain sizes | [{"size":1184,"count":10},{"size":1185,"count":4},{"size":1186,"count":4},{"size":1187,"count":10},{"size":1188,"count":8},{"size":1191,"count":6},{"size":1192,"count":4},{"size":1193,"count":6},{"size":1194,"count":8},{"size":1195,"count":6},{"size":1196,"count":2},{"size":1197,"count":2},{"size":1198,"count":6},{"size":1199,"count":6},{"size":1200,"count":10},{"size":1201,"count":6},{"size":1202,"count":10},{"size":1203,"count":10},{"size":1204,"count":6},{"size":1206,"count":4},{"size":1207,"count":10},{"size":1208,"count":6},{"size":1209,"count":2},{"size":1210,"count":2},{"size":1211,"count":2},"...",{"size":1253,"count":4}, {"size":1255,"count":6}, {"size":1256,"count":6}, {"size":1257,"count":2}, {"size":1259,"count":8}, {"size":1260,"count":6}, {"size":1261,"count":4}, {"size":1262,"count":6}, {"size":1263,"count":4}, {"size":1264,"count":2}, {"size":1265,"count":2}, {"size":1267,"count":8}, {"size":1268,"count":6}, {"size":1269,"count":10}, {"size":1272,"count":6}, {"size":1273,"count":2}, {"size":1274,"count":6}, {"size":1275,"count":4}, {"size":1276,"count":2}, {"size":1277,"count":10}, {"size":1278,"count":10}, {"size":1279,"count":12}, {"size":1280,"count":6}, {"size":1281,"count":4}, {"size":1282,"count":8}] |
Minimum variable degree | 16 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":5580}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 5580 |
Distribution of constraint types | [{"type":"intension","count":5580}] |
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-4393518-1568442170.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393518-1568442170.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 9092.76/1544.44 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded 9092.76/1544.44 at org.chocosolver.solver.constraints.extension.nary.PropLargeGACSTRPos.<init>(PropLargeGACSTRPos.java:84) 9092.76/1544.44 at org.chocosolver.solver.constraints.extension.nary.PropLargeGACSTRPos.<init>(PropLargeGACSTRPos.java:112) 9092.76/1544.44 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2113) 9092.76/1544.44 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2043) 9092.76/1544.44 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:152) 9092.76/1544.44 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 9092.76/1544.44 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283) 9092.76/1544.44 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164) 9092.76/1544.44 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 9092.76/1544.44 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 9092.76/1544.44 at org.xcsp.parser.XCallbacks$$Lambda$89/1991313236.accept(Unknown Source) 9092.76/1544.44 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 9092.76/1544.44 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 9092.76/1544.44 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 9092.76/1544.44 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 9092.76/1544.44 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 9092.76/1544.44 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 9092.76/1544.44 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 9092.76/1544.44 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 9092.76/1544.44 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 9092.76/1544.44 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 9092.76/1544.44 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 9092.76/1544.44 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 9192.61/1559.94 s UNKNOWN 9192.61/1559.94 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 (9609 MiB free) memory of node 1: 16384 MiB (15612 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393518-1568442170/watcher-4393518-1568442170 -o /tmp/evaluation-result-4393518-1568442170/solver-4393518-1568442170 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 901260254 HOME/instance-4393518-1568442170.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=16869, runsolver pid=16866 Current StackSize limit: 8192 KiB [startup+0.100132 s]* /proc/loadavg: 3.58 5.40 7.10 2/212 16890 /proc/meminfo: memFree=25809692/32770624 swapFree=67002168/67108860 [pid=16869] ppid=16866 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16869/stat : 16869 (xcsp3-exec) S 16866 16869 14480 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420465653 115843072 363 33554432000 4194304 5098028 140726390766464 140726390764568 140326032609916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9670656 140726390768502 140726390768745 140726390768745 140726390771658 0 /proc/16869/statm: 28282 363 305 221 0 87 0 [pid=16871] ppid=16869 vsize=28227388 memory=29456 CPUtime=0.12 cores=0-7 /proc/16871/stat : 16871 (java) S 16869 16869 14480 0 -1 1077944320 5764 0 0 0 11 1 0 0 20 0 20 0 420465653 28904845312 7364 33554432000 4194304 4196468 140723839646432 140723839628976 140678668820215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 /proc/16871/statm: 7056847 7364 3154 1 0 7019032 0 [pid=16871/tid=16872] ppid=16869 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/16871/task/16872/stat : 16872 (java) R 16869 16869 14480 0 -1 4202560 3682 0 0 0 8 0 0 0 20 0 20 0 420465653 28904845312 7364 33554432000 4194304 4196468 140723839646432 140678673053008 140678668832150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16873] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16873/stat : 16873 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 7364 33554432000 4194304 4196468 140723839646432 140678220523792 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16874] ppid=16869 vsize=28227388 memory=139852954187392 CPUtime=0 cores=0-7 /proc/16871/task/16874/stat : 16874 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 7364 33554432000 4194304 4196468 140723839646432 140678219471248 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16875] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16875/stat : 16875 (java) S 16869 16869 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 7364 33554432000 4194304 4196468 140723839646432 140678218418704 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16876] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16876/stat : 16876 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 7364 33554432000 4194304 4196468 140723839646432 140678217366160 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16877] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16877/stat : 16877 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 7364 33554432000 4194304 4196468 140723839646432 140678216313616 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16878] ppid=16869 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16871/task/16878/stat : 16878 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 7364 33554432000 4194304 4196468 140723839646432 140678215261072 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16879] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16879/stat : 16879 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 7364 33554432000 4194304 4196468 140723839646432 140678214208528 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16880] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16880/stat : 16880 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 7364 33554432000 4194304 4196468 140723839646432 140678213155984 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16881] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16881/stat : 16881 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465656 28904845312 7364 33554432000 4194304 4196468 140723839646432 140677267081200 140678668831362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16882] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16882/stat : 16882 (java) S 16869 16869 14480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420465656 28904845312 7364 33554432000 4194304 4196468 140723839646432 140677266027424 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16883] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16883/stat : 16883 (java) S 16869 16869 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420465656 28904845312 7364 33554432000 4194304 4196468 140723839646432 140677264974832 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16884] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16884/stat : 16884 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420465659 28904845312 7364 33554432000 4194304 4196468 140723839646432 140677263923408 140678668838811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16885] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16885/stat : 16885 (java) S 16869 16869 14480 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 420465659 28904845312 7364 33554432000 4194304 4196468 140723839646432 140677262871024 140678668831362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16886] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16886/stat : 16886 (java) S 16869 16869 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420465659 28904845312 7364 33554432000 4194304 4196468 140723839646432 140677261818480 140678668831362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16887] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16887/stat : 16887 (java) S 16869 16869 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420465659 28904845312 7364 33554432000 4194304 4196468 140723839646432 140677260765936 140678668831362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16888] ppid=16869 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/16871/task/16888/stat : 16888 (java) R 16869 16869 14480 0 -1 4202560 351 0 0 0 1 0 0 0 20 0 20 0 420465659 28904845312 7364 33554432000 4194304 4196468 140723839646432 140677259713392 140678668832150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16889] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16889/stat : 16889 (java) S 16869 16869 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420465659 28904845312 7364 33554432000 4194304 4196468 140723839646432 140677258660064 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16890] ppid=16869 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16871/task/16890/stat : 16890 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420465659 28904845312 7364 33554432000 4194304 4196468 140723839646432 140677257607600 140678668831362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30908 KiB [startup+0.210457 s]* /proc/loadavg: 3.58 5.40 7.10 3/212 16890 /proc/meminfo: memFree=25796880/32770624 swapFree=67002168/67108860 [pid=16869] ppid=16866 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16869/stat : 16869 (xcsp3-exec) S 16866 16869 14480 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420465653 115843072 363 33554432000 4194304 5098028 140726390766464 140726390764568 140326032609916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9670656 140726390768502 140726390768745 140726390768745 140726390771658 0 /proc/16869/statm: 28282 363 305 221 0 87 0 [pid=16871] ppid=16869 vsize=28227388 memory=41388 CPUtime=0.34 cores=0-7 /proc/16871/stat : 16871 (java) S 16869 16869 14480 0 -1 1077944320 9561 0 0 0 31 3 0 0 20 0 20 0 420465653 28904845312 10347 33554432000 4194304 4196468 140723839646432 140723839628976 140678668820215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 /proc/16871/statm: 7056847 10347 3305 1 0 7019032 0 [pid=16871/tid=16872] ppid=16869 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/16871/task/16872/stat : 16872 (java) R 16869 16869 14480 0 -1 4202560 6689 0 0 0 18 2 0 0 20 0 20 0 420465653 28904845312 10347 33554432000 4194304 4196468 140723839646432 140678673052944 140678668842141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16873] ppid=16869 vsize=28227388 memory=330 CPUtime=0 cores=0-7 /proc/16871/task/16873/stat : 16873 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 10347 33554432000 4194304 4196468 140723839646432 140678220523792 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16874] ppid=16869 vsize=28227388 memory=139852957289828 CPUtime=0 cores=0-7 /proc/16871/task/16874/stat : 16874 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 10347 33554432000 4194304 4196468 140723839646432 140678219471248 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16875] ppid=16869 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16871/task/16875/stat : 16875 (java) S 16869 16869 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 10347 33554432000 4194304 4196468 140723839646432 140678218418704 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16876] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16876/stat : 16876 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 10347 33554432000 4194304 4196468 140723839646432 140678217366160 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16877] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16877/stat : 16877 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 10347 33554432000 4194304 4196468 140723839646432 140678216313616 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16878] ppid=16869 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16871/task/16878/stat : 16878 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 10347 33554432000 4194304 4196468 140723839646432 140678215261072 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16879] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16879/stat : 16879 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 10347 33554432000 4194304 4196468 140723839646432 140678214208528 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16880] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16880/stat : 16880 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28904845312 10347 33554432000 4194304 4196468 140723839646432 140678213155984 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16881] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16881/stat : 16881 (java) S 16869 16869 14480 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420465656 28904845312 10347 33554432000 4194304 4196468 140723839646432 140677267081200 140678668831362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16882] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16882/stat : 16882 (java) S 16869 16869 14480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420465656 28904845312 10347 33554432000 4194304 4196468 140723839646432 140677266027424 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16883] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16883/stat : 16883 (java) S 16869 16869 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420465656 28904845312 10347 33554432000 4194304 4196468 140723839646432 140677264974832 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16884] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16884/stat : 16884 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420465659 28904845312 10347 33554432000 4194304 4196468 140723839646432 140677263923408 140678668838811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16885] ppid=16869 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/16871/task/16885/stat : 16885 (java) S 16869 16869 14480 0 -1 1077944384 504 0 0 0 1 0 0 0 20 0 20 0 420465659 28904845312 10347 33554432000 4194304 4196468 140723839646432 140677262871024 140678668831362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16886] ppid=16869 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/16871/task/16886/stat : 16886 (java) S 16869 16869 14480 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 420465659 28904845312 10347 33554432000 4194304 4196468 140723839646432 140677261818480 140678668831362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16887] ppid=16869 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/16871/task/16887/stat : 16887 (java) R 16869 16869 14480 0 -1 4202560 203 0 0 0 1 0 0 0 20 0 20 0 420465659 28904845312 10347 33554432000 4194304 4196468 140723839646432 140677260765936 140678668832150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16888] ppid=16869 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/16871/task/16888/stat : 16888 (java) S 16869 16869 14480 0 -1 1077944384 751 0 0 0 7 0 0 0 20 0 20 0 420465659 28904845312 10347 33554432000 4194304 4196468 140723839646432 140677259713392 140678668831362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16889] ppid=16869 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16889/stat : 16889 (java) S 16869 16869 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420465659 28904845312 10347 33554432000 4194304 4196468 140723839646432 140677258660064 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16890] ppid=16869 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16871/task/16890/stat : 16890 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420465659 28904845312 10347 33554432000 4194304 4196468 140723839646432 140677257607600 140678668831362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42840 KiB [startup+0.31042 s]* /proc/loadavg: 3.58 5.40 7.10 3/212 16890 /proc/meminfo: memFree=25791668/32770624 swapFree=67002168/67108860 [pid=16869] ppid=16866 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16869/stat : 16869 (xcsp3-exec) S 16866 16869 14480 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420465653 115843072 363 33554432000 4194304 5098028 140726390766464 140726390764568 140326032609916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9670656 140726390768502 140726390768745 140726390768745 140726390771658 0 /proc/16869/statm: 28282 363 305 221 0 87 0 [pid=16871] ppid=16869 vsize=28231644 memory=49572 CPUtime=0.52 cores=0-7 /proc/16871/stat : 16871 (java) S 16869 16869 14480 0 -1 1077944320 10929 0 0 0 48 4 0 0 20 0 20 0 420465653 28909203456 12393 33554432000 4194304 4196468 140723839646432 140723839628976 140678668820215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 /proc/16871/statm: 7057911 12393 3339 1 0 7019032 0 [pid=16871/tid=16872] ppid=16869 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/16871/task/16872/stat : 16872 (java) R 16869 16869 14480 0 -1 4202560 7899 0 0 0 27 3 0 0 20 0 20 0 420465653 28909203456 12458 33554432000 4194304 4196468 140723839646432 140678673054000 140678652900732 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16873] ppid=16869 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16873/stat : 16873 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28909203456 12458 33554432000 4194304 4196468 140723839646432 140678220523792 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16874] ppid=16869 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16874/stat : 16874 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420465654 28909203456 12458 33554432000 4194304 4196468 140723839646432 140678219471248 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16875] ppid=16869 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16875/stat : 16875 (java) S 16869 16869 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420465654 28909203456 12458 33554432000 4194304 4196468 140723839646432 140678218418704 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16876] ppid=16869 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16876/stat : 16876 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28909203456 12458 33554432000 4194304 4196468 140723839646432 140678217366160 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16877] ppid=16869 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/16871/task/16877/stat : 16877 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28909203456 12458 33554432000 4194304 4196468 140723839646432 140678216313616 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16878] ppid=16869 vsize=28231644 memory=139852792296367 CPUtime=0 cores=0-7 /proc/16871/task/16878/stat : 16878 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28909203456 12458 33554432000 4194304 4196468 140723839646432 140678215261072 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16879] ppid=16869 vsize=28231644 memory=139852792298672 CPUtime=0 cores=0-7 /proc/16871/task/16879/stat : 16879 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420465654 28909203456 12458 33554432000 4194304 4196468 140723839646432 140678214208528 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16880] ppid=16869 vsize=28231644 memory=139852792300976 CPUtime=0 cores=0-7 /proc/16871/task/16880/stat : 16880 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28909203456 12458 33554432000 4194304 4196468 140723839646432 140678213155984 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16881] ppid=16869 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16881/stat : 16881 (java) S 16869 16869 14480 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420465656 28909203456 12458 33554432000 4194304 4196468 140723839646432 140677267081200 140678668831362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16882] ppid=16869 vsize=28231644 memory=279705584608912 CPUtime=0 cores=0-7 /proc/16871/task/16882/stat : 16882 (java) S 16869 16869 14480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420465656 28909203456 12458 33554432000 4194304 4196468 140723839646432 140677266027424 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16883] ppid=16869 vsize=28231644 memory=279705584615824 CPUtime=0 cores=0-7 /proc/16871/task/16883/stat : 16883 (java) S 16869 16869 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420465656 28909203456 12458 33554432000 4194304 4196468 140723839646432 140677264974832 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16884] ppid=16869 vsize=28231644 memory=279705584557104 CPUtime=0 cores=0-7 /proc/16871/task/16884/stat : 16884 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420465659 28909203456 12458 33554432000 4194304 4196468 140723839646432 140677263923408 140678668838811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16885] ppid=16869 vsize=28231644 memory=279705584629648 CPUtime=0.03 cores=0-7 /proc/16871/task/16885/stat : 16885 (java) S 16869 16869 14480 0 -1 1077944384 515 0 0 0 3 0 0 0 20 0 20 0 420465659 28909203456 12458 33554432000 4194304 4196468 140723839646432 140677262871024 140678668831362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16886] ppid=16869 vsize=28231644 memory=279705584636560 CPUtime=0.03 cores=0-7 /proc/16871/task/16886/stat : 16886 (java) R 16869 16869 14480 0 -1 4202560 179 0 0 0 3 0 0 0 20 0 20 0 420465659 28909203456 12458 33554432000 4194304 4196468 140723839646432 140677261818480 140678646567717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16887] ppid=16869 vsize=28231644 memory=279705584634256 CPUtime=0.01 cores=0-7 /proc/16871/task/16887/stat : 16887 (java) S 16869 16869 14480 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 20 0 420465659 28909203456 12458 33554432000 4194304 4196468 140723839646432 140677260765936 140678668831362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16888] ppid=16869 vsize=28231644 memory=279705584650416 CPUtime=0.12 cores=0-7 /proc/16871/task/16888/stat : 16888 (java) S 16869 16869 14480 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 20 0 420465659 28909203456 12458 33554432000 4194304 4196468 140723839646432 140677259713392 140678668831362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16889] ppid=16869 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16889/stat : 16889 (java) S 16869 16869 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420465659 28909203456 12458 33554432000 4194304 4196468 140723839646432 140677258660064 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16890] ppid=16869 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/16871/task/16890/stat : 16890 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420465659 28909203456 12458 33554432000 4194304 4196468 140723839646432 140677257607600 140678668831362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51024 KiB [startup+0.700924 s] /proc/loadavg: 3.58 5.40 7.10 6/212 16890 /proc/meminfo: memFree=25769328/32770624 swapFree=67002168/67108860 [pid=16869] ppid=16866 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16869/stat : 16869 (xcsp3-exec) S 16866 16869 14480 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420465653 115843072 363 33554432000 4194304 5098028 140726390766464 140726390764568 140326032609916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9670656 140726390768502 140726390768745 140726390768745 140726390771658 0 /proc/16869/statm: 28282 363 305 221 0 87 0 [pid=16871] ppid=16869 vsize=28233768 memory=104776 CPUtime=2.02 cores=0-7 /proc/16871/stat : 16871 (java) S 16869 16869 14480 0 -1 1077944320 16474 0 0 0 196 6 0 0 20 0 20 0 420465653 28911378432 26194 33554432000 4194304 4196468 140723839646432 140723839628976 140678668820215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 /proc/16871/statm: 7058442 26194 3445 1 0 7019544 0 [pid=16871/tid=16872] ppid=16869 vsize=28233768 memory=279705585008304 CPUtime=0.68 cores=0-7 /proc/16871/task/16872/stat : 16872 (java) R 16869 16869 14480 0 -1 4202560 9236 0 0 0 64 4 0 0 20 0 20 0 420465653 28911378432 26194 33554432000 4194304 4196468 140723839646432 140678673055632 140678648368858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16873] ppid=16869 vsize=28233768 memory=139852792505200 CPUtime=0 cores=0-7 /proc/16871/task/16873/stat : 16873 (java) S 16869 16869 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420465654 28911378432 26194 33554432000 4194304 4196468 140723839646432 140678220523792 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16874] ppid=16869 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/16871/task/16874/stat : 16874 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420465654 28911378432 26194 33554432000 4194304 4196468 140723839646432 140678219471248 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16875] ppid=16869 vsize=28233768 memory=1056 CPUtime=0 cores=0-7 /proc/16871/task/16875/stat : 16875 (java) S 16869 16869 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420465654 28911378432 26194 33554432000 4194304 4196468 140723839646432 140678218418704 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 ################ # More data... # ################ [pid=16871/tid=16877] ppid=16869 vsize=28300332 memory=636 CPUtime=1088.94 cores=0-7 /proc/16871/task/16877/stat : 16877 (java) S 16869 16869 14480 0 -1 1077944384 1512107 0 0 0 108196 698 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678216313616 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16878] ppid=16869 vsize=28300332 memory=39908 CPUtime=1092.33 cores=0-7 /proc/16871/task/16878/stat : 16878 (java) S 16869 16869 14480 0 -1 1077944384 1176812 0 0 0 108530 703 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678215261072 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16879] ppid=16869 vsize=28300332 memory=988 CPUtime=1091.94 cores=0-7 /proc/16871/task/16879/stat : 16879 (java) S 16869 16869 14480 0 -1 1077944384 1506670 0 0 0 108443 751 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678214208528 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16880] ppid=16869 vsize=28300332 memory=2024 CPUtime=1093.9 cores=0-7 /proc/16871/task/16880/stat : 16880 (java) S 16869 16869 14480 0 -1 1077944384 1695680 0 0 0 108715 675 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678213155984 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16881] ppid=16869 vsize=28300332 memory=1428 CPUtime=124.25 cores=0-7 /proc/16871/task/16881/stat : 16881 (java) R 16869 16869 14480 0 -1 4202560 1189588 0 0 0 12344 81 0 0 20 0 21 0 420465656 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677267079632 140678653816560 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16882] ppid=16869 vsize=28300332 memory=139852954187391 CPUtime=0 cores=0-7 /proc/16871/task/16882/stat : 16882 (java) S 16869 16869 14480 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 21 0 420465656 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677266027488 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16883] ppid=16869 vsize=28300332 memory=-6237260532469557610 CPUtime=0 cores=0-7 /proc/16871/task/16883/stat : 16883 (java) S 16869 16869 14480 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 420465656 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677264974848 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16884] ppid=16869 vsize=28300332 memory=111632 CPUtime=0 cores=0-7 /proc/16871/task/16884/stat : 16884 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677263923408 140678668838811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16885] ppid=16869 vsize=28300332 memory=796 CPUtime=1.03 cores=0-7 /proc/16871/task/16885/stat : 16885 (java) S 16869 16869 14480 0 -1 1077944384 8576 0 0 0 101 2 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677262871072 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16886] ppid=16869 vsize=28300332 memory=776 CPUtime=0.95 cores=0-7 /proc/16871/task/16886/stat : 16886 (java) S 16869 16869 14480 0 -1 1077944384 5148 0 0 0 94 1 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677261818240 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16887] ppid=16869 vsize=28300332 memory=4008 CPUtime=0.89 cores=0-7 /proc/16871/task/16887/stat : 16887 (java) S 16869 16869 14480 0 -1 1077944384 4873 0 0 0 88 1 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677260765984 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16888] ppid=16869 vsize=28300332 memory=1292 CPUtime=0.58 cores=0-7 /proc/16871/task/16888/stat : 16888 (java) S 16869 16869 14480 0 -1 1077944384 11453 0 0 0 56 2 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677259713440 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16889] ppid=16869 vsize=28300332 memory=10592 CPUtime=0 cores=0-7 /proc/16871/task/16889/stat : 16889 (java) S 16869 16869 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677258660064 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16890] ppid=16869 vsize=28300332 memory=1720 CPUtime=0.62 cores=0-7 /proc/16871/task/16890/stat : 16890 (java) S 16869 16869 14480 0 -1 1077944384 2539 0 0 0 36 26 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677257607600 140678668831362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=17002] ppid=16869 vsize=28300332 memory=5948 CPUtime=0 cores=0-7 /proc/16871/task/17002/stat : 17002 (java) S 16869 16869 14480 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 21 0 420620097 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677248400704 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 Current children cumulated CPU time: 9191.11 s Current children cumulated vsize: 28413460 KiB Current children cumulated memory: 25163948 KiB [startup+1559.2 s] /proc/loadavg: 8.07 7.69 6.86 2/212 17004 /proc/meminfo: memFree=651280/32770624 swapFree=67002168/67108860 [pid=16869] ppid=16866 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16869/stat : 16869 (xcsp3-exec) S 16866 16869 14480 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420465653 115843072 363 33554432000 4194304 5098028 140726390766464 140726390764568 140326032609916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9670656 140726390768502 140726390768745 140726390768745 140726390771658 0 /proc/16869/statm: 28282 363 305 221 0 87 0 [pid=16871] ppid=16869 vsize=28300332 memory=25162496 CPUtime=9191.91 cores=0-7 /proc/16871/stat : 16871 (java) S 16869 16869 14480 0 -1 1077944320 13941570 0 0 0 913346 5845 0 0 20 0 21 0 420465653 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140723839628976 140678668820215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 /proc/16871/statm: 7075083 6290624 3508 1 0 7036185 0 [pid=16871/tid=16872] ppid=16869 vsize=28300332 memory=1056 CPUtime=331.55 cores=0-7 /proc/16871/task/16872/stat : 16872 (java) S 16869 16869 14480 0 -1 1077944384 111265 0 0 0 33060 95 0 0 20 0 21 0 420465653 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678673060896 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16873] ppid=16869 vsize=28300332 memory=1568 CPUtime=1090.09 cores=0-7 /proc/16871/task/16873/stat : 16873 (java) S 16869 16869 14480 0 -1 1077944384 1421096 0 0 0 108256 753 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678220523792 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16874] ppid=16869 vsize=28300332 memory=3616 CPUtime=1089.63 cores=0-7 /proc/16871/task/16874/stat : 16874 (java) S 16869 16869 14480 0 -1 1077944384 1615666 0 0 0 108263 700 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678219471248 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16875] ppid=16869 vsize=28300332 memory=39908 CPUtime=1092.17 cores=0-7 /proc/16871/task/16875/stat : 16875 (java) S 16869 16869 14480 0 -1 1077944384 1984623 0 0 0 108510 707 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678218418704 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16876] ppid=16869 vsize=28300332 memory=988 CPUtime=1092.12 cores=0-7 /proc/16871/task/16876/stat : 16876 (java) S 16869 16869 14480 0 -1 1077944384 1694024 0 0 0 108553 659 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678217366160 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16877] ppid=16869 vsize=28300332 memory=2024 CPUtime=1088.94 cores=0-7 /proc/16871/task/16877/stat : 16877 (java) S 16869 16869 14480 0 -1 1077944384 1512107 0 0 0 108196 698 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678216313616 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16878] ppid=16869 vsize=28300332 memory=6791534058613427641 CPUtime=1092.33 cores=0-7 /proc/16871/task/16878/stat : 16878 (java) S 16869 16869 14480 0 -1 1077944384 1176812 0 0 0 108530 703 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678215261072 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16879] ppid=16869 vsize=28300332 memory=776 CPUtime=1091.94 cores=0-7 /proc/16871/task/16879/stat : 16879 (java) S 16869 16869 14480 0 -1 1077944384 1506670 0 0 0 108443 751 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678214208528 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16880] ppid=16869 vsize=28300332 memory=4008 CPUtime=1093.9 cores=0-7 /proc/16871/task/16880/stat : 16880 (java) S 16869 16869 14480 0 -1 1077944384 1695680 0 0 0 108715 675 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678213155984 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16881] ppid=16869 vsize=28300332 memory=1292 CPUtime=125.05 cores=0-7 /proc/16871/task/16881/stat : 16881 (java) R 16869 16869 14480 0 -1 4202560 1189653 0 0 0 12424 81 0 0 20 0 21 0 420465656 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677267079632 140678653816622 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16882] ppid=16869 vsize=28300332 memory=10592 CPUtime=0 cores=0-7 /proc/16871/task/16882/stat : 16882 (java) S 16869 16869 14480 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 21 0 420465656 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677266027488 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16883] ppid=16869 vsize=28300332 memory=1720 CPUtime=0 cores=0-7 /proc/16871/task/16883/stat : 16883 (java) S 16869 16869 14480 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 420465656 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677264974848 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16884] ppid=16869 vsize=28300332 memory=14008 CPUtime=0 cores=0-7 /proc/16871/task/16884/stat : 16884 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677263923408 140678668838811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16885] ppid=16869 vsize=28300332 memory=12040 CPUtime=1.03 cores=0-7 /proc/16871/task/16885/stat : 16885 (java) S 16869 16869 14480 0 -1 1077944384 8576 0 0 0 101 2 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677262871072 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16886] ppid=16869 vsize=28300332 memory=2120 CPUtime=0.95 cores=0-7 /proc/16871/task/16886/stat : 16886 (java) S 16869 16869 14480 0 -1 1077944384 5148 0 0 0 94 1 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677261818240 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16887] ppid=16869 vsize=28300332 memory=21776 CPUtime=0.89 cores=0-7 /proc/16871/task/16887/stat : 16887 (java) S 16869 16869 14480 0 -1 1077944384 4873 0 0 0 88 1 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677260765984 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16888] ppid=16869 vsize=28300332 memory=1556 CPUtime=0.58 cores=0-7 /proc/16871/task/16888/stat : 16888 (java) S 16869 16869 14480 0 -1 1077944384 11453 0 0 0 56 2 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677259713440 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16889] ppid=16869 vsize=28300332 memory=500 CPUtime=0 cores=0-7 /proc/16871/task/16889/stat : 16889 (java) S 16869 16869 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677258660064 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16890] ppid=16869 vsize=28300332 memory=1428 CPUtime=0.62 cores=0-7 /proc/16871/task/16890/stat : 16890 (java) S 16869 16869 14480 0 -1 1077944384 2539 0 0 0 36 26 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677257607600 140678668831362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=17002] ppid=16869 vsize=28300332 memory=776 CPUtime=0 cores=0-7 /proc/16871/task/17002/stat : 17002 (java) S 16869 16869 14480 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 21 0 420620097 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677248400704 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 Current children cumulated CPU time: 9191.91 s Current children cumulated vsize: 28413460 KiB Current children cumulated memory: 25163948 KiB [startup+1559.6 s] /proc/loadavg: 8.07 7.69 6.86 2/212 17004 /proc/meminfo: memFree=651280/32770624 swapFree=67002168/67108860 [pid=16869] ppid=16866 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16869/stat : 16869 (xcsp3-exec) S 16866 16869 14480 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420465653 115843072 363 33554432000 4194304 5098028 140726390766464 140726390764568 140326032609916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9670656 140726390768502 140726390768745 140726390768745 140726390771658 0 /proc/16869/statm: 28282 363 305 221 0 87 0 [pid=16871] ppid=16869 vsize=28300332 memory=25162496 CPUtime=9192.31 cores=0-7 /proc/16871/stat : 16871 (java) S 16869 16869 14480 0 -1 1077944320 13941571 0 0 0 913386 5845 0 0 20 0 21 0 420465653 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140723839628976 140678668820215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 /proc/16871/statm: 7075083 6290624 3508 1 0 7036185 0 [pid=16871/tid=16872] ppid=16869 vsize=28300332 memory=988 CPUtime=331.55 cores=0-7 /proc/16871/task/16872/stat : 16872 (java) S 16869 16869 14480 0 -1 1077944384 111265 0 0 0 33060 95 0 0 20 0 21 0 420465653 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678673060896 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16873] ppid=16869 vsize=28300332 memory=6791534058613427641 CPUtime=1090.09 cores=0-7 /proc/16871/task/16873/stat : 16873 (java) S 16869 16869 14480 0 -1 1077944384 1421096 0 0 0 108256 753 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678220523792 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16874] ppid=16869 vsize=28300332 memory=1428 CPUtime=1089.63 cores=0-7 /proc/16871/task/16874/stat : 16874 (java) S 16869 16869 14480 0 -1 1077944384 1615666 0 0 0 108263 700 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678219471248 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16875] ppid=16869 vsize=28300332 memory=776 CPUtime=1092.17 cores=0-7 /proc/16871/task/16875/stat : 16875 (java) S 16869 16869 14480 0 -1 1077944384 1984623 0 0 0 108510 707 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678218418704 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16876] ppid=16869 vsize=28300332 memory=4008 CPUtime=1092.12 cores=0-7 /proc/16871/task/16876/stat : 16876 (java) S 16869 16869 14480 0 -1 1077944384 1694024 0 0 0 108553 659 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678217366160 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16877] ppid=16869 vsize=28300332 memory=1292 CPUtime=1088.94 cores=0-7 /proc/16871/task/16877/stat : 16877 (java) S 16869 16869 14480 0 -1 1077944384 1512107 0 0 0 108196 698 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678216313616 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16878] ppid=16869 vsize=28300332 memory=10592 CPUtime=1092.33 cores=0-7 /proc/16871/task/16878/stat : 16878 (java) S 16869 16869 14480 0 -1 1077944384 1176812 0 0 0 108530 703 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678215261072 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16879] ppid=16869 vsize=28300332 memory=1720 CPUtime=1091.94 cores=0-7 /proc/16871/task/16879/stat : 16879 (java) S 16869 16869 14480 0 -1 1077944384 1506670 0 0 0 108443 751 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678214208528 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16880] ppid=16869 vsize=28300332 memory=5948 CPUtime=1093.9 cores=0-7 /proc/16871/task/16880/stat : 16880 (java) S 16869 16869 14480 0 -1 1077944384 1695680 0 0 0 108715 675 0 0 20 0 21 0 420465654 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140678213155984 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16881] ppid=16869 vsize=28300332 memory=636 CPUtime=125.45 cores=0-7 /proc/16871/task/16881/stat : 16881 (java) R 16869 16869 14480 0 -1 4202560 1189654 0 0 0 12464 81 0 0 20 0 21 0 420465656 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677267079632 140678653816604 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16882] ppid=16869 vsize=28300332 memory=2832 CPUtime=0 cores=0-7 /proc/16871/task/16882/stat : 16882 (java) S 16869 16869 14480 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 21 0 420465656 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677266027488 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16883] ppid=16869 vsize=28300332 memory=1056 CPUtime=0 cores=0-7 /proc/16871/task/16883/stat : 16883 (java) S 16869 16869 14480 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 420465656 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677264974848 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16884] ppid=16869 vsize=28300332 memory=1568 CPUtime=0 cores=0-7 /proc/16871/task/16884/stat : 16884 (java) S 16869 16869 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677263923408 140678668838811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16885] ppid=16869 vsize=28300332 memory=1040 CPUtime=1.03 cores=0-7 /proc/16871/task/16885/stat : 16885 (java) S 16869 16869 14480 0 -1 1077944384 8576 0 0 0 101 2 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677262871072 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16886] ppid=16869 vsize=28300332 memory=14008 CPUtime=0.95 cores=0-7 /proc/16871/task/16886/stat : 16886 (java) S 16869 16869 14480 0 -1 1077944384 5148 0 0 0 94 1 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677261818240 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16887] ppid=16869 vsize=28300332 memory=12040 CPUtime=0.89 cores=0-7 /proc/16871/task/16887/stat : 16887 (java) S 16869 16869 14480 0 -1 1077944384 4873 0 0 0 88 1 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677260765984 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16888] ppid=16869 vsize=28300332 memory=2120 CPUtime=0.58 cores=0-7 /proc/16871/task/16888/stat : 16888 (java) S 16869 16869 14480 0 -1 1077944384 11453 0 0 0 56 2 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677259713440 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16889] ppid=16869 vsize=28300332 memory=21776 CPUtime=0 cores=0-7 /proc/16871/task/16889/stat : 16889 (java) S 16869 16869 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677258660064 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=16890] ppid=16869 vsize=28300332 memory=1556 CPUtime=0.62 cores=0-7 /proc/16871/task/16890/stat : 16890 (java) S 16869 16869 14480 0 -1 1077944384 2539 0 0 0 36 26 0 0 20 0 21 0 420465659 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677257607600 140678668831362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 [pid=16871/tid=17002] ppid=16869 vsize=28300332 memory=500 CPUtime=0 cores=0-7 /proc/16871/task/17002/stat : 17002 (java) S 16869 16869 14480 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 21 0 420620097 28979539968 6290624 33554432000 4194304 4196468 140723839646432 140677248400704 140678668830421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34004992 140723839652842 140723839653014 140723839653014 140723839655887 0 Current children cumulated CPU time: 9192.31 s Current children cumulated vsize: 28413460 KiB Current children cumulated memory: 25163948 KiB [startup+1560 s]* /proc/loadavg: 7.51 7.58 6.83 2/193 17004 /proc/meminfo: memFree=12272380/32770624 swapFree=67002168/67108860 [pid=16869] ppid=16866 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16869/stat : 16869 (xcsp3-exec) S 16866 16869 14480 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420465653 115843072 363 33554432000 4194304 5098028 140726390766464 140726390764568 140326032609916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9670656 140726390768502 140726390768745 140726390768745 140726390771658 0 /proc/16869/statm: 28282 363 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB [startup+1560.11 s] /proc/loadavg: 7.51 7.58 6.83 2/193 17004 /proc/meminfo: memFree=12272380/32770624 swapFree=67002168/67108860 [pid=16869] ppid=16866 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16869/stat : 16869 (xcsp3-exec) S 16866 16869 14480 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420465653 115843072 363 33554432000 4194304 5098028 140726390766464 140726390764568 140326032609916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9670656 140726390768502 140726390768745 140726390768745 140726390771658 0 /proc/16869/statm: 28282 363 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 1 Real time (s): 1560.13 CPU time (s): 9192.85 CPU user time (s): 9134.21 CPU system time (s): 58.6466 CPU usage (%): 589.237 Max. virtual memory (cumulated for all children) (KiB): 28413460 Max. memory (cumulated for all children) (KiB): 25163948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9134.21 system time used= 58.6466 maximum resident set size= 25162764 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13949942 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 110457 involuntary context switches= 137922 # summary of solver processes directly reported to runsolver: # pid: 16869 # total CPU time (s): 9192.85 # total CPU user time (s): 9134.21 # total CPU system time (s): 58.6466 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.758 second user time and 16.2887 second system time The end
Begin job on node136 at 2019-09-14 08:22:06 IDJOB=4393518 IDBENCH=138482 IDSOLVER=2841 FILE ID=node136/4393518-1568442170 RUNJOBID= node136-1568439334-14507 PBS_JOBID= 21702333 Free space on /tmp= 61168 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-18.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-4393518-1568442170/watcher-4393518-1568442170 -o /tmp/evaluation-result-4393518-1568442170/solver-4393518-1568442170 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 901260254 HOME/instance-4393518-1568442170.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3f0141c7bb33af25d9039070b39091b8 RANDOM SEED=901260254 node136.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.00 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.54 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.00 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.54 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.00 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.54 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.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25826944 kB MemAvailable: 31889960 kB Buffers: 86648 kB Cached: 6252648 kB SwapCached: 3100 kB Active: 2040228 kB Inactive: 4306368 kB Active(anon): 5832 kB Inactive(anon): 42124 kB Active(file): 2034396 kB Inactive(file): 4264244 kB Unevictable: 107800 kB Mlocked: 107800 kB SwapTotal: 67108860 kB SwapFree: 67002168 kB Dirty: 26624 kB Writeback: 0 kB AnonPages: 252160 kB Mapped: 44124 kB Shmem: 31940 kB Slab: 189848 kB SReclaimable: 160424 kB SUnreclaim: 29424 kB KernelStack: 3728 kB PageTables: 5956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498224 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61140 MiB End job on node136 at 2019-09-14 08:48:06