Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | ? | 509.64499 | 245.937 |
Name | BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml |
MD5SUM | 53b1156e30bb035a294b23873bcaa6f4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 2400.08 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 133 |
Number of constraints | 25 |
Number of domains | 2 |
Minimum domain size | 23 |
Maximum domain size | 47 |
Distribution of domain sizes | [{"size":23,"count":1},{"size":47,"count":132}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":110},{"degree":4,"count":22}] |
Minimum constraint arity | 6 |
Maximum constraint arity | 132 |
Distribution of constraint arities | [{"arity":6,"count":22},{"arity":23,"count":1},{"arity":132,"count":2}] |
Number of extensional constraints | 22 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":22},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280304-1503170396.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4280304-1503170396.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 509.49/245.83 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 509.49/245.83 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98) 509.49/245.83 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 509.49/245.83 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1867) 509.49/245.83 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1823) 509.49/245.83 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:313) 509.49/245.83 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413) 509.49/245.83 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130) 509.49/245.83 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457) 509.49/245.83 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440) 509.49/245.83 at org.xcsp.parser.XCallbacks$$Lambda$70/1900164709.accept(Unknown Source) 509.49/245.83 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 509.49/245.83 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 509.49/245.83 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437) 509.49/245.83 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406) 509.49/245.83 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368) 509.49/245.83 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353) 509.49/245.83 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260) 509.49/245.83 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 509.49/245.83 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112) 509.49/245.83 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 509.49/245.83 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23) 509.49/245.83 s UNKNOWN 509.49/245.83 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 (12697 MiB free) memory of node 1: 16384 MiB (12126 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280304-1503170396/watcher-4280304-1503170396 -o /tmp/evaluation-result-4280304-1503170396/solver-4280304-1503170396 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503164239-4277 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 706485300 HOME/instance-4280304-1503170396.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=4692, runsolver pid=4689 Current StackSize limit: 8192 KiB [startup+0.100158 s]* /proc/loadavg: 2.37 4.45 6.63 2/199 4713 /proc/meminfo: memFree=25404420/32770624 swapFree=67108860/67108860 [pid=4692] ppid=4689 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/4692/stat : 4692 (xcsp3-exec) S 4689 4692 4250 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150120511 9740288 346 33554432000 4194304 5098028 140731353638096 140731353636200 140643158946428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39010304 140731353646181 140731353646391 140731353646391 140731353649131 0 /proc/4692/statm: 2378 346 289 221 0 87 0 [pid=4694] ppid=4692 vsize=25999808 memory=27056 CPUtime=0.11 cores=0-7 /proc/4694/stat : 4694 (java) S 4692 4692 4250 0 -1 1077944320 5625 0 0 0 10 1 0 0 20 0 20 0 150120511 26623803392 6764 33554432000 4194304 4196468 140729886486448 140729886468992 139770647674615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 /proc/4694/statm: 6499952 6764 2867 1 0 6488269 0 [pid=4694/tid=4695] ppid=4692 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/4694/task/4695/stat : 4695 (java) R 4692 4692 4250 0 -1 4202560 3641 0 0 0 8 0 0 0 20 0 20 0 150120512 26623803392 6764 33554432000 4194304 4196468 140729886486448 139770651907888 139770631718245 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4696] ppid=4692 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/4694/task/4696/stat : 4696 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120513 26623803392 6764 33554432000 4194304 4196468 140729886486448 139770600294800 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4697] ppid=4692 vsize=25999808 memory=140617519859328 CPUtime=0 cores=0-7 /proc/4694/task/4697/stat : 4697 (java) S 4692 4692 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150120513 26623803392 6764 33554432000 4194304 4196468 140729886486448 139770599242000 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4698] ppid=4692 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4698/stat : 4698 (java) S 4692 4692 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150120513 26623803392 6764 33554432000 4194304 4196468 140729886486448 139770598189712 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4699] ppid=4692 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4699/stat : 4699 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120513 26623803392 6764 33554432000 4194304 4196468 140729886486448 139770597136912 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4700] ppid=4692 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4700/stat : 4700 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120513 26623803392 6764 33554432000 4194304 4196468 140729886486448 139770596084624 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4701] ppid=4692 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/4694/task/4701/stat : 4701 (java) S 4692 4692 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150120513 26623803392 6764 33554432000 4194304 4196468 140729886486448 139770595031824 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4702] ppid=4692 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4702/stat : 4702 (java) S 4692 4692 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150120513 26623803392 6764 33554432000 4194304 4196468 140729886486448 139770593979536 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4703] ppid=4692 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4703/stat : 4703 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120513 26623803392 6764 33554432000 4194304 4196468 140729886486448 139770592926736 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4704] ppid=4692 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4704/stat : 4704 (java) S 4692 4692 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150120514 26623803392 6764 33554432000 4194304 4196468 140729886486448 139769707210864 139770647685762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4705] ppid=4692 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4705/stat : 4705 (java) S 4692 4692 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150120514 26623803392 6764 33554432000 4194304 4196468 140729886486448 139769706156832 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4706] ppid=4692 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4706/stat : 4706 (java) S 4692 4692 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150120515 26623803392 6764 33554432000 4194304 4196468 140729886486448 139769705104496 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4707] ppid=4692 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4707/stat : 4707 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120517 26623803392 6764 33554432000 4194304 4196468 140729886486448 139769704052816 139770647693211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4708] ppid=4692 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4708/stat : 4708 (java) S 4692 4692 4250 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 150120517 26623803392 6764 33554432000 4194304 4196468 140729886486448 139769703000688 139770647685762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4709] ppid=4692 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4709/stat : 4709 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120517 26623803392 6764 33554432000 4194304 4196468 140729886486448 139769701947888 139770647685762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4710] ppid=4692 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4710/stat : 4710 (java) S 4692 4692 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150120517 26623803392 6764 33554432000 4194304 4196468 140729886486448 139769700895600 139770647685762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4711] ppid=4692 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/4694/task/4711/stat : 4711 (java) R 4692 4692 4250 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 150120517 26623803392 6764 33554432000 4194304 4196468 140729886486448 139769699842800 139770647686550 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4712] ppid=4692 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4712/stat : 4712 (java) S 4692 4692 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150120517 26623803392 6764 33554432000 4194304 4196468 140729886486448 139769698789728 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4713] ppid=4692 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/4694/task/4713/stat : 4713 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120518 26623803392 6764 33554432000 4194304 4196468 140729886486448 139769697737008 139770647685762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28440 KiB [startup+0.209929 s]* /proc/loadavg: 2.37 4.45 6.63 2/199 4713 /proc/meminfo: memFree=25393380/32770624 swapFree=67108860/67108860 [pid=4692] ppid=4689 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/4692/stat : 4692 (xcsp3-exec) S 4689 4692 4250 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150120511 9740288 346 33554432000 4194304 5098028 140731353638096 140731353636200 140643158946428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39010304 140731353646181 140731353646391 140731353646391 140731353649131 0 /proc/4692/statm: 2378 346 289 221 0 87 0 [pid=4694] ppid=4692 vsize=26004064 memory=38976 CPUtime=0.33 cores=0-7 /proc/4694/stat : 4694 (java) S 4692 4692 4250 0 -1 1077944320 8342 0 0 0 31 2 0 0 20 0 20 0 150120511 26628161536 9744 33554432000 4194304 4196468 140729886486448 140729886468992 139770647674615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 /proc/4694/statm: 6501016 9744 3046 1 0 6488269 0 [pid=4694/tid=4695] ppid=4692 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/4694/task/4695/stat : 4695 (java) R 4692 4692 4250 0 -1 4202560 5425 0 0 0 18 1 0 0 20 0 20 0 150120512 26628161536 9744 33554432000 4194304 4196468 140729886486448 139770651895608 139770640352629 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4696] ppid=4692 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/4694/task/4696/stat : 4696 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 9744 33554432000 4194304 4196468 140729886486448 139770600294800 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4697] ppid=4692 vsize=26004064 memory=4049214478231144096 CPUtime=0 cores=0-7 /proc/4694/task/4697/stat : 4697 (java) S 4692 4692 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 9744 33554432000 4194304 4196468 140729886486448 139770599242000 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4698] ppid=4692 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/4694/task/4698/stat : 4698 (java) S 4692 4692 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 9744 33554432000 4194304 4196468 140729886486448 139770598189712 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4699] ppid=4692 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4699/stat : 4699 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 9744 33554432000 4194304 4196468 140729886486448 139770597136912 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4700] ppid=4692 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4700/stat : 4700 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 9744 33554432000 4194304 4196468 140729886486448 139770596084624 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4701] ppid=4692 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/4694/task/4701/stat : 4701 (java) S 4692 4692 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 9744 33554432000 4194304 4196468 140729886486448 139770595031824 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4702] ppid=4692 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4702/stat : 4702 (java) S 4692 4692 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 9744 33554432000 4194304 4196468 140729886486448 139770593979536 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4703] ppid=4692 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4703/stat : 4703 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 9744 33554432000 4194304 4196468 140729886486448 139770592926736 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4704] ppid=4692 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4704/stat : 4704 (java) S 4692 4692 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150120514 26628161536 9744 33554432000 4194304 4196468 140729886486448 139769707210864 139770647685762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4705] ppid=4692 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4705/stat : 4705 (java) S 4692 4692 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150120514 26628161536 9744 33554432000 4194304 4196468 140729886486448 139769706156832 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4706] ppid=4692 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4706/stat : 4706 (java) S 4692 4692 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150120515 26628161536 9744 33554432000 4194304 4196468 140729886486448 139769705104496 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4707] ppid=4692 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4707/stat : 4707 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120517 26628161536 9744 33554432000 4194304 4196468 140729886486448 139769704052816 139770647693211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4708] ppid=4692 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/4694/task/4708/stat : 4708 (java) S 4692 4692 4250 0 -1 1077944384 630 0 0 0 1 0 0 0 20 0 20 0 150120517 26628161536 9744 33554432000 4194304 4196468 140729886486448 139769703000688 139770647685762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4709] ppid=4692 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/4694/task/4709/stat : 4709 (java) S 4692 4692 4250 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 150120517 26628161536 9744 33554432000 4194304 4196468 140729886486448 139769701947888 139770647685762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4710] ppid=4692 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/4694/task/4710/stat : 4710 (java) S 4692 4692 4250 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 20 0 150120517 26628161536 9744 33554432000 4194304 4196468 140729886486448 139769700895600 139770647685762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4711] ppid=4692 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/4694/task/4711/stat : 4711 (java) R 4692 4692 4250 0 -1 4202560 705 0 0 0 7 0 0 0 20 0 20 0 150120517 26628161536 9744 33554432000 4194304 4196468 140729886486448 139769699842800 139770647695962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4712] ppid=4692 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4712/stat : 4712 (java) S 4692 4692 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150120517 26628161536 9744 33554432000 4194304 4196468 140729886486448 139769698789728 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4713] ppid=4692 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/4694/task/4713/stat : 4713 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120518 26628161536 9744 33554432000 4194304 4196468 140729886486448 139769697737008 139770647685762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40360 KiB [startup+0.309603 s]* /proc/loadavg: 2.37 4.45 6.63 2/199 4713 /proc/meminfo: memFree=25386540/32770624 swapFree=67108860/67108860 [pid=4692] ppid=4689 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/4692/stat : 4692 (xcsp3-exec) S 4689 4692 4250 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150120511 9740288 346 33554432000 4194304 5098028 140731353638096 140731353636200 140643158946428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39010304 140731353646181 140731353646391 140731353646391 140731353649131 0 /proc/4692/statm: 2378 346 289 221 0 87 0 [pid=4694] ppid=4692 vsize=26004064 memory=45948 CPUtime=0.48 cores=0-7 /proc/4694/stat : 4694 (java) S 4692 4692 4250 0 -1 1077944320 9173 0 0 0 46 2 0 0 20 0 20 0 150120511 26628161536 11487 33554432000 4194304 4196468 140729886486448 140729886468992 139770647674615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 /proc/4694/statm: 6501016 11487 3078 1 0 6488269 0 [pid=4694/tid=4695] ppid=4692 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/4694/task/4695/stat : 4695 (java) R 4692 4692 4250 0 -1 4202560 6099 0 0 0 27 2 0 0 20 0 20 0 150120512 26628161536 11487 33554432000 4194304 4196468 140729886486448 139770651911120 139770647696541 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4696] ppid=4692 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4696/stat : 4696 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 11487 33554432000 4194304 4196468 140729886486448 139770600294800 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4697] ppid=4692 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4697/stat : 4697 (java) S 4692 4692 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 11487 33554432000 4194304 4196468 140729886486448 139770599242000 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4698] ppid=4692 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4698/stat : 4698 (java) S 4692 4692 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 11487 33554432000 4194304 4196468 140729886486448 139770598189712 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4699] ppid=4692 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4699/stat : 4699 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 11487 33554432000 4194304 4196468 140729886486448 139770597136912 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4700] ppid=4692 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/4694/task/4700/stat : 4700 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 11487 33554432000 4194304 4196468 140729886486448 139770596084624 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4701] ppid=4692 vsize=26004064 memory=140617363583919 CPUtime=0 cores=0-7 /proc/4694/task/4701/stat : 4701 (java) S 4692 4692 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 11487 33554432000 4194304 4196468 140729886486448 139770595031824 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4702] ppid=4692 vsize=26004064 memory=140617363586224 CPUtime=0 cores=0-7 /proc/4694/task/4702/stat : 4702 (java) S 4692 4692 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 11487 33554432000 4194304 4196468 140729886486448 139770593979536 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4703] ppid=4692 vsize=26004064 memory=140617363588528 CPUtime=0 cores=0-7 /proc/4694/task/4703/stat : 4703 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120513 26628161536 11487 33554432000 4194304 4196468 140729886486448 139770592926736 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4704] ppid=4692 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4704/stat : 4704 (java) S 4692 4692 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150120514 26628161536 11487 33554432000 4194304 4196468 140729886486448 139769707210864 139770647685762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4705] ppid=4692 vsize=26004064 memory=281234727184016 CPUtime=0 cores=0-7 /proc/4694/task/4705/stat : 4705 (java) S 4692 4692 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150120514 26628161536 11487 33554432000 4194304 4196468 140729886486448 139769706156832 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4706] ppid=4692 vsize=26004064 memory=281234727190928 CPUtime=0 cores=0-7 /proc/4694/task/4706/stat : 4706 (java) S 4692 4692 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150120515 26628161536 11487 33554432000 4194304 4196468 140729886486448 139769705104496 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4707] ppid=4692 vsize=26004064 memory=281234727132208 CPUtime=0 cores=0-7 /proc/4694/task/4707/stat : 4707 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120517 26628161536 11487 33554432000 4194304 4196468 140729886486448 139769704052816 139770647693211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4708] ppid=4692 vsize=26004064 memory=281234727204752 CPUtime=0.02 cores=0-7 /proc/4694/task/4708/stat : 4708 (java) R 4692 4692 4250 0 -1 4202560 637 0 0 0 2 0 0 0 20 0 20 0 150120517 26628161536 11487 33554432000 4194304 4196468 140729886486448 139769703000688 139770626831680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4709] ppid=4692 vsize=26004064 memory=281234727211664 CPUtime=0.02 cores=0-7 /proc/4694/task/4709/stat : 4709 (java) S 4692 4692 4250 0 -1 1077944384 92 0 0 0 2 0 0 0 20 0 20 0 150120517 26628161536 11487 33554432000 4194304 4196468 140729886486448 139769701947888 139770647685762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4710] ppid=4692 vsize=26004064 memory=281234727209360 CPUtime=0.02 cores=0-7 /proc/4694/task/4710/stat : 4710 (java) S 4692 4692 4250 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 20 0 150120517 26628161536 11487 33554432000 4194304 4196468 140729886486448 139769700895600 139770647685762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4711] ppid=4692 vsize=26004064 memory=281234727225520 CPUtime=0.12 cores=0-7 /proc/4694/task/4711/stat : 4711 (java) R 4692 4692 4250 0 -1 4202560 809 0 0 0 12 0 0 0 20 0 20 0 150120517 26628161536 11487 33554432000 4194304 4196468 140729886486448 139769699842800 139770626166723 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4712] ppid=4692 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/4694/task/4712/stat : 4712 (java) S 4692 4692 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150120517 26628161536 11487 33554432000 4194304 4196468 140729886486448 139769698789728 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4713] ppid=4692 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/4694/task/4713/stat : 4713 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120518 26628161536 11487 33554432000 4194304 4196468 140729886486448 139769697737008 139770647685762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47332 KiB [startup+0.701032 s] /proc/loadavg: 2.37 4.45 6.63 9/199 4713 /proc/meminfo: memFree=25194208/32770624 swapFree=67108860/67108860 [pid=4692] ppid=4689 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/4692/stat : 4692 (xcsp3-exec) S 4689 4692 4250 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150120511 9740288 346 33554432000 4194304 5098028 140731353638096 140731353636200 140643158946428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39010304 140731353646181 140731353646391 140731353646391 140731353649131 0 /proc/4692/statm: 2378 346 289 221 0 87 0 [pid=4694] ppid=4692 vsize=26004140 memory=367920 CPUtime=1.4 cores=0-7 /proc/4694/stat : 4694 (java) S 4692 4692 4250 0 -1 1077944320 10415 0 0 0 98 42 0 0 20 0 20 0 150120511 26628239360 91980 33554432000 4194304 4196468 140729886486448 140729886468992 139770647674615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 /proc/4694/statm: 6501035 91980 3159 1 0 6488269 0 [pid=4694/tid=4695] ppid=4692 vsize=26004140 memory=281234727583408 CPUtime=0.61 cores=0-7 /proc/4694/task/4695/stat : 4695 (java) R 4692 4692 4250 0 -1 4202560 6471 0 0 0 54 7 0 0 20 0 20 0 150120512 26628239360 91980 33554432000 4194304 4196468 140729886486448 139770651908528 139770266945043 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4696] ppid=4692 vsize=26004140 memory=140617363792752 CPUtime=0.05 cores=0-7 /proc/4694/task/4696/stat : 4696 (java) S 4692 4692 4250 0 -1 1077944384 58 0 0 0 1 4 0 0 20 0 20 0 150120513 26628239360 91980 33554432000 4194304 4196468 140729886486448 139770600294800 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4697] ppid=4692 vsize=26004140 memory=0 CPUtime=0.05 cores=0-7 /proc/4694/task/4697/stat : 4697 (java) S 4692 4692 4250 0 -1 1077944384 68 0 0 0 1 4 0 0 20 0 20 0 150120513 26628239360 91980 33554432000 4194304 4196468 140729886486448 139770599242000 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4698] ppid=4692 vsize=26004140 memory=1204 CPUtime=0.05 cores=0-7 /proc/4694/task/4698/stat : 4698 (java) S 4692 4692 4250 0 -1 1077944384 60 0 0 0 1 4 0 0 20 0 20 0 150120513 26628239360 91980 33554432000 4194304 4196468 140729886486448 139770598189712 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 ################ # More data... # ################ [pid=4692] ppid=4689 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/4692/stat : 4692 (xcsp3-exec) S 4689 4692 4250 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150120511 9740288 346 33554432000 4194304 5098028 140731353638096 140731353636200 140643158946428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39010304 140731353646181 140731353646391 140731353646391 140731353649131 0 /proc/4692/statm: 2378 346 289 221 0 87 0 [pid=4694] ppid=4692 vsize=26006188 memory=22143988 CPUtime=508.09 cores=0-7 /proc/4694/stat : 4694 (java) S 4692 4692 4250 0 -1 1077944320 502704 0 0 0 47167 3642 0 0 20 0 20 0 150120511 26630336512 5535997 33554432000 4194304 4196468 140729886486448 140729886468992 139770647674615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 /proc/4694/statm: 6501547 5535997 3255 1 0 6488781 0 [pid=4694/tid=4695] ppid=4692 vsize=26006188 memory=1384 CPUtime=200.52 cores=0-7 /proc/4694/task/4695/stat : 4695 (java) S 4692 4692 4250 0 -1 1077944384 25486 0 0 0 20010 42 0 0 20 0 20 0 150120512 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770651912816 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4696] ppid=4692 vsize=26006188 memory=1384 CPUtime=37.46 cores=0-7 /proc/4694/task/4696/stat : 4696 (java) R 4692 4692 4250 0 -1 4202560 27839 0 0 0 3347 399 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770600294608 139770640302823 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4697] ppid=4692 vsize=26006188 memory=22143988 CPUtime=37.4 cores=0-7 /proc/4694/task/4697/stat : 4697 (java) R 4692 4692 4250 0 -1 4202560 90506 0 0 0 3232 508 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770599241808 139770640302823 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4698] ppid=4692 vsize=26006188 memory=1728 CPUtime=37.38 cores=0-7 /proc/4694/task/4698/stat : 4698 (java) R 4692 4692 4250 0 -1 4202560 35250 0 0 0 3291 447 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770598189520 139770640302823 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4699] ppid=4692 vsize=26006188 memory=8112282956445269571 CPUtime=37.34 cores=0-7 /proc/4694/task/4699/stat : 4699 (java) R 4692 4692 4250 0 -1 4202560 33487 0 0 0 3332 402 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770597137032 139770640302823 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4700] ppid=4692 vsize=26006188 memory=1440 CPUtime=37.6 cores=0-7 /proc/4694/task/4700/stat : 4700 (java) R 4692 4692 4250 0 -1 4202560 83117 0 0 0 3273 487 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770596084824 139770640777634 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4701] ppid=4692 vsize=26006188 memory=15880 CPUtime=37.12 cores=0-7 /proc/4694/task/4701/stat : 4701 (java) R 4692 4692 4250 0 -1 4202560 66095 0 0 0 3295 417 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770595031944 139770640302823 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4702] ppid=4692 vsize=26006188 memory=16432 CPUtime=37.45 cores=0-7 /proc/4694/task/4702/stat : 4702 (java) R 4692 4692 4250 0 -1 4202560 38213 0 0 0 3280 465 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770593979344 139770640302823 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4703] ppid=4692 vsize=26006188 memory=1384 CPUtime=37.47 cores=0-7 /proc/4694/task/4703/stat : 4703 (java) S 4692 4692 4250 0 -1 1077944384 33154 0 0 0 3304 443 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770592926544 139770647685762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4704] ppid=4692 vsize=26006188 memory=22143988 CPUtime=6.09 cores=0-7 /proc/4694/task/4704/stat : 4704 (java) S 4692 4692 4250 0 -1 1077944384 49782 0 0 0 591 18 0 0 20 0 20 0 150120514 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769707209424 139770647684821 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4705] ppid=4692 vsize=26006188 memory=12136 CPUtime=0 cores=0-7 /proc/4694/task/4705/stat : 4705 (java) S 4692 4692 4250 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 150120514 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769706156896 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4706] ppid=4692 vsize=26006188 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/4694/task/4706/stat : 4706 (java) S 4692 4692 4250 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 20 0 150120515 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769705104512 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4707] ppid=4692 vsize=26006188 memory=24032 CPUtime=0 cores=0-7 /proc/4694/task/4707/stat : 4707 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769704052816 139770647693211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4708] ppid=4692 vsize=26006188 memory=22143988 CPUtime=0.52 cores=0-7 /proc/4694/task/4708/stat : 4708 (java) S 4692 4692 4250 0 -1 1077944384 4115 0 0 0 52 0 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769703000736 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4709] ppid=4692 vsize=26006188 memory=2240 CPUtime=0.51 cores=0-7 /proc/4694/task/4709/stat : 4709 (java) S 4692 4692 4250 0 -1 1077944384 3988 0 0 0 51 0 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769701947648 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4710] ppid=4692 vsize=26006188 memory=2424 CPUtime=0.6 cores=0-7 /proc/4694/task/4710/stat : 4710 (java) S 4692 4692 4250 0 -1 1077944384 5273 0 0 0 60 0 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769700895648 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4711] ppid=4692 vsize=26006188 memory=4080 CPUtime=0.36 cores=0-7 /proc/4694/task/4711/stat : 4711 (java) S 4692 4692 4250 0 -1 1077944384 4082 0 0 0 35 1 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769699842848 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4712] ppid=4692 vsize=26006188 memory=932 CPUtime=0 cores=0-7 /proc/4694/task/4712/stat : 4712 (java) S 4692 4692 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769698789728 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4713] ppid=4692 vsize=26006188 memory=1584 CPUtime=0.13 cores=0-7 /proc/4694/task/4713/stat : 4713 (java) S 4692 4692 4250 0 -1 1077944384 915 0 0 0 6 7 0 0 20 0 20 0 150120518 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769697737008 139770647685762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 Current children cumulated CPU time: 508.09 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 22145372 KiB [startup+245.601 s] /proc/loadavg: 2.12 3.10 5.58 2/199 4714 /proc/meminfo: memFree=3253112/32770624 swapFree=67108860/67108860 [pid=4692] ppid=4689 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/4692/stat : 4692 (xcsp3-exec) S 4689 4692 4250 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150120511 9740288 346 33554432000 4194304 5098028 140731353638096 140731353636200 140643158946428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39010304 140731353646181 140731353646391 140731353646391 140731353649131 0 /proc/4692/statm: 2378 346 289 221 0 87 0 [pid=4694] ppid=4692 vsize=26006188 memory=22143988 CPUtime=509.29 cores=0-7 /proc/4694/stat : 4694 (java) S 4692 4692 4250 0 -1 1077944320 504450 0 0 0 47287 3642 0 0 20 0 20 0 150120511 26630336512 5535997 33554432000 4194304 4196468 140729886486448 140729886468992 139770647674615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 /proc/4694/statm: 6501547 5535997 3255 1 0 6488781 0 [pid=4694/tid=4695] ppid=4692 vsize=26006188 memory=2428 CPUtime=200.52 cores=0-7 /proc/4694/task/4695/stat : 4695 (java) S 4692 4692 4250 0 -1 1077944384 25486 0 0 0 20010 42 0 0 20 0 20 0 150120512 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770651912816 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4696] ppid=4692 vsize=26006188 memory=1292 CPUtime=37.52 cores=0-7 /proc/4694/task/4696/stat : 4696 (java) S 4692 4692 4250 0 -1 1077944384 27839 0 0 0 3353 399 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770600294800 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4697] ppid=4692 vsize=26006188 memory=1728 CPUtime=37.46 cores=0-7 /proc/4694/task/4697/stat : 4697 (java) S 4692 4692 4250 0 -1 1077944384 90506 0 0 0 3238 508 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770599242000 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4698] ppid=4692 vsize=26006188 memory=12136 CPUtime=37.44 cores=0-7 /proc/4694/task/4698/stat : 4698 (java) S 4692 4692 4250 0 -1 1077944384 35250 0 0 0 3297 447 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770598189712 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4699] ppid=4692 vsize=26006188 memory=1004 CPUtime=37.39 cores=0-7 /proc/4694/task/4699/stat : 4699 (java) S 4692 4692 4250 0 -1 1077944384 33487 0 0 0 3337 402 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770597136912 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4700] ppid=4692 vsize=26006188 memory=1384 CPUtime=37.66 cores=0-7 /proc/4694/task/4700/stat : 4700 (java) S 4692 4692 4250 0 -1 1077944384 84858 0 0 0 3279 487 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770596084624 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4701] ppid=4692 vsize=26006188 memory=22143988 CPUtime=37.18 cores=0-7 /proc/4694/task/4701/stat : 4701 (java) S 4692 4692 4250 0 -1 1077944384 66095 0 0 0 3301 417 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770595031824 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4702] ppid=4692 vsize=26006188 memory=2240 CPUtime=37.51 cores=0-7 /proc/4694/task/4702/stat : 4702 (java) S 4692 4692 4250 0 -1 1077944384 38213 0 0 0 3286 465 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770593979536 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4703] ppid=4692 vsize=26006188 memory=2424 CPUtime=37.52 cores=0-7 /proc/4694/task/4703/stat : 4703 (java) S 4692 4692 4250 0 -1 1077944384 33154 0 0 0 3309 443 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770592926736 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4704] ppid=4692 vsize=26006188 memory=4080 CPUtime=6.83 cores=0-7 /proc/4694/task/4704/stat : 4704 (java) R 4692 4692 4250 0 -1 4202560 49787 0 0 0 665 18 0 0 20 0 20 0 150120514 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769707209312 139770632132206 0 0 0 16800975 0 0 0 -1 2 0 0 26 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4705] ppid=4692 vsize=26006188 memory=932 CPUtime=0 cores=0-7 /proc/4694/task/4705/stat : 4705 (java) S 4692 4692 4250 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 150120514 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769706156896 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4706] ppid=4692 vsize=26006188 memory=8052 CPUtime=0 cores=0-7 /proc/4694/task/4706/stat : 4706 (java) S 4692 4692 4250 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 20 0 150120515 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769705104512 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4707] ppid=4692 vsize=26006188 memory=840 CPUtime=0 cores=0-7 /proc/4694/task/4707/stat : 4707 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769704052816 139770647693211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4708] ppid=4692 vsize=26006188 memory=1696 CPUtime=0.52 cores=0-7 /proc/4694/task/4708/stat : 4708 (java) S 4692 4692 4250 0 -1 1077944384 4115 0 0 0 52 0 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769703000736 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4709] ppid=4692 vsize=26006188 memory=920 CPUtime=0.51 cores=0-7 /proc/4694/task/4709/stat : 4709 (java) S 4692 4692 4250 0 -1 1077944384 3988 0 0 0 51 0 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769701947648 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4710] ppid=4692 vsize=26006188 memory=4408 CPUtime=0.6 cores=0-7 /proc/4694/task/4710/stat : 4710 (java) S 4692 4692 4250 0 -1 1077944384 5273 0 0 0 60 0 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769700895648 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4711] ppid=4692 vsize=26006188 memory=1156 CPUtime=0.36 cores=0-7 /proc/4694/task/4711/stat : 4711 (java) S 4692 4692 4250 0 -1 1077944384 4082 0 0 0 35 1 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769699842848 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4712] ppid=4692 vsize=26006188 memory=3256 CPUtime=0 cores=0-7 /proc/4694/task/4712/stat : 4712 (java) S 4692 4692 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769698789728 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4713] ppid=4692 vsize=26006188 memory=1228 CPUtime=0.13 cores=0-7 /proc/4694/task/4713/stat : 4713 (java) S 4692 4692 4250 0 -1 1077944384 915 0 0 0 6 7 0 0 20 0 20 0 150120518 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769697737008 139770647685762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 Current children cumulated CPU time: 509.29 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 22145372 KiB [startup+245.801 s] /proc/loadavg: 2.12 3.10 5.58 2/199 4714 /proc/meminfo: memFree=3253112/32770624 swapFree=67108860/67108860 [pid=4692] ppid=4689 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/4692/stat : 4692 (xcsp3-exec) S 4689 4692 4250 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150120511 9740288 346 33554432000 4194304 5098028 140731353638096 140731353636200 140643158946428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39010304 140731353646181 140731353646391 140731353646391 140731353649131 0 /proc/4692/statm: 2378 346 289 221 0 87 0 [pid=4694] ppid=4692 vsize=26006188 memory=22143988 CPUtime=509.49 cores=0-7 /proc/4694/stat : 4694 (java) S 4692 4692 4250 0 -1 1077944320 506091 0 0 0 47307 3642 0 0 20 0 20 0 150120511 26630336512 5535997 33554432000 4194304 4196468 140729886486448 140729886468992 139770647674615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 /proc/4694/statm: 6501547 5535997 3255 1 0 6488781 0 [pid=4694/tid=4695] ppid=4692 vsize=26006188 memory=4616 CPUtime=200.52 cores=0-7 /proc/4694/task/4695/stat : 4695 (java) S 4692 4692 4250 0 -1 1077944384 25486 0 0 0 20010 42 0 0 20 0 20 0 150120512 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770651912816 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4696] ppid=4692 vsize=26006188 memory=8620 CPUtime=37.52 cores=0-7 /proc/4694/task/4696/stat : 4696 (java) S 4692 4692 4250 0 -1 1077944384 27839 0 0 0 3353 399 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770600294800 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4697] ppid=4692 vsize=26006188 memory=792 CPUtime=37.46 cores=0-7 /proc/4694/task/4697/stat : 4697 (java) S 4692 4692 4250 0 -1 1077944384 90506 0 0 0 3238 508 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770599242000 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4698] ppid=4692 vsize=26006188 memory=1204 CPUtime=37.44 cores=0-7 /proc/4694/task/4698/stat : 4698 (java) S 4692 4692 4250 0 -1 1077944384 35250 0 0 0 3297 447 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770598189712 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4699] ppid=4692 vsize=26006188 memory=4486604260213485459 CPUtime=37.39 cores=0-7 /proc/4694/task/4699/stat : 4699 (java) S 4692 4692 4250 0 -1 1077944384 33487 0 0 0 3337 402 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770597136912 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4700] ppid=4692 vsize=26006188 memory=1384 CPUtime=37.66 cores=0-7 /proc/4694/task/4700/stat : 4700 (java) S 4692 4692 4250 0 -1 1077944384 84858 0 0 0 3279 487 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770596084624 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4701] ppid=4692 vsize=26006188 memory=1384 CPUtime=37.18 cores=0-7 /proc/4694/task/4701/stat : 4701 (java) S 4692 4692 4250 0 -1 1077944384 66095 0 0 0 3301 417 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770595031824 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4702] ppid=4692 vsize=26006188 memory=22114568 CPUtime=37.51 cores=0-7 /proc/4694/task/4702/stat : 4702 (java) S 4692 4692 4250 0 -1 1077944384 38213 0 0 0 3286 465 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770593979536 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4703] ppid=4692 vsize=26006188 memory=3256 CPUtime=37.52 cores=0-7 /proc/4694/task/4703/stat : 4703 (java) S 4692 4692 4250 0 -1 1077944384 33154 0 0 0 3309 443 0 0 20 0 20 0 150120513 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139770592926736 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4704] ppid=4692 vsize=26006188 memory=1384 CPUtime=7.03 cores=0-7 /proc/4694/task/4704/stat : 4704 (java) R 4692 4692 4250 0 -1 4202560 51428 0 0 0 685 18 0 0 20 0 20 0 150120514 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769707209312 139770626044776 0 0 0 16800975 0 0 0 -1 2 0 0 26 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4705] ppid=4692 vsize=26006188 memory=22108416 CPUtime=0 cores=0-7 /proc/4694/task/4705/stat : 4705 (java) S 4692 4692 4250 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 150120514 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769706156896 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4706] ppid=4692 vsize=26006188 memory=4104 CPUtime=0 cores=0-7 /proc/4694/task/4706/stat : 4706 (java) S 4692 4692 4250 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 20 0 150120515 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769705104512 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4707] ppid=4692 vsize=26006188 memory=932 CPUtime=0 cores=0-7 /proc/4694/task/4707/stat : 4707 (java) S 4692 4692 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769704052816 139770647693211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4708] ppid=4692 vsize=26006188 memory=1584 CPUtime=0.52 cores=0-7 /proc/4694/task/4708/stat : 4708 (java) S 4692 4692 4250 0 -1 1077944384 4115 0 0 0 52 0 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769703000736 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4709] ppid=4692 vsize=26006188 memory=2196 CPUtime=0.51 cores=0-7 /proc/4694/task/4709/stat : 4709 (java) S 4692 4692 4250 0 -1 1077944384 3988 0 0 0 51 0 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769701947648 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4710] ppid=4692 vsize=26006188 memory=8052 CPUtime=0.6 cores=0-7 /proc/4694/task/4710/stat : 4710 (java) S 4692 4692 4250 0 -1 1077944384 5273 0 0 0 60 0 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769700895648 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4711] ppid=4692 vsize=26006188 memory=840 CPUtime=0.36 cores=0-7 /proc/4694/task/4711/stat : 4711 (java) S 4692 4692 4250 0 -1 1077944384 4082 0 0 0 35 1 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769699842848 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4712] ppid=4692 vsize=26006188 memory=1696 CPUtime=0 cores=0-7 /proc/4694/task/4712/stat : 4712 (java) S 4692 4692 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150120517 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769698789728 139770647684821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 [pid=4694/tid=4713] ppid=4692 vsize=26006188 memory=920 CPUtime=0.13 cores=0-7 /proc/4694/task/4713/stat : 4713 (java) S 4692 4692 4250 0 -1 1077944384 915 0 0 0 6 7 0 0 20 0 20 0 150120518 26630336512 5535997 33554432000 4194304 4196468 140729886486448 139769697737008 139770647685762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 10653696 140729886487698 140729886487875 140729886487875 140729886490575 0 Current children cumulated CPU time: 509.49 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 22145372 KiB [startup+245.901 s] /proc/loadavg: 2.12 3.10 5.58 2/199 4714 /proc/meminfo: memFree=3253112/32770624 swapFree=67108860/67108860 [pid=4692] ppid=4689 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/4692/stat : 4692 (xcsp3-exec) S 4689 4692 4250 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150120511 9740288 346 33554432000 4194304 5098028 140731353638096 140731353636200 140643158946428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39010304 140731353646181 140731353646391 140731353646391 140731353649131 0 /proc/4692/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1384 KiB Child status: 1 Real time (s): 245.937 CPU time (s): 509.645 CPU user time (s): 473.113 CPU system time (s): 36.532 CPU usage (%): 207.225 Max. virtual memory (cumulated for all children) (KiB): 26015700 Max. memory (cumulated for all children) (KiB): 22145372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 473.113 system time used= 36.532 maximum resident set size= 22144424 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 506928 page faults= 0 swaps= 0 block input operations= 0 block output operations= 512 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18565 involuntary context switches= 4819 # summary of solver processes directly reported to runsolver: # pid: 4692 # total CPU time (s): 509.645 # total CPU user time (s): 473.113 # total CPU system time (s): 36.532 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.72844 second user time and 2.37116 second system time The end
Begin job on node148 at 2017-08-19 21:05:36 IDJOB=4280304 IDBENCH=138092 IDSOLVER=2675 FILE ID=node148/4280304-1503170396 RUNJOBID= node148-1503164239-4277 PBS_JOBID= 20630830 Free space on /tmp= 61864 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-50.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280304-1503170396/watcher-4280304-1503170396 -o /tmp/evaluation-result-4280304-1503170396/solver-4280304-1503170396 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503164239-4277 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 706485300 HOME/instance-4280304-1503170396.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 53b1156e30bb035a294b23873bcaa6f4 RANDOM SEED=706485300 node148.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.19 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.19 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.19 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.19 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: 25420688 kB MemAvailable: 31974772 kB Buffers: 294112 kB Cached: 6552724 kB SwapCached: 0 kB Active: 1250220 kB Inactive: 5648776 kB Active(anon): 3532 kB Inactive(anon): 84704 kB Active(file): 1246688 kB Inactive(file): 5564072 kB Unevictable: 7784 kB Mlocked: 7784 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 93684 kB Writeback: 0 kB AnonPages: 59928 kB Mapped: 51404 kB Shmem: 33416 kB Slab: 145164 kB SReclaimable: 118316 kB SUnreclaim: 26848 kB KernelStack: 3168 kB PageTables: 4860 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333480 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61856 MiB End job on node148 at 2017-08-19 21:09:42