| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-18) | ? | 5727.2798 | 1079.11 |
| Name | SuperSolutions/SuperSolutions-Taillard-os20/ SuperTaillard-os-20-17.xml |
| MD5SUM | 4b4738a8e40cdda4c63a077f136d1653 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 800 |
| Number of constraints | 23200 |
| Number of domains | 98 |
| Minimum domain size | 1322 |
| Maximum domain size | 1420 |
| Distribution of domain sizes | [{"size":1322,"count":14},{"size":1323,"count":8},{"size":1324,"count":16},{"size":1325,"count":6},{"size":1326,"count":6},{"size":1327,"count":4},{"size":1328,"count":12},{"size":1329,"count":4},{"size":1330,"count":18},{"size":1331,"count":10},{"size":1332,"count":4},{"size":1333,"count":20},{"size":1334,"count":8},{"size":1335,"count":2},{"size":1336,"count":16},{"size":1337,"count":12},{"size":1338,"count":8},{"size":1339,"count":4},{"size":1340,"count":12},{"size":1341,"count":2},{"size":1342,"count":10},{"size":1343,"count":12},{"size":1344,"count":12},{"size":1345,"count":12},{"size":1346,"count":10},"...",{"size":1396,"count":10}, {"size":1397,"count":14}, {"size":1398,"count":8}, {"size":1399,"count":12}, {"size":1400,"count":4}, {"size":1401,"count":6}, {"size":1402,"count":12}, {"size":1403,"count":10}, {"size":1404,"count":6}, {"size":1405,"count":6}, {"size":1406,"count":6}, {"size":1407,"count":6}, {"size":1408,"count":4}, {"size":1409,"count":8}, {"size":1410,"count":6}, {"size":1411,"count":6}, {"size":1412,"count":8}, {"size":1413,"count":8}, {"size":1414,"count":8}, {"size":1415,"count":4}, {"size":1416,"count":10}, {"size":1417,"count":6}, {"size":1418,"count":10}, {"size":1419,"count":8}, {"size":1420,"count":6}] |
| Minimum variable degree | 39 |
| Maximum variable degree | 77 |
| Distribution of variable degrees | [{"degree":39,"count":400},{"degree":77,"count":400}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":23200}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 23200 |
| Distribution of constraint types | [{"type":"intension","count":23200}] |
| 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-4281142-1503171486.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4281142-1503171486.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 5622.57/1063.05 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded 5622.57/1063.05 at java.util.stream.ReduceOps.makeInt(ReduceOps.java:271) 5622.57/1063.05 at java.util.stream.IntPipeline.reduce(IntPipeline.java:456) 5622.57/1063.05 at org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression.ieval(NaArExpression.java:124) 5622.57/1063.05 at org.chocosolver.solver.expression.discrete.relational.BiReExpression.beval(BiReExpression.java:214) 5622.57/1063.05 at org.chocosolver.solver.expression.discrete.logical.NaLoExpression.beval(NaLoExpression.java:117) 5622.57/1063.05 at org.chocosolver.solver.expression.discrete.relational.ReExpression.lambda$extension$7(ReExpression.java:148) 5622.57/1063.05 at org.chocosolver.solver.expression.discrete.relational.ReExpression$$Lambda$76/592617454.valid(Unknown Source) 5622.57/1063.05 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 5622.57/1063.05 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:148) 5622.57/1063.05 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 5622.57/1063.05 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:394) 5622.57/1063.05 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:127) 5622.57/1063.05 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457) 5622.57/1063.05 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440) 5622.57/1063.05 at org.xcsp.parser.XCallbacks$$Lambda$46/148912029.accept(Unknown Source) 5622.57/1063.05 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 5622.57/1063.05 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 5622.57/1063.05 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437) 5622.57/1063.05 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406) 5622.57/1063.05 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368) 5622.57/1063.05 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353) 5622.57/1063.05 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260) 5622.57/1063.05 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 5622.57/1063.05 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112) 5622.57/1063.05 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 5622.57/1063.05 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23) 5727.07/1078.90 s UNKNOWN 5727.07/1078.90 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 (11239 MiB free)
memory of node 1: 16384 MiB (11274 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281142-1503171486/watcher-4281142-1503171486 -o /tmp/evaluation-result-4281142-1503171486/solver-4281142-1503171486 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503165003-13785 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1532012009 HOME/instance-4281142-1503171486.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=14305, runsolver pid=14302
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 5.74 7.63 8.00 4/200 14326
/proc/meminfo: memFree=23039096/32770624 swapFree=67108860/67108860
[pid=14305] ppid=14302 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14305/stat : 14305 (xcsp3-exec) S 14302 14305 13758 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150220039 9740288 346 33554432000 4194304 5098028 140733710003824 140733710001928 140344367575676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10956800 140733710009444 140733710009655 140733710009655 140733710012395 0
/proc/14305/statm: 2378 346 289 221 0 87 0
[pid=14307] ppid=14305 vsize=25999808 memory=26732 CPUtime=0.11 cores=0-7
/proc/14307/stat : 14307 (java) S 14305 14305 13758 0 -1 1077944320 5616 0 0 0 10 1 0 0 20 0 20 0 150220039 26623803392 6683 33554432000 4194304 4196468 140724916004704 140724915987248 140224753032951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
/proc/14307/statm: 6499952 6683 2848 1 0 6488269 0
[pid=14307/tid=14308] ppid=14305 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/14307/task/14308/stat : 14308 (java) R 14305 14305 13758 0 -1 4202560 3625 0 0 0 8 0 0 0 20 0 20 0 150220039 26623803392 6683 33554432000 4194304 4196468 140724916004704 140224757266224 140224753044886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14309] ppid=14305 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14307/task/14309/stat : 14309 (java) S 14305 14305 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150220040 26623803392 6683 33554432000 4194304 4196468 140724916004704 140224311720720 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14310] ppid=14305 vsize=25999808 memory=140352576640640 CPUtime=0 cores=0-7
/proc/14307/task/14310/stat : 14310 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220040 26623803392 6683 33554432000 4194304 4196468 140724916004704 140224310668176 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14311] ppid=14305 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14311/stat : 14311 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220040 26623803392 6683 33554432000 4194304 4196468 140724916004704 140224309615632 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14312] ppid=14305 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14312/stat : 14312 (java) S 14305 14305 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150220040 26623803392 6683 33554432000 4194304 4196468 140724916004704 140224308563088 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14313] ppid=14305 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14313/stat : 14313 (java) S 14305 14305 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150220040 26623803392 6683 33554432000 4194304 4196468 140724916004704 140224307509520 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14314] ppid=14305 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14307/task/14314/stat : 14314 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220040 26623803392 6683 33554432000 4194304 4196468 140724916004704 140224306456976 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14315] ppid=14305 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14315/stat : 14315 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220040 26623803392 6683 33554432000 4194304 4196468 140724916004704 140224305404432 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14316] ppid=14305 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14316/stat : 14316 (java) S 14305 14305 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150220040 26623803392 6683 33554432000 4194304 4196468 140724916004704 140224304351888 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14317] ppid=14305 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14317/stat : 14317 (java) S 14305 14305 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150220041 26623803392 6683 33554432000 4194304 4196468 140724916004704 140223292865008 140224753044098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14318] ppid=14305 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14318/stat : 14318 (java) S 14305 14305 13758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150220042 26623803392 6683 33554432000 4194304 4196468 140724916004704 140223291811232 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14319] ppid=14305 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14319/stat : 14319 (java) S 14305 14305 13758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150220042 26623803392 6683 33554432000 4194304 4196468 140724916004704 140223290758640 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14320] ppid=14305 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14320/stat : 14320 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220044 26623803392 6683 33554432000 4194304 4196468 140724916004704 140223289707216 140224753051547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14321] ppid=14305 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14321/stat : 14321 (java) S 14305 14305 13758 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 150220044 26623803392 6683 33554432000 4194304 4196468 140724916004704 140223288653808 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14322] ppid=14305 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14322/stat : 14322 (java) S 14305 14305 13758 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 150220044 26623803392 6683 33554432000 4194304 4196468 140724916004704 140223287601264 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14323] ppid=14305 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14323/stat : 14323 (java) S 14305 14305 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150220044 26623803392 6683 33554432000 4194304 4196468 140724916004704 140223286548720 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14324] ppid=14305 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/14307/task/14324/stat : 14324 (java) S 14305 14305 13758 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 20 0 150220044 26623803392 6683 33554432000 4194304 4196468 140724916004704 140223285496176 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14325] ppid=14305 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14325/stat : 14325 (java) S 14305 14305 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150220045 26623803392 6683 33554432000 4194304 4196468 140724916004704 140223284443872 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14326] ppid=14305 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14307/task/14326/stat : 14326 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220045 26623803392 6683 33554432000 4194304 4196468 140724916004704 140223283391408 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28116 KiB
[startup+0.209862 s]*
/proc/loadavg: 5.74 7.63 8.00 3/200 14326
/proc/meminfo: memFree=23028232/32770624 swapFree=67108860/67108860
[pid=14305] ppid=14302 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14305/stat : 14305 (xcsp3-exec) S 14302 14305 13758 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150220039 9740288 346 33554432000 4194304 5098028 140733710003824 140733710001928 140344367575676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10956800 140733710009444 140733710009655 140733710009655 140733710012395 0
/proc/14305/statm: 2378 346 289 221 0 87 0
[pid=14307] ppid=14305 vsize=26004064 memory=38716 CPUtime=0.33 cores=0-7
/proc/14307/stat : 14307 (java) S 14305 14305 13758 0 -1 1077944320 8343 0 0 0 31 2 0 0 20 0 20 0 150220039 26628161536 9679 33554432000 4194304 4196468 140724916004704 140724915987248 140224753032951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
/proc/14307/statm: 6501016 9679 3046 1 0 6488269 0
[pid=14307/tid=14308] ppid=14305 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14307/task/14308/stat : 14308 (java) R 14305 14305 13758 0 -1 4202560 5428 0 0 0 18 1 0 0 20 0 20 0 150220039 26628161536 9679 33554432000 4194304 4196468 140724916004704 140224757269792 140224390894852 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14309] ppid=14305 vsize=26004064 memory=339 CPUtime=0 cores=0-7
/proc/14307/task/14309/stat : 14309 (java) S 14305 14305 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 9679 33554432000 4194304 4196468 140724916004704 140224311720720 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14310] ppid=14305 vsize=26004064 memory=140352577352078 CPUtime=0 cores=0-7
/proc/14307/task/14310/stat : 14310 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 9679 33554432000 4194304 4196468 140724916004704 140224310668176 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14311] ppid=14305 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14307/task/14311/stat : 14311 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 9679 33554432000 4194304 4196468 140724916004704 140224309615632 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14312] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14312/stat : 14312 (java) S 14305 14305 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 9679 33554432000 4194304 4196468 140724916004704 140224308563088 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14313] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14313/stat : 14313 (java) S 14305 14305 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 9679 33554432000 4194304 4196468 140724916004704 140224307509520 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14314] ppid=14305 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14307/task/14314/stat : 14314 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 9679 33554432000 4194304 4196468 140724916004704 140224306456976 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14315] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14315/stat : 14315 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 9679 33554432000 4194304 4196468 140724916004704 140224305404432 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14316] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14316/stat : 14316 (java) S 14305 14305 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 9679 33554432000 4194304 4196468 140724916004704 140224304351888 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14317] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14317/stat : 14317 (java) S 14305 14305 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150220041 26628161536 9679 33554432000 4194304 4196468 140724916004704 140223292865008 140224753044098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14318] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14318/stat : 14318 (java) S 14305 14305 13758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150220042 26628161536 9679 33554432000 4194304 4196468 140724916004704 140223291811232 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14319] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14319/stat : 14319 (java) S 14305 14305 13758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150220042 26628161536 9679 33554432000 4194304 4196468 140724916004704 140223290758640 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14320] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14320/stat : 14320 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220044 26628161536 9679 33554432000 4194304 4196468 140724916004704 140223289707216 140224753051547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14321] ppid=14305 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/14307/task/14321/stat : 14321 (java) S 14305 14305 13758 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 20 0 150220044 26628161536 9679 33554432000 4194304 4196468 140724916004704 140223288653808 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14322] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14322/stat : 14322 (java) S 14305 14305 13758 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 20 0 150220044 26628161536 9679 33554432000 4194304 4196468 140724916004704 140223287601264 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14323] ppid=14305 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/14307/task/14323/stat : 14323 (java) S 14305 14305 13758 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 20 0 150220044 26628161536 9679 33554432000 4194304 4196468 140724916004704 140223286548720 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14324] ppid=14305 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/14307/task/14324/stat : 14324 (java) R 14305 14305 13758 0 -1 4202560 723 0 0 0 7 0 0 0 20 0 20 0 150220044 26628161536 9679 33554432000 4194304 4196468 140724916004704 140223285496176 140224732441300 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14325] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14325/stat : 14325 (java) S 14305 14305 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150220045 26628161536 9679 33554432000 4194304 4196468 140724916004704 140223284443872 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14326] ppid=14305 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14307/task/14326/stat : 14326 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220045 26628161536 9679 33554432000 4194304 4196468 140724916004704 140223283391408 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40100 KiB
[startup+0.309608 s]*
/proc/loadavg: 5.74 7.63 8.00 3/200 14326
/proc/meminfo: memFree=23023580/32770624 swapFree=67108860/67108860
[pid=14305] ppid=14302 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14305/stat : 14305 (xcsp3-exec) S 14302 14305 13758 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150220039 9740288 346 33554432000 4194304 5098028 140733710003824 140733710001928 140344367575676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10956800 140733710009444 140733710009655 140733710009655 140733710012395 0
/proc/14305/statm: 2378 346 289 221 0 87 0
[pid=14307] ppid=14305 vsize=26004064 memory=43876 CPUtime=0.5 cores=0-7
/proc/14307/stat : 14307 (java) S 14305 14305 13758 0 -1 1077944320 9159 0 0 0 47 3 0 0 20 0 20 0 150220039 26628161536 10969 33554432000 4194304 4196468 140724916004704 140724915987248 140224753032951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
/proc/14307/statm: 6501016 10969 3108 1 0 6488269 0
[pid=14307/tid=14308] ppid=14305 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/14307/task/14308/stat : 14308 (java) R 14305 14305 13758 0 -1 4202560 6096 0 0 0 27 1 0 0 20 0 20 0 150220039 26628161536 10969 33554432000 4194304 4196468 140724916004704 140224757269400 140224753044886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14309] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14309/stat : 14309 (java) S 14305 14305 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 10969 33554432000 4194304 4196468 140724916004704 140224311720720 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14310] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14310/stat : 14310 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 10969 33554432000 4194304 4196468 140724916004704 140224310668176 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14311] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14311/stat : 14311 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 10969 33554432000 4194304 4196468 140724916004704 140224309615632 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14312] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14312/stat : 14312 (java) S 14305 14305 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 10969 33554432000 4194304 4196468 140724916004704 140224308563088 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14313] ppid=14305 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/14307/task/14313/stat : 14313 (java) S 14305 14305 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 10969 33554432000 4194304 4196468 140724916004704 140224307509520 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14314] ppid=14305 vsize=26004064 memory=140352417788847 CPUtime=0 cores=0-7
/proc/14307/task/14314/stat : 14314 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 10969 33554432000 4194304 4196468 140724916004704 140224306456976 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14315] ppid=14305 vsize=26004064 memory=140352417791152 CPUtime=0 cores=0-7
/proc/14307/task/14315/stat : 14315 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 10969 33554432000 4194304 4196468 140724916004704 140224305404432 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14316] ppid=14305 vsize=26004064 memory=140352417793456 CPUtime=0 cores=0-7
/proc/14307/task/14316/stat : 14316 (java) S 14305 14305 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150220040 26628161536 10969 33554432000 4194304 4196468 140724916004704 140224304351888 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14317] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14317/stat : 14317 (java) S 14305 14305 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150220041 26628161536 10969 33554432000 4194304 4196468 140724916004704 140223292865008 140224753044098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14318] ppid=14305 vsize=26004064 memory=280704835593872 CPUtime=0 cores=0-7
/proc/14307/task/14318/stat : 14318 (java) S 14305 14305 13758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150220042 26628161536 10969 33554432000 4194304 4196468 140724916004704 140223291811232 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14319] ppid=14305 vsize=26004064 memory=280704835600784 CPUtime=0 cores=0-7
/proc/14307/task/14319/stat : 14319 (java) S 14305 14305 13758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150220042 26628161536 10969 33554432000 4194304 4196468 140724916004704 140223290758640 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14320] ppid=14305 vsize=26004064 memory=280704835542064 CPUtime=0 cores=0-7
/proc/14307/task/14320/stat : 14320 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220044 26628161536 10969 33554432000 4194304 4196468 140724916004704 140223289707216 140224753051547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14321] ppid=14305 vsize=26004064 memory=280704835614608 CPUtime=0.02 cores=0-7
/proc/14307/task/14321/stat : 14321 (java) S 14305 14305 13758 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 150220044 26628161536 10969 33554432000 4194304 4196468 140724916004704 140223288653808 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14322] ppid=14305 vsize=26004064 memory=280704835621520 CPUtime=0.02 cores=0-7
/proc/14307/task/14322/stat : 14322 (java) S 14305 14305 13758 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 20 0 150220044 26628161536 10969 33554432000 4194304 4196468 140724916004704 140223287601264 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14323] ppid=14305 vsize=26004064 memory=280704835619216 CPUtime=0.02 cores=0-7
/proc/14307/task/14323/stat : 14323 (java) S 14305 14305 13758 0 -1 1077944384 243 0 0 0 2 0 0 0 20 0 20 0 150220044 26628161536 10969 33554432000 4194304 4196468 140724916004704 140223286548720 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14324] ppid=14305 vsize=26004064 memory=280704835635376 CPUtime=0.12 cores=0-7
/proc/14307/task/14324/stat : 14324 (java) R 14305 14305 13758 0 -1 4202560 806 0 0 0 12 0 0 0 20 0 20 0 150220044 26628161536 10969 33554432000 4194304 4196468 140724916004704 140223285493112 140224733275367 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14325] ppid=14305 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14325/stat : 14325 (java) S 14305 14305 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150220045 26628161536 10969 33554432000 4194304 4196468 140724916004704 140223284443872 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14326] ppid=14305 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14307/task/14326/stat : 14326 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220045 26628161536 10969 33554432000 4194304 4196468 140724916004704 140223283391408 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45260 KiB
[startup+0.70089 s]
/proc/loadavg: 5.74 7.63 8.00 6/200 14326
/proc/meminfo: memFree=22996416/32770624 swapFree=67108860/67108860
[pid=14305] ppid=14302 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14305/stat : 14305 (xcsp3-exec) S 14302 14305 13758 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150220039 9740288 346 33554432000 4194304 5098028 140733710003824 140733710001928 140344367575676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10956800 140733710009444 140733710009655 140733710009655 140733710012395 0
/proc/14305/statm: 2378 346 289 221 0 87 0
[pid=14307] ppid=14305 vsize=26004140 memory=143536 CPUtime=2.08 cores=0-7
/proc/14307/stat : 14307 (java) S 14305 14305 13758 0 -1 1077944320 13664 0 0 0 203 5 0 0 20 0 20 0 150220039 26628239360 35884 33554432000 4194304 4196468 140724916004704 140724915987248 140224753032951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
/proc/14307/statm: 6501035 35884 3201 1 0 6488269 0
[pid=14307/tid=14308] ppid=14305 vsize=26004140 memory=280704835993264 CPUtime=0.67 cores=0-7
/proc/14307/task/14308/stat : 14308 (java) R 14305 14305 13758 0 -1 4202560 6472 0 0 0 64 3 0 0 20 0 20 0 150220039 26628239360 35884 33554432000 4194304 4196468 140724916004704 140224757271360 140224390895488 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14309] ppid=14305 vsize=26004140 memory=140352417997680 CPUtime=0 cores=0-7
/proc/14307/task/14309/stat : 14309 (java) S 14305 14305 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150220040 26628239360 35884 33554432000 4194304 4196468 140724916004704 140224311720720 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14310] ppid=14305 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/14307/task/14310/stat : 14310 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220040 26628239360 35884 33554432000 4194304 4196468 140724916004704 140224310668176 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14311] ppid=14305 vsize=26004140 memory=1428 CPUtime=0 cores=0-7
/proc/14307/task/14311/stat : 14311 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150220040 26628239360 35884 33554432000 4194304 4196468 140724916004704 140224309615632 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
################
# More data... #
################
[pid=14307/tid=14313] ppid=14305 vsize=26072752 memory=6791534058613427641 CPUtime=664.21 cores=0-7
/proc/14307/task/14313/stat : 14313 (java) S 14305 14305 13758 0 -1 1077944384 1781249 0 0 0 65906 515 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224307509520 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14314] ppid=14305 vsize=26072752 memory=23212632 CPUtime=663.36 cores=0-7
/proc/14307/task/14314/stat : 14314 (java) S 14305 14305 13758 0 -1 1077944384 1997869 0 0 0 65743 593 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224306456976 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 42 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14315] ppid=14305 vsize=26072752 memory=6944656592387989600 CPUtime=665.02 cores=0-7
/proc/14307/task/14315/stat : 14315 (java) S 14305 14305 13758 0 -1 1077944384 2665986 0 0 0 65985 517 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224305404432 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14316] ppid=14305 vsize=26072752 memory=6944652177228980320 CPUtime=663.6 cores=0-7
/proc/14307/task/14316/stat : 14316 (java) S 14305 14305 13758 0 -1 1077944384 2147809 0 0 0 65805 555 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224304351888 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14317] ppid=14305 vsize=26072752 memory=6791534058613427641 CPUtime=117.17 cores=0-7
/proc/14307/task/14317/stat : 14317 (java) R 14305 14305 13758 0 -1 4202560 961865 0 0 0 11591 126 0 0 20 0 21 0 150220041 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223292863440 140224738029348 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14318] ppid=14305 vsize=26072752 memory=1576 CPUtime=0 cores=0-7
/proc/14307/task/14318/stat : 14318 (java) S 14305 14305 13758 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 21 0 150220042 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223291811296 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14319] ppid=14305 vsize=26072752 memory=928 CPUtime=0 cores=0-7
/proc/14307/task/14319/stat : 14319 (java) S 14305 14305 13758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 150220042 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223290758656 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14320] ppid=14305 vsize=26072752 memory=2240 CPUtime=0 cores=0-7
/proc/14307/task/14320/stat : 14320 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 150220044 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223289707216 140224753051547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14321] ppid=14305 vsize=26072752 memory=4128 CPUtime=1.07 cores=0-7
/proc/14307/task/14321/stat : 14321 (java) S 14305 14305 13758 0 -1 1077944384 4657 0 0 0 106 1 0 0 20 0 21 0 150220044 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223288653856 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14322] ppid=14305 vsize=26072752 memory=2200 CPUtime=1.06 cores=0-7
/proc/14307/task/14322/stat : 14322 (java) S 14305 14305 13758 0 -1 1077944384 5072 0 0 0 105 1 0 0 20 0 21 0 150220044 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223287601312 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14323] ppid=14305 vsize=26072752 memory=1384 CPUtime=1.12 cores=0-7
/proc/14307/task/14323/stat : 14323 (java) S 14305 14305 13758 0 -1 1077944384 4735 0 0 0 111 1 0 0 20 0 21 0 150220044 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223286548480 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14324] ppid=14305 vsize=26072752 memory=23212628 CPUtime=0.53 cores=0-7
/proc/14307/task/14324/stat : 14324 (java) S 14305 14305 13758 0 -1 1077944384 11059 0 0 0 51 2 0 0 20 0 21 0 150220044 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223285496224 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14325] ppid=14305 vsize=26072752 memory=1728 CPUtime=0 cores=0-7
/proc/14307/task/14325/stat : 14325 (java) S 14305 14305 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 150220045 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223284443872 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14326] ppid=14305 vsize=26072752 memory=12136 CPUtime=0.45 cores=0-7
/proc/14307/task/14326/stat : 14326 (java) S 14305 14305 13758 0 -1 1077944384 1739 0 0 0 24 21 0 0 20 0 21 0 150220045 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223283391408 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14344] ppid=14305 vsize=26072752 memory=1708 CPUtime=0 cores=0-7
/proc/14307/task/14344/stat : 14344 (java) S 14305 14305 13758 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 21 0 150326345 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223275880256 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
Current children cumulated CPU time: 5724.97 s
Current children cumulated vsize: 26082264 KiB
Current children cumulated memory: 23214016 KiB
[startup+1078.4 s]
/proc/loadavg: 6.77 6.76 6.42 2/201 14344
/proc/meminfo: memFree=191036/32770624 swapFree=67108860/67108860
[pid=14305] ppid=14302 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14305/stat : 14305 (xcsp3-exec) S 14302 14305 13758 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150220039 9740288 346 33554432000 4194304 5098028 140733710003824 140733710001928 140344367575676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10956800 140733710009444 140733710009655 140733710009655 140733710012395 0
/proc/14305/statm: 2378 346 289 221 0 87 0
[pid=14307] ppid=14305 vsize=26072752 memory=23212632 CPUtime=5726.57 cores=0-7
/proc/14307/stat : 14307 (java) S 14305 14305 13758 0 -1 1077944320 16880243 0 0 0 568176 4481 0 0 20 0 21 0 150220039 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140724915987248 140224753032951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
/proc/14307/statm: 6518188 5803158 3256 1 0 6505422 0
[pid=14307/tid=14308] ppid=14305 vsize=26072752 memory=4012 CPUtime=290.65 cores=0-7
/proc/14307/task/14308/stat : 14308 (java) S 14305 14305 13758 0 -1 1077944384 91880 0 0 0 28977 88 0 0 20 0 21 0 150220039 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224757273632 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14309] ppid=14305 vsize=26072752 memory=41596 CPUtime=664.13 cores=0-7
/proc/14307/task/14309/stat : 14309 (java) S 14305 14305 13758 0 -1 1077944384 2176658 0 0 0 65913 500 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224311720720 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14310] ppid=14305 vsize=26072752 memory=6791534058613427641 CPUtime=664.47 cores=0-7
/proc/14307/task/14310/stat : 14310 (java) S 14305 14305 13758 0 -1 1077944384 1812430 0 0 0 65905 542 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224310668176 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14311] ppid=14305 vsize=26072752 memory=1708 CPUtime=664.09 cores=0-7
/proc/14307/task/14311/stat : 14311 (java) S 14305 14305 13758 0 -1 1077944384 1460248 0 0 0 65898 511 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224309615632 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14312] ppid=14305 vsize=26072752 memory=1012 CPUtime=663.92 cores=0-7
/proc/14307/task/14312/stat : 14312 (java) S 14305 14305 13758 0 -1 1077944384 1746115 0 0 0 65876 516 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224308563088 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 44 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14313] ppid=14305 vsize=26072752 memory=6791534058613427641 CPUtime=664.21 cores=0-7
/proc/14307/task/14313/stat : 14313 (java) S 14305 14305 13758 0 -1 1077944384 1781249 0 0 0 65906 515 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224307509520 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14314] ppid=14305 vsize=26072752 memory=23212628 CPUtime=663.36 cores=0-7
/proc/14307/task/14314/stat : 14314 (java) S 14305 14305 13758 0 -1 1077944384 1997869 0 0 0 65743 593 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224306456976 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 42 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14315] ppid=14305 vsize=26072752 memory=10684 CPUtime=665.02 cores=0-7
/proc/14307/task/14315/stat : 14315 (java) S 14305 14305 13758 0 -1 1077944384 2665986 0 0 0 65985 517 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224305404432 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14316] ppid=14305 vsize=26072752 memory=15880 CPUtime=663.6 cores=0-7
/proc/14307/task/14316/stat : 14316 (java) S 14305 14305 13758 0 -1 1077944384 2147809 0 0 0 65805 555 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224304351888 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14317] ppid=14305 vsize=26072752 memory=796 CPUtime=118.77 cores=0-7
/proc/14307/task/14317/stat : 14317 (java) R 14305 14305 13758 0 -1 4202560 971412 0 0 0 11751 126 0 0 20 0 21 0 150220041 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223292863440 140224738029355 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14318] ppid=14305 vsize=26072752 memory=1228 CPUtime=0 cores=0-7
/proc/14307/task/14318/stat : 14318 (java) S 14305 14305 13758 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 21 0 150220042 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223291811296 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14319] ppid=14305 vsize=26072752 memory=5784 CPUtime=0 cores=0-7
/proc/14307/task/14319/stat : 14319 (java) S 14305 14305 13758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 150220042 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223290758656 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14320] ppid=14305 vsize=26072752 memory=4616 CPUtime=0 cores=0-7
/proc/14307/task/14320/stat : 14320 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 150220044 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223289707216 140224753051547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14321] ppid=14305 vsize=26072752 memory=1928 CPUtime=1.07 cores=0-7
/proc/14307/task/14321/stat : 14321 (java) S 14305 14305 13758 0 -1 1077944384 4657 0 0 0 106 1 0 0 20 0 21 0 150220044 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223288653856 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14322] ppid=14305 vsize=26072752 memory=1428 CPUtime=1.06 cores=0-7
/proc/14307/task/14322/stat : 14322 (java) S 14305 14305 13758 0 -1 1077944384 5072 0 0 0 105 1 0 0 20 0 21 0 150220044 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223287601312 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14323] ppid=14305 vsize=26072752 memory=1196 CPUtime=1.12 cores=0-7
/proc/14307/task/14323/stat : 14323 (java) S 14305 14305 13758 0 -1 1077944384 4735 0 0 0 111 1 0 0 20 0 21 0 150220044 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223286548480 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14324] ppid=14305 vsize=26072752 memory=10684 CPUtime=0.53 cores=0-7
/proc/14307/task/14324/stat : 14324 (java) S 14305 14305 13758 0 -1 1077944384 11059 0 0 0 51 2 0 0 20 0 21 0 150220044 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223285496224 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14325] ppid=14305 vsize=26072752 memory=15880 CPUtime=0 cores=0-7
/proc/14307/task/14325/stat : 14325 (java) S 14305 14305 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 150220045 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223284443872 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14326] ppid=14305 vsize=26072752 memory=22896 CPUtime=0.45 cores=0-7
/proc/14307/task/14326/stat : 14326 (java) S 14305 14305 13758 0 -1 1077944384 1739 0 0 0 24 21 0 0 20 0 21 0 150220045 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223283391408 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14344] ppid=14305 vsize=26072752 memory=16432 CPUtime=0 cores=0-7
/proc/14307/task/14344/stat : 14344 (java) S 14305 14305 13758 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 21 0 150326345 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223275880256 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
Current children cumulated CPU time: 5726.57 s
Current children cumulated vsize: 26082264 KiB
Current children cumulated memory: 23214016 KiB
[startup+1078.8 s]
/proc/loadavg: 6.77 6.76 6.42 2/201 14344
/proc/meminfo: memFree=191036/32770624 swapFree=67108860/67108860
[pid=14305] ppid=14302 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14305/stat : 14305 (xcsp3-exec) S 14302 14305 13758 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150220039 9740288 346 33554432000 4194304 5098028 140733710003824 140733710001928 140344367575676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10956800 140733710009444 140733710009655 140733710009655 140733710012395 0
/proc/14305/statm: 2378 346 289 221 0 87 0
[pid=14307] ppid=14305 vsize=26072752 memory=23212632 CPUtime=5726.97 cores=0-7
/proc/14307/stat : 14307 (java) S 14305 14305 13758 0 -1 1077944320 16880244 0 0 0 568216 4481 0 0 20 0 21 0 150220039 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140724915987248 140224753032951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
/proc/14307/statm: 6518188 5803158 3256 1 0 6505422 0
[pid=14307/tid=14308] ppid=14305 vsize=26072752 memory=1414351094373861289 CPUtime=290.65 cores=0-7
/proc/14307/task/14308/stat : 14308 (java) S 14305 14305 13758 0 -1 1077944384 91880 0 0 0 28977 88 0 0 20 0 21 0 150220039 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224757273632 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14309] ppid=14305 vsize=26072752 memory=-3622645143214314312 CPUtime=664.13 cores=0-7
/proc/14307/task/14309/stat : 14309 (java) S 14305 14305 13758 0 -1 1077944384 2176658 0 0 0 65913 500 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224311720720 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14310] ppid=14305 vsize=26072752 memory=916 CPUtime=664.47 cores=0-7
/proc/14307/task/14310/stat : 14310 (java) S 14305 14305 13758 0 -1 1077944384 1812430 0 0 0 65905 542 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224310668176 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14311] ppid=14305 vsize=26072752 memory=4216 CPUtime=664.09 cores=0-7
/proc/14307/task/14311/stat : 14311 (java) S 14305 14305 13758 0 -1 1077944384 1460248 0 0 0 65898 511 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224309615632 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14312] ppid=14305 vsize=26072752 memory=4100 CPUtime=663.92 cores=0-7
/proc/14307/task/14312/stat : 14312 (java) S 14305 14305 13758 0 -1 1077944384 1746115 0 0 0 65876 516 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224308563088 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 44 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14313] ppid=14305 vsize=26072752 memory=1156 CPUtime=664.21 cores=0-7
/proc/14307/task/14313/stat : 14313 (java) S 14305 14305 13758 0 -1 1077944384 1781249 0 0 0 65906 515 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224307509520 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14314] ppid=14305 vsize=26072752 memory=3424 CPUtime=663.36 cores=0-7
/proc/14307/task/14314/stat : 14314 (java) S 14305 14305 13758 0 -1 1077944384 1997869 0 0 0 65743 593 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224306456976 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 42 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14315] ppid=14305 vsize=26072752 memory=1384 CPUtime=665.02 cores=0-7
/proc/14307/task/14315/stat : 14315 (java) S 14305 14305 13758 0 -1 1077944384 2665986 0 0 0 65985 517 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224305404432 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14316] ppid=14305 vsize=26072752 memory=23212632 CPUtime=663.6 cores=0-7
/proc/14307/task/14316/stat : 14316 (java) S 14305 14305 13758 0 -1 1077944384 2147809 0 0 0 65805 555 0 0 20 0 21 0 150220040 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140224304351888 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14317] ppid=14305 vsize=26072752 memory=6791534058613427641 CPUtime=119.16 cores=0-7
/proc/14307/task/14317/stat : 14317 (java) R 14305 14305 13758 0 -1 4202560 971413 0 0 0 11790 126 0 0 20 0 21 0 150220041 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223292863440 140224738029303 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14318] ppid=14305 vsize=26072752 memory=-8412652160765825907 CPUtime=0 cores=0-7
/proc/14307/task/14318/stat : 14318 (java) S 14305 14305 13758 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 21 0 150220042 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223291811296 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14319] ppid=14305 vsize=26072752 memory=7100839878645619564 CPUtime=0 cores=0-7
/proc/14307/task/14319/stat : 14319 (java) S 14305 14305 13758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 150220042 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223290758656 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14320] ppid=14305 vsize=26072752 memory=-8634980985311628903 CPUtime=0 cores=0-7
/proc/14307/task/14320/stat : 14320 (java) S 14305 14305 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 150220044 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223289707216 140224753051547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14321] ppid=14305 vsize=26072752 memory=7897517683652307531 CPUtime=1.07 cores=0-7
/proc/14307/task/14321/stat : 14321 (java) S 14305 14305 13758 0 -1 1077944384 4657 0 0 0 106 1 0 0 20 0 21 0 150220044 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223288653856 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14322] ppid=14305 vsize=26072752 memory=1576 CPUtime=1.06 cores=0-7
/proc/14307/task/14322/stat : 14322 (java) S 14305 14305 13758 0 -1 1077944384 5072 0 0 0 105 1 0 0 20 0 21 0 150220044 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223287601312 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14323] ppid=14305 vsize=26072752 memory=928 CPUtime=1.12 cores=0-7
/proc/14307/task/14323/stat : 14323 (java) S 14305 14305 13758 0 -1 1077944384 4735 0 0 0 111 1 0 0 20 0 21 0 150220044 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223286548480 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14324] ppid=14305 vsize=26072752 memory=2240 CPUtime=0.53 cores=0-7
/proc/14307/task/14324/stat : 14324 (java) S 14305 14305 13758 0 -1 1077944384 11059 0 0 0 51 2 0 0 20 0 21 0 150220044 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223285496224 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14325] ppid=14305 vsize=26072752 memory=1384 CPUtime=0 cores=0-7
/proc/14307/task/14325/stat : 14325 (java) S 14305 14305 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 150220045 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223284443872 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14326] ppid=14305 vsize=26072752 memory=23212632 CPUtime=0.45 cores=0-7
/proc/14307/task/14326/stat : 14326 (java) S 14305 14305 13758 0 -1 1077944384 1739 0 0 0 24 21 0 0 20 0 21 0 150220045 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223283391408 140224753044098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
[pid=14307/tid=14344] ppid=14305 vsize=26072752 memory=13565981461055745 CPUtime=0 cores=0-7
/proc/14307/task/14344/stat : 14344 (java) S 14305 14305 13758 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 21 0 150326345 26698498048 5803158 33554432000 4194304 4196468 140724916004704 140223275880256 140224753043157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34631680 140724916012178 140724916012355 140724916012355 140724916015055 0
Current children cumulated CPU time: 5726.97 s
Current children cumulated vsize: 26082264 KiB
Current children cumulated memory: 23214016 KiB
[startup+1079 s]*
/proc/loadavg: 6.77 6.76 6.42 2/182 14344
/proc/meminfo: memFree=14453344/32770624 swapFree=67108860/67108860
[pid=14305] ppid=14302 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14305/stat : 14305 (xcsp3-exec) S 14302 14305 13758 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150220039 9740288 346 33554432000 4194304 5098028 140733710003824 140733710001928 140344367575676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10956800 140733710009444 140733710009655 140733710009655 140733710012395 0
/proc/14305/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+1079.11 s]
/proc/loadavg: 6.77 6.76 6.42 2/182 14344
/proc/meminfo: memFree=14453344/32770624 swapFree=67108860/67108860
[pid=14305] ppid=14302 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14305/stat : 14305 (xcsp3-exec) S 14302 14305 13758 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150220039 9740288 346 33554432000 4194304 5098028 140733710003824 140733710001928 140344367575676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10956800 140733710009444 140733710009655 140733710009655 140733710012395 0
/proc/14305/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): 1079.11
CPU time (s): 5727.28
CPU user time (s): 5682.26
CPU system time (s): 45.0249
CPU usage (%): 530.741
Max. virtual memory (cumulated for all children) (KiB): 26082264
Max. memory (cumulated for all children) (KiB): 23214016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5682.26
system time used= 45.0249
maximum resident set size= 23212896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16889335
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74998
involuntary context switches= 71950
# summary of solver processes directly reported to runsolver:
# pid: 14305
# total CPU time (s): 5727.28
# total CPU user time (s): 5682.26
# total CPU system time (s): 45.0249
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66064 second user time and 11.1197 second system time
The end
Begin job on node105 at 2017-08-19 21:23:46 IDJOB=4281142 IDBENCH=138698 IDSOLVER=2675 FILE ID=node105/4281142-1503171486 RUNJOBID= node105-1503165003-13785 PBS_JOBID= 20630832 Free space on /tmp= 61848 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os20/SuperTaillard-os-20-17.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-4281142-1503171486/watcher-4281142-1503171486 -o /tmp/evaluation-result-4281142-1503171486/solver-4281142-1503171486 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503165003-13785 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1532012009 HOME/instance-4281142-1503171486.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4b4738a8e40cdda4c63a077f136d1653 RANDOM SEED=1532012009 node105.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.17 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.17 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.17 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.17 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: 23053568 kB MemAvailable: 31968904 kB Buffers: 275468 kB Cached: 8930900 kB SwapCached: 0 kB Active: 1074820 kB Inactive: 8185400 kB Active(anon): 49892 kB Inactive(anon): 40584 kB Active(file): 1024928 kB Inactive(file): 8144816 kB Unevictable: 7324 kB Mlocked: 7324 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9196 kB Writeback: 0 kB AnonPages: 257448 kB Mapped: 51480 kB Shmem: 33420 kB Slab: 149256 kB SReclaimable: 122852 kB SUnreclaim: 26404 kB KernelStack: 3568 kB PageTables: 4840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332620 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 204800 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61840 MiB End job on node105 at 2017-08-19 21:41:45