Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | ? | 573.597 | 106.328 |
Name | BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-75.xml |
MD5SUM | 9cdf82428becd6b5ad716031980a59d2 |
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.05 |
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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394595-1568440339.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4394595-1568440339.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 573.37/106.19 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 573.37/106.19 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:101) 573.37/106.19 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 573.37/106.19 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2096) 573.37/106.19 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2043) 573.37/106.19 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:317) 573.37/106.19 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:306) 573.37/106.19 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:167) 573.37/106.19 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 573.37/106.19 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 573.37/106.19 at org.xcsp.parser.XCallbacks$$Lambda$110/1511785794.accept(Unknown Source) 573.37/106.19 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 573.37/106.19 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 573.37/106.19 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 573.37/106.19 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 573.37/106.19 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 573.37/106.19 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 573.37/106.19 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 573.37/106.19 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 573.37/106.19 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 573.37/106.19 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 573.37/106.19 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 573.37/106.19 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 573.37/106.19 s UNKNOWN 573.37/106.19 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 (15263 MiB free) memory of node 1: 16384 MiB (15431 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394595-1568440339/watcher-4394595-1568440339 -o /tmp/evaluation-result-4394595-1568440339/solver-4394595-1568440339 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568440293-17651 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1659943065 HOME/instance-4394595-1568440339.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=17668, runsolver pid=17665 [startup+0.100156 s]* /proc/loadavg: 7.39 7.04 7.12 2/212 17689 /proc/meminfo: memFree=31416212/32770624 swapFree=66995932/67108860 [pid=17668] ppid=17665 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17668/stat : 17668 (xcsp3-exec) S 17665 17668 17624 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420285391 115843072 363 33554432000 4194304 5098028 140727079014080 140727079012184 140258627330684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34852864 140727079015285 140727079015529 140727079015529 140727079018442 0 /proc/17668/statm: 28282 363 305 221 0 87 0 [pid=17670] ppid=17668 vsize=28227388 memory=29244 CPUtime=0.13 cores=0-7 /proc/17670/stat : 17670 (java) S 17668 17668 17624 0 -1 1077944320 5716 0 0 0 11 2 0 0 20 0 20 0 420285391 28904845312 7311 33554432000 4194304 4196468 140737439914272 140737439896816 139967957421815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 /proc/17670/statm: 7056847 7311 3141 1 0 7019032 0 [pid=17670/tid=17671] ppid=17668 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/17670/task/17671/stat : 17671 (java) R 17668 17668 17624 0 -1 4202560 3631 0 0 0 8 1 0 0 20 0 20 0 420285391 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967961656352 139967565247571 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17672] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17672/stat : 17672 (java) S 17668 17668 17624 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967910042000 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17673] ppid=17668 vsize=28227388 memory=288370296697702016 CPUtime=0 cores=0-7 /proc/17670/task/17673/stat : 17673 (java) S 17668 17668 17624 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967908989200 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17674] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17674/stat : 17674 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967907936912 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17675] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17675/stat : 17675 (java) S 17668 17668 17624 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967906884112 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17676] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17676/stat : 17676 (java) S 17668 17668 17624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967905831824 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17677] ppid=17668 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17670/task/17677/stat : 17677 (java) S 17668 17668 17624 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967904779024 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17678] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17678/stat : 17678 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967903726736 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17679] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17679/stat : 17679 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967902673936 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17680] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17680/stat : 17680 (java) S 17668 17668 17624 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420285394 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967274653808 139967957432962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17681] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17681/stat : 17681 (java) S 17668 17668 17624 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420285394 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967273599776 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17682] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17682/stat : 17682 (java) S 17668 17668 17624 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420285394 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967272547440 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17683] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17683/stat : 17683 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285397 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967271495760 139967957440411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17684] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17684/stat : 17684 (java) S 17668 17668 17624 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 420285397 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967270443632 139967957432962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17685] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17685/stat : 17685 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285397 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967269390832 139967957432962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17686] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17686/stat : 17686 (java) S 17668 17668 17624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420285397 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967268338544 139967957432962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17687] ppid=17668 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/17670/task/17687/stat : 17687 (java) R 17668 17668 17624 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 20 0 420285397 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967267285744 139967942587470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17688] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17688/stat : 17688 (java) S 17668 17668 17624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420285397 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967266232672 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17689] ppid=17668 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17670/task/17689/stat : 17689 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285397 28904845312 7311 33554432000 4194304 4196468 140737439914272 139967265179952 139967957432962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30696 KiB [startup+0.210406 s]* /proc/loadavg: 7.39 7.04 7.12 3/212 17689 /proc/meminfo: memFree=31402772/32770624 swapFree=66995932/67108860 [pid=17668] ppid=17665 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17668/stat : 17668 (xcsp3-exec) S 17665 17668 17624 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420285391 115843072 363 33554432000 4194304 5098028 140727079014080 140727079012184 140258627330684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34852864 140727079015285 140727079015529 140727079015529 140727079018442 0 /proc/17668/statm: 28282 363 305 221 0 87 0 [pid=17670] ppid=17668 vsize=28227388 memory=41184 CPUtime=0.34 cores=0-7 /proc/17670/stat : 17670 (java) S 17668 17668 17624 0 -1 1077944320 9500 0 0 0 30 4 0 0 20 0 20 0 420285391 28904845312 10296 33554432000 4194304 4196468 140737439914272 140737439896816 139967957421815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 /proc/17670/statm: 7056847 10296 3316 1 0 7019032 0 [pid=17670/tid=17671] ppid=17668 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/17670/task/17671/stat : 17671 (java) R 17668 17668 17624 0 -1 4202560 6646 0 0 0 17 3 0 0 20 0 20 0 420285391 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967961655936 139967935424320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17672] ppid=17668 vsize=28227388 memory=288230600413020516 CPUtime=0 cores=0-7 /proc/17670/task/17672/stat : 17672 (java) S 17668 17668 17624 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967910042000 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17673] ppid=17668 vsize=28227388 memory=139920546007951 CPUtime=0 cores=0-7 /proc/17670/task/17673/stat : 17673 (java) S 17668 17668 17624 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967908989200 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17674] ppid=17668 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17670/task/17674/stat : 17674 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967907936912 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17675] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17675/stat : 17675 (java) S 17668 17668 17624 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967906884112 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17676] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17676/stat : 17676 (java) S 17668 17668 17624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967905831824 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17677] ppid=17668 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17670/task/17677/stat : 17677 (java) S 17668 17668 17624 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967904779024 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17678] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17678/stat : 17678 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967903726736 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17679] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17679/stat : 17679 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285392 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967902673936 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17680] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17680/stat : 17680 (java) S 17668 17668 17624 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420285394 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967274653808 139967957432962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17681] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17681/stat : 17681 (java) S 17668 17668 17624 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420285394 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967273599776 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17682] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17682/stat : 17682 (java) S 17668 17668 17624 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420285394 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967272547440 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17683] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17683/stat : 17683 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285397 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967271495760 139967957440411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17684] ppid=17668 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/17670/task/17684/stat : 17684 (java) S 17668 17668 17624 0 -1 1077944384 669 0 0 0 2 0 0 0 20 0 20 0 420285397 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967270443632 139967957432962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17685] ppid=17668 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/17670/task/17685/stat : 17685 (java) S 17668 17668 17624 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 420285397 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967269390832 139967957432962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17686] ppid=17668 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17670/task/17686/stat : 17686 (java) S 17668 17668 17624 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420285397 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967268338544 139967957432962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17687] ppid=17668 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7 /proc/17670/task/17687/stat : 17687 (java) R 17668 17668 17624 0 -1 4202560 760 0 0 0 8 0 0 0 20 0 20 0 420285397 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967267285872 139967941502302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17688] ppid=17668 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17688/stat : 17688 (java) S 17668 17668 17624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420285397 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967266232672 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17689] ppid=17668 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17670/task/17689/stat : 17689 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285397 28904845312 10296 33554432000 4194304 4196468 140737439914272 139967265179952 139967957432962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42636 KiB [startup+0.310242 s]* /proc/loadavg: 7.39 7.04 7.12 4/212 17689 /proc/meminfo: memFree=31395252/32770624 swapFree=66995932/67108860 [pid=17668] ppid=17665 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17668/stat : 17668 (xcsp3-exec) S 17665 17668 17624 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420285391 115843072 363 33554432000 4194304 5098028 140727079014080 140727079012184 140258627330684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34852864 140727079015285 140727079015529 140727079015529 140727079018442 0 /proc/17668/statm: 28282 363 305 221 0 87 0 [pid=17670] ppid=17668 vsize=28231644 memory=50056 CPUtime=0.52 cores=0-7 /proc/17670/stat : 17670 (java) S 17668 17668 17624 0 -1 1077944320 10856 0 0 0 47 5 0 0 20 0 20 0 420285391 28909203456 12514 33554432000 4194304 4196468 140737439914272 140737439896816 139967957421815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 /proc/17670/statm: 7057911 12514 3362 1 0 7019032 0 [pid=17670/tid=17671] ppid=17668 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/17670/task/17671/stat : 17671 (java) R 17668 17668 17624 0 -1 4202560 7779 0 0 0 26 3 0 0 20 0 20 0 420285391 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967961655776 139967957445405 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17672] ppid=17668 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17672/stat : 17672 (java) S 17668 17668 17624 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420285392 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967910042000 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17673] ppid=17668 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17673/stat : 17673 (java) S 17668 17668 17624 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420285392 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967908989200 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17674] ppid=17668 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17674/stat : 17674 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285392 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967907936912 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17675] ppid=17668 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17675/stat : 17675 (java) S 17668 17668 17624 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420285392 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967906884112 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17676] ppid=17668 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17676/stat : 17676 (java) S 17668 17668 17624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420285392 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967905831824 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17677] ppid=17668 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17677/stat : 17677 (java) S 17668 17668 17624 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420285392 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967904779024 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17678] ppid=17668 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17678/stat : 17678 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285392 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967903726736 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17679] ppid=17668 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17679/stat : 17679 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285392 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967902673936 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17680] ppid=17668 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17680/stat : 17680 (java) S 17668 17668 17624 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420285394 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967274653808 139967957432962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17681] ppid=17668 vsize=28231644 memory=279840876076416 CPUtime=0 cores=0-7 /proc/17670/task/17681/stat : 17681 (java) S 17668 17668 17624 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420285394 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967273599776 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17682] ppid=17668 vsize=28231644 memory=279840876081024 CPUtime=0 cores=0-7 /proc/17670/task/17682/stat : 17682 (java) S 17668 17668 17624 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420285394 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967272547440 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17683] ppid=17668 vsize=28231644 memory=279840876085632 CPUtime=0 cores=0-7 /proc/17670/task/17683/stat : 17683 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285397 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967271495760 139967957440411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17684] ppid=17668 vsize=28231644 memory=279840876090240 CPUtime=0.04 cores=0-7 /proc/17670/task/17684/stat : 17684 (java) R 17668 17668 17624 0 -1 4202560 772 0 0 0 4 0 0 0 20 0 20 0 420285397 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967270443632 139967936668913 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17685] ppid=17668 vsize=28231644 memory=279840876094848 CPUtime=0.02 cores=0-7 /proc/17670/task/17685/stat : 17685 (java) S 17668 17668 17624 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 20 0 420285397 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967269390832 139967957432962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17686] ppid=17668 vsize=28231644 memory=279840876099456 CPUtime=0 cores=0-7 /proc/17670/task/17686/stat : 17686 (java) S 17668 17668 17624 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 420285397 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967268338544 139967957432962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17687] ppid=17668 vsize=28231644 memory=279840876104064 CPUtime=0.13 cores=0-7 /proc/17670/task/17687/stat : 17687 (java) S 17668 17668 17624 0 -1 1077944384 865 0 0 0 13 0 0 0 20 0 20 0 420285397 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967267285744 139967957432962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17688] ppid=17668 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17688/stat : 17688 (java) S 17668 17668 17624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420285397 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967266232672 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17689] ppid=17668 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/17670/task/17689/stat : 17689 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285397 28909203456 12514 33554432000 4194304 4196468 140737439914272 139967265179952 139967957432962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51508 KiB [startup+0.70102 s] /proc/loadavg: 7.39 7.04 7.12 2/212 17689 /proc/meminfo: memFree=31277628/32770624 swapFree=66995932/67108860 [pid=17668] ppid=17665 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17668/stat : 17668 (xcsp3-exec) S 17665 17668 17624 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420285391 115843072 363 33554432000 4194304 5098028 140727079014080 140727079012184 140258627330684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34852864 140727079015285 140727079015529 140727079015529 140727079018442 0 /proc/17668/statm: 28282 363 305 221 0 87 0 [pid=17670] ppid=17668 vsize=28231720 memory=298160 CPUtime=1.46 cores=0-7 /proc/17670/stat : 17670 (java) S 17668 17668 17624 0 -1 1077944320 13480 0 0 0 110 36 0 0 20 0 20 0 420285391 28909281280 74540 33554432000 4194304 4196468 140737439914272 140737439896816 139967957421815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 /proc/17670/statm: 7057930 74540 3436 1 0 7019032 0 [pid=17670/tid=17671] ppid=17668 vsize=28231720 memory=4580 CPUtime=0.62 cores=0-7 /proc/17670/task/17671/stat : 17671 (java) R 17668 17668 17624 0 -1 4202560 8384 0 0 0 55 7 0 0 20 0 20 0 420285391 28909281280 74540 33554432000 4194304 4196468 140737439914272 139967961656784 139967567751575 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17672] ppid=17668 vsize=28231720 memory=0 CPUtime=0.05 cores=0-7 /proc/17670/task/17672/stat : 17672 (java) S 17668 17668 17624 0 -1 1077944384 70 0 0 0 2 3 0 0 20 0 20 0 420285392 28909281280 74540 33554432000 4194304 4196468 140737439914272 139967910042000 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17673] ppid=17668 vsize=28231720 memory=0 CPUtime=0.04 cores=0-7 /proc/17670/task/17673/stat : 17673 (java) S 17668 17668 17624 0 -1 1077944384 64 0 0 0 1 3 0 0 20 0 20 0 420285392 28909281280 74540 33554432000 4194304 4196468 140737439914272 139967908989200 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17674] ppid=17668 vsize=28231720 memory=8556 CPUtime=0.04 cores=0-7 /proc/17670/task/17674/stat : 17674 (java) S 17668 17668 17624 0 -1 1077944384 44 0 0 0 1 3 0 0 20 0 20 0 420285392 28909281280 74540 33554432000 4194304 4196468 140737439914272 139967907936912 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 ################ # More data... # ################ [pid=17668] ppid=17665 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17668/stat : 17668 (xcsp3-exec) S 17665 17668 17624 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420285391 115843072 363 33554432000 4194304 5098028 140727079014080 140727079012184 140258627330684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34852864 140727079015285 140727079015529 140727079015529 140727079018442 0 /proc/17668/statm: 28282 363 305 221 0 87 0 [pid=17670] ppid=17668 vsize=28233768 memory=22987464 CPUtime=562.77 cores=0-7 /proc/17670/stat : 17670 (java) S 17668 17668 17624 0 -1 1077944320 1240219 0 0 0 52368 3909 0 0 20 0 20 0 420285391 28911378432 5746866 33554432000 4194304 4196468 140737439914272 140737439896816 139967957421815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 /proc/17670/statm: 7058442 5746866 3505 1 0 7019544 0 [pid=17670/tid=17671] ppid=17668 vsize=28233768 memory=8317482817917895235 CPUtime=23.35 cores=0-7 /proc/17670/task/17671/stat : 17671 (java) S 17668 17668 17624 0 -1 1077944384 105632 0 0 0 2285 50 0 0 20 0 20 0 420285391 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967961659936 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17672] ppid=17668 vsize=28233768 memory=3136 CPUtime=65.31 cores=0-7 /proc/17670/task/17672/stat : 17672 (java) R 17668 17668 17624 0 -1 4202560 91827 0 0 0 6015 516 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967910041808 139967950050023 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17673] ppid=17668 vsize=28233768 memory=1452 CPUtime=65.45 cores=0-7 /proc/17670/task/17673/stat : 17673 (java) R 17668 17668 17624 0 -1 4202560 184303 0 0 0 6021 524 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967908989400 139967950524794 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17674] ppid=17668 vsize=28233768 memory=16746077490435 CPUtime=65.31 cores=0-7 /proc/17670/task/17674/stat : 17674 (java) R 17668 17668 17624 0 -1 4202560 173276 0 0 0 6068 463 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967907936720 139967950050023 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17675] ppid=17668 vsize=28233768 memory=22987464 CPUtime=65.06 cores=0-7 /proc/17670/task/17675/stat : 17675 (java) R 17668 17668 17624 0 -1 4202560 127552 0 0 0 5999 507 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967906884232 139967950050023 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17676] ppid=17668 vsize=28233768 memory=1000 CPUtime=65.4 cores=0-7 /proc/17670/task/17676/stat : 17676 (java) R 17668 17668 17624 0 -1 4202560 103714 0 0 0 6172 368 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967905831944 139967950050023 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17677] ppid=17668 vsize=28233768 memory=1452 CPUtime=65.45 cores=0-7 /proc/17670/task/17677/stat : 17677 (java) R 17668 17668 17624 0 -1 4202560 94752 0 0 0 6015 530 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967904779144 139967950050023 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17678] ppid=17668 vsize=28233768 memory=22987464 CPUtime=65.47 cores=0-7 /proc/17670/task/17678/stat : 17678 (java) R 17668 17668 17624 0 -1 4202560 154702 0 0 0 6105 442 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967903726544 139967950050023 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17679] ppid=17668 vsize=28233768 memory=8556 CPUtime=65.42 cores=0-7 /proc/17670/task/17679/stat : 17679 (java) R 17668 17668 17624 0 -1 4202560 99133 0 0 0 6082 460 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967902673744 139967950050023 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17680] ppid=17668 vsize=28233768 memory=1052 CPUtime=14.22 cores=0-7 /proc/17670/task/17680/stat : 17680 (java) S 17668 17668 17624 0 -1 1077944384 88254 0 0 0 1385 37 0 0 20 0 20 0 420285394 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967274652368 139967957432021 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17681] ppid=17668 vsize=28233768 memory=1708 CPUtime=0 cores=0-7 /proc/17670/task/17681/stat : 17681 (java) S 17668 17668 17624 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 420285394 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967273599840 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17682] ppid=17668 vsize=28233768 memory=3440 CPUtime=0 cores=0-7 /proc/17670/task/17682/stat : 17682 (java) S 17668 17668 17624 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 20 0 420285394 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967272547456 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17683] ppid=17668 vsize=28233768 memory=2832 CPUtime=0 cores=0-7 /proc/17670/task/17683/stat : 17683 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967271495760 139967957440411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17684] ppid=17668 vsize=28233768 memory=5912 CPUtime=0.59 cores=0-7 /proc/17670/task/17684/stat : 17684 (java) S 17668 17668 17624 0 -1 1077944384 4098 0 0 0 58 1 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967270443680 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17685] ppid=17668 vsize=28233768 memory=664 CPUtime=0.71 cores=0-7 /proc/17670/task/17685/stat : 17685 (java) S 17668 17668 17624 0 -1 1077944384 3887 0 0 0 70 1 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967269390880 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17686] ppid=17668 vsize=28233768 memory=6791534058613427641 CPUtime=0.48 cores=0-7 /proc/17670/task/17686/stat : 17686 (java) S 17668 17668 17624 0 -1 1077944384 3041 0 0 0 47 1 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967268338304 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17687] ppid=17668 vsize=28233768 memory=808 CPUtime=0.37 cores=0-7 /proc/17670/task/17687/stat : 17687 (java) S 17668 17668 17624 0 -1 1077944384 3836 0 0 0 37 0 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967267285792 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17688] ppid=17668 vsize=28233768 memory=4100 CPUtime=0 cores=0-7 /proc/17670/task/17688/stat : 17688 (java) S 17668 17668 17624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967266232672 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17689] ppid=17668 vsize=28233768 memory=1804 CPUtime=0.04 cores=0-7 /proc/17670/task/17689/stat : 17689 (java) S 17668 17668 17624 0 -1 1077944384 815 0 0 0 2 2 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967265179952 139967957432962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 Current children cumulated CPU time: 562.77 s Current children cumulated vsize: 28346896 KiB Current children cumulated memory: 22988916 KiB [startup+105.701 s] /proc/loadavg: 5.72 6.47 6.90 9/212 17695 /proc/meminfo: memFree=8414312/32770624 swapFree=66995932/67108860 [pid=17668] ppid=17665 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17668/stat : 17668 (xcsp3-exec) S 17665 17668 17624 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420285391 115843072 363 33554432000 4194304 5098028 140727079014080 140727079012184 140258627330684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34852864 140727079015285 140727079015529 140727079015529 140727079018442 0 /proc/17668/statm: 28282 363 305 221 0 87 0 [pid=17670] ppid=17668 vsize=28233768 memory=22987464 CPUtime=572.96 cores=0-7 /proc/17670/stat : 17670 (java) S 17668 17668 17624 0 -1 1077944320 1240424 0 0 0 53380 3916 0 0 20 0 20 0 420285391 28911378432 5746866 33554432000 4194304 4196468 140737439914272 140737439896816 139967957421815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 /proc/17670/statm: 7058442 5746866 3505 1 0 7019544 0 [pid=17670/tid=17671] ppid=17668 vsize=28233768 memory=22987464 CPUtime=23.35 cores=0-7 /proc/17670/task/17671/stat : 17671 (java) S 17668 17668 17624 0 -1 1077944384 105632 0 0 0 2285 50 0 0 20 0 20 0 420285391 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967961659936 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17672] ppid=17668 vsize=28233768 memory=6791534058613427641 CPUtime=66.53 cores=0-7 /proc/17670/task/17672/stat : 17672 (java) S 17668 17668 17624 0 -1 1077944384 91827 0 0 0 6136 517 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967910042000 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17673] ppid=17668 vsize=28233768 memory=0 CPUtime=66.73 cores=0-7 /proc/17670/task/17673/stat : 17673 (java) S 17668 17668 17624 0 -1 1077944384 184508 0 0 0 6149 524 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967908989200 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17674] ppid=17668 vsize=28233768 memory=0 CPUtime=66.54 cores=0-7 /proc/17670/task/17674/stat : 17674 (java) S 17668 17668 17624 0 -1 1077944384 173276 0 0 0 6189 465 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967907936912 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17675] ppid=17668 vsize=28233768 memory=0 CPUtime=66.29 cores=0-7 /proc/17670/task/17675/stat : 17675 (java) S 17668 17668 17624 0 -1 1077944384 127552 0 0 0 6121 508 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967906884112 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17676] ppid=17668 vsize=28233768 memory=6791534058613427641 CPUtime=66.63 cores=0-7 /proc/17670/task/17676/stat : 17676 (java) S 17668 17668 17624 0 -1 1077944384 103714 0 0 0 6294 369 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967905831824 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17677] ppid=17668 vsize=28233768 memory=279840875872496 CPUtime=66.68 cores=0-7 /proc/17670/task/17677/stat : 17677 (java) S 17668 17668 17624 0 -1 1077944384 94752 0 0 0 6137 531 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967904779024 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17678] ppid=17668 vsize=28233768 memory=279840875872496 CPUtime=66.7 cores=0-7 /proc/17670/task/17678/stat : 17678 (java) S 17668 17668 17624 0 -1 1077944384 154702 0 0 0 6227 443 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967903726736 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17679] ppid=17668 vsize=28233768 memory=279840875872496 CPUtime=66.65 cores=0-7 /proc/17670/task/17679/stat : 17679 (java) S 17668 17668 17624 0 -1 1077944384 99133 0 0 0 6204 461 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967902673936 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17680] ppid=17668 vsize=28233768 memory=6224 CPUtime=14.54 cores=0-7 /proc/17670/task/17680/stat : 17680 (java) R 17668 17668 17624 0 -1 4202560 88254 0 0 0 1417 37 0 0 20 0 20 0 420285394 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967274652256 139967941879435 0 0 0 16800975 0 0 0 -1 6 0 0 36 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17681] ppid=17668 vsize=28233768 memory=6224 CPUtime=0 cores=0-7 /proc/17670/task/17681/stat : 17681 (java) S 17668 17668 17624 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 420285394 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967273599840 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17682] ppid=17668 vsize=28233768 memory=6224 CPUtime=0 cores=0-7 /proc/17670/task/17682/stat : 17682 (java) S 17668 17668 17624 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 20 0 420285394 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967272547456 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17683] ppid=17668 vsize=28233768 memory=6199 CPUtime=0 cores=0-7 /proc/17670/task/17683/stat : 17683 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967271495760 139967957440411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17684] ppid=17668 vsize=28233768 memory=1440 CPUtime=0.59 cores=0-7 /proc/17670/task/17684/stat : 17684 (java) S 17668 17668 17624 0 -1 1077944384 4098 0 0 0 58 1 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967270443680 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17685] ppid=17668 vsize=28233768 memory=820 CPUtime=0.71 cores=0-7 /proc/17670/task/17685/stat : 17685 (java) S 17668 17668 17624 0 -1 1077944384 3887 0 0 0 70 1 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967269390880 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17686] ppid=17668 vsize=28233768 memory=1764 CPUtime=0.48 cores=0-7 /proc/17670/task/17686/stat : 17686 (java) S 17668 17668 17624 0 -1 1077944384 3041 0 0 0 47 1 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967268338304 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17687] ppid=17668 vsize=28233768 memory=111632 CPUtime=0.37 cores=0-7 /proc/17670/task/17687/stat : 17687 (java) S 17668 17668 17624 0 -1 1077944384 3836 0 0 0 37 0 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967267285792 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17688] ppid=17668 vsize=28233768 memory=808 CPUtime=0 cores=0-7 /proc/17670/task/17688/stat : 17688 (java) S 17668 17668 17624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967266232672 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17689] ppid=17668 vsize=28233768 memory=1244 CPUtime=0.04 cores=0-7 /proc/17670/task/17689/stat : 17689 (java) S 17668 17668 17624 0 -1 1077944384 815 0 0 0 2 2 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967265179952 139967957432962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 Current children cumulated CPU time: 572.96 s Current children cumulated vsize: 28346896 KiB Current children cumulated memory: 22988916 KiB [startup+106.101 s]* /proc/loadavg: 5.72 6.47 6.90 2/212 17695 /proc/meminfo: memFree=8414312/32770624 swapFree=66995932/67108860 [pid=17668] ppid=17665 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17668/stat : 17668 (xcsp3-exec) S 17665 17668 17624 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420285391 115843072 363 33554432000 4194304 5098028 140727079014080 140727079012184 140258627330684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34852864 140727079015285 140727079015529 140727079015529 140727079018442 0 /proc/17668/statm: 28282 363 305 221 0 87 0 [pid=17670] ppid=17668 vsize=28233768 memory=22987464 CPUtime=573.37 cores=0-7 /proc/17670/stat : 17670 (java) S 17668 17668 17624 0 -1 1077944320 1241959 0 0 0 53418 3919 0 0 20 0 20 0 420285391 28911378432 5746866 33554432000 4194304 4196468 140737439914272 140737439896816 139967957421815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 /proc/17670/statm: 7058442 5746866 3505 1 0 7019544 0 [pid=17670/tid=17671] ppid=17668 vsize=28233768 memory=8317482817917895235 CPUtime=23.35 cores=0-7 /proc/17670/task/17671/stat : 17671 (java) S 17668 17668 17624 0 -1 1077944384 105632 0 0 0 2285 50 0 0 20 0 20 0 420285391 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967961659936 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17672] ppid=17668 vsize=28233768 memory=1980 CPUtime=66.53 cores=0-7 /proc/17670/task/17672/stat : 17672 (java) S 17668 17668 17624 0 -1 1077944384 91827 0 0 0 6136 517 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967910042000 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17673] ppid=17668 vsize=28233768 memory=2356 CPUtime=66.73 cores=0-7 /proc/17670/task/17673/stat : 17673 (java) S 17668 17668 17624 0 -1 1077944384 184508 0 0 0 6149 524 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967908989200 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17674] ppid=17668 vsize=28233768 memory=1440 CPUtime=66.54 cores=0-7 /proc/17670/task/17674/stat : 17674 (java) S 17668 17668 17624 0 -1 1077944384 173276 0 0 0 6189 465 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967907936912 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17675] ppid=17668 vsize=28233768 memory=0 CPUtime=66.29 cores=0-7 /proc/17670/task/17675/stat : 17675 (java) S 17668 17668 17624 0 -1 1077944384 127552 0 0 0 6121 508 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967906884112 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17676] ppid=17668 vsize=28233768 memory=0 CPUtime=66.63 cores=0-7 /proc/17670/task/17676/stat : 17676 (java) S 17668 17668 17624 0 -1 1077944384 103714 0 0 0 6294 369 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967905831824 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17677] ppid=17668 vsize=28233768 memory=0 CPUtime=66.68 cores=0-7 /proc/17670/task/17677/stat : 17677 (java) S 17668 17668 17624 0 -1 1077944384 94752 0 0 0 6137 531 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967904779024 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17678] ppid=17668 vsize=28233768 memory=0 CPUtime=66.7 cores=0-7 /proc/17670/task/17678/stat : 17678 (java) S 17668 17668 17624 0 -1 1077944384 154702 0 0 0 6227 443 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967903726736 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17679] ppid=17668 vsize=28233768 memory=0 CPUtime=66.65 cores=0-7 /proc/17670/task/17679/stat : 17679 (java) S 17668 17668 17624 0 -1 1077944384 99133 0 0 0 6204 461 0 0 20 0 20 0 420285392 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967902673936 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17680] ppid=17668 vsize=28233768 memory=0 CPUtime=14.94 cores=0-7 /proc/17670/task/17680/stat : 17680 (java) R 17668 17668 17624 0 -1 4202560 89789 0 0 0 1454 40 0 0 20 0 20 0 420285394 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967274652256 139967935791995 0 0 0 16800975 0 0 0 -1 6 0 0 36 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17681] ppid=17668 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17681/stat : 17681 (java) S 17668 17668 17624 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 420285394 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967273599840 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17682] ppid=17668 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17682/stat : 17682 (java) S 17668 17668 17624 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 20 0 420285394 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967272547456 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17683] ppid=17668 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17683/stat : 17683 (java) S 17668 17668 17624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967271495760 139967957440411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17684] ppid=17668 vsize=28233768 memory=0 CPUtime=0.59 cores=0-7 /proc/17670/task/17684/stat : 17684 (java) S 17668 17668 17624 0 -1 1077944384 4098 0 0 0 58 1 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967270443680 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17685] ppid=17668 vsize=28233768 memory=0 CPUtime=0.71 cores=0-7 /proc/17670/task/17685/stat : 17685 (java) S 17668 17668 17624 0 -1 1077944384 3887 0 0 0 70 1 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967269390880 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17686] ppid=17668 vsize=28233768 memory=0 CPUtime=0.48 cores=0-7 /proc/17670/task/17686/stat : 17686 (java) S 17668 17668 17624 0 -1 1077944384 3041 0 0 0 47 1 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967268338304 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17687] ppid=17668 vsize=28233768 memory=0 CPUtime=0.37 cores=0-7 /proc/17670/task/17687/stat : 17687 (java) S 17668 17668 17624 0 -1 1077944384 3836 0 0 0 37 0 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967267285792 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17688] ppid=17668 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/17670/task/17688/stat : 17688 (java) S 17668 17668 17624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967266232672 139967957432021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 [pid=17670/tid=17689] ppid=17668 vsize=28233768 memory=0 CPUtime=0.04 cores=0-7 /proc/17670/task/17689/stat : 17689 (java) S 17668 17668 17624 0 -1 1077944384 815 0 0 0 2 2 0 0 20 0 20 0 420285397 28911378432 5746866 33554432000 4194304 4196468 140737439914272 139967265179952 139967957432962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 16969728 140737439917034 140737439917206 140737439917206 140737439920079 0 Current children cumulated CPU time: 573.37 s Current children cumulated vsize: 28346896 KiB Current children cumulated memory: 22988916 KiB [startup+106.3 s] /proc/loadavg: 5.72 6.47 6.90 2/212 17695 /proc/meminfo: memFree=8414312/32770624 swapFree=66995932/67108860 [pid=17668] ppid=17665 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17668/stat : 17668 (xcsp3-exec) S 17665 17668 17624 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420285391 115843072 363 33554432000 4194304 5098028 140727079014080 140727079012184 140258627330684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34852864 140727079015285 140727079015529 140727079015529 140727079018442 0 /proc/17668/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): 106.328 CPU time (s): 573.597 CPU user time (s): 534.274 CPU system time (s): 39.3232 CPU usage (%): 539.463 Max. virtual memory (cumulated for all children) (KiB): 28346896 Max. memory (cumulated for all children) (KiB): 22988916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 534.274 system time used= 39.3232 maximum resident set size= 22987724 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1242713 page faults= 0 swaps= 0 block input operations= 0 block output operations= 264 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19533 involuntary context switches= 10424 # summary of solver processes directly reported to runsolver: # pid: 17668 # total CPU time (s): 573.597 # total CPU user time (s): 534.274 # total CPU system time (s): 39.3232 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.764943 second user time and 1.22552 second system time The end
Begin job on node102 at 2019-09-14 07:51:34 IDJOB=4394595 IDBENCH=138083 IDSOLVER=2843 FILE ID=node102/4394595-1568440339 RUNJOBID= node102-1568440293-17651 PBS_JOBID= 21702340 Free space on /tmp= 59248 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-75.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394595-1568440339/watcher-4394595-1568440339 -o /tmp/evaluation-result-4394595-1568440339/solver-4394595-1568440339 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568440293-17651 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1659943065 HOME/instance-4394595-1568440339.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9cdf82428becd6b5ad716031980a59d2 RANDOM SEED=1659943065 node102.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.13 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.54 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.13 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.54 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.13 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.54 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.13 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31431452 kB MemAvailable: 31918728 kB Buffers: 176452 kB Cached: 604528 kB SwapCached: 9292 kB Active: 427048 kB Inactive: 364744 kB Active(anon): 8540 kB Inactive(anon): 34140 kB Active(file): 418508 kB Inactive(file): 330604 kB Unevictable: 110432 kB Mlocked: 110432 kB SwapTotal: 67108860 kB SwapFree: 66995932 kB Dirty: 109152 kB Writeback: 0 kB AnonPages: 112376 kB Mapped: 35356 kB Shmem: 22948 kB Slab: 136024 kB SReclaimable: 107996 kB SUnreclaim: 28028 kB KernelStack: 3296 kB PageTables: 5228 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497904 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59224 MiB End job on node102 at 2019-09-14 07:53:21