Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | ? | 572.737 | 263.254 |
Name | CrosswordDesign/ CrosswordDesign-06-4-rom_c18.xml |
MD5SUM | 68fe1d73007454e14d4d429fadb25a11 |
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 | 180 |
Number of constraints | 48 |
Number of domains | 5 |
Minimum domain size | 2 |
Maximum domain size | 22859 |
Distribution of domain sizes | [{"size":2,"count":12},{"size":7,"count":84},{"size":27,"count":36},{"size":22859,"count":48}] |
Minimum variable degree | 1 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":1,"count":60},{"degree":2,"count":84},{"degree":8,"count":36}] |
Minimum constraint arity | 9 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":9,"count":12},{"arity":10,"count":36}] |
Number of extensional constraints | 48 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":48}] |
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-4297396-1532715307.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297396-1532715307.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 496.01/252.79 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 531.98/257.56 at org.chocosolver.solver.constraints.extension.nary.PropCompactTableStar.computeSupports(PropCompactTableStar.java:81) 531.98/257.56 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 531.98/257.56 at org.chocosolver.solver.constraints.extension.nary.PropCompactTableStar.<init>(PropCompactTableStar.java:45) 531.98/257.56 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2042) 531.98/257.56 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2000) 531.98/257.56 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:315) 531.98/257.56 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:306) 531.98/257.56 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:167) 531.98/257.56 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 531.98/257.56 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 531.98/257.56 at org.xcsp.parser.XCallbacks$$Lambda$99/92150540.accept(Unknown Source) 531.98/257.56 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 531.98/257.56 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 531.98/257.56 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 531.98/257.56 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1414) 531.98/257.56 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 531.98/257.56 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 531.98/257.56 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 531.98/257.56 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 531.98/257.56 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 531.98/257.56 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112) 531.98/257.56 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:100) 531.98/257.56 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 572.48/263.01 s UNKNOWN 572.48/263.01 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 (8580 MiB free) memory of node 1: 16384 MiB (13541 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297396-1532715307/watcher-4297396-1532715307 -o /tmp/evaluation-result-4297396-1532715307/solver-4297396-1532715307 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532705147-14955 --watchdog 2580 HOME/xcsp3-exec -seed 601629614 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297396-1532715307.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=16888, runsolver pid=16885 [startup+0.100138 s]* /proc/loadavg: 1.04 1.13 1.51 2/199 16909 /proc/meminfo: memFree=22636008/32770624 swapFree=67108772/67108860 [pid=16888] ppid=16885 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16888/stat : 16888 (xcsp3-exec) S 16885 16888 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89093620 115843072 363 33554432000 4194304 5098028 140732843115104 140732843113208 139651401458300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24600576 140732843119670 140732843119872 140732843119872 140732843122634 0 /proc/16888/statm: 28282 363 305 221 0 87 0 [pid=16890] ppid=16888 vsize=26104152 memory=27616 CPUtime=0.11 cores=0-7 /proc/16890/stat : 16890 (java) S 16888 16888 14928 0 -1 1077944320 5834 0 0 0 10 1 0 0 20 0 20 0 89093620 26730651648 6904 33554432000 4194304 4196468 140728634665856 140728634648400 140665081245431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 /proc/16890/statm: 6526038 6904 3000 1 0 6488315 0 [pid=16890/tid=16891] ppid=16888 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/16890/task/16891/stat : 16891 (java) R 16888 16888 14928 0 -1 4202560 3845 0 0 0 8 0 0 0 20 0 20 0 89093620 26730651648 6904 33554432000 4194304 4196468 140728634665856 140665085478704 140665065289061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16892] ppid=16888 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16890/task/16892/stat : 16892 (java) S 16888 16888 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 6904 33554432000 4194304 4196468 140728634665856 140665033866128 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16893] ppid=16888 vsize=26104152 memory=140377169495680 CPUtime=0 cores=0-7 /proc/16890/task/16893/stat : 16893 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 6904 33554432000 4194304 4196468 140728634665856 140665032813328 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16894] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16894/stat : 16894 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 6904 33554432000 4194304 4196468 140728634665856 140665031761040 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16895] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16895/stat : 16895 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 6904 33554432000 4194304 4196468 140728634665856 140665030708240 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16896] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16896/stat : 16896 (java) S 16888 16888 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 6904 33554432000 4194304 4196468 140728634665856 140665029654928 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16897] ppid=16888 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/16890/task/16897/stat : 16897 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 6904 33554432000 4194304 4196468 140728634665856 140665028602128 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16898] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16898/stat : 16898 (java) S 16888 16888 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 6904 33554432000 4194304 4196468 140728634665856 140665027549840 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16899] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16899/stat : 16899 (java) S 16888 16888 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 6904 33554432000 4194304 4196468 140728634665856 140665026497040 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16900] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16900/stat : 16900 (java) S 16888 16888 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89093622 26730651648 6904 33554432000 4194304 4196468 140728634665856 140664477010544 140665081256578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16901] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16901/stat : 16901 (java) S 16888 16888 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89093623 26730651648 6904 33554432000 4194304 4196468 140728634665856 140664475956512 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16902] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16902/stat : 16902 (java) S 16888 16888 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89093623 26730651648 6904 33554432000 4194304 4196468 140728634665856 140664406795888 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16903] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16903/stat : 16903 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093626 26730651648 6904 33554432000 4194304 4196468 140728634665856 140664405744208 140665081264027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16904] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16904/stat : 16904 (java) S 16888 16888 14928 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 89093626 26730651648 6904 33554432000 4194304 4196468 140728634665856 140664404691056 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16905] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16905/stat : 16905 (java) S 16888 16888 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89093626 26730651648 6904 33554432000 4194304 4196468 140728634665856 140664403638256 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16906] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16906/stat : 16906 (java) R 16888 16888 14928 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 89093626 26730651648 6904 33554432000 4194304 4196468 140728634665856 140664402585968 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16907] ppid=16888 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/16890/task/16907/stat : 16907 (java) S 16888 16888 14928 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 89093626 26730651648 6904 33554432000 4194304 4196468 140728634665856 140664401533168 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16908] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16908/stat : 16908 (java) S 16888 16888 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89093626 26730651648 6904 33554432000 4194304 4196468 140728634665856 140664400481120 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16909] ppid=16888 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/16890/task/16909/stat : 16909 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093626 26730651648 6904 33554432000 4194304 4196468 140728634665856 140664399428400 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 29068 KiB [startup+0.209825 s]* /proc/loadavg: 1.04 1.13 1.51 3/199 16909 /proc/meminfo: memFree=22626084/32770624 swapFree=67108772/67108860 [pid=16888] ppid=16885 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16888/stat : 16888 (xcsp3-exec) S 16885 16888 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89093620 115843072 363 33554432000 4194304 5098028 140732843115104 140732843113208 139651401458300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24600576 140732843119670 140732843119872 140732843119872 140732843122634 0 /proc/16888/statm: 28282 363 305 221 0 87 0 [pid=16890] ppid=16888 vsize=26104152 memory=39112 CPUtime=0.33 cores=0-7 /proc/16890/stat : 16890 (java) S 16888 16888 14928 0 -1 1077944320 8371 0 0 0 31 2 0 0 20 0 20 0 89093620 26730651648 9778 33554432000 4194304 4196468 140728634665856 140728634648400 140665081245431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 /proc/16890/statm: 6526038 9778 3194 1 0 6488315 0 [pid=16890/tid=16891] ppid=16888 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/16890/task/16891/stat : 16891 (java) R 16888 16888 14928 0 -1 4202560 5617 0 0 0 18 1 0 0 20 0 20 0 89093620 26730651648 9778 33554432000 4194304 4196468 140728634665856 140665085475152 140665065325918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16892] ppid=16888 vsize=26104152 memory=330 CPUtime=0 cores=0-7 /proc/16890/task/16892/stat : 16892 (java) S 16888 16888 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 9778 33554432000 4194304 4196468 140728634665856 140665033866128 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16893] ppid=16888 vsize=26104152 memory=140377169998998 CPUtime=0 cores=0-7 /proc/16890/task/16893/stat : 16893 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 9778 33554432000 4194304 4196468 140728634665856 140665032813328 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16894] ppid=16888 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/16890/task/16894/stat : 16894 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 9778 33554432000 4194304 4196468 140728634665856 140665031761040 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16895] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16895/stat : 16895 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 9778 33554432000 4194304 4196468 140728634665856 140665030708240 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16896] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16896/stat : 16896 (java) S 16888 16888 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 9778 33554432000 4194304 4196468 140728634665856 140665029654928 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16897] ppid=16888 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/16890/task/16897/stat : 16897 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 9778 33554432000 4194304 4196468 140728634665856 140665028602128 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16898] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16898/stat : 16898 (java) S 16888 16888 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 9778 33554432000 4194304 4196468 140728634665856 140665027549840 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16899] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16899/stat : 16899 (java) S 16888 16888 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89093621 26730651648 9778 33554432000 4194304 4196468 140728634665856 140665026497040 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16900] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16900/stat : 16900 (java) S 16888 16888 14928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89093622 26730651648 9778 33554432000 4194304 4196468 140728634665856 140664477010544 140665081256578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16901] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16901/stat : 16901 (java) S 16888 16888 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89093623 26730651648 9778 33554432000 4194304 4196468 140728634665856 140664475956512 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16902] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16902/stat : 16902 (java) S 16888 16888 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89093623 26730651648 9778 33554432000 4194304 4196468 140728634665856 140664406795888 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16903] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16903/stat : 16903 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093626 26730651648 9778 33554432000 4194304 4196468 140728634665856 140664405744208 140665081264027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16904] ppid=16888 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/16890/task/16904/stat : 16904 (java) S 16888 16888 14928 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 89093626 26730651648 9778 33554432000 4194304 4196468 140728634665856 140664404691056 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16905] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16905/stat : 16905 (java) S 16888 16888 14928 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 89093626 26730651648 9778 33554432000 4194304 4196468 140728634665856 140664403638256 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16906] ppid=16888 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7 /proc/16890/task/16906/stat : 16906 (java) S 16888 16888 14928 0 -1 1077944384 327 0 0 0 2 0 0 0 20 0 20 0 89093626 26730651648 9778 33554432000 4194304 4196468 140728634665856 140664402585968 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16907] ppid=16888 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7 /proc/16890/task/16907/stat : 16907 (java) S 16888 16888 14928 0 -1 1077944384 722 0 0 0 8 0 0 0 20 0 20 0 89093626 26730651648 9778 33554432000 4194304 4196468 140728634665856 140664401533168 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16908] ppid=16888 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16908/stat : 16908 (java) S 16888 16888 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89093626 26730651648 9778 33554432000 4194304 4196468 140728634665856 140664400481120 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16909] ppid=16888 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/16890/task/16909/stat : 16909 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093626 26730651648 9778 33554432000 4194304 4196468 140728634665856 140664399428400 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40564 KiB [startup+0.309487 s]* /proc/loadavg: 1.04 1.13 1.51 5/199 16909 /proc/meminfo: memFree=22619260/32770624 swapFree=67108772/67108860 [pid=16888] ppid=16885 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16888/stat : 16888 (xcsp3-exec) S 16885 16888 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89093620 115843072 363 33554432000 4194304 5098028 140732843115104 140732843113208 139651401458300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24600576 140732843119670 140732843119872 140732843119872 140732843122634 0 /proc/16888/statm: 28282 363 305 221 0 87 0 [pid=16890] ppid=16888 vsize=26108408 memory=46136 CPUtime=0.52 cores=0-7 /proc/16890/stat : 16890 (java) S 16888 16888 14928 0 -1 1077944320 9284 0 0 0 49 3 0 0 20 0 20 0 89093620 26735009792 11534 33554432000 4194304 4196468 140728634665856 140728634648400 140665081245431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 /proc/16890/statm: 6527102 11534 3237 1 0 6488315 0 [pid=16890/tid=16891] ppid=16888 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/16890/task/16891/stat : 16891 (java) R 16888 16888 14928 0 -1 4202560 6289 0 0 0 27 2 0 0 20 0 20 0 89093620 26735009792 11589 33554432000 4194304 4196468 140728634665856 140665085482720 140665065325918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16892] ppid=16888 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16892/stat : 16892 (java) S 16888 16888 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89093621 26735009792 11589 33554432000 4194304 4196468 140728634665856 140665033866128 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16893] ppid=16888 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16893/stat : 16893 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093621 26735009792 11589 33554432000 4194304 4196468 140728634665856 140665032813328 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16894] ppid=16888 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16894/stat : 16894 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093621 26735009792 11589 33554432000 4194304 4196468 140728634665856 140665031761040 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16895] ppid=16888 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16895/stat : 16895 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093621 26735009792 11589 33554432000 4194304 4196468 140728634665856 140665030708240 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16896] ppid=16888 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/16890/task/16896/stat : 16896 (java) S 16888 16888 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89093621 26735009792 11589 33554432000 4194304 4196468 140728634665856 140665029654928 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16897] ppid=16888 vsize=26108408 memory=140377046741935 CPUtime=0 cores=0-7 /proc/16890/task/16897/stat : 16897 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093621 26735009792 11589 33554432000 4194304 4196468 140728634665856 140665028602128 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16898] ppid=16888 vsize=26108408 memory=140377046744240 CPUtime=0 cores=0-7 /proc/16890/task/16898/stat : 16898 (java) S 16888 16888 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89093621 26735009792 11589 33554432000 4194304 4196468 140728634665856 140665027549840 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16899] ppid=16888 vsize=26108408 memory=140377046746544 CPUtime=0 cores=0-7 /proc/16890/task/16899/stat : 16899 (java) S 16888 16888 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89093621 26735009792 11589 33554432000 4194304 4196468 140728634665856 140665026497040 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16900] ppid=16888 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16900/stat : 16900 (java) S 16888 16888 14928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89093622 26735009792 11589 33554432000 4194304 4196468 140728634665856 140664477010544 140665081256578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16901] ppid=16888 vsize=26108408 memory=280754093500048 CPUtime=0 cores=0-7 /proc/16890/task/16901/stat : 16901 (java) S 16888 16888 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89093623 26735009792 11589 33554432000 4194304 4196468 140728634665856 140664475956512 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16902] ppid=16888 vsize=26108408 memory=280754093506960 CPUtime=0 cores=0-7 /proc/16890/task/16902/stat : 16902 (java) S 16888 16888 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89093623 26735009792 11589 33554432000 4194304 4196468 140728634665856 140664406795888 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16903] ppid=16888 vsize=26108408 memory=280754093448112 CPUtime=0 cores=0-7 /proc/16890/task/16903/stat : 16903 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093626 26735009792 11589 33554432000 4194304 4196468 140728634665856 140664405744208 140665081264027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16904] ppid=16888 vsize=26108408 memory=280754093520784 CPUtime=0.01 cores=0-7 /proc/16890/task/16904/stat : 16904 (java) S 16888 16888 14928 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 20 0 89093626 26735009792 11589 33554432000 4194304 4196468 140728634665856 140664404691056 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16905] ppid=16888 vsize=26108408 memory=280754093527696 CPUtime=0.02 cores=0-7 /proc/16890/task/16905/stat : 16905 (java) S 16888 16888 14928 0 -1 1077944384 37 0 0 0 2 0 0 0 20 0 20 0 89093626 26735009792 11589 33554432000 4194304 4196468 140728634665856 140664403638256 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16906] ppid=16888 vsize=26108408 memory=280754093525392 CPUtime=0.04 cores=0-7 /proc/16890/task/16906/stat : 16906 (java) R 16888 16888 14928 0 -1 4202560 415 0 0 0 4 0 0 0 20 0 20 0 89093626 26735009792 11589 33554432000 4194304 4196468 140728634665856 140664402585968 140665062767962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16907] ppid=16888 vsize=26108408 memory=280754093541552 CPUtime=0.12 cores=0-7 /proc/16890/task/16907/stat : 16907 (java) S 16888 16888 14928 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 20 0 89093626 26735009792 11589 33554432000 4194304 4196468 140728634665856 140664401533168 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16908] ppid=16888 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16908/stat : 16908 (java) S 16888 16888 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89093626 26735009792 11589 33554432000 4194304 4196468 140728634665856 140664400481120 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16909] ppid=16888 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/16890/task/16909/stat : 16909 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093626 26735009792 11602 33554432000 4194304 4196468 140728634665856 140664399428400 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47588 KiB [startup+0.700952 s] /proc/loadavg: 1.04 1.13 1.51 5/199 16909 /proc/meminfo: memFree=22582772/32770624 swapFree=67108772/67108860 [pid=16888] ppid=16885 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16888/stat : 16888 (xcsp3-exec) S 16885 16888 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89093620 115843072 363 33554432000 4194304 5098028 140732843115104 140732843113208 139651401458300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24600576 140732843119670 140732843119872 140732843119872 140732843122634 0 /proc/16888/statm: 28282 363 305 221 0 87 0 [pid=16890] ppid=16888 vsize=26110532 memory=170340 CPUtime=1.84 cores=0-7 /proc/16890/stat : 16890 (java) S 16888 16888 14928 0 -1 1077944320 12692 0 0 0 179 5 0 0 20 0 20 0 89093620 26737184768 42585 33554432000 4194304 4196468 140728634665856 140728634648400 140665081245431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 /proc/16890/statm: 6527633 42585 3348 1 0 6488827 0 [pid=16890/tid=16891] ppid=16888 vsize=26110532 memory=280754093899440 CPUtime=0.67 cores=0-7 /proc/16890/task/16891/stat : 16891 (java) R 16888 16888 14928 0 -1 4202560 6831 0 0 0 64 3 0 0 20 0 20 0 89093620 26737184768 42585 33554432000 4194304 4196468 140728634665856 140665085479408 140664695536031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16892] ppid=16888 vsize=26110532 memory=140377046950768 CPUtime=0 cores=0-7 /proc/16890/task/16892/stat : 16892 (java) S 16888 16888 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89093621 26737184768 42585 33554432000 4194304 4196468 140728634665856 140665033866128 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16893] ppid=16888 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/16890/task/16893/stat : 16893 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093621 26737184768 42585 33554432000 4194304 4196468 140728634665856 140665032813328 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16894] ppid=16888 vsize=26110532 memory=4616 CPUtime=0 cores=0-7 /proc/16890/task/16894/stat : 16894 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093621 26737184768 42585 33554432000 4194304 4196468 140728634665856 140665031761040 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 ################ # More data... # ################ [pid=16888] ppid=16885 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16888/stat : 16888 (xcsp3-exec) S 16885 16888 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89093620 115843072 363 33554432000 4194304 5098028 140732843115104 140732843113208 139651401458300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24600576 140732843119670 140732843119872 140732843119872 140732843122634 0 /proc/16888/statm: 28282 363 305 221 0 87 0 [pid=16890] ppid=16888 vsize=26110532 memory=23303228 CPUtime=556.99 cores=0-7 /proc/16890/stat : 16890 (java) S 16888 16888 14928 0 -1 1077944320 1543198 0 0 0 49790 5909 0 0 20 0 20 0 89093620 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140728634648400 140665081245431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 /proc/16890/statm: 6527633 5825807 3416 1 0 6488827 0 [pid=16890/tid=16891] ppid=16888 vsize=26110532 memory=4140 CPUtime=215.59 cores=0-7 /proc/16890/task/16891/stat : 16891 (java) S 16888 16888 14928 0 -1 1077944384 20981 0 0 0 21538 21 0 0 20 0 20 0 89093620 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665085487024 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16892] ppid=16888 vsize=26110532 memory=25748 CPUtime=41.91 cores=0-7 /proc/16890/task/16892/stat : 16892 (java) R 16888 16888 14928 0 -1 4202560 266734 0 0 0 3494 697 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665033865936 140665073873639 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16893] ppid=16888 vsize=26110532 memory=1452 CPUtime=42.19 cores=0-7 /proc/16890/task/16893/stat : 16893 (java) R 16888 16888 14928 0 -1 4202560 141124 0 0 0 3549 670 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665032813136 140665073873639 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16894] ppid=16888 vsize=26110532 memory=23303196 CPUtime=42.07 cores=0-7 /proc/16890/task/16894/stat : 16894 (java) R 16888 16888 14928 0 -1 4202560 158033 0 0 0 3497 710 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665031760848 140665073873639 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16895] ppid=16888 vsize=26110532 memory=1452 CPUtime=42.19 cores=0-7 /proc/16890/task/16895/stat : 16895 (java) R 16888 16888 14928 0 -1 4202560 179563 0 0 0 3451 768 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665030708048 140665073873639 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16896] ppid=16888 vsize=26110532 memory=6791534058613427641 CPUtime=41.98 cores=0-7 /proc/16890/task/16896/stat : 16896 (java) R 16888 16888 14928 0 -1 4202560 145698 0 0 0 3459 739 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665029655128 140665074345099 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16897] ppid=16888 vsize=26110532 memory=4332 CPUtime=42.18 cores=0-7 /proc/16890/task/16897/stat : 16897 (java) R 16888 16888 14928 0 -1 4202560 160033 0 0 0 3484 734 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665028602248 140665073873639 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16898] ppid=16888 vsize=26110532 memory=4104 CPUtime=42 cores=0-7 /proc/16890/task/16898/stat : 16898 (java) R 16888 16888 14928 0 -1 4202560 127870 0 0 0 3470 730 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665027549648 140665073873639 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16899] ppid=16888 vsize=26110532 memory=1408 CPUtime=42.15 cores=0-7 /proc/16890/task/16899/stat : 16899 (java) R 16888 16888 14928 0 -1 4202560 243341 0 0 0 3398 817 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665026496848 140665073873639 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16900] ppid=16888 vsize=26110532 memory=3168 CPUtime=2.1 cores=0-7 /proc/16890/task/16900/stat : 16900 (java) S 16888 16888 14928 0 -1 1077944384 78799 0 0 0 202 8 0 0 20 0 20 0 89093622 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664477009088 140665081255637 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16901] ppid=16888 vsize=26110532 memory=1452 CPUtime=0 cores=0-7 /proc/16890/task/16901/stat : 16901 (java) S 16888 16888 14928 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 20 0 89093623 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664475956576 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16902] ppid=16888 vsize=26110532 memory=23303228 CPUtime=0 cores=0-7 /proc/16890/task/16902/stat : 16902 (java) S 16888 16888 14928 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 20 0 89093623 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664406795904 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16903] ppid=16888 vsize=26110532 memory=15872 CPUtime=0 cores=0-7 /proc/16890/task/16903/stat : 16903 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093626 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664405744208 140665081264027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16904] ppid=16888 vsize=26110532 memory=4008 CPUtime=0.59 cores=0-7 /proc/16890/task/16904/stat : 16904 (java) S 16888 16888 14928 0 -1 1077944384 4053 0 0 0 59 0 0 0 20 0 20 0 89093626 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664404691056 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16905] ppid=16888 vsize=26110532 memory=18264 CPUtime=0.59 cores=0-7 /proc/16890/task/16905/stat : 16905 (java) S 16888 16888 14928 0 -1 1077944384 4002 0 0 0 59 0 0 0 20 0 20 0 89093626 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664403638256 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16906] ppid=16888 vsize=26110532 memory=15932 CPUtime=0.69 cores=0-7 /proc/16890/task/16906/stat : 16906 (java) S 16888 16888 14928 0 -1 1077944384 3814 0 0 0 68 1 0 0 20 0 20 0 89093626 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664402585728 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16907] ppid=16888 vsize=26110532 memory=6791534058613427641 CPUtime=0.51 cores=0-7 /proc/16890/task/16907/stat : 16907 (java) S 16888 16888 14928 0 -1 1077944384 6851 0 0 0 50 1 0 0 20 0 20 0 89093626 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664401532064 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16908] ppid=16888 vsize=26110532 memory=15825490724259472 CPUtime=0 cores=0-7 /proc/16890/task/16908/stat : 16908 (java) S 16888 16888 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89093626 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664400481120 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16909] ppid=16888 vsize=26110532 memory=7595156280007682662 CPUtime=0.08 cores=0-7 /proc/16890/task/16909/stat : 16909 (java) S 16888 16888 14928 0 -1 1077944384 817 0 0 0 3 5 0 0 20 0 20 0 89093626 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664399428400 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 Current children cumulated CPU time: 556.99 s Current children cumulated vsize: 26223660 KiB Current children cumulated memory: 23304680 KiB [startup+262.401 s] /proc/loadavg: 2.50 1.54 1.56 9/199 16909 /proc/meminfo: memFree=197932/32770624 swapFree=67108688/67108860 [pid=16888] ppid=16885 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16888/stat : 16888 (xcsp3-exec) S 16885 16888 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89093620 115843072 363 33554432000 4194304 5098028 140732843115104 140732843113208 139651401458300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24600576 140732843119670 140732843119872 140732843119872 140732843122634 0 /proc/16888/statm: 28282 363 305 221 0 87 0 [pid=16890] ppid=16888 vsize=26110532 memory=23303228 CPUtime=569.26 cores=0-7 /proc/16890/stat : 16890 (java) S 16888 16888 14928 0 -1 1077944320 1999809 0 0 0 50982 5944 0 0 20 0 20 0 89093620 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140728634648400 140665081245431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 /proc/16890/statm: 6527633 5825807 3416 1 0 6488827 0 [pid=16890/tid=16891] ppid=16888 vsize=26110532 memory=23303196 CPUtime=215.59 cores=0-7 /proc/16890/task/16891/stat : 16891 (java) S 16888 16888 14928 0 -1 1077944384 20981 0 0 0 21538 21 0 0 20 0 20 0 89093620 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665085487024 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16892] ppid=16888 vsize=26110532 memory=1452 CPUtime=43.44 cores=0-7 /proc/16890/task/16892/stat : 16892 (java) S 16888 16888 14928 0 -1 1077944384 266734 0 0 0 3646 698 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665033866128 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16893] ppid=16888 vsize=26110532 memory=6791534058613427641 CPUtime=43.72 cores=0-7 /proc/16890/task/16893/stat : 16893 (java) S 16888 16888 14928 0 -1 1077944384 141124 0 0 0 3701 671 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665032813328 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16894] ppid=16888 vsize=26110532 memory=1708 CPUtime=43.6 cores=0-7 /proc/16890/task/16894/stat : 16894 (java) S 16888 16888 14928 0 -1 1077944384 158033 0 0 0 3649 711 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665031761040 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16895] ppid=16888 vsize=26110532 memory=792 CPUtime=43.7 cores=0-7 /proc/16890/task/16895/stat : 16895 (java) S 16888 16888 14928 0 -1 1077944384 179563 0 0 0 3601 769 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665030708240 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16896] ppid=16888 vsize=26110532 memory=1228 CPUtime=43.57 cores=0-7 /proc/16890/task/16896/stat : 16896 (java) S 16888 16888 14928 0 -1 1077944384 602307 0 0 0 3589 768 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665029654928 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16897] ppid=16888 vsize=26110532 memory=1452 CPUtime=43.71 cores=0-7 /proc/16890/task/16897/stat : 16897 (java) S 16888 16888 14928 0 -1 1077944384 160033 0 0 0 3636 735 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665028602128 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16898] ppid=16888 vsize=26110532 memory=23303228 CPUtime=43.53 cores=0-7 /proc/16890/task/16898/stat : 16898 (java) S 16888 16888 14928 0 -1 1077944384 127870 0 0 0 3622 731 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665027549840 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16899] ppid=16888 vsize=26110532 memory=952 CPUtime=43.68 cores=0-7 /proc/16890/task/16899/stat : 16899 (java) S 16888 16888 14928 0 -1 1077944384 243341 0 0 0 3550 818 0 0 20 0 20 0 89093621 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140665026497040 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16900] ppid=16888 vsize=26110532 memory=1232 CPUtime=2.11 cores=0-7 /proc/16890/task/16900/stat : 16900 (java) R 16888 16888 14928 0 -1 4202560 78799 0 0 0 203 8 0 0 20 0 20 0 89093622 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664477009088 140665065703051 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16901] ppid=16888 vsize=26110532 memory=2424 CPUtime=0 cores=0-7 /proc/16890/task/16901/stat : 16901 (java) S 16888 16888 14928 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 20 0 89093623 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664475956576 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16902] ppid=16888 vsize=26110532 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/16890/task/16902/stat : 16902 (java) S 16888 16888 14928 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 20 0 89093623 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664406795904 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16903] ppid=16888 vsize=26110532 memory=1444 CPUtime=0 cores=0-7 /proc/16890/task/16903/stat : 16903 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89093626 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664405744208 140665081264027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16904] ppid=16888 vsize=26110532 memory=5668 CPUtime=0.59 cores=0-7 /proc/16890/task/16904/stat : 16904 (java) S 16888 16888 14928 0 -1 1077944384 4053 0 0 0 59 0 0 0 20 0 20 0 89093626 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664404691056 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16905] ppid=16888 vsize=26110532 memory=4616 CPUtime=0.59 cores=0-7 /proc/16890/task/16905/stat : 16905 (java) S 16888 16888 14928 0 -1 1077944384 4002 0 0 0 59 0 0 0 20 0 20 0 89093626 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664403638256 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16906] ppid=16888 vsize=26110532 memory=1452 CPUtime=0.69 cores=0-7 /proc/16890/task/16906/stat : 16906 (java) S 16888 16888 14928 0 -1 1077944384 3814 0 0 0 68 1 0 0 20 0 20 0 89093626 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664402585728 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16907] ppid=16888 vsize=26110532 memory=23303228 CPUtime=0.51 cores=0-7 /proc/16890/task/16907/stat : 16907 (java) S 16888 16888 14928 0 -1 1077944384 6851 0 0 0 50 1 0 0 20 0 20 0 89093626 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664401532064 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16908] ppid=16888 vsize=26110532 memory=1452 CPUtime=0 cores=0-7 /proc/16890/task/16908/stat : 16908 (java) S 16888 16888 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89093626 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664400481120 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16909] ppid=16888 vsize=26110532 memory=22459948 CPUtime=0.08 cores=0-7 /proc/16890/task/16909/stat : 16909 (java) S 16888 16888 14928 0 -1 1077944384 819 0 0 0 3 5 0 0 20 0 20 0 89093626 26737184768 5825807 33554432000 4194304 4196468 140728634665856 140664399428400 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 Current children cumulated CPU time: 569.26 s Current children cumulated vsize: 26223660 KiB Current children cumulated memory: 23304680 KiB [startup+262.801 s] /proc/loadavg: 2.50 1.54 1.56 9/199 16909 /proc/meminfo: memFree=197932/32770624 swapFree=67108688/67108860 [pid=16888] ppid=16885 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16888/stat : 16888 (xcsp3-exec) S 16885 16888 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89093620 115843072 363 33554432000 4194304 5098028 140732843115104 140732843113208 139651401458300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24600576 140732843119670 140732843119872 140732843119872 140732843122634 0 /proc/16888/statm: 28282 363 305 221 0 87 0 [pid=16890] ppid=16888 vsize=26177096 memory=23303240 CPUtime=571.55 cores=0-7 /proc/16890/stat : 16890 (java) S 16888 16888 14928 0 -1 1077944320 2001149 0 0 0 51211 5944 0 0 20 0 21 0 89093620 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140728634648400 140665081245431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 /proc/16890/statm: 6544274 5825810 3416 1 0 6505468 0 [pid=16890/tid=16891] ppid=16888 vsize=26177096 memory=952 CPUtime=215.59 cores=0-7 /proc/16890/task/16891/stat : 16891 (java) S 16888 16888 14928 0 -1 1077944384 20990 0 0 0 21538 21 0 0 20 0 21 0 89093620 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140665085486112 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16892] ppid=16888 vsize=26177096 memory=1232 CPUtime=43.71 cores=0-7 /proc/16890/task/16892/stat : 16892 (java) R 16888 16888 14928 0 -1 4202560 266745 0 0 0 3673 698 0 0 20 0 21 0 89093621 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140665033866328 140665066242019 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16893] ppid=16888 vsize=26177096 memory=2424 CPUtime=44 cores=0-7 /proc/16890/task/16893/stat : 16893 (java) R 16888 16888 14928 0 -1 4202560 141168 0 0 0 3729 671 0 0 20 0 21 0 89093621 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140665032813328 140665065944848 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16894] ppid=16888 vsize=26177096 memory=1576 CPUtime=43.86 cores=0-7 /proc/16890/task/16894/stat : 16894 (java) R 16888 16888 14928 0 -1 4202560 158074 0 0 0 3675 711 0 0 20 0 21 0 89093621 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140665031761040 140665066242077 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16895] ppid=16888 vsize=26177096 memory=928 CPUtime=43.96 cores=0-7 /proc/16890/task/16895/stat : 16895 (java) R 16888 16888 14928 0 -1 4202560 179643 0 0 0 3627 769 0 0 20 0 21 0 89093621 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140665030708240 140665065944848 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16896] ppid=16888 vsize=26177096 memory=2240 CPUtime=43.84 cores=0-7 /proc/16890/task/16896/stat : 16896 (java) R 16888 16888 14928 0 -1 4202560 602632 0 0 0 3616 768 0 0 20 0 21 0 89093621 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140665029654928 140665066242077 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16897] ppid=16888 vsize=26177096 memory=6791534058613427641 CPUtime=43.98 cores=0-7 /proc/16890/task/16897/stat : 16897 (java) R 16888 16888 14928 0 -1 4202560 160034 0 0 0 3663 735 0 0 20 0 21 0 89093621 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140665028602128 140665066242077 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16898] ppid=16888 vsize=26177096 memory=4140 CPUtime=43.8 cores=0-7 /proc/16890/task/16898/stat : 16898 (java) R 16888 16888 14928 0 -1 4202560 127938 0 0 0 3649 731 0 0 20 0 21 0 89093621 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140665027549840 140665066242077 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16899] ppid=16888 vsize=26177096 memory=1452 CPUtime=43.95 cores=0-7 /proc/16890/task/16899/stat : 16899 (java) R 16888 16888 14928 0 -1 4202560 243460 0 0 0 3577 818 0 0 20 0 21 0 89093621 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140665026497240 140665066242077 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16900] ppid=16888 vsize=26177096 memory=1232 CPUtime=2.24 cores=0-7 /proc/16890/task/16900/stat : 16900 (java) S 16888 16888 14928 0 -1 1077944384 79406 0 0 0 216 8 0 0 20 0 21 0 89093622 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140664477009088 140665081255637 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16901] ppid=16888 vsize=26177096 memory=2424 CPUtime=0 cores=0-7 /proc/16890/task/16901/stat : 16901 (java) S 16888 16888 14928 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 21 0 89093623 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140664475956576 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16902] ppid=16888 vsize=26177096 memory=5668 CPUtime=0 cores=0-7 /proc/16890/task/16902/stat : 16902 (java) S 16888 16888 14928 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 21 0 89093623 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140664406795904 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16903] ppid=16888 vsize=26177096 memory=4616 CPUtime=0 cores=0-7 /proc/16890/task/16903/stat : 16903 (java) S 16888 16888 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 89093626 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140664405744208 140665081264027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16904] ppid=16888 vsize=26177096 memory=6791534058613427641 CPUtime=0.59 cores=0-7 /proc/16890/task/16904/stat : 16904 (java) S 16888 16888 14928 0 -1 1077944384 4053 0 0 0 59 0 0 0 20 0 21 0 89093626 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140664404691104 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16905] ppid=16888 vsize=26177096 memory=4332 CPUtime=0.59 cores=0-7 /proc/16890/task/16905/stat : 16905 (java) S 16888 16888 14928 0 -1 1077944384 4002 0 0 0 59 0 0 0 20 0 21 0 89093626 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140664403638304 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16906] ppid=16888 vsize=26177096 memory=4104 CPUtime=0.69 cores=0-7 /proc/16890/task/16906/stat : 16906 (java) S 16888 16888 14928 0 -1 1077944384 3814 0 0 0 68 1 0 0 20 0 21 0 89093626 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140664402585968 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16907] ppid=16888 vsize=26177096 memory=1408 CPUtime=0.51 cores=0-7 /proc/16890/task/16907/stat : 16907 (java) S 16888 16888 14928 0 -1 1077944384 6859 0 0 0 50 1 0 0 20 0 21 0 89093626 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140664401532928 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16908] ppid=16888 vsize=26177096 memory=3212 CPUtime=0 cores=0-7 /proc/16890/task/16908/stat : 16908 (java) S 16888 16888 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 89093626 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140664400481120 140665081255637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 [pid=16890/tid=16909] ppid=16888 vsize=26177096 memory=1452 CPUtime=0.08 cores=0-7 /proc/16890/task/16909/stat : 16909 (java) S 16888 16888 14928 0 -1 1077944384 819 0 0 0 3 5 0 0 20 0 21 0 89093626 26805346304 5825810 33554432000 4194304 4196468 140728634665856 140664399428400 140665081256578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 35835904 140728634672257 140728634672429 140728634672429 140728634675151 0 Current children cumulated CPU time: 571.55 s Current children cumulated vsize: 26290224 KiB Current children cumulated memory: 23304692 KiB [startup+263.2 s] /proc/loadavg: 2.86 1.63 1.59 2/200 16910 /proc/meminfo: memFree=198228/32770624 swapFree=67108688/67108860 [pid=16888] ppid=16885 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16888/stat : 16888 (xcsp3-exec) S 16885 16888 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89093620 115843072 363 33554432000 4194304 5098028 140732843115104 140732843113208 139651401458300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24600576 140732843119670 140732843119872 140732843119872 140732843122634 0 /proc/16888/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): 263.254 CPU time (s): 572.737 CPU user time (s): 513.048 CPU system time (s): 59.689 CPU usage (%): 217.56 Max. virtual memory (cumulated for all children) (KiB): 26290224 Max. memory (cumulated for all children) (KiB): 23304696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 513.048 system time used= 59.689 maximum resident set size= 23303328 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2001874 page faults= 0 swaps= 0 block input operations= 0 block output operations= 544 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19277 involuntary context switches= 8359 # summary of solver processes directly reported to runsolver: # pid: 16888 # total CPU time (s): 572.737 # total CPU user time (s): 513.048 # total CPU system time (s): 59.689 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.85247 second user time and 2.53437 second system time The end
Begin job on node106 at 2018-07-27 20:15:07 IDJOB=4297396 IDBENCH=141313 IDSOLVER=2760 FILE ID=node106/4297396-1532715307 RUNJOBID= node106-1532705147-14955 PBS_JOBID= 21022310 Free space on /tmp= 46164 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/CrosswordDesign/CrosswordDesign-06-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-4297396-1532715307/watcher-4297396-1532715307 -o /tmp/evaluation-result-4297396-1532715307/solver-4297396-1532715307 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532705147-14955 --watchdog 2580 HOME/xcsp3-exec -seed 601629614 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297396-1532715307.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 68fe1d73007454e14d4d429fadb25a11 RANDOM SEED=601629614 node106.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 22653980 kB MemAvailable: 31927728 kB Buffers: 214972 kB Cached: 9203016 kB SwapCached: 56 kB Active: 2701680 kB Inactive: 6774088 kB Active(anon): 4200 kB Inactive(anon): 80704 kB Active(file): 2697480 kB Inactive(file): 6693384 kB Unevictable: 6944 kB Mlocked: 6944 kB SwapTotal: 67108860 kB SwapFree: 67108772 kB Dirty: 24060 kB Writeback: 20 kB AnonPages: 63420 kB Mapped: 42140 kB Shmem: 25140 kB Slab: 338032 kB SReclaimable: 311344 kB SUnreclaim: 26688 kB KernelStack: 3184 kB PageTables: 4660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324388 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: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 46144 MiB End job on node106 at 2018-07-27 20:19:31