Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | ? | 805.702 | 658.539 |
Name | CrosswordDesign/ CrosswordDesign-13-4-rom_c18.xml |
MD5SUM | 0b51c5bbf7274d342280acfb624bd8bf |
Bench Category | COP (optimization 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 | 481 |
Number of constraints | 104 |
Number of domains | 5 |
Minimum domain size | 2 |
Maximum domain size | 129443 |
Distribution of domain sizes | [{"size":2,"count":26},{"size":14,"count":182},{"size":27,"count":169},{"size":129443,"count":104}] |
Minimum variable degree | 1 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":1,"count":130},{"degree":2,"count":182},{"degree":8,"count":169}] |
Minimum constraint arity | 16 |
Maximum constraint arity | 17 |
Distribution of constraint arities | [{"arity":16,"count":26},{"arity":17,"count":78}] |
Number of extensional constraints | 104 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":104}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297403-1532714990.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297403-1532714990.xml, -tl, 20160s, -p, 8] 0.11/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 784.58/655.62 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 805.45/658.37 at org.chocosolver.solver.constraints.extension.nary.PropCompactTableStar.computeSupports(PropCompactTableStar.java:80) 805.45/658.37 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 805.45/658.37 at org.chocosolver.solver.constraints.extension.nary.PropCompactTableStar.<init>(PropCompactTableStar.java:45) 805.45/658.37 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2042) 805.45/658.37 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2000) 805.45/658.37 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:315) 805.45/658.37 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:306) 805.45/658.37 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:167) 805.45/658.37 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 805.45/658.37 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 805.45/658.37 at org.xcsp.parser.XCallbacks$$Lambda$99/480971771.accept(Unknown Source) 805.45/658.37 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 805.45/658.37 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 805.45/658.37 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 805.45/658.37 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1414) 805.45/658.37 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 805.45/658.37 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 805.45/658.37 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 805.45/658.37 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 805.45/658.37 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 805.45/658.37 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112) 805.45/658.37 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:100) 805.45/658.37 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 805.45/658.37 s UNKNOWN 805.45/658.37 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 (14276 MiB free) memory of node 1: 16384 MiB (13306 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297403-1532714990/watcher-4297403-1532714990 -o /tmp/evaluation-result-4297403-1532714990/solver-4297403-1532714990 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532704894-21363 --watchdog 2580 HOME/xcsp3-exec -seed 1824430842 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297403-1532714990.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 Current StackSize limit: 8192 KiB solver pid=1658, runsolver pid=1655 [startup+0.101754 s]* /proc/loadavg: 7.08 7.00 5.22 2/199 1679 /proc/meminfo: memFree=28229780/32770624 swapFree=67108860/67108860 [pid=1658] ppid=1655 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1658/stat : 1658 (xcsp3-exec) S 1655 1658 21336 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89062299 115843072 363 33554432000 4194304 5098028 140736639275744 140736639273848 140431311270524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29941760 140736639280181 140736639280384 140736639280384 140736639283146 0 /proc/1658/statm: 28282 363 305 221 0 87 0 [pid=1660] ppid=1658 vsize=26104152 memory=27208 CPUtime=0.11 cores=0-7 /proc/1660/stat : 1660 (java) S 1658 1658 21336 0 -1 1077944320 5720 0 0 0 10 1 0 0 20 0 20 0 89062299 26730651648 6802 33554432000 4194304 4196468 140728298101936 140728298084480 140089956609783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 /proc/1660/statm: 6526038 6802 2999 1 0 6488315 0 [pid=1660/tid=1661] ppid=1658 vsize=26104152 memory=6935054825532540783 CPUtime=0.08 cores=0-7 /proc/1660/task/1661/stat : 1661 (java) R 1658 1658 21336 0 -1 4202560 3745 0 0 0 8 0 0 0 20 0 20 0 89062299 26730651648 6802 33554432000 4194304 4196468 140728298101936 140089960843056 140089956631709 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1662] ppid=1658 vsize=26104152 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1660/task/1662/stat : 1662 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 6802 33554432000 4194304 4196468 140728298101936 140089909230224 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1663] ppid=1658 vsize=26104152 memory=140695552255616 CPUtime=0 cores=0-7 /proc/1660/task/1663/stat : 1663 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 6802 33554432000 4194304 4196468 140728298101936 140089908177424 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1664] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1664/stat : 1664 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 6802 33554432000 4194304 4196468 140728298101936 140089907124624 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1665] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1665/stat : 1665 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 6802 33554432000 4194304 4196468 140728298101936 140089906071824 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1666] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1666/stat : 1666 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 6802 33554432000 4194304 4196468 140728298101936 140089905020048 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1667] ppid=1658 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/1660/task/1667/stat : 1667 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 6802 33554432000 4194304 4196468 140728298101936 140089903967248 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1668] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1668/stat : 1668 (java) S 1658 1658 21336 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 6802 33554432000 4194304 4196468 140728298101936 140089902914448 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1669] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1669/stat : 1669 (java) S 1658 1658 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 6802 33554432000 4194304 4196468 140728298101936 140089901861648 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1670] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1670/stat : 1670 (java) S 1658 1658 21336 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89062302 26730651648 6802 33554432000 4194304 4196468 140728298101936 140088698759536 140089956620930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1671] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1671/stat : 1671 (java) S 1658 1658 21336 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89062302 26730651648 6802 33554432000 4194304 4196468 140728298101936 140088697705504 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1672] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1672/stat : 1672 (java) S 1658 1658 21336 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89062302 26730651648 6802 33554432000 4194304 4196468 140728298101936 140088696652656 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1673] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1673/stat : 1673 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062305 26730651648 6802 33554432000 4194304 4196468 140728298101936 140088695600976 140089956628379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1674] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1674/stat : 1674 (java) S 1658 1658 21336 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 89062305 26730651648 6802 33554432000 4194304 4196468 140728298101936 140088694549360 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1675] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1675/stat : 1675 (java) S 1658 1658 21336 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 89062305 26730651648 6802 33554432000 4194304 4196468 140728298101936 140088693496560 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1676] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1676/stat : 1676 (java) S 1658 1658 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89062305 26730651648 6802 33554432000 4194304 4196468 140728298101936 140088692443760 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1677] ppid=1658 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/1660/task/1677/stat : 1677 (java) S 1658 1658 21336 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 89062305 26730651648 6802 33554432000 4194304 4196468 140728298101936 140088691390960 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1678] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1678/stat : 1678 (java) S 1658 1658 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89062305 26730651648 6802 33554432000 4194304 4196468 140728298101936 140088690338400 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1679] ppid=1658 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/1660/task/1679/stat : 1679 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062305 26730651648 6802 33554432000 4194304 4196468 140728298101936 140088689285680 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28660 KiB [startup+0.213041 s]* /proc/loadavg: 6.59 6.90 5.20 2/199 1679 /proc/meminfo: memFree=28218244/32770624 swapFree=67108860/67108860 [pid=1658] ppid=1655 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1658/stat : 1658 (xcsp3-exec) S 1655 1658 21336 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89062299 115843072 363 33554432000 4194304 5098028 140736639275744 140736639273848 140431311270524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29941760 140736639280181 140736639280384 140736639280384 140736639283146 0 /proc/1658/statm: 28282 363 305 221 0 87 0 [pid=1660] ppid=1658 vsize=26104152 memory=39548 CPUtime=0.33 cores=0-7 /proc/1660/stat : 1660 (java) S 1658 1658 21336 0 -1 1077944320 8491 0 0 0 30 3 0 0 20 0 20 0 89062299 26730651648 9887 33554432000 4194304 4196468 140728298101936 140728298084480 140089956609783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 /proc/1660/statm: 6526038 9887 3150 1 0 6488315 0 [pid=1660/tid=1661] ppid=1658 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/1660/task/1661/stat : 1661 (java) R 1658 1658 21336 0 -1 4202560 5609 0 0 0 18 1 0 0 20 0 20 0 89062299 26730651648 9887 33554432000 4194304 4196468 140728298101936 140089960846480 140089940690270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1662] ppid=1658 vsize=26104152 memory=339 CPUtime=0 cores=0-7 /proc/1660/task/1662/stat : 1662 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 9887 33554432000 4194304 4196468 140728298101936 140089909230224 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1663] ppid=1658 vsize=26104152 memory=288371071703967360 CPUtime=0 cores=0-7 /proc/1660/task/1663/stat : 1663 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 9887 33554432000 4194304 4196468 140728298101936 140089908177424 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1664] ppid=1658 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/1660/task/1664/stat : 1664 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 9887 33554432000 4194304 4196468 140728298101936 140089907124624 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1665] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1665/stat : 1665 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 9887 33554432000 4194304 4196468 140728298101936 140089906071824 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1666] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1666/stat : 1666 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 9887 33554432000 4194304 4196468 140728298101936 140089905020048 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1667] ppid=1658 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/1660/task/1667/stat : 1667 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 9887 33554432000 4194304 4196468 140728298101936 140089903967248 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1668] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1668/stat : 1668 (java) S 1658 1658 21336 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 9887 33554432000 4194304 4196468 140728298101936 140089902914448 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1669] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1669/stat : 1669 (java) S 1658 1658 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89062300 26730651648 9887 33554432000 4194304 4196468 140728298101936 140089901861648 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1670] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1670/stat : 1670 (java) S 1658 1658 21336 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89062302 26730651648 9887 33554432000 4194304 4196468 140728298101936 140088698759536 140089956620930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1671] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1671/stat : 1671 (java) S 1658 1658 21336 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89062302 26730651648 9887 33554432000 4194304 4196468 140728298101936 140088697705504 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1672] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1672/stat : 1672 (java) S 1658 1658 21336 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89062302 26730651648 9887 33554432000 4194304 4196468 140728298101936 140088696652656 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1673] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1673/stat : 1673 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062305 26730651648 9887 33554432000 4194304 4196468 140728298101936 140088695600976 140089956628379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1674] ppid=1658 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/1660/task/1674/stat : 1674 (java) S 1658 1658 21336 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 20 0 89062305 26730651648 9952 33554432000 4194304 4196468 140728298101936 140088694549360 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1675] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1675/stat : 1675 (java) S 1658 1658 21336 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 20 0 89062305 26730651648 9952 33554432000 4194304 4196468 140728298101936 140088693496560 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1676] ppid=1658 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/1660/task/1676/stat : 1676 (java) S 1658 1658 21336 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 20 0 89062305 26730651648 9952 33554432000 4194304 4196468 140728298101936 140088692443760 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1677] ppid=1658 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7 /proc/1660/task/1677/stat : 1677 (java) S 1658 1658 21336 0 -1 1077944384 760 0 0 0 7 0 0 0 20 0 20 0 89062305 26730651648 9952 33554432000 4194304 4196468 140728298101936 140088691390960 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1678] ppid=1658 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1678/stat : 1678 (java) S 1658 1658 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89062305 26730651648 9952 33554432000 4194304 4196468 140728298101936 140088690338400 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1679] ppid=1658 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/1660/task/1679/stat : 1679 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062305 26730651648 9952 33554432000 4194304 4196468 140728298101936 140088689285680 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41000 KiB [startup+0.312467 s]* /proc/loadavg: 6.59 6.90 5.20 3/199 1679 /proc/meminfo: memFree=28211824/32770624 swapFree=67108860/67108860 [pid=1658] ppid=1655 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1658/stat : 1658 (xcsp3-exec) S 1655 1658 21336 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89062299 115843072 363 33554432000 4194304 5098028 140736639275744 140736639273848 140431311270524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29941760 140736639280181 140736639280384 140736639280384 140736639283146 0 /proc/1658/statm: 28282 363 305 221 0 87 0 [pid=1660] ppid=1658 vsize=26108408 memory=46768 CPUtime=0.51 cores=0-7 /proc/1660/stat : 1660 (java) S 1658 1658 21336 0 -1 1077944320 9354 0 0 0 48 3 0 0 20 0 20 0 89062299 26735009792 11692 33554432000 4194304 4196468 140728298101936 140728298084480 140089956609783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 /proc/1660/statm: 6527102 11692 3260 1 0 6488315 0 [pid=1660/tid=1661] ppid=1658 vsize=26108408 memory=6935054825532540783 CPUtime=0.3 cores=0-7 /proc/1660/task/1661/stat : 1661 (java) R 1658 1658 21336 0 -1 4202560 6303 0 0 0 28 2 0 0 20 0 20 0 89062299 26735009792 11713 33554432000 4194304 4196468 140728298101936 140089960844176 140089956631709 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1662] ppid=1658 vsize=26108408 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1660/task/1662/stat : 1662 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26735009792 11713 33554432000 4194304 4196468 140728298101936 140089909230224 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1663] ppid=1658 vsize=26108408 memory=1416 CPUtime=0 cores=0-7 /proc/1660/task/1663/stat : 1663 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26735009792 11713 33554432000 4194304 4196468 140728298101936 140089908177424 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1664] ppid=1658 vsize=26108408 memory=4612 CPUtime=0 cores=0-7 /proc/1660/task/1664/stat : 1664 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26735009792 11713 33554432000 4194304 4196468 140728298101936 140089907124624 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1665] ppid=1658 vsize=26108408 memory=8496 CPUtime=0 cores=0-7 /proc/1660/task/1665/stat : 1665 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26735009792 11713 33554432000 4194304 4196468 140728298101936 140089906071824 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1666] ppid=1658 vsize=26108408 memory=1624 CPUtime=0 cores=0-7 /proc/1660/task/1666/stat : 1666 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26735009792 11713 33554432000 4194304 4196468 140728298101936 140089905020048 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1667] ppid=1658 vsize=26108408 memory=1200 CPUtime=0 cores=0-7 /proc/1660/task/1667/stat : 1667 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062300 26735009792 11713 33554432000 4194304 4196468 140728298101936 140089903967248 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1668] ppid=1658 vsize=26108408 memory=15872 CPUtime=0 cores=0-7 /proc/1660/task/1668/stat : 1668 (java) S 1658 1658 21336 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89062300 26735009792 11713 33554432000 4194304 4196468 140728298101936 140089902914448 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1669] ppid=1658 vsize=26108408 memory=15708 CPUtime=0 cores=0-7 /proc/1660/task/1669/stat : 1669 (java) S 1658 1658 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89062300 26735009792 11713 33554432000 4194304 4196468 140728298101936 140089901861648 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1670] ppid=1658 vsize=26108408 memory=4052 CPUtime=0 cores=0-7 /proc/1660/task/1670/stat : 1670 (java) S 1658 1658 21336 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89062302 26735009792 11713 33554432000 4194304 4196468 140728298101936 140088698759536 140089956620930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1671] ppid=1658 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1671/stat : 1671 (java) S 1658 1658 21336 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89062302 26735009792 11713 33554432000 4194304 4196468 140728298101936 140088697705504 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1672] ppid=1658 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1672/stat : 1672 (java) S 1658 1658 21336 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89062302 26735009792 11713 33554432000 4194304 4196468 140728298101936 140088696652656 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1673] ppid=1658 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/1660/task/1673/stat : 1673 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062305 26735009792 11713 33554432000 4194304 4196468 140728298101936 140088695600976 140089956628379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1674] ppid=1658 vsize=26108408 memory=0 CPUtime=0.02 cores=0-7 /proc/1660/task/1674/stat : 1674 (java) S 1658 1658 21336 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 20 0 89062305 26735009792 11713 33554432000 4194304 4196468 140728298101936 140088694549360 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1675] ppid=1658 vsize=26108408 memory=140695411197359 CPUtime=0.01 cores=0-7 /proc/1660/task/1675/stat : 1675 (java) S 1658 1658 21336 0 -1 1077944384 142 0 0 0 1 0 0 0 20 0 20 0 89062305 26735009792 11713 33554432000 4194304 4196468 140728298101936 140088693496560 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1676] ppid=1658 vsize=26108408 memory=0 CPUtime=0.04 cores=0-7 /proc/1660/task/1676/stat : 1676 (java) S 1658 1658 21336 0 -1 1077944384 350 0 0 0 4 0 0 0 20 0 20 0 89062305 26735009792 11713 33554432000 4194304 4196468 140728298101936 140088692443760 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1677] ppid=1658 vsize=26108408 memory=281390822385568 CPUtime=0.11 cores=0-7 /proc/1660/task/1677/stat : 1677 (java) S 1658 1658 21336 0 -1 1077944384 806 0 0 0 11 0 0 0 20 0 20 0 89062305 26735009792 11713 33554432000 4194304 4196468 140728298101936 140088691390960 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1678] ppid=1658 vsize=26108408 memory=140695411225460 CPUtime=0 cores=0-7 /proc/1660/task/1678/stat : 1678 (java) S 1658 1658 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89062305 26735009792 11713 33554432000 4194304 4196468 140728298101936 140088690338400 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1679] ppid=1658 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/1660/task/1679/stat : 1679 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062305 26735009792 11713 33554432000 4194304 4196468 140728298101936 140088689285680 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48220 KiB [startup+0.70507 s] /proc/loadavg: 6.59 6.90 5.20 2/199 1679 /proc/meminfo: memFree=28098380/32770624 swapFree=67108860/67108860 [pid=1658] ppid=1655 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1658/stat : 1658 (xcsp3-exec) S 1655 1658 21336 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89062299 115843072 363 33554432000 4194304 5098028 140736639275744 140736639273848 140431311270524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29941760 140736639280181 140736639280384 140736639280384 140736639283146 0 /proc/1658/statm: 28282 363 305 221 0 87 0 [pid=1660] ppid=1658 vsize=26108484 memory=296336 CPUtime=1.6 cores=0-7 /proc/1660/stat : 1660 (java) S 1658 1658 21336 0 -1 1077944320 12929 0 0 0 123 37 0 0 20 0 20 0 89062299 26735087616 74084 33554432000 4194304 4196468 140728298101936 140728298084480 140089956609783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 /proc/1660/statm: 6527121 74084 3342 1 0 6488315 0 [pid=1660/tid=1661] ppid=1658 vsize=26108484 memory=281390822801072 CPUtime=0.61 cores=0-7 /proc/1660/task/1661/stat : 1661 (java) R 1658 1658 21336 0 -1 4202560 6746 0 0 0 55 6 0 0 20 0 20 0 89062299 26735087616 74084 33554432000 4194304 4196468 140728298101936 140089960845392 140089940690270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1662] ppid=1658 vsize=26108484 memory=140695411401584 CPUtime=0.05 cores=0-7 /proc/1660/task/1662/stat : 1662 (java) S 1658 1658 21336 0 -1 1077944384 50 0 0 0 2 3 0 0 20 0 20 0 89062300 26735087616 74084 33554432000 4194304 4196468 140728298101936 140089909230224 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1663] ppid=1658 vsize=26108484 memory=0 CPUtime=0.05 cores=0-7 /proc/1660/task/1663/stat : 1663 (java) S 1658 1658 21336 0 -1 1077944384 56 0 0 0 2 3 0 0 20 0 20 0 89062300 26735087616 74084 33554432000 4194304 4196468 140728298101936 140089908177424 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1664] ppid=1658 vsize=26108484 memory=0 CPUtime=0.05 cores=0-7 /proc/1660/task/1664/stat : 1664 (java) S 1658 1658 21336 0 -1 1077944384 65 0 0 0 2 3 0 0 20 0 20 0 89062300 26735087616 74084 33554432000 4194304 4196468 140728298101936 140089907124624 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 ################ # More data... # ################ [pid=1660/tid=1663] ppid=1658 vsize=26110532 memory=4052 CPUtime=18.54 cores=0-7 /proc/1660/task/1663/stat : 1663 (java) R 1658 1658 21336 0 -1 4202560 89890 0 0 0 1267 587 0 0 20 0 20 0 89062300 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140089908177424 140089949709435 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1664] ppid=1658 vsize=26110532 memory=18248 CPUtime=18.77 cores=0-7 /proc/1660/task/1664/stat : 1664 (java) R 1658 1658 21336 0 -1 4202560 259614 0 0 0 1258 619 0 0 20 0 20 0 89062300 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140089907124512 140089949709556 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1665] ppid=1658 vsize=26110532 memory=640 CPUtime=18.58 cores=0-7 /proc/1660/task/1665/stat : 1665 (java) R 1658 1658 21336 0 -1 4202560 58610 0 0 0 1282 576 0 0 20 0 20 0 89062300 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140089906072024 140089949709439 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1666] ppid=1658 vsize=26110532 memory=1784 CPUtime=18.56 cores=0-7 /proc/1660/task/1666/stat : 1666 (java) R 1658 1658 21336 0 -1 4202560 59395 0 0 0 1315 541 0 0 20 0 20 0 89062300 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140089905020048 140089949712776 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1667] ppid=1658 vsize=26110532 memory=1236 CPUtime=18.46 cores=0-7 /proc/1660/task/1667/stat : 1667 (java) R 1658 1658 21336 0 -1 4202560 57321 0 0 0 1285 561 0 0 20 0 20 0 89062300 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140089903967248 140089949709556 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1668] ppid=1658 vsize=26110532 memory=960 CPUtime=18.73 cores=0-7 /proc/1660/task/1668/stat : 1668 (java) R 1658 1658 21336 0 -1 4202560 261775 0 0 0 1286 587 0 0 20 0 20 0 89062300 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140089902914448 140089949712776 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1669] ppid=1658 vsize=26110532 memory=1944 CPUtime=18.63 cores=0-7 /proc/1660/task/1669/stat : 1669 (java) R 1658 1658 21336 0 -1 4202560 53468 0 0 0 1287 576 0 0 20 0 20 0 89062300 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140089901861648 140089949712762 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1670] ppid=1658 vsize=26110532 memory=1416 CPUtime=1.62 cores=0-7 /proc/1660/task/1670/stat : 1670 (java) S 1658 1658 21336 0 -1 1077944384 42284 0 0 0 155 7 0 0 20 0 20 0 89062302 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140088698758080 140089956619989 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1671] ppid=1658 vsize=26110532 memory=4612 CPUtime=0 cores=0-7 /proc/1660/task/1671/stat : 1671 (java) S 1658 1658 21336 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 89062302 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140088697705568 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1672] ppid=1658 vsize=26110532 memory=8496 CPUtime=0 cores=0-7 /proc/1660/task/1672/stat : 1672 (java) S 1658 1658 21336 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 89062302 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140088696652672 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1673] ppid=1658 vsize=26110532 memory=1624 CPUtime=0 cores=0-7 /proc/1660/task/1673/stat : 1673 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062305 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140088695600976 140089956628379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1674] ppid=1658 vsize=26110532 memory=1200 CPUtime=0.33 cores=0-7 /proc/1660/task/1674/stat : 1674 (java) S 1658 1658 21336 0 -1 1077944384 2461 0 0 0 32 1 0 0 20 0 20 0 89062305 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140088694549360 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1675] ppid=1658 vsize=26110532 memory=15872 CPUtime=0.5 cores=0-7 /proc/1660/task/1675/stat : 1675 (java) S 1658 1658 21336 0 -1 1077944384 2711 0 0 0 50 0 0 0 20 0 20 0 89062305 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140088693496560 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1676] ppid=1658 vsize=26110532 memory=15720 CPUtime=0.59 cores=0-7 /proc/1660/task/1676/stat : 1676 (java) S 1658 1658 21336 0 -1 1077944384 3077 0 0 0 59 0 0 0 20 0 20 0 89062305 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140088692443760 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1677] ppid=1658 vsize=26110532 memory=4052 CPUtime=0.34 cores=0-7 /proc/1660/task/1677/stat : 1677 (java) S 1658 1658 21336 0 -1 1077944384 4161 0 0 0 33 1 0 0 20 0 20 0 89062305 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140088691390960 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1678] ppid=1658 vsize=26110532 memory=18248 CPUtime=0 cores=0-7 /proc/1660/task/1678/stat : 1678 (java) S 1658 1658 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89062305 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140088690338400 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1679] ppid=1658 vsize=26110532 memory=8112282956445269571 CPUtime=0.21 cores=0-7 /proc/1660/task/1679/stat : 1679 (java) S 1658 1658 21336 0 -1 1077944384 1803 0 0 0 8 13 0 0 20 0 20 0 89062305 26737184768 5666551 33554432000 4194304 4196468 140728298101936 140088689285680 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 Current children cumulated CPU time: 787.55 s Current children cumulated vsize: 26223660 KiB Current children cumulated memory: 22667656 KiB [startup+657.602 s] /proc/loadavg: 1.78 1.83 3.14 9/199 1693 /proc/meminfo: memFree=5556964/32770624 swapFree=67108860/67108860 [pid=1658] ppid=1655 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1658/stat : 1658 (xcsp3-exec) S 1655 1658 21336 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89062299 115843072 363 33554432000 4194304 5098028 140736639275744 140736639273848 140431311270524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29941760 140736639280181 140736639280384 140736639280384 140736639283146 0 /proc/1658/statm: 28282 363 305 221 0 87 0 [pid=1660] ppid=1658 vsize=26110532 memory=22666212 CPUtime=800.23 cores=0-7 /proc/1660/stat : 1660 (java) S 1658 1658 21336 0 -1 1077944320 1066630 0 0 0 75281 4742 0 0 20 0 20 0 89062299 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140728298084480 140089956609783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 /proc/1660/statm: 6527633 5666553 3403 1 0 6488827 0 [pid=1660/tid=1661] ppid=1658 vsize=26110532 memory=8112282956445269571 CPUtime=635.11 cores=0-7 /proc/1660/task/1661/stat : 1661 (java) S 1658 1658 21336 0 -1 1077944384 116905 0 0 0 63383 128 0 0 20 0 20 0 89062299 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089960849008 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1662] ppid=1658 vsize=26110532 memory=1452 CPUtime=20.2 cores=0-7 /proc/1660/task/1662/stat : 1662 (java) R 1658 1658 21336 0 -1 4202560 50267 0 0 0 1483 537 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089909230424 140089949709443 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1663] ppid=1658 vsize=26110532 memory=22666104 CPUtime=20.11 cores=0-7 /proc/1660/task/1663/stat : 1663 (java) R 1658 1658 21336 0 -1 4202560 89962 0 0 0 1424 587 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089908177624 140089949709451 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1664] ppid=1658 vsize=26110532 memory=8112282956445269571 CPUtime=20.3 cores=0-7 /proc/1660/task/1664/stat : 1664 (java) R 1658 1658 21336 0 -1 4202560 260172 0 0 0 1411 619 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089907124512 140089949712755 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1665] ppid=1658 vsize=26110532 memory=12060 CPUtime=20.14 cores=0-7 /proc/1660/task/1665/stat : 1665 (java) R 1658 1658 21336 0 -1 4202560 58776 0 0 0 1438 576 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089906072024 140089949709443 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1666] ppid=1658 vsize=26110532 memory=5788 CPUtime=20.12 cores=0-7 /proc/1660/task/1666/stat : 1666 (java) R 1658 1658 21336 0 -1 4202560 59966 0 0 0 1471 541 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089905020248 140089949706256 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1667] ppid=1658 vsize=26110532 memory=792 CPUtime=20.02 cores=0-7 /proc/1660/task/1667/stat : 1667 (java) R 1658 1658 21336 0 -1 4202560 57380 0 0 0 1441 561 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089903967448 140089949709556 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1668] ppid=1658 vsize=26110532 memory=22666104 CPUtime=20.29 cores=0-7 /proc/1660/task/1668/stat : 1668 (java) R 1658 1658 21336 0 -1 4202560 261832 0 0 0 1442 587 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089902914648 140089949706256 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1669] ppid=1658 vsize=26110532 memory=4028 CPUtime=20.19 cores=0-7 /proc/1660/task/1669/stat : 1669 (java) R 1658 1658 21336 0 -1 4202560 53528 0 0 0 1443 576 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089901861848 140089949709556 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1670] ppid=1658 vsize=26110532 memory=1452 CPUtime=1.62 cores=0-7 /proc/1660/task/1670/stat : 1670 (java) S 1658 1658 21336 0 -1 1077944384 42284 0 0 0 155 7 0 0 20 0 20 0 89062302 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088698758080 140089956619989 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1671] ppid=1658 vsize=26110532 memory=22666104 CPUtime=0 cores=0-7 /proc/1660/task/1671/stat : 1671 (java) S 1658 1658 21336 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 89062302 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088697705568 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1672] ppid=1658 vsize=26110532 memory=4104 CPUtime=0 cores=0-7 /proc/1660/task/1672/stat : 1672 (java) S 1658 1658 21336 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 89062302 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088696652672 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1673] ppid=1658 vsize=26110532 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/1660/task/1673/stat : 1673 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062305 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088695600976 140089956628379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1674] ppid=1658 vsize=26110532 memory=2244 CPUtime=0.33 cores=0-7 /proc/1660/task/1674/stat : 1674 (java) S 1658 1658 21336 0 -1 1077944384 2461 0 0 0 32 1 0 0 20 0 20 0 89062305 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088694549360 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1675] ppid=1658 vsize=26110532 memory=4028 CPUtime=0.5 cores=0-7 /proc/1660/task/1675/stat : 1675 (java) S 1658 1658 21336 0 -1 1077944384 2711 0 0 0 50 0 0 0 20 0 20 0 89062305 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088693496560 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1676] ppid=1658 vsize=26110532 memory=25852 CPUtime=0.59 cores=0-7 /proc/1660/task/1676/stat : 1676 (java) S 1658 1658 21336 0 -1 1077944384 3077 0 0 0 59 0 0 0 20 0 20 0 89062305 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088692443760 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1677] ppid=1658 vsize=26110532 memory=1296 CPUtime=0.34 cores=0-7 /proc/1660/task/1677/stat : 1677 (java) S 1658 1658 21336 0 -1 1077944384 4161 0 0 0 33 1 0 0 20 0 20 0 89062305 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088691390960 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1678] ppid=1658 vsize=26110532 memory=4104 CPUtime=0 cores=0-7 /proc/1660/task/1678/stat : 1678 (java) S 1658 1658 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89062305 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088690338400 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1679] ppid=1658 vsize=26110532 memory=2424 CPUtime=0.21 cores=0-7 /proc/1660/task/1679/stat : 1679 (java) S 1658 1658 21336 0 -1 1077944384 1803 0 0 0 8 13 0 0 20 0 20 0 89062305 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088689285680 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 Current children cumulated CPU time: 800.23 s Current children cumulated vsize: 26223660 KiB Current children cumulated memory: 22667664 KiB [startup+658.007 s]* /proc/loadavg: 1.78 1.83 3.14 9/199 1693 /proc/meminfo: memFree=5556964/32770624 swapFree=67108860/67108860 [pid=1658] ppid=1655 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1658/stat : 1658 (xcsp3-exec) S 1655 1658 21336 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89062299 115843072 363 33554432000 4194304 5098028 140736639275744 140736639273848 140431311270524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29941760 140736639280181 140736639280384 140736639280384 140736639283146 0 /proc/1658/statm: 28282 363 305 221 0 87 0 [pid=1660] ppid=1658 vsize=26110532 memory=22666212 CPUtime=803.54 cores=0-7 /proc/1660/stat : 1660 (java) S 1658 1658 21336 0 -1 1077944320 1067159 0 0 0 75611 4743 0 0 20 0 20 0 89062299 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140728298084480 140089956609783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 /proc/1660/statm: 6527633 5666553 3403 1 0 6488827 0 [pid=1660/tid=1661] ppid=1658 vsize=26110532 memory=6935054825532540783 CPUtime=635.11 cores=0-7 /proc/1660/task/1661/stat : 1661 (java) S 1658 1658 21336 0 -1 1077944384 116905 0 0 0 63383 128 0 0 20 0 20 0 89062299 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089960849008 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1662] ppid=1658 vsize=26110532 memory=4126316290023845779 CPUtime=20.61 cores=0-7 /proc/1660/task/1662/stat : 1662 (java) R 1658 1658 21336 0 -1 4202560 50289 0 0 0 1524 537 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089909230424 140089949709447 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1663] ppid=1658 vsize=26110532 memory=4126316290023845779 CPUtime=20.52 cores=0-7 /proc/1660/task/1663/stat : 1663 (java) R 1658 1658 21336 0 -1 4202560 89998 0 0 0 1465 587 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089908177624 140089949709451 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1664] ppid=1658 vsize=26110532 memory=302867320576161975 CPUtime=20.7 cores=0-7 /proc/1660/task/1664/stat : 1664 (java) R 1658 1658 21336 0 -1 4202560 260182 0 0 0 1451 619 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089907124512 140089949709443 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1665] ppid=1658 vsize=26110532 memory=1840 CPUtime=20.56 cores=0-7 /proc/1660/task/1665/stat : 1665 (java) R 1658 1658 21336 0 -1 4202560 59146 0 0 0 1480 576 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089906072024 140089949709443 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1666] ppid=1658 vsize=26110532 memory=2424 CPUtime=20.54 cores=0-7 /proc/1660/task/1666/stat : 1666 (java) R 1658 1658 21336 0 -1 4202560 60002 0 0 0 1513 541 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089905020248 140089949709439 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1667] ppid=1658 vsize=26110532 memory=1840 CPUtime=20.44 cores=0-7 /proc/1660/task/1667/stat : 1667 (java) R 1658 1658 21336 0 -1 4202560 57400 0 0 0 1483 561 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089903967448 140089949709451 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1668] ppid=1658 vsize=26110532 memory=1004 CPUtime=20.71 cores=0-7 /proc/1660/task/1668/stat : 1668 (java) R 1658 1658 21336 0 -1 4202560 261854 0 0 0 1484 587 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089902914648 140089949709451 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1669] ppid=1658 vsize=26110532 memory=12060 CPUtime=20.61 cores=0-7 /proc/1660/task/1669/stat : 1669 (java) R 1658 1658 21336 0 -1 4202560 53541 0 0 0 1485 576 0 0 20 0 20 0 89062300 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140089901861848 140089949709435 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1670] ppid=1658 vsize=26110532 memory=5788 CPUtime=1.62 cores=0-7 /proc/1660/task/1670/stat : 1670 (java) S 1658 1658 21336 0 -1 1077944384 42284 0 0 0 155 7 0 0 20 0 20 0 89062302 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088698758080 140089956619989 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1671] ppid=1658 vsize=26110532 memory=792 CPUtime=0 cores=0-7 /proc/1660/task/1671/stat : 1671 (java) S 1658 1658 21336 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 89062302 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088697705568 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1672] ppid=1658 vsize=26110532 memory=1228 CPUtime=0 cores=0-7 /proc/1660/task/1672/stat : 1672 (java) S 1658 1658 21336 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 89062302 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088696652672 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1673] ppid=1658 vsize=26110532 memory=1944 CPUtime=0 cores=0-7 /proc/1660/task/1673/stat : 1673 (java) S 1658 1658 21336 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89062305 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088695600976 140089956628379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1674] ppid=1658 vsize=26110532 memory=1416 CPUtime=0.33 cores=0-7 /proc/1660/task/1674/stat : 1674 (java) S 1658 1658 21336 0 -1 1077944384 2461 0 0 0 32 1 0 0 20 0 20 0 89062305 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088694549360 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1675] ppid=1658 vsize=26110532 memory=4612 CPUtime=0.5 cores=0-7 /proc/1660/task/1675/stat : 1675 (java) S 1658 1658 21336 0 -1 1077944384 2711 0 0 0 50 0 0 0 20 0 20 0 89062305 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088693496560 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1676] ppid=1658 vsize=26110532 memory=8496 CPUtime=0.59 cores=0-7 /proc/1660/task/1676/stat : 1676 (java) S 1658 1658 21336 0 -1 1077944384 3077 0 0 0 59 0 0 0 20 0 20 0 89062305 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088692443760 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1677] ppid=1658 vsize=26110532 memory=1624 CPUtime=0.34 cores=0-7 /proc/1660/task/1677/stat : 1677 (java) S 1658 1658 21336 0 -1 1077944384 4161 0 0 0 33 1 0 0 20 0 20 0 89062305 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088691390960 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1678] ppid=1658 vsize=26110532 memory=1200 CPUtime=0 cores=0-7 /proc/1660/task/1678/stat : 1678 (java) S 1658 1658 21336 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89062305 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088690338400 140089956619989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 [pid=1660/tid=1679] ppid=1658 vsize=26110532 memory=15872 CPUtime=0.21 cores=0-7 /proc/1660/task/1679/stat : 1679 (java) S 1658 1658 21336 0 -1 1077944384 1803 0 0 0 8 13 0 0 20 0 20 0 89062305 26737184768 5666553 33554432000 4194304 4196468 140728298101936 140088689285680 140089956620930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13836288 140728298108033 140728298108205 140728298108205 140728298110927 0 Current children cumulated CPU time: 803.54 s Current children cumulated vsize: 26223660 KiB Current children cumulated memory: 22667664 KiB [startup+658.401 s] /proc/loadavg: 1.78 1.83 3.14 9/199 1693 /proc/meminfo: memFree=5556964/32770624 swapFree=67108860/67108860 [pid=1658] ppid=1655 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1658/stat : 1658 (xcsp3-exec) S 1655 1658 21336 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89062299 115843072 363 33554432000 4194304 5098028 140736639275744 140736639273848 140431311270524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29941760 140736639280181 140736639280384 140736639280384 140736639283146 0 /proc/1658/statm: 28282 363 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB [startup+658.5 s] /proc/loadavg: 1.78 1.83 3.14 9/199 1693 /proc/meminfo: memFree=5556964/32770624 swapFree=67108860/67108860 [pid=1658] ppid=1655 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1658/stat : 1658 (xcsp3-exec) S 1655 1658 21336 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89062299 115843072 363 33554432000 4194304 5098028 140736639275744 140736639273848 140431311270524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29941760 140736639280181 140736639280384 140736639280384 140736639283146 0 /proc/1658/statm: 28282 363 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 1 Real time (s): 658.539 CPU time (s): 805.702 CPU user time (s): 758.109 CPU system time (s): 47.5924 CPU usage (%): 122.347 Max. virtual memory (cumulated for all children) (KiB): 26223660 Max. memory (cumulated for all children) (KiB): 22667668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 758.11 system time used= 47.5924 maximum resident set size= 22666568 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1068410 page faults= 0 swaps= 0 block input operations= 0 block output operations= 504 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42901 involuntary context switches= 11874 # summary of solver processes directly reported to runsolver: # pid: 1658 # total CPU time (s): 805.702 # total CPU user time (s): 758.109 # total CPU system time (s): 47.5924 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.88877 second user time and 6.52806 second system time The end
Begin job on node151 at 2018-07-27 20:09:51 IDJOB=4297403 IDBENCH=141310 IDSOLVER=2760 FILE ID=node151/4297403-1532714990 RUNJOBID= node151-1532704894-21363 PBS_JOBID= 21022308 Free space on /tmp= 54840 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/CrosswordDesign/CrosswordDesign-13-4-rom_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297403-1532714990/watcher-4297403-1532714990 -o /tmp/evaluation-result-4297403-1532714990/solver-4297403-1532714990 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532704894-21363 --watchdog 2580 HOME/xcsp3-exec -seed 1824430842 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297403-1532714990.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0b51c5bbf7274d342280acfb624bd8bf RANDOM SEED=1824430842 node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 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.87 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.87 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.87 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: 28245720 kB MemAvailable: 31965092 kB Buffers: 157260 kB Cached: 3832636 kB SwapCached: 0 kB Active: 1513480 kB Inactive: 2529964 kB Active(anon): 3400 kB Inactive(anon): 78204 kB Active(file): 1510080 kB Inactive(file): 2451760 kB Unevictable: 7796 kB Mlocked: 7796 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 104620 kB Writeback: 0 kB AnonPages: 61528 kB Mapped: 41908 kB Shmem: 25224 kB Slab: 174188 kB SReclaimable: 146736 kB SUnreclaim: 27452 kB KernelStack: 3168 kB PageTables: 4720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324764 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 54820 MiB End job on node151 at 2018-07-27 20:20:50