Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | ? | 11507.4 | 1872.23 |
Name | SuperSolutions/SuperSolutions-Taillard-os07/ SuperTaillard-os-07-26.xml |
MD5SUM | 94b2333e20121f91e59972a20e586711 |
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 | 9.8511105 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 98 |
Number of constraints | 931 |
Number of domains | 38 |
Minimum domain size | 332 |
Maximum domain size | 428 |
Distribution of domain sizes | [{"size":332,"count":2},{"size":334,"count":6},{"size":335,"count":2},{"size":336,"count":2},{"size":338,"count":2},{"size":340,"count":2},{"size":341,"count":2},{"size":342,"count":4},{"size":349,"count":2},{"size":351,"count":2},{"size":352,"count":2},{"size":353,"count":6},{"size":354,"count":4},{"size":360,"count":2},{"size":363,"count":2},{"size":365,"count":2},{"size":366,"count":2},{"size":368,"count":4},{"size":369,"count":4},{"size":370,"count":4},{"size":372,"count":2},{"size":374,"count":2},{"size":380,"count":2},{"size":383,"count":4},{"size":388,"count":2},{"size":389,"count":2},{"size":390,"count":2},{"size":393,"count":2},{"size":397,"count":2},{"size":402,"count":2},{"size":404,"count":4},{"size":405,"count":2},{"size":409,"count":2},{"size":421,"count":2},{"size":423,"count":2},{"size":424,"count":2},{"size":427,"count":2},{"size":428,"count":2}] |
Minimum variable degree | 13 |
Maximum variable degree | 25 |
Distribution of variable degrees | [{"degree":13,"count":49},{"degree":25,"count":49}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":931}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 931 |
Distribution of constraint types | [{"type":"intension","count":931}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281139-1503171306.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4281139-1503171306.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 11412.84/1857.56 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded 11412.84/1857.57 at java.util.stream.ReduceOps.makeInt(ReduceOps.java:271) 11412.84/1857.57 at java.util.stream.IntPipeline.reduce(IntPipeline.java:456) 11412.84/1857.57 at org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression.ieval(NaArExpression.java:124) 11412.84/1857.57 at org.chocosolver.solver.expression.discrete.relational.BiReExpression.beval(BiReExpression.java:214) 11412.84/1857.57 at org.chocosolver.solver.expression.discrete.logical.NaLoExpression.beval(NaLoExpression.java:119) 11412.84/1857.57 at org.chocosolver.solver.expression.discrete.relational.ReExpression.lambda$extension$7(ReExpression.java:148) 11412.84/1857.57 at org.chocosolver.solver.expression.discrete.relational.ReExpression$$Lambda$76/817406040.valid(Unknown Source) 11412.84/1857.57 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 11412.84/1857.57 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:148) 11412.84/1857.57 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 11412.84/1857.57 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:394) 11412.84/1857.57 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:127) 11412.84/1857.57 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457) 11412.84/1857.57 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440) 11412.84/1857.57 at org.xcsp.parser.XCallbacks$$Lambda$46/117244645.accept(Unknown Source) 11412.84/1857.57 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 11412.84/1857.57 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 11412.84/1857.57 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437) 11412.84/1857.57 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406) 11412.84/1857.57 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368) 11412.84/1857.57 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353) 11412.84/1857.57 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260) 11412.84/1857.57 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 11412.84/1857.57 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112) 11412.84/1857.57 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 11412.84/1857.57 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23) 11507.03/1871.91 s UNKNOWN 11507.03/1871.91 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 (10798 MiB free) memory of node 1: 16384 MiB (10081 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281139-1503171306/watcher-4281139-1503171306 -o /tmp/evaluation-result-4281139-1503171306/solver-4281139-1503171306 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503165268-26491 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 469945759 HOME/instance-4281139-1503171306.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=26944, runsolver pid=26941 Current StackSize limit: 8192 KiB [startup+0.101894 s]* /proc/loadavg: 4.43 6.25 7.52 2/199 26965 /proc/meminfo: memFree=21365404/32770624 swapFree=67108860/67108860 [pid=26944] ppid=26941 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 26464 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150211306 9740288 346 33554432000 4194304 5098028 140733199527056 140733199525160 140217589985916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34557952 140733199533157 140733199533367 140733199533367 140733199536107 0 /proc/26944/statm: 2378 346 289 221 0 87 0 [pid=26946] ppid=26944 vsize=25999808 memory=27096 CPUtime=0.11 cores=0-7 /proc/26946/stat : 26946 (java) S 26944 26944 26464 0 -1 1077944320 5650 0 0 0 10 1 0 0 20 0 20 0 150211307 26623803392 6774 33554432000 4194304 4196468 140736574224528 140736574207072 140589722218231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 /proc/26946/statm: 6499952 6774 2873 1 0 6488269 0 [pid=26946/tid=26947] ppid=26944 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/26946/task/26947/stat : 26947 (java) R 26944 26944 26464 0 -1 4202560 3654 0 0 0 8 1 0 0 20 0 20 0 150211307 26623803392 6774 33554432000 4194304 4196468 140736574224528 140589726442032 140589722230166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26948] ppid=26944 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26948/stat : 26948 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211308 26623803392 6774 33554432000 4194304 4196468 140736574224528 140589674838928 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26949] ppid=26944 vsize=25999808 memory=140539471124096 CPUtime=0 cores=0-7 /proc/26946/task/26949/stat : 26949 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211308 26623803392 6774 33554432000 4194304 4196468 140736574224528 140589673786128 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26950] ppid=26944 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26950/stat : 26950 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150211308 26623803392 6774 33554432000 4194304 4196468 140736574224528 140589672733840 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26951] ppid=26944 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26951/stat : 26951 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150211308 26623803392 6774 33554432000 4194304 4196468 140736574224528 140589671681040 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26952] ppid=26944 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26952/stat : 26952 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211308 26623803392 6839 33554432000 4194304 4196468 140736574224528 140589670627728 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26953] ppid=26944 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/26946/task/26953/stat : 26953 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211308 26623803392 6839 33554432000 4194304 4196468 140736574224528 140589669574928 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26954] ppid=26944 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26954/stat : 26954 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211308 26623803392 6839 33554432000 4194304 4196468 140736574224528 140589668522640 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26955] ppid=26944 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26955/stat : 26955 (java) S 26944 26944 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150211308 26623803392 6839 33554432000 4194304 4196468 140736574224528 140589667469840 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26956] ppid=26944 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26956/stat : 26956 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211309 26623803392 6839 33554432000 4194304 4196468 140736574224528 140588464380528 140589722229378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26957] ppid=26944 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26957/stat : 26957 (java) S 26944 26944 26464 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150211310 26623803392 6839 33554432000 4194304 4196468 140736574224528 140588463326496 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26958] ppid=26944 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26958/stat : 26958 (java) S 26944 26944 26464 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150211310 26623803392 6839 33554432000 4194304 4196468 140736574224528 140588462274160 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26959] ppid=26944 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26959/stat : 26959 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150211312 26623803392 6839 33554432000 4194304 4196468 140736574224528 140588461222480 140589722236827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26960] ppid=26944 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26960/stat : 26960 (java) S 26944 26944 26464 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 150211312 26623803392 6839 33554432000 4194304 4196468 140736574224528 140588460169328 140589722229378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26961] ppid=26944 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26961/stat : 26961 (java) S 26944 26944 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150211312 26623803392 6839 33554432000 4194304 4196468 140736574224528 140588459116528 140589722229378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26962] ppid=26944 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26962/stat : 26962 (java) S 26944 26944 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150211312 26623803392 6839 33554432000 4194304 4196468 140736574224528 140588458064240 140589722229378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26963] ppid=26944 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/26946/task/26963/stat : 26963 (java) R 26944 26944 26464 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 150211312 26623803392 6839 33554432000 4194304 4196468 140736574224528 140588457011440 140589703455792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26964] ppid=26944 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26964/stat : 26964 (java) S 26944 26944 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150211313 26623803392 6839 33554432000 4194304 4196468 140736574224528 140588455959392 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26965] ppid=26944 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/26946/task/26965/stat : 26965 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150211313 26623803392 6839 33554432000 4194304 4196468 140736574224528 140588454906672 140589722229378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28480 KiB [startup+0.210428 s]* /proc/loadavg: 4.43 6.25 7.52 3/199 26965 /proc/meminfo: memFree=21354676/32770624 swapFree=67108860/67108860 [pid=26944] ppid=26941 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 26464 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150211306 9740288 346 33554432000 4194304 5098028 140733199527056 140733199525160 140217589985916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34557952 140733199533157 140733199533367 140733199533367 140733199536107 0 /proc/26944/statm: 2378 346 289 221 0 87 0 [pid=26946] ppid=26944 vsize=26004064 memory=38440 CPUtime=0.33 cores=0-7 /proc/26946/stat : 26946 (java) S 26944 26944 26464 0 -1 1077944320 8223 0 0 0 30 3 0 0 20 0 20 0 150211307 26628161536 9610 33554432000 4194304 4196468 140736574224528 140736574207072 140589722218231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 /proc/26946/statm: 6501016 9610 3030 1 0 6488269 0 [pid=26946/tid=26947] ppid=26944 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/26946/task/26947/stat : 26947 (java) R 26944 26944 26464 0 -1 4202560 5425 0 0 0 18 1 0 0 20 0 20 0 150211307 26628161536 9610 33554432000 4194304 4196468 140736574224528 140589726441136 140589714896245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26948] ppid=26944 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/26946/task/26948/stat : 26948 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 9610 33554432000 4194304 4196468 140736574224528 140589674838928 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26949] ppid=26944 vsize=26004064 memory=140539472127819 CPUtime=0 cores=0-7 /proc/26946/task/26949/stat : 26949 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 9610 33554432000 4194304 4196468 140736574224528 140589673786128 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26950] ppid=26944 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/26946/task/26950/stat : 26950 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 9610 33554432000 4194304 4196468 140736574224528 140589672733840 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26951] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26951/stat : 26951 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 9610 33554432000 4194304 4196468 140736574224528 140589671681040 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26952] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26952/stat : 26952 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 9610 33554432000 4194304 4196468 140736574224528 140589670627728 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26953] ppid=26944 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/26946/task/26953/stat : 26953 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 9610 33554432000 4194304 4196468 140736574224528 140589669574928 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26954] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26954/stat : 26954 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 9610 33554432000 4194304 4196468 140736574224528 140589668522640 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26955] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26955/stat : 26955 (java) S 26944 26944 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 9610 33554432000 4194304 4196468 140736574224528 140589667469840 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26956] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26956/stat : 26956 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211309 26628161536 9610 33554432000 4194304 4196468 140736574224528 140588464380528 140589722229378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26957] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26957/stat : 26957 (java) S 26944 26944 26464 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150211310 26628161536 9610 33554432000 4194304 4196468 140736574224528 140588463326496 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26958] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26958/stat : 26958 (java) S 26944 26944 26464 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150211310 26628161536 9610 33554432000 4194304 4196468 140736574224528 140588462274160 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26959] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26959/stat : 26959 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150211312 26628161536 9610 33554432000 4194304 4196468 140736574224528 140588461222480 140589722236827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26960] ppid=26944 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/26946/task/26960/stat : 26960 (java) S 26944 26944 26464 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 20 0 150211312 26628161536 9610 33554432000 4194304 4196468 140736574224528 140588460169328 140589722229378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26961] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26961/stat : 26961 (java) R 26944 26944 26464 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 150211312 26628161536 9610 33554432000 4194304 4196468 140736574224528 140588459116528 140589722229378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26962] ppid=26944 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/26946/task/26962/stat : 26962 (java) R 26944 26944 26464 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 20 0 150211312 26628161536 9610 33554432000 4194304 4196468 140736574224528 140588458064240 140589722229378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26963] ppid=26944 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/26946/task/26963/stat : 26963 (java) R 26944 26944 26464 0 -1 4202560 691 0 0 0 7 0 0 0 20 0 20 0 150211312 26628161536 9610 33554432000 4194304 4196468 140736574224528 140588457011440 140589701150034 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26964] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26964/stat : 26964 (java) S 26944 26944 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150211313 26628161536 9610 33554432000 4194304 4196468 140736574224528 140588455959392 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26965] ppid=26944 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/26946/task/26965/stat : 26965 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150211313 26628161536 9610 33554432000 4194304 4196468 140736574224528 140588454906672 140589722229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39824 KiB [startup+0.310265 s]* /proc/loadavg: 4.43 6.25 7.52 3/199 26965 /proc/meminfo: memFree=21350272/32770624 swapFree=67108860/67108860 [pid=26944] ppid=26941 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 26464 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150211306 9740288 346 33554432000 4194304 5098028 140733199527056 140733199525160 140217589985916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34557952 140733199533157 140733199533367 140733199533367 140733199536107 0 /proc/26944/statm: 2378 346 289 221 0 87 0 [pid=26946] ppid=26944 vsize=26004064 memory=43604 CPUtime=0.5 cores=0-7 /proc/26946/stat : 26946 (java) S 26944 26944 26464 0 -1 1077944320 9117 0 0 0 47 3 0 0 20 0 20 0 150211307 26628161536 10901 33554432000 4194304 4196468 140736574224528 140736574207072 140589722218231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 /proc/26946/statm: 6501016 10901 3068 1 0 6488269 0 [pid=26946/tid=26947] ppid=26944 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/26946/task/26947/stat : 26947 (java) R 26944 26944 26464 0 -1 4202560 6098 0 0 0 27 2 0 0 20 0 20 0 150211307 26628161536 10901 33554432000 4194304 4196468 140736574224528 140589726455744 140589722230166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26948] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26948/stat : 26948 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 10901 33554432000 4194304 4196468 140736574224528 140589674838928 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26949] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26949/stat : 26949 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 10901 33554432000 4194304 4196468 140736574224528 140589673786128 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26950] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26950/stat : 26950 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 10901 33554432000 4194304 4196468 140736574224528 140589672733840 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26951] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26951/stat : 26951 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 10901 33554432000 4194304 4196468 140736574224528 140589671681040 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26952] ppid=26944 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/26946/task/26952/stat : 26952 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 10901 33554432000 4194304 4196468 140736574224528 140589670627728 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26953] ppid=26944 vsize=26004064 memory=140539315975087 CPUtime=0 cores=0-7 /proc/26946/task/26953/stat : 26953 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 10901 33554432000 4194304 4196468 140736574224528 140589669574928 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26954] ppid=26944 vsize=26004064 memory=140539315977392 CPUtime=0 cores=0-7 /proc/26946/task/26954/stat : 26954 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 10901 33554432000 4194304 4196468 140736574224528 140589668522640 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26955] ppid=26944 vsize=26004064 memory=140539315979696 CPUtime=0 cores=0-7 /proc/26946/task/26955/stat : 26955 (java) S 26944 26944 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150211308 26628161536 10901 33554432000 4194304 4196468 140736574224528 140589667469840 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26956] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26956/stat : 26956 (java) S 26944 26944 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150211309 26628161536 10901 33554432000 4194304 4196468 140736574224528 140588464380528 140589722229378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26957] ppid=26944 vsize=26004064 memory=281078631966352 CPUtime=0 cores=0-7 /proc/26946/task/26957/stat : 26957 (java) S 26944 26944 26464 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150211310 26628161536 10901 33554432000 4194304 4196468 140736574224528 140588463326496 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26958] ppid=26944 vsize=26004064 memory=281078631973264 CPUtime=0 cores=0-7 /proc/26946/task/26958/stat : 26958 (java) S 26944 26944 26464 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150211310 26628161536 10901 33554432000 4194304 4196468 140736574224528 140588462274160 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26959] ppid=26944 vsize=26004064 memory=281078631914544 CPUtime=0 cores=0-7 /proc/26946/task/26959/stat : 26959 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150211312 26628161536 10901 33554432000 4194304 4196468 140736574224528 140588461222480 140589722236827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26960] ppid=26944 vsize=26004064 memory=281078631987088 CPUtime=0.03 cores=0-7 /proc/26946/task/26960/stat : 26960 (java) S 26944 26944 26464 0 -1 1077944384 619 0 0 0 3 0 0 0 20 0 20 0 150211312 26628161536 10901 33554432000 4194304 4196468 140736574224528 140588460169328 140589722229378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26961] ppid=26944 vsize=26004064 memory=281078631994000 CPUtime=0.01 cores=0-7 /proc/26946/task/26961/stat : 26961 (java) S 26944 26944 26464 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 20 0 150211312 26628161536 10901 33554432000 4194304 4196468 140736574224528 140588459116528 140589722229378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26962] ppid=26944 vsize=26004064 memory=281078631991696 CPUtime=0.01 cores=0-7 /proc/26946/task/26962/stat : 26962 (java) S 26944 26944 26464 0 -1 1077944384 204 0 0 0 1 0 0 0 20 0 20 0 150211312 26628161536 10901 33554432000 4194304 4196468 140736574224528 140588458064240 140589722229378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26963] ppid=26944 vsize=26004064 memory=281078632007856 CPUtime=0.12 cores=0-7 /proc/26946/task/26963/stat : 26963 (java) R 26944 26944 26464 0 -1 4202560 821 0 0 0 12 0 0 0 20 0 20 0 150211312 26628161536 10901 33554432000 4194304 4196468 140736574224528 140588457007808 140589701137128 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26964] ppid=26944 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26964/stat : 26964 (java) S 26944 26944 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150211313 26628161536 10901 33554432000 4194304 4196468 140736574224528 140588455959392 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26965] ppid=26944 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/26946/task/26965/stat : 26965 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150211313 26628161536 10901 33554432000 4194304 4196468 140736574224528 140588454906672 140589722229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 44988 KiB [startup+0.700977 s] /proc/loadavg: 4.43 6.25 7.52 5/199 26965 /proc/meminfo: memFree=21327012/32770624 swapFree=67108860/67108860 [pid=26944] ppid=26941 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 26464 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150211306 9740288 346 33554432000 4194304 5098028 140733199527056 140733199525160 140217589985916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34557952 140733199533157 140733199533367 140733199533367 140733199536107 0 /proc/26944/statm: 2378 346 289 221 0 87 0 [pid=26946] ppid=26944 vsize=26006188 memory=186960 CPUtime=1.66 cores=0-7 /proc/26946/stat : 26946 (java) S 26944 26944 26464 0 -1 1077944320 12861 0 0 0 160 6 0 0 20 0 20 0 150211307 26630336512 46740 33554432000 4194304 4196468 140736574224528 140736574207072 140589722218231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 /proc/26946/statm: 6501547 46740 3208 1 0 6488781 0 [pid=26946/tid=26947] ppid=26944 vsize=26006188 memory=281078632365744 CPUtime=0.66 cores=0-7 /proc/26946/task/26947/stat : 26947 (java) S 26944 26944 26464 0 -1 1077944384 6745 0 0 0 62 4 0 0 20 0 20 0 150211307 26630336512 46740 33554432000 4194304 4196468 140736574224528 140589726456560 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26948] ppid=26944 vsize=26006188 memory=140539316183920 CPUtime=0 cores=0-7 /proc/26946/task/26948/stat : 26948 (java) S 26944 26944 26464 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 150211308 26630336512 46740 33554432000 4194304 4196468 140736574224528 140589674838928 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26949] ppid=26944 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/26946/task/26949/stat : 26949 (java) S 26944 26944 26464 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 150211308 26630336512 46740 33554432000 4194304 4196468 140736574224528 140589673786128 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26950] ppid=26944 vsize=26006188 memory=8740 CPUtime=0 cores=0-7 /proc/26946/task/26950/stat : 26950 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150211308 26630336512 46740 33554432000 4194304 4196468 140736574224528 140589672733840 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 ################ # More data... # ################ [pid=26946/tid=26952] ppid=26944 vsize=26072752 memory=6791534058613427641 CPUtime=1377.98 cores=0-7 /proc/26946/task/26952/stat : 26952 (java) R 26944 26944 26464 0 -1 4202560 6575846 0 0 0 136729 1069 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589670627536 140589714846439 0 4 0 16800975 0 0 0 -1 3 0 0 24 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26953] ppid=26944 vsize=26072752 memory=23377180 CPUtime=1377.88 cores=0-7 /proc/26946/task/26953/stat : 26953 (java) R 26944 26944 26464 0 -1 4202560 6808064 0 0 0 136689 1099 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589669574736 140589714846439 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26954] ppid=26944 vsize=26072752 memory=1792 CPUtime=1380.68 cores=0-7 /proc/26946/task/26954/stat : 26954 (java) R 26944 26944 26464 0 -1 4202560 6669457 0 0 0 137063 1005 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589668522760 140589714846439 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26955] ppid=26944 vsize=26072752 memory=648 CPUtime=1375.94 cores=0-7 /proc/26946/task/26955/stat : 26955 (java) R 26944 26944 26464 0 -1 4202560 7881958 0 0 0 136518 1076 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589667469648 140589714846439 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26956] ppid=26944 vsize=26072752 memory=-3622645143214314312 CPUtime=124.8 cores=0-7 /proc/26946/task/26956/stat : 26956 (java) S 26944 26944 26464 0 -1 1077944384 1620155 0 0 0 12360 120 0 0 20 0 21 0 150211309 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588464379072 140589722228437 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26957] ppid=26944 vsize=26072752 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/26946/task/26957/stat : 26957 (java) S 26944 26944 26464 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 21 0 150211310 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588463326560 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26958] ppid=26944 vsize=26072752 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/26946/task/26958/stat : 26958 (java) S 26944 26944 26464 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 21 0 150211310 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588462274176 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26959] ppid=26944 vsize=26072752 memory=4144 CPUtime=0 cores=0-7 /proc/26946/task/26959/stat : 26959 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 150211312 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588461222480 140589722236827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26960] ppid=26944 vsize=26072752 memory=6791534058613427641 CPUtime=1.19 cores=0-7 /proc/26946/task/26960/stat : 26960 (java) S 26944 26944 26464 0 -1 1077944384 11175 0 0 0 118 1 0 0 20 0 21 0 150211312 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588460169088 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26961] ppid=26944 vsize=26072752 memory=796 CPUtime=0.98 cores=0-7 /proc/26946/task/26961/stat : 26961 (java) S 26944 26944 26464 0 -1 1077944384 10286 0 0 0 96 2 0 0 20 0 21 0 150211312 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588459116576 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26962] ppid=26944 vsize=26072752 memory=1436 CPUtime=1.1 cores=0-7 /proc/26946/task/26962/stat : 26962 (java) S 26944 26944 26464 0 -1 1077944384 8847 0 0 0 109 1 0 0 20 0 21 0 150211312 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588458064288 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26963] ppid=26944 vsize=26072752 memory=1012 CPUtime=0.6 cores=0-7 /proc/26946/task/26963/stat : 26963 (java) S 26944 26944 26464 0 -1 1077944384 10942 0 0 0 58 2 0 0 20 0 21 0 150211312 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588457011008 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26964] ppid=26944 vsize=26072752 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/26946/task/26964/stat : 26964 (java) S 26944 26944 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 150211313 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588455959392 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26965] ppid=26944 vsize=26072752 memory=23377440 CPUtime=0.67 cores=0-7 /proc/26946/task/26965/stat : 26965 (java) S 26944 26944 26464 0 -1 1077944384 3362 0 0 0 30 37 0 0 20 0 21 0 150211313 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588454906672 140589722229378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26994] ppid=26944 vsize=26072752 memory=1952 CPUtime=0 cores=0-7 /proc/26946/task/26994/stat : 26994 (java) S 26944 26944 26464 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 21 0 150397064 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588446900160 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 Current children cumulated CPU time: 11500.1 s Current children cumulated vsize: 26082264 KiB Current children cumulated memory: 23378824 KiB [startup+1870.4 s] /proc/loadavg: 7.57 7.89 7.29 2/201 26994 /proc/meminfo: memFree=192064/32770624 swapFree=67108860/67108860 [pid=26944] ppid=26941 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 26464 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150211306 9740288 346 33554432000 4194304 5098028 140733199527056 140733199525160 140217589985916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34557952 140733199533157 140733199533367 140733199533367 140733199536107 0 /proc/26944/statm: 2378 346 289 221 0 87 0 [pid=26946] ppid=26944 vsize=26072752 memory=23377440 CPUtime=11505.5 cores=0-7 /proc/26946/stat : 26946 (java) S 26944 26944 26464 0 -1 1077944320 61897190 0 1 0 1141552 9002 0 0 20 0 21 0 150211307 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140736574207072 140589722218231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 /proc/26946/statm: 6518188 5844360 3278 1 0 6505422 0 [pid=26946/tid=26947] ppid=26944 vsize=26072752 memory=1952 CPUtime=341.36 cores=0-7 /proc/26946/task/26947/stat : 26947 (java) S 26944 26944 26464 0 -1 1077944384 82739 0 0 0 34019 117 0 0 20 0 21 0 150211307 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589726458912 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26948] ppid=26944 vsize=26072752 memory=8740 CPUtime=1378.23 cores=0-7 /proc/26946/task/26948/stat : 26948 (java) S 26944 26944 26464 0 -1 1077944384 9020370 0 0 0 136676 1147 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589674838928 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26949] ppid=26944 vsize=26072752 memory=4048 CPUtime=1382.11 cores=0-7 /proc/26946/task/26949/stat : 26949 (java) S 26944 26944 26464 0 -1 1077944384 7210561 0 0 0 137126 1085 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589673786128 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26950] ppid=26944 vsize=26072752 memory=1792 CPUtime=1379.77 cores=0-7 /proc/26946/task/26950/stat : 26950 (java) S 26944 26944 26464 0 -1 1077944384 8107254 0 0 0 136747 1230 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589672733840 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26951] ppid=26944 vsize=26072752 memory=648 CPUtime=1378.84 cores=0-7 /proc/26946/task/26951/stat : 26951 (java) S 26944 26944 26464 0 -1 1077944384 7870174 0 1 0 136860 1024 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589671681040 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26952] ppid=26944 vsize=26072752 memory=1236 CPUtime=1378.54 cores=0-7 /proc/26946/task/26952/stat : 26952 (java) S 26944 26944 26464 0 -1 1077944384 6575847 0 0 0 136784 1070 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589670627728 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26953] ppid=26944 vsize=26072752 memory=960 CPUtime=1378.43 cores=0-7 /proc/26946/task/26953/stat : 26953 (java) S 26944 26944 26464 0 -1 1077944384 6808064 0 0 0 136744 1099 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589669574928 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26954] ppid=26944 vsize=26072752 memory=1384 CPUtime=1381.24 cores=0-7 /proc/26946/task/26954/stat : 26954 (java) S 26944 26944 26464 0 -1 1077944384 6669458 0 0 0 137118 1006 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589668522640 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26955] ppid=26944 vsize=26072752 memory=23377440 CPUtime=1376.49 cores=0-7 /proc/26946/task/26955/stat : 26955 (java) S 26944 26944 26464 0 -1 1077944384 7881958 0 0 0 136573 1076 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589667469840 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26956] ppid=26944 vsize=26072752 memory=15876 CPUtime=125.82 cores=0-7 /proc/26946/task/26956/stat : 26956 (java) R 26944 26944 26464 0 -1 4202560 1624608 0 0 0 12462 120 0 0 20 0 21 0 150211309 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588464379072 140589706675864 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26957] ppid=26944 vsize=26072752 memory=18476 CPUtime=0 cores=0-7 /proc/26946/task/26957/stat : 26957 (java) S 26944 26944 26464 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 21 0 150211310 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588463326560 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26958] ppid=26944 vsize=26072752 memory=24180 CPUtime=0 cores=0-7 /proc/26946/task/26958/stat : 26958 (java) S 26944 26944 26464 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 21 0 150211310 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588462274176 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26959] ppid=26944 vsize=26072752 memory=1384 CPUtime=0 cores=0-7 /proc/26946/task/26959/stat : 26959 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 150211312 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588461222480 140589722236827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26960] ppid=26944 vsize=26072752 memory=23377440 CPUtime=1.19 cores=0-7 /proc/26946/task/26960/stat : 26960 (java) S 26944 26944 26464 0 -1 1077944384 11175 0 0 0 118 1 0 0 20 0 21 0 150211312 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588460169088 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26961] ppid=26944 vsize=26072752 memory=1572 CPUtime=0.98 cores=0-7 /proc/26946/task/26961/stat : 26961 (java) S 26944 26944 26464 0 -1 1077944384 10286 0 0 0 96 2 0 0 20 0 21 0 150211312 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588459116576 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26962] ppid=26944 vsize=26072752 memory=2244 CPUtime=1.1 cores=0-7 /proc/26946/task/26962/stat : 26962 (java) S 26944 26944 26464 0 -1 1077944384 8847 0 0 0 109 1 0 0 20 0 21 0 150211312 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588458064288 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26963] ppid=26944 vsize=26072752 memory=4124 CPUtime=0.6 cores=0-7 /proc/26946/task/26963/stat : 26963 (java) S 26944 26944 26464 0 -1 1077944384 10942 0 0 0 58 2 0 0 20 0 21 0 150211312 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588457011008 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26964] ppid=26944 vsize=26072752 memory=23377440 CPUtime=0 cores=0-7 /proc/26946/task/26964/stat : 26964 (java) S 26944 26944 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 150211313 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588455959392 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26965] ppid=26944 vsize=26072752 memory=2208 CPUtime=0.67 cores=0-7 /proc/26946/task/26965/stat : 26965 (java) S 26944 26944 26464 0 -1 1077944384 3362 0 0 0 30 37 0 0 20 0 21 0 150211313 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588454906672 140589722229378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26994] ppid=26944 vsize=26072752 memory=8052 CPUtime=0 cores=0-7 /proc/26946/task/26994/stat : 26994 (java) S 26944 26944 26464 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 21 0 150397064 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588446900160 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 Current children cumulated CPU time: 11505.5 s Current children cumulated vsize: 26082264 KiB Current children cumulated memory: 23378824 KiB [startup+1871.2 s] /proc/loadavg: 7.57 7.89 7.29 2/201 26994 /proc/meminfo: memFree=192064/32770624 swapFree=67108860/67108860 [pid=26944] ppid=26941 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 26464 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150211306 9740288 346 33554432000 4194304 5098028 140733199527056 140733199525160 140217589985916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34557952 140733199533157 140733199533367 140733199533367 140733199536107 0 /proc/26944/statm: 2378 346 289 221 0 87 0 [pid=26946] ppid=26944 vsize=26072752 memory=23377440 CPUtime=11506.3 cores=0-7 /proc/26946/stat : 26946 (java) S 26944 26944 26464 0 -1 1077944320 61897581 0 1 0 1141632 9002 0 0 20 0 21 0 150211307 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140736574207072 140589722218231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 /proc/26946/statm: 6518188 5844360 3278 1 0 6505422 0 [pid=26946/tid=26947] ppid=26944 vsize=26072752 memory=1236 CPUtime=341.36 cores=0-7 /proc/26946/task/26947/stat : 26947 (java) S 26944 26944 26464 0 -1 1077944384 82739 0 0 0 34019 117 0 0 20 0 21 0 150211307 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589726458912 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26948] ppid=26944 vsize=26072752 memory=6791534058613427641 CPUtime=1378.23 cores=0-7 /proc/26946/task/26948/stat : 26948 (java) S 26944 26944 26464 0 -1 1077944384 9020370 0 0 0 136676 1147 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589674838928 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26949] ppid=26944 vsize=26072752 memory=23377440 CPUtime=1382.11 cores=0-7 /proc/26946/task/26949/stat : 26949 (java) S 26944 26944 26464 0 -1 1077944384 7210561 0 0 0 137126 1085 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589673786128 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26950] ppid=26944 vsize=26072752 memory=912 CPUtime=1379.77 cores=0-7 /proc/26946/task/26950/stat : 26950 (java) S 26944 26944 26464 0 -1 1077944384 8107254 0 0 0 136747 1230 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589672733840 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26951] ppid=26944 vsize=26072752 memory=4440 CPUtime=1378.84 cores=0-7 /proc/26946/task/26951/stat : 26951 (java) S 26944 26944 26464 0 -1 1077944384 7870174 0 1 0 136860 1024 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589671681040 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26952] ppid=26944 vsize=26072752 memory=4100 CPUtime=1378.54 cores=0-7 /proc/26946/task/26952/stat : 26952 (java) S 26944 26944 26464 0 -1 1077944384 6575847 0 0 0 136784 1070 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589670627728 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26953] ppid=26944 vsize=26072752 memory=1152 CPUtime=1378.43 cores=0-7 /proc/26946/task/26953/stat : 26953 (java) S 26944 26944 26464 0 -1 1077944384 6808064 0 0 0 136744 1099 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589669574928 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26954] ppid=26944 vsize=26072752 memory=3448 CPUtime=1381.24 cores=0-7 /proc/26946/task/26954/stat : 26954 (java) S 26944 26944 26464 0 -1 1077944384 6669458 0 0 0 137118 1006 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589668522640 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26955] ppid=26944 vsize=26072752 memory=1384 CPUtime=1376.49 cores=0-7 /proc/26946/task/26955/stat : 26955 (java) S 26944 26944 26464 0 -1 1077944384 7881958 0 0 0 136573 1076 0 0 20 0 21 0 150211308 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140589667469840 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26956] ppid=26944 vsize=26072752 memory=23377440 CPUtime=126.62 cores=0-7 /proc/26946/task/26956/stat : 26956 (java) R 26944 26944 26464 0 -1 4202560 1624999 0 0 0 12542 120 0 0 20 0 21 0 150211309 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588464378960 140589707214632 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26957] ppid=26944 vsize=26072752 memory=1236 CPUtime=0 cores=0-7 /proc/26946/task/26957/stat : 26957 (java) S 26944 26944 26464 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 21 0 150211310 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588463326560 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26958] ppid=26944 vsize=26072752 memory=23377440 CPUtime=0 cores=0-7 /proc/26946/task/26958/stat : 26958 (java) S 26944 26944 26464 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 21 0 150211310 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588462274176 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26959] ppid=26944 vsize=26072752 memory=1296 CPUtime=0 cores=0-7 /proc/26946/task/26959/stat : 26959 (java) S 26944 26944 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 150211312 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588461222480 140589722236827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26960] ppid=26944 vsize=26072752 memory=2408 CPUtime=1.19 cores=0-7 /proc/26946/task/26960/stat : 26960 (java) S 26944 26944 26464 0 -1 1077944384 11175 0 0 0 118 1 0 0 20 0 21 0 150211312 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588460169088 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26961] ppid=26944 vsize=26072752 memory=1732 CPUtime=0.98 cores=0-7 /proc/26946/task/26961/stat : 26961 (java) S 26944 26944 26464 0 -1 1077944384 10286 0 0 0 96 2 0 0 20 0 21 0 150211312 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588459116576 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26962] ppid=26944 vsize=26072752 memory=1224 CPUtime=1.1 cores=0-7 /proc/26946/task/26962/stat : 26962 (java) S 26944 26944 26464 0 -1 1077944384 8847 0 0 0 109 1 0 0 20 0 21 0 150211312 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588458064288 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26963] ppid=26944 vsize=26072752 memory=12136 CPUtime=0.6 cores=0-7 /proc/26946/task/26963/stat : 26963 (java) S 26944 26944 26464 0 -1 1077944384 10942 0 0 0 58 2 0 0 20 0 21 0 150211312 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588457011008 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26964] ppid=26944 vsize=26072752 memory=5792 CPUtime=0 cores=0-7 /proc/26946/task/26964/stat : 26964 (java) S 26944 26944 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 150211313 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588455959392 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26965] ppid=26944 vsize=26072752 memory=796 CPUtime=0.67 cores=0-7 /proc/26946/task/26965/stat : 26965 (java) S 26944 26944 26464 0 -1 1077944384 3362 0 0 0 30 37 0 0 20 0 21 0 150211313 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588454906672 140589722229378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 [pid=26946/tid=26994] ppid=26944 vsize=26072752 memory=23377440 CPUtime=0 cores=0-7 /proc/26946/task/26994/stat : 26994 (java) S 26944 26944 26464 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 21 0 150397064 26698498048 5844360 33554432000 4194304 4196468 140736574224528 140588446900160 140589722228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39362560 140736574231698 140736574231875 140736574231875 140736574234575 0 Current children cumulated CPU time: 11506.3 s Current children cumulated vsize: 26082264 KiB Current children cumulated memory: 23378824 KiB [startup+1872 s]* /proc/loadavg: 7.57 7.89 7.29 2/182 26994 /proc/meminfo: memFree=12855924/32770624 swapFree=67108860/67108860 [pid=26944] ppid=26941 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 26464 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150211306 9740288 346 33554432000 4194304 5098028 140733199527056 140733199525160 140217589985916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34557952 140733199533157 140733199533367 140733199533367 140733199536107 0 /proc/26944/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1384 KiB [startup+1872.2 s] /proc/loadavg: 7.57 7.89 7.29 2/182 26994 /proc/meminfo: memFree=12855924/32770624 swapFree=67108860/67108860 [pid=26944] ppid=26941 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 26464 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150211306 9740288 346 33554432000 4194304 5098028 140733199527056 140733199525160 140217589985916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34557952 140733199533157 140733199533367 140733199533367 140733199536107 0 /proc/26944/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1384 KiB Child status: 1 Real time (s): 1872.23 CPU time (s): 11507.4 CPU user time (s): 11417 CPU system time (s): 90.3619 CPU usage (%): 614.633 Max. virtual memory (cumulated for all children) (KiB): 26082264 Max. memory (cumulated for all children) (KiB): 23378824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11417 system time used= 90.3619 maximum resident set size= 23377460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61926793 page faults= 1 swaps= 0 block input operations= 480 block output operations= 2328 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 178726 involuntary context switches= 607835 # summary of solver processes directly reported to runsolver: # pid: 26944 # total CPU time (s): 11507.4 # total CPU user time (s): 11417 # total CPU system time (s): 90.3619 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.3502 second user time and 19.9328 second system time The end
Begin job on node149 at 2017-08-19 21:20:46 IDJOB=4281139 IDBENCH=138603 IDSOLVER=2675 FILE ID=node149/4281139-1503171306 RUNJOBID= node149-1503165268-26491 PBS_JOBID= 20630833 Free space on /tmp= 61768 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os07/SuperTaillard-os-07-26.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281139-1503171306/watcher-4281139-1503171306 -o /tmp/evaluation-result-4281139-1503171306/solver-4281139-1503171306 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503165268-26491 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 469945759 HOME/instance-4281139-1503171306.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 94b2333e20121f91e59972a20e586711 RANDOM SEED=469945759 node149.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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 21381936 kB MemAvailable: 31950448 kB Buffers: 349724 kB Cached: 10489908 kB SwapCached: 0 kB Active: 2170740 kB Inactive: 8724044 kB Active(anon): 58356 kB Inactive(anon): 33128 kB Active(file): 2112384 kB Inactive(file): 8690916 kB Unevictable: 7912 kB Mlocked: 7912 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7800 kB Writeback: 0 kB AnonPages: 62180 kB Mapped: 51544 kB Shmem: 33416 kB Slab: 188640 kB SReclaimable: 162092 kB SUnreclaim: 26548 kB KernelStack: 3504 kB PageTables: 4832 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333584 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61760 MiB End job on node149 at 2017-08-19 21:51:58