Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | ? | 10448.3 | 1720.98 |
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-4399478-1568713959.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399478-1568713959.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 10373.33/1708.54 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded 10373.33/1708.54 at java.lang.Integer.valueOf(Integer.java:832) 10373.33/1708.54 at java.util.stream.ReduceOps$5ReducingSink.get(ReduceOps.java:263) 10373.33/1708.54 at java.util.stream.ReduceOps$5ReducingSink.get(ReduceOps.java:247) 10373.33/1708.54 at java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:708) 10373.33/1708.54 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) 10373.33/1708.54 at java.util.stream.IntPipeline.reduce(IntPipeline.java:456) 10373.33/1708.54 at org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression.ieval(NaArExpression.java:125) 10373.33/1708.54 at org.chocosolver.solver.expression.discrete.relational.BiReExpression.beval(BiReExpression.java:214) 10373.33/1708.54 at org.chocosolver.solver.expression.discrete.logical.NaLoExpression.beval(NaLoExpression.java:137) 10373.33/1708.54 at org.chocosolver.solver.expression.discrete.relational.ReExpression.lambda$extension$3(ReExpression.java:150) 10373.33/1708.54 at org.chocosolver.solver.expression.discrete.relational.ReExpression$$Lambda$147/1426329391.valid(Unknown Source) 10373.33/1708.54 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 10373.33/1708.54 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150) 10373.33/1708.54 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 10373.33/1708.54 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283) 10373.33/1708.54 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164) 10373.33/1708.54 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 10373.33/1708.54 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 10373.33/1708.54 at org.xcsp.parser.XCallbacks$$Lambda$89/1032000752.accept(Unknown Source) 10373.33/1708.54 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 10373.33/1708.54 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 10373.33/1708.54 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 10373.33/1708.54 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 10373.33/1708.54 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 10373.33/1708.54 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 10373.33/1708.54 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 10373.33/1708.54 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 10373.33/1708.54 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 10373.33/1708.54 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 10373.33/1708.54 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 10373.33/1708.54 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 10448.09/1720.87 s UNKNOWN 10448.09/1720.87 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 (14987 MiB free) memory of node 1: 16384 MiB (15303 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399478-1568713959/watcher-4399478-1568713959 -o /tmp/evaluation-result-4399478-1568713959/solver-4399478-1568713959 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568711398-2678 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1559719092 HOME/instance-4399478-1568713959.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 Starting watchdog thread solver pid=2998, runsolver pid=2995 Current StackSize limit: 8192 KiB [startup+0.100132 s]* /proc/loadavg: 7.67 8.18 8.37 2/217 3019 /proc/meminfo: memFree=31001468/32770624 swapFree=67004576/67108860 [pid=2998] ppid=2995 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2998/stat : 2998 (xcsp3-exec) S 2995 2998 2651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447635510 115843072 363 33554432000 4194304 5098028 140734588506528 140734588504632 139918202282620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16838656 140734588515189 140734588515433 140734588515433 140734588518346 0 /proc/2998/statm: 28282 363 304 221 0 87 0 [pid=3000] ppid=2998 vsize=28227396 memory=28768 CPUtime=0.12 cores=0-7 /proc/3000/stat : 3000 (java) S 2998 2998 2651 0 -1 1077944320 5629 0 0 0 10 2 0 0 20 0 20 0 447635510 28904853504 7192 33554432000 4194304 4196468 140736279720224 140736279702768 140070844743415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 /proc/3000/statm: 7056849 7192 3129 1 0 7019032 0 [pid=3000/tid=3001] ppid=2998 vsize=28227396 memory=4774505469681996649 CPUtime=0.09 cores=0-7 /proc/3000/task/3001/stat : 3001 (java) R 2998 2998 2651 0 -1 4202560 3563 0 0 0 8 1 0 0 20 0 20 0 447635511 28904853504 7192 33554432000 4194304 4196468 140736279720224 140070848976480 140070844765341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3002] ppid=2998 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/3000/task/3002/stat : 3002 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 7192 33554432000 4194304 4196468 140736279720224 140070764596368 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3003] ppid=2998 vsize=28227396 memory=140244505560704 CPUtime=0 cores=0-7 /proc/3000/task/3003/stat : 3003 (java) S 2998 2998 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 7192 33554432000 4194304 4196468 140736279720224 140070763543568 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3004] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3004/stat : 3004 (java) S 2998 2998 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 7192 33554432000 4194304 4196468 140736279720224 140070393863056 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3005] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3005/stat : 3005 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 7192 33554432000 4194304 4196468 140736279720224 140070392810256 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3006] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3006/stat : 3006 (java) S 2998 2998 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 7192 33554432000 4194304 4196468 140736279720224 140070391757456 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3007] ppid=2998 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3000/task/3007/stat : 3007 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 7192 33554432000 4194304 4196468 140736279720224 140070390704656 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3008] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3008/stat : 3008 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 7192 33554432000 4194304 4196468 140736279720224 140070389651856 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3009] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3009/stat : 3009 (java) S 2998 2998 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 7192 33554432000 4194304 4196468 140736279720224 140070388599056 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3010] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3010/stat : 3010 (java) S 2998 2998 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447635513 28904853504 7192 33554432000 4194304 4196468 140736279720224 140069960751984 140070844754562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3011] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3011/stat : 3011 (java) S 2998 2998 2651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447635513 28904853504 7192 33554432000 4194304 4196468 140736279720224 140069959697952 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3012] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3012/stat : 3012 (java) S 2998 2998 2651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447635514 28904853504 7192 33554432000 4194304 4196468 140736279720224 140069958645104 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3013] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3013/stat : 3013 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635516 28904853504 7192 33554432000 4194304 4196468 140736279720224 140069957593424 140070844762011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3014] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3014/stat : 3014 (java) R 2998 2998 2651 0 -1 4202560 331 0 0 0 0 0 0 0 20 0 20 0 447635516 28904853504 7192 33554432000 4194304 4196468 140736279720224 140069889370480 140070844764762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3015] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3015/stat : 3015 (java) R 2998 2998 2651 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 447635516 28904853504 7192 33554432000 4194304 4196468 140736279720224 140069888317680 140070844754562 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3016] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3016/stat : 3016 (java) S 2998 2998 2651 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447635516 28904853504 7192 33554432000 4194304 4196468 140736279720224 140069887264880 140070844754562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3017] ppid=2998 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/3000/task/3017/stat : 3017 (java) R 2998 2998 2651 0 -1 4202560 308 0 0 0 1 0 0 0 20 0 20 0 447635516 28904853504 7192 33554432000 4194304 4196468 140736279720224 140069886212080 140070828823902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3018] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3018/stat : 3018 (java) S 2998 2998 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447635516 28904853504 7192 33554432000 4194304 4196468 140736279720224 140069885160544 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3019] ppid=2998 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3000/task/3019/stat : 3019 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635517 28904853504 7192 33554432000 4194304 4196468 140736279720224 140069884107824 140070844754562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30220 KiB [startup+0.210817 s]* /proc/loadavg: 7.67 8.18 8.37 3/217 3019 /proc/meminfo: memFree=30987352/32770624 swapFree=67004576/67108860 [pid=2998] ppid=2995 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2998/stat : 2998 (xcsp3-exec) S 2995 2998 2651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447635510 115843072 363 33554432000 4194304 5098028 140734588506528 140734588504632 139918202282620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16838656 140734588515189 140734588515433 140734588515433 140734588518346 0 /proc/2998/statm: 28282 363 304 221 0 87 0 [pid=3000] ppid=2998 vsize=28227396 memory=41288 CPUtime=0.34 cores=0-7 /proc/3000/stat : 3000 (java) S 2998 2998 2651 0 -1 1077944320 9533 0 0 0 30 4 0 0 20 0 20 0 447635510 28904853504 10322 33554432000 4194304 4196468 140736279720224 140736279702768 140070844743415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 /proc/3000/statm: 7056849 10322 3314 1 0 7019032 0 [pid=3000/tid=3001] ppid=2998 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/3000/task/3001/stat : 3001 (java) R 2998 2998 2651 0 -1 4202560 6616 0 0 0 18 2 0 0 20 0 20 0 447635511 28904853504 10322 33554432000 4194304 4196468 140736279720224 140070848975328 140070844755350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3002] ppid=2998 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/3000/task/3002/stat : 3002 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 10322 33554432000 4194304 4196468 140736279720224 140070764596368 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3003] ppid=2998 vsize=28227396 memory=140244505574798 CPUtime=0 cores=0-7 /proc/3000/task/3003/stat : 3003 (java) S 2998 2998 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 10322 33554432000 4194304 4196468 140736279720224 140070763543568 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3004] ppid=2998 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3000/task/3004/stat : 3004 (java) S 2998 2998 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 10322 33554432000 4194304 4196468 140736279720224 140070393863056 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3005] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3005/stat : 3005 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 10322 33554432000 4194304 4196468 140736279720224 140070392810256 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3006] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3006/stat : 3006 (java) S 2998 2998 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 10322 33554432000 4194304 4196468 140736279720224 140070391757456 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3007] ppid=2998 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3000/task/3007/stat : 3007 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 10322 33554432000 4194304 4196468 140736279720224 140070390704656 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3008] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3008/stat : 3008 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 10322 33554432000 4194304 4196468 140736279720224 140070389651856 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3009] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3009/stat : 3009 (java) S 2998 2998 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447635511 28904853504 10322 33554432000 4194304 4196468 140736279720224 140070388599056 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3010] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3010/stat : 3010 (java) S 2998 2998 2651 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447635513 28904853504 10322 33554432000 4194304 4196468 140736279720224 140069960751984 140070844754562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3011] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3011/stat : 3011 (java) S 2998 2998 2651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447635513 28904853504 10322 33554432000 4194304 4196468 140736279720224 140069959697952 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3012] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3012/stat : 3012 (java) S 2998 2998 2651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447635514 28904853504 10322 33554432000 4194304 4196468 140736279720224 140069958645104 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3013] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3013/stat : 3013 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635516 28904853504 10322 33554432000 4194304 4196468 140736279720224 140069957593424 140070844762011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3014] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3014/stat : 3014 (java) S 2998 2998 2651 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 20 0 447635516 28904853504 10322 33554432000 4194304 4196468 140736279720224 140069889370480 140070844754562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3015] ppid=2998 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/3000/task/3015/stat : 3015 (java) S 2998 2998 2651 0 -1 1077944384 202 0 0 0 1 0 0 0 20 0 20 0 447635516 28904853504 10322 33554432000 4194304 4196468 140736279720224 140069888317680 140070844754562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3016] ppid=2998 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/3000/task/3016/stat : 3016 (java) S 2998 2998 2651 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 20 0 447635516 28904853504 10322 33554432000 4194304 4196468 140736279720224 140069887264880 140070844754562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3017] ppid=2998 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/3000/task/3017/stat : 3017 (java) R 2998 2998 2651 0 -1 4202560 757 0 0 0 7 0 0 0 20 0 20 0 447635516 28904853504 10322 33554432000 4194304 4196468 140736279720224 140069886212080 140070823356248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3018] ppid=2998 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3018/stat : 3018 (java) S 2998 2998 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447635516 28904853504 10322 33554432000 4194304 4196468 140736279720224 140069885160544 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3019] ppid=2998 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3000/task/3019/stat : 3019 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635517 28904853504 10322 33554432000 4194304 4196468 140736279720224 140069884107824 140070844754562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42740 KiB [startup+0.318104 s]* /proc/loadavg: 7.67 8.18 8.37 3/217 3019 /proc/meminfo: memFree=30980080/32770624 swapFree=67004576/67108860 [pid=2998] ppid=2995 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2998/stat : 2998 (xcsp3-exec) S 2995 2998 2651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447635510 115843072 363 33554432000 4194304 5098028 140734588506528 140734588504632 139918202282620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16838656 140734588515189 140734588515433 140734588515433 140734588518346 0 /proc/2998/statm: 28282 363 304 221 0 87 0 [pid=3000] ppid=2998 vsize=28231652 memory=50420 CPUtime=0.53 cores=0-7 /proc/3000/stat : 3000 (java) S 2998 2998 2651 0 -1 1077944320 11023 0 0 0 49 4 0 0 20 0 20 0 447635510 28909211648 12605 33554432000 4194304 4196468 140736279720224 140736279702768 140070844743415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 /proc/3000/statm: 7057913 12605 3354 1 0 7019032 0 [pid=3000/tid=3001] ppid=2998 vsize=28231652 memory=4774505469681996649 CPUtime=0.3 cores=0-7 /proc/3000/task/3001/stat : 3001 (java) R 2998 2998 2651 0 -1 4202560 7872 0 0 0 27 3 0 0 20 0 20 0 447635511 28909211648 12605 33554432000 4194304 4196468 140736279720224 140070848974528 140070828823902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3002] ppid=2998 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3002/stat : 3002 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635511 28909211648 12605 33554432000 4194304 4196468 140736279720224 140070764596368 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3003] ppid=2998 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3003/stat : 3003 (java) S 2998 2998 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447635511 28909211648 12605 33554432000 4194304 4196468 140736279720224 140070763543568 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3004] ppid=2998 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3004/stat : 3004 (java) S 2998 2998 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447635511 28909211648 12605 33554432000 4194304 4196468 140736279720224 140070393863056 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3005] ppid=2998 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3005/stat : 3005 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635511 28909211648 12605 33554432000 4194304 4196468 140736279720224 140070392810256 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3006] ppid=2998 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3006/stat : 3006 (java) S 2998 2998 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447635511 28909211648 12605 33554432000 4194304 4196468 140736279720224 140070391757456 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3007] ppid=2998 vsize=28231652 memory=140244372515503 CPUtime=0 cores=0-7 /proc/3000/task/3007/stat : 3007 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635511 28909211648 12605 33554432000 4194304 4196468 140736279720224 140070390704656 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3008] ppid=2998 vsize=28231652 memory=140244372517808 CPUtime=0 cores=0-7 /proc/3000/task/3008/stat : 3008 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635511 28909211648 12605 33554432000 4194304 4196468 140736279720224 140070389651856 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3009] ppid=2998 vsize=28231652 memory=140244372520112 CPUtime=0 cores=0-7 /proc/3000/task/3009/stat : 3009 (java) S 2998 2998 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447635511 28909211648 12605 33554432000 4194304 4196468 140736279720224 140070388599056 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3010] ppid=2998 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3010/stat : 3010 (java) S 2998 2998 2651 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447635513 28909211648 12605 33554432000 4194304 4196468 140736279720224 140069960751984 140070844754562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3011] ppid=2998 vsize=28231652 memory=280488745054096 CPUtime=0 cores=0-7 /proc/3000/task/3011/stat : 3011 (java) S 2998 2998 2651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447635513 28909211648 12605 33554432000 4194304 4196468 140736279720224 140069959697952 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3012] ppid=2998 vsize=28231652 memory=280488745051792 CPUtime=0 cores=0-7 /proc/3000/task/3012/stat : 3012 (java) S 2998 2998 2651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447635514 28909211648 12605 33554432000 4194304 4196468 140736279720224 140069958645104 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3013] ppid=2998 vsize=28231652 memory=280488745058704 CPUtime=0 cores=0-7 /proc/3000/task/3013/stat : 3013 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635516 28909211648 12605 33554432000 4194304 4196468 140736279720224 140069957593424 140070844762011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3014] ppid=2998 vsize=28231652 memory=280488744999984 CPUtime=0.02 cores=0-7 /proc/3000/task/3014/stat : 3014 (java) S 2998 2998 2651 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 20 0 447635516 28909211648 12605 33554432000 4194304 4196468 140736279720224 140069889370480 140070844754562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3015] ppid=2998 vsize=28231652 memory=280488745072528 CPUtime=0.02 cores=0-7 /proc/3000/task/3015/stat : 3015 (java) S 2998 2998 2651 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 20 0 447635516 28909211648 12605 33554432000 4194304 4196468 140736279720224 140069888317680 140070844754562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3016] ppid=2998 vsize=28231652 memory=280488745079440 CPUtime=0.03 cores=0-7 /proc/3000/task/3016/stat : 3016 (java) S 2998 2998 2651 0 -1 1077944384 420 0 0 0 3 0 0 0 20 0 20 0 447635516 28909211648 12605 33554432000 4194304 4196468 140736279720224 140069887264880 140070844754562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3017] ppid=2998 vsize=28231652 memory=280488745077136 CPUtime=0.12 cores=0-7 /proc/3000/task/3017/stat : 3017 (java) S 2998 2998 2651 0 -1 1077944384 842 0 0 0 12 0 0 0 20 0 20 0 447635516 28909211648 12605 33554432000 4194304 4196468 140736279720224 140069886212080 140070844754562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3018] ppid=2998 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3018/stat : 3018 (java) S 2998 2998 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447635516 28909211648 12605 33554432000 4194304 4196468 140736279720224 140069885160544 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3019] ppid=2998 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/3000/task/3019/stat : 3019 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635517 28909211648 12605 33554432000 4194304 4196468 140736279720224 140069884107824 140070844754562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51872 KiB [startup+0.710104 s] /proc/loadavg: 7.67 8.18 8.37 5/217 3019 /proc/meminfo: memFree=30956968/32770624 swapFree=67004576/67108860 [pid=2998] ppid=2995 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2998/stat : 2998 (xcsp3-exec) S 2995 2998 2651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447635510 115843072 363 33554432000 4194304 5098028 140734588506528 140734588504632 139918202282620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16838656 140734588515189 140734588515433 140734588515433 140734588518346 0 /proc/2998/statm: 28282 363 304 221 0 87 0 [pid=3000] ppid=2998 vsize=28233776 memory=113792 CPUtime=2.08 cores=0-7 /proc/3000/stat : 3000 (java) S 2998 2998 2651 0 -1 1077944320 17615 0 0 0 201 7 0 0 20 0 20 0 447635510 28911386624 28448 33554432000 4194304 4196468 140736279720224 140736279702768 140070844743415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 /proc/3000/statm: 7058444 28448 3447 1 0 7019544 0 [pid=3000/tid=3001] ppid=2998 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/3000/task/3001/stat : 3001 (java) R 2998 2998 2651 0 -1 4202560 9175 0 0 0 65 3 0 0 20 0 20 0 447635511 28911386624 28448 33554432000 4194304 4196468 140736279720224 140070848979048 140070443316480 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3002] ppid=2998 vsize=28233776 memory=140244372726640 CPUtime=0 cores=0-7 /proc/3000/task/3002/stat : 3002 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447635511 28911386624 28448 33554432000 4194304 4196468 140736279720224 140070764596368 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3003] ppid=2998 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/3000/task/3003/stat : 3003 (java) S 2998 2998 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447635511 28911386624 28448 33554432000 4194304 4196468 140736279720224 140070763543568 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3004] ppid=2998 vsize=28233776 memory=1212 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=3000/tid=3001] ppid=2998 vsize=28300340 memory=4774505469681996649 CPUtime=319.7 cores=0-7 /proc/3000/task/3001/stat : 3001 (java) S 2998 2998 2651 0 -1 1077944384 116516 0 0 0 31773 197 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070848984096 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3002] ppid=2998 vsize=28300340 memory=2832 CPUtime=1246.6 cores=0-7 /proc/3000/task/3002/stat : 3002 (java) S 2998 2998 2651 0 -1 1077944384 251223 0 0 0 124043 617 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070764596368 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3003] ppid=2998 vsize=28300340 memory=1212 CPUtime=1246.42 cores=0-7 /proc/3000/task/3003/stat : 3003 (java) S 2998 2998 2651 0 -1 1077944384 196532 0 0 0 124070 572 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070763543568 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3004] ppid=2998 vsize=28300340 memory=1036 CPUtime=1248.28 cores=0-7 /proc/3000/task/3004/stat : 3004 (java) S 2998 2998 2651 0 -1 1077944384 221071 0 0 0 124260 568 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070393863056 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3005] ppid=2998 vsize=28300340 memory=4872558044660077418 CPUtime=1252.7 cores=0-7 /proc/3000/task/3005/stat : 3005 (java) S 2998 2998 2651 0 -1 1077944384 355399 0 0 0 124745 525 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070392810256 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3006] ppid=2998 vsize=28300340 memory=988 CPUtime=1248.61 cores=0-7 /proc/3000/task/3006/stat : 3006 (java) S 2998 2998 2651 0 -1 1077944384 320422 0 0 0 124246 615 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070391757456 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3007] ppid=2998 vsize=28300340 memory=2052 CPUtime=1246.69 cores=0-7 /proc/3000/task/3007/stat : 3007 (java) S 2998 2998 2651 0 -1 1077944384 216805 0 0 0 124082 587 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070390704656 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3008] ppid=2998 vsize=28300340 memory=1220 CPUtime=1249.26 cores=0-7 /proc/3000/task/3008/stat : 3008 (java) S 2998 2998 2651 0 -1 1077944384 279010 0 0 0 124318 608 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070389651856 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3009] ppid=2998 vsize=28300340 memory=1716 CPUtime=1248.12 cores=0-7 /proc/3000/task/3009/stat : 3009 (java) S 2998 2998 2651 0 -1 1077944384 171626 0 0 0 124238 574 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070388599056 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3010] ppid=2998 vsize=28300340 memory=784 CPUtime=136.58 cores=0-7 /proc/3000/task/3010/stat : 3010 (java) R 2998 2998 2651 0 -1 4202560 847062 0 0 0 13576 82 0 0 20 0 21 0 447635513 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069960750416 140070829201048 0 0 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3011] ppid=2998 vsize=28300340 memory=8252 CPUtime=0 cores=0-7 /proc/3000/task/3011/stat : 3011 (java) S 2998 2998 2651 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 21 0 447635513 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069959698016 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3012] ppid=2998 vsize=28300340 memory=6032 CPUtime=0 cores=0-7 /proc/3000/task/3012/stat : 3012 (java) S 2998 2998 2651 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 447635514 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069958645120 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3013] ppid=2998 vsize=28300340 memory=1808 CPUtime=0 cores=0-7 /proc/3000/task/3013/stat : 3013 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069957593424 140070844762011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3014] ppid=2998 vsize=28300340 memory=924 CPUtime=0.96 cores=0-7 /proc/3000/task/3014/stat : 3014 (java) S 2998 2998 2651 0 -1 1077944384 5570 0 0 0 95 1 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069889370528 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3015] ppid=2998 vsize=28300340 memory=4136 CPUtime=1.07 cores=0-7 /proc/3000/task/3015/stat : 3015 (java) S 2998 2998 2651 0 -1 1077944384 6775 0 0 0 106 1 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069888317728 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3016] ppid=2998 vsize=28300340 memory=1412 CPUtime=0.95 cores=0-7 /proc/3000/task/3016/stat : 3016 (java) S 2998 2998 2651 0 -1 1077944384 5568 0 0 0 94 1 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069887264640 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3017] ppid=2998 vsize=28300340 memory=3452 CPUtime=0.57 cores=0-7 /proc/3000/task/3017/stat : 3017 (java) S 2998 2998 2651 0 -1 1077944384 11881 0 0 0 55 2 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069886212128 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3018] ppid=2998 vsize=28300340 memory=1452 CPUtime=0 cores=0-7 /proc/3000/task/3018/stat : 3018 (java) S 2998 2998 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069885160544 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3019] ppid=2998 vsize=28300340 memory=25375004 CPUtime=0.65 cores=0-7 /proc/3000/task/3019/stat : 3019 (java) S 2998 2998 2651 0 -1 1077944384 2675 0 0 0 35 30 0 0 20 0 21 0 447635517 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069884107824 140070844754562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3181] ppid=2998 vsize=28300340 memory=1660 CPUtime=0 cores=0-7 /proc/3000/task/3181/stat : 3181 (java) S 2998 2998 2651 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 21 0 447806365 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069875130048 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 Current children cumulated CPU time: 10447.3 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25376536 KiB [startup+1720.4 s] /proc/loadavg: 7.36 7.35 6.95 2/218 3181 /proc/meminfo: memFree=5608708/32770624 swapFree=67004576/67108860 [pid=2998] ppid=2995 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2998/stat : 2998 (xcsp3-exec) S 2995 2998 2651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447635510 115843072 363 33554432000 4194304 5098028 140734588506528 140734588504632 139918202282620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16838656 140734588515189 140734588515433 140734588515433 140734588518346 0 /proc/2998/statm: 28282 363 304 221 0 87 0 [pid=3000] ppid=2998 vsize=28300340 memory=25375084 CPUtime=10447.7 cores=0-7 /proc/3000/stat : 3000 (java) S 2998 2998 2651 0 -1 1077944320 3009467 0 0 0 1039800 4969 0 0 20 0 21 0 447635510 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140736279702768 140070844743415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 /proc/3000/statm: 7075085 6343771 3508 1 0 7036185 0 [pid=3000/tid=3001] ppid=2998 vsize=28300340 memory=1036 CPUtime=319.7 cores=0-7 /proc/3000/task/3001/stat : 3001 (java) S 2998 2998 2651 0 -1 1077944384 116516 0 0 0 31773 197 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070848984096 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3002] ppid=2998 vsize=28300340 memory=14008 CPUtime=1246.6 cores=0-7 /proc/3000/task/3002/stat : 3002 (java) S 2998 2998 2651 0 -1 1077944384 251223 0 0 0 124043 617 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070764596368 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3003] ppid=2998 vsize=28300340 memory=1440 CPUtime=1246.42 cores=0-7 /proc/3000/task/3003/stat : 3003 (java) S 2998 2998 2651 0 -1 1077944384 196532 0 0 0 124070 572 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070763543568 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3004] ppid=2998 vsize=28300340 memory=1984 CPUtime=1248.28 cores=0-7 /proc/3000/task/3004/stat : 3004 (java) S 2998 2998 2651 0 -1 1077944384 221071 0 0 0 124260 568 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070393863056 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3005] ppid=2998 vsize=28300340 memory=2376 CPUtime=1252.7 cores=0-7 /proc/3000/task/3005/stat : 3005 (java) S 2998 2998 2651 0 -1 1077944384 355399 0 0 0 124745 525 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070392810256 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3006] ppid=2998 vsize=28300340 memory=1768 CPUtime=1248.61 cores=0-7 /proc/3000/task/3006/stat : 3006 (java) S 2998 2998 2651 0 -1 1077944384 320422 0 0 0 124246 615 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070391757456 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3007] ppid=2998 vsize=28300340 memory=111628 CPUtime=1246.69 cores=0-7 /proc/3000/task/3007/stat : 3007 (java) S 2998 2998 2651 0 -1 1077944384 216805 0 0 0 124082 587 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070390704656 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3008] ppid=2998 vsize=28300340 memory=804 CPUtime=1249.26 cores=0-7 /proc/3000/task/3008/stat : 3008 (java) S 2998 2998 2651 0 -1 1077944384 279010 0 0 0 124318 608 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070389651856 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3009] ppid=2998 vsize=28300340 memory=4100 CPUtime=1248.12 cores=0-7 /proc/3000/task/3009/stat : 3009 (java) S 2998 2998 2651 0 -1 1077944384 171626 0 0 0 124238 574 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070388599056 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3010] ppid=2998 vsize=28300340 memory=8112282956445269571 CPUtime=136.97 cores=0-7 /proc/3000/task/3010/stat : 3010 (java) R 2998 2998 2651 0 -1 4202560 847068 0 0 0 13615 82 0 0 20 0 21 0 447635513 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069960750416 140070829201009 0 0 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3011] ppid=2998 vsize=28300340 memory=1984 CPUtime=0 cores=0-7 /proc/3000/task/3011/stat : 3011 (java) S 2998 2998 2651 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 21 0 447635513 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069959698016 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3012] ppid=2998 vsize=28300340 memory=2376 CPUtime=0 cores=0-7 /proc/3000/task/3012/stat : 3012 (java) S 2998 2998 2651 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 447635514 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069958645120 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3013] ppid=2998 vsize=28300340 memory=1768 CPUtime=0 cores=0-7 /proc/3000/task/3013/stat : 3013 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069957593424 140070844762011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3014] ppid=2998 vsize=28300340 memory=111628 CPUtime=0.96 cores=0-7 /proc/3000/task/3014/stat : 3014 (java) S 2998 2998 2651 0 -1 1077944384 5570 0 0 0 95 1 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069889370528 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3015] ppid=2998 vsize=28300340 memory=804 CPUtime=1.07 cores=0-7 /proc/3000/task/3015/stat : 3015 (java) S 2998 2998 2651 0 -1 1077944384 6775 0 0 0 106 1 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069888317728 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3016] ppid=2998 vsize=28300340 memory=4100 CPUtime=0.95 cores=0-7 /proc/3000/task/3016/stat : 3016 (java) S 2998 2998 2651 0 -1 1077944384 5568 0 0 0 94 1 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069887264640 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3017] ppid=2998 vsize=28300340 memory=1808 CPUtime=0.57 cores=0-7 /proc/3000/task/3017/stat : 3017 (java) S 2998 2998 2651 0 -1 1077944384 11881 0 0 0 55 2 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069886212128 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3018] ppid=2998 vsize=28300340 memory=924 CPUtime=0 cores=0-7 /proc/3000/task/3018/stat : 3018 (java) S 2998 2998 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069885160544 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3019] ppid=2998 vsize=28300340 memory=4136 CPUtime=0.65 cores=0-7 /proc/3000/task/3019/stat : 3019 (java) S 2998 2998 2651 0 -1 1077944384 2675 0 0 0 35 30 0 0 20 0 21 0 447635517 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069884107824 140070844754562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3181] ppid=2998 vsize=28300340 memory=1412 CPUtime=0 cores=0-7 /proc/3000/task/3181/stat : 3181 (java) S 2998 2998 2651 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 21 0 447806365 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069875130048 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 Current children cumulated CPU time: 10447.7 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25376536 KiB [startup+1720.8 s] /proc/loadavg: 7.36 7.35 6.95 2/218 3181 /proc/meminfo: memFree=5608708/32770624 swapFree=67004576/67108860 [pid=2998] ppid=2995 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2998/stat : 2998 (xcsp3-exec) S 2995 2998 2651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447635510 115843072 363 33554432000 4194304 5098028 140734588506528 140734588504632 139918202282620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16838656 140734588515189 140734588515433 140734588515433 140734588518346 0 /proc/2998/statm: 28282 363 304 221 0 87 0 [pid=3000] ppid=2998 vsize=28300340 memory=25375084 CPUtime=10448.1 cores=0-7 /proc/3000/stat : 3000 (java) S 2998 2998 2651 0 -1 1077944320 3009543 0 0 0 1039840 4969 0 0 20 0 21 0 447635510 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140736279702768 140070844743415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 /proc/3000/statm: 7075085 6343771 3508 1 0 7036185 0 [pid=3000/tid=3001] ppid=2998 vsize=28300340 memory=8112282956445269571 CPUtime=319.7 cores=0-7 /proc/3000/task/3001/stat : 3001 (java) S 2998 2998 2651 0 -1 1077944384 116516 0 0 0 31773 197 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070848984096 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3002] ppid=2998 vsize=28300340 memory=1056 CPUtime=1246.6 cores=0-7 /proc/3000/task/3002/stat : 3002 (java) S 2998 2998 2651 0 -1 1077944384 251223 0 0 0 124043 617 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070764596368 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3003] ppid=2998 vsize=28300340 memory=1540 CPUtime=1246.42 cores=0-7 /proc/3000/task/3003/stat : 3003 (java) S 2998 2998 2651 0 -1 1077944384 196532 0 0 0 124070 572 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070763543568 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3004] ppid=2998 vsize=28300340 memory=728 CPUtime=1248.28 cores=0-7 /proc/3000/task/3004/stat : 3004 (java) S 2998 2998 2651 0 -1 1077944384 221071 0 0 0 124260 568 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070393863056 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3005] ppid=2998 vsize=28300340 memory=4000 CPUtime=1252.7 cores=0-7 /proc/3000/task/3005/stat : 3005 (java) S 2998 2998 2651 0 -1 1077944384 355399 0 0 0 124745 525 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070392810256 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3006] ppid=2998 vsize=28300340 memory=1452 CPUtime=1248.61 cores=0-7 /proc/3000/task/3006/stat : 3006 (java) S 2998 2998 2651 0 -1 1077944384 320422 0 0 0 124246 615 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070391757456 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3007] ppid=2998 vsize=28300340 memory=25375084 CPUtime=1246.69 cores=0-7 /proc/3000/task/3007/stat : 3007 (java) S 2998 2998 2651 0 -1 1077944384 216805 0 0 0 124082 587 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070390704656 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3008] ppid=2998 vsize=28300340 memory=988 CPUtime=1249.26 cores=0-7 /proc/3000/task/3008/stat : 3008 (java) S 2998 2998 2651 0 -1 1077944384 279010 0 0 0 124318 608 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070389651856 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3009] ppid=2998 vsize=28300340 memory=2052 CPUtime=1248.12 cores=0-7 /proc/3000/task/3009/stat : 3009 (java) S 2998 2998 2651 0 -1 1077944384 171626 0 0 0 124238 574 0 0 20 0 21 0 447635511 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140070388599056 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3010] ppid=2998 vsize=28300340 memory=1220 CPUtime=137.37 cores=0-7 /proc/3000/task/3010/stat : 3010 (java) R 2998 2998 2651 0 -1 4202560 847144 0 0 0 13655 82 0 0 20 0 21 0 447635513 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069960750416 140070823113590 0 0 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3011] ppid=2998 vsize=28300340 memory=1716 CPUtime=0 cores=0-7 /proc/3000/task/3011/stat : 3011 (java) S 2998 2998 2651 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 21 0 447635513 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069959698016 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3012] ppid=2998 vsize=28300340 memory=784 CPUtime=0 cores=0-7 /proc/3000/task/3012/stat : 3012 (java) S 2998 2998 2651 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 447635514 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069958645120 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3013] ppid=2998 vsize=28300340 memory=8252 CPUtime=0 cores=0-7 /proc/3000/task/3013/stat : 3013 (java) S 2998 2998 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069957593424 140070844762011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3014] ppid=2998 vsize=28300340 memory=12024 CPUtime=0.96 cores=0-7 /proc/3000/task/3014/stat : 3014 (java) S 2998 2998 2651 0 -1 1077944384 5570 0 0 0 95 1 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069889370528 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3015] ppid=2998 vsize=28300340 memory=2116 CPUtime=1.07 cores=0-7 /proc/3000/task/3015/stat : 3015 (java) S 2998 2998 2651 0 -1 1077944384 6775 0 0 0 106 1 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069888317728 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3016] ppid=2998 vsize=28300340 memory=25792 CPUtime=0.95 cores=0-7 /proc/3000/task/3016/stat : 3016 (java) S 2998 2998 2651 0 -1 1077944384 5568 0 0 0 94 1 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069887264640 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3017] ppid=2998 vsize=28300340 memory=496 CPUtime=0.57 cores=0-7 /proc/3000/task/3017/stat : 3017 (java) S 2998 2998 2651 0 -1 1077944384 11881 0 0 0 55 2 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069886212128 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3018] ppid=2998 vsize=28300340 memory=1564 CPUtime=0 cores=0-7 /proc/3000/task/3018/stat : 3018 (java) S 2998 2998 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 447635516 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069885160544 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3019] ppid=2998 vsize=28300340 memory=928 CPUtime=0.65 cores=0-7 /proc/3000/task/3019/stat : 3019 (java) S 2998 2998 2651 0 -1 1077944384 2675 0 0 0 35 30 0 0 20 0 21 0 447635517 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069884107824 140070844754562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 [pid=3000/tid=3181] ppid=2998 vsize=28300340 memory=1744 CPUtime=0 cores=0-7 /proc/3000/task/3181/stat : 3181 (java) S 2998 2998 2651 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 21 0 447806365 28979548160 6343771 33554432000 4194304 4196468 140736279720224 140069875130048 140070844753621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140736279729130 140736279729302 140736279729302 140736279732175 0 Current children cumulated CPU time: 10448.1 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25376536 KiB [startup+1720.9 s] /proc/loadavg: 7.36 7.35 6.95 2/218 3181 /proc/meminfo: memFree=5608708/32770624 swapFree=67004576/67108860 [pid=2998] ppid=2995 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2998/stat : 2998 (xcsp3-exec) S 2995 2998 2651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447635510 115843072 363 33554432000 4194304 5098028 140734588506528 140734588504632 139918202282620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16838656 140734588515189 140734588515433 140734588515433 140734588518346 0 /proc/2998/statm: 28282 363 304 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): 1720.98 CPU time (s): 10448.3 CPU user time (s): 10398.5 CPU system time (s): 49.8058 CPU usage (%): 607.112 Max. virtual memory (cumulated for all children) (KiB): 28413468 Max. memory (cumulated for all children) (KiB): 25376536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10398.5 system time used= 49.8058 maximum resident set size= 25375360 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3015832 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 146330 involuntary context switches= 195822 # summary of solver processes directly reported to runsolver: # pid: 2998 # total CPU time (s): 10448.3 # total CPU user time (s): 10398.5 # total CPU system time (s): 49.8058 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.74 second user time and 18.7667 second system time The end
Begin job on node133 at 2019-09-17 11:51:59 IDJOB=4399478 IDBENCH=138482 IDSOLVER=2854 FILE ID=node133/4399478-1568713959 RUNJOBID= node133-1568711398-2678 PBS_JOBID= 21703931 Free space on /tmp= 59576 MiB SOLVER NAME= choco-solver 2019-09-16 parallel 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-4399478-1568713959/watcher-4399478-1568713959 -o /tmp/evaluation-result-4399478-1568713959/solver-4399478-1568713959 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568711398-2678 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1559719092 HOME/instance-4399478-1568713959.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3f0141c7bb33af25d9039070b39091b8 RANDOM SEED=1559719092 node133.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.18 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.18 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.18 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.18 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: 31017148 kB MemAvailable: 31888836 kB Buffers: 249188 kB Cached: 912884 kB SwapCached: 3188 kB Active: 572740 kB Inactive: 592820 kB Active(anon): 27464 kB Inactive(anon): 24512 kB Active(file): 545276 kB Inactive(file): 568308 kB Unevictable: 111200 kB Mlocked: 111200 kB SwapTotal: 67108860 kB SwapFree: 67004576 kB Dirty: 26448 kB Writeback: 24 kB AnonPages: 113416 kB Mapped: 48696 kB Shmem: 40128 kB Slab: 176924 kB SReclaimable: 147876 kB SUnreclaim: 29048 kB KernelStack: 3472 kB PageTables: 5244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505652 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 59552 MiB End job on node133 at 2019-09-17 12:20:40