Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | ? | 861.928 | 143.546 |
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 | 2520.02 |
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-4393995-1568440296.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393995-1568440296.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 861.77/143.44 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 861.77/143.44 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:101) 861.77/143.44 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 861.77/143.44 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2096) 861.77/143.44 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2043) 861.77/143.44 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:317) 861.77/143.44 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:306) 861.77/143.44 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:167) 861.77/143.44 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 861.77/143.44 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 861.77/143.44 at org.xcsp.parser.XCallbacks$$Lambda$110/1511785794.accept(Unknown Source) 861.77/143.44 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 861.77/143.44 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 861.77/143.44 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 861.77/143.44 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 861.77/143.44 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 861.77/143.44 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 861.77/143.44 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 861.77/143.44 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 861.77/143.44 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 861.77/143.44 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 861.77/143.44 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 861.77/143.44 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 861.77/143.44 s UNKNOWN 861.77/143.44 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 (15010 MiB free) memory of node 1: 16384 MiB (15497 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393995-1568440296/watcher-4393995-1568440296 -o /tmp/evaluation-result-4393995-1568440296/solver-4393995-1568440296 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568440237-6366 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 783357580 HOME/instance-4393995-1568440296.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=6383, runsolver pid=6380 Current StackSize limit: 8192 KiB [startup+0.100156 s]* /proc/loadavg: 6.40 7.20 7.36 2/212 6404 /proc/meminfo: memFree=31222228/32770624 swapFree=66996988/67108860 [pid=6383] ppid=6380 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/6383/stat : 6383 (xcsp3-exec) S 6380 6383 6339 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420282718 115843072 364 33554432000 4194304 5098028 140725448275520 140725448273624 139876859794044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17080320 140725448282998 140725448283241 140725448283241 140725448286154 0 /proc/6383/statm: 28282 364 305 221 0 87 0 [pid=6385] ppid=6383 vsize=28227388 memory=30044 CPUtime=0.12 cores=0-7 /proc/6385/stat : 6385 (java) S 6383 6383 6339 0 -1 1077944320 5984 0 0 0 10 2 0 0 20 0 20 0 420282718 28904845312 7511 33554432000 4194304 4196468 140723632511232 140723632493776 140714460372727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 /proc/6385/statm: 7056847 7511 3118 1 0 7019032 0 [pid=6385/tid=6386] ppid=6383 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/6385/task/6386/stat : 6386 (java) R 6383 6383 6339 0 -1 4202560 3888 0 0 0 7 1 0 0 20 0 20 0 420282719 28904845312 7511 33554432000 4194304 4196468 140723632511232 140714464607744 140714460394074 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6387] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6387/stat : 6387 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282719 28904845312 7511 33554432000 4194304 4196468 140723632511232 140714412993552 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6388] ppid=6383 vsize=28227388 memory=139806871524928 CPUtime=0 cores=0-7 /proc/6385/task/6388/stat : 6388 (java) S 6383 6383 6339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420282719 28904845312 7511 33554432000 4194304 4196468 140723632511232 140714411941008 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6389] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6389/stat : 6389 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282719 28904845312 7511 33554432000 4194304 4196468 140723632511232 140714410887952 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6390] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6390/stat : 6390 (java) S 6383 6383 6339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420282719 28904845312 7511 33554432000 4194304 4196468 140723632511232 140714409835408 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6391] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6391/stat : 6391 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282719 28904845312 7511 33554432000 4194304 4196468 140723632511232 140714408782352 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6392] ppid=6383 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6385/task/6392/stat : 6392 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282720 28904845312 7511 33554432000 4194304 4196468 140723632511232 140714407729808 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6393] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6393/stat : 6393 (java) S 6383 6383 6339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420282720 28904845312 7511 33554432000 4194304 4196468 140723632511232 140714406676752 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6394] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6394/stat : 6394 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282720 28904845312 7511 33554432000 4194304 4196468 140723632511232 140714405624208 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6395] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6395/stat : 6395 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282721 28904845312 7511 33554432000 4194304 4196468 140723632511232 140712839502576 140714460383874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6396] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6396/stat : 6396 (java) S 6383 6383 6339 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 420282721 28904845312 7511 33554432000 4194304 4196468 140723632511232 140712838448800 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6397] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6397/stat : 6397 (java) S 6383 6383 6339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420282722 28904845312 7511 33554432000 4194304 4196468 140723632511232 140712837395696 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6398] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6398/stat : 6398 (java) S 6383 6383 6339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420282724 28904845312 7511 33554432000 4194304 4196468 140723632511232 140712836344272 140714460391323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6399] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6399/stat : 6399 (java) S 6383 6383 6339 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 420282724 28904845312 7511 33554432000 4194304 4196468 140723632511232 140712835291376 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6400] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6400/stat : 6400 (java) S 6383 6383 6339 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 420282724 28904845312 7511 33554432000 4194304 4196468 140723632511232 140712834238832 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6401] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6401/stat : 6401 (java) S 6383 6383 6339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420282724 28904845312 7511 33554432000 4194304 4196468 140723632511232 140712833185776 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6402] ppid=6383 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/6385/task/6402/stat : 6402 (java) S 6383 6383 6339 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 20 0 420282724 28904845312 7511 33554432000 4194304 4196468 140723632511232 140712832133232 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6403] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6403/stat : 6403 (java) S 6383 6383 6339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420282724 28904845312 7511 33554432000 4194304 4196468 140723632511232 140712831081440 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6404] ppid=6383 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6385/task/6404/stat : 6404 (java) S 6383 6383 6339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420282725 28904845312 7511 33554432000 4194304 4196468 140723632511232 140712830028976 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31500 KiB [startup+0.210719 s]* /proc/loadavg: 6.40 7.20 7.36 2/212 6404 /proc/meminfo: memFree=31209692/32770624 swapFree=66996988/67108860 [pid=6383] ppid=6380 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/6383/stat : 6383 (xcsp3-exec) S 6380 6383 6339 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420282718 115843072 364 33554432000 4194304 5098028 140725448275520 140725448273624 139876859794044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17080320 140725448282998 140725448283241 140725448283241 140725448286154 0 /proc/6383/statm: 28282 364 305 221 0 87 0 [pid=6385] ppid=6383 vsize=28227388 memory=41332 CPUtime=0.33 cores=0-7 /proc/6385/stat : 6385 (java) S 6383 6383 6339 0 -1 1077944320 9539 0 0 0 29 4 0 0 20 0 20 0 420282718 28904845312 10333 33554432000 4194304 4196468 140723632511232 140723632493776 140714460372727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 /proc/6385/statm: 7056847 10333 3298 1 0 7019032 0 [pid=6385/tid=6386] ppid=6383 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/6385/task/6386/stat : 6386 (java) R 6383 6383 6339 0 -1 4202560 6708 0 0 0 17 2 0 0 20 0 20 0 420282719 28904845312 10333 33554432000 4194304 4196468 140723632511232 140714464602448 140714460384662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6387] ppid=6383 vsize=28227388 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/6385/task/6387/stat : 6387 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282719 28904845312 10333 33554432000 4194304 4196468 140723632511232 140714412993552 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6388] ppid=6383 vsize=28227388 memory=3474158082548074144 CPUtime=0 cores=0-7 /proc/6385/task/6388/stat : 6388 (java) S 6383 6383 6339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420282719 28904845312 10333 33554432000 4194304 4196468 140723632511232 140714411941008 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6389] ppid=6383 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6385/task/6389/stat : 6389 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282719 28904845312 10333 33554432000 4194304 4196468 140723632511232 140714410887952 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6390] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6390/stat : 6390 (java) S 6383 6383 6339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420282719 28904845312 10333 33554432000 4194304 4196468 140723632511232 140714409835408 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6391] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6391/stat : 6391 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282719 28904845312 10333 33554432000 4194304 4196468 140723632511232 140714408782352 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6392] ppid=6383 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6385/task/6392/stat : 6392 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282720 28904845312 10333 33554432000 4194304 4196468 140723632511232 140714407729808 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6393] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6393/stat : 6393 (java) S 6383 6383 6339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420282720 28904845312 10333 33554432000 4194304 4196468 140723632511232 140714406676752 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6394] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6394/stat : 6394 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282720 28904845312 10333 33554432000 4194304 4196468 140723632511232 140714405624208 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6395] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6395/stat : 6395 (java) S 6383 6383 6339 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420282721 28904845312 10333 33554432000 4194304 4196468 140723632511232 140712839502576 140714460383874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6396] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6396/stat : 6396 (java) S 6383 6383 6339 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 420282721 28904845312 10333 33554432000 4194304 4196468 140723632511232 140712838448800 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6397] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6397/stat : 6397 (java) S 6383 6383 6339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420282722 28904845312 10333 33554432000 4194304 4196468 140723632511232 140712837395696 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6398] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6398/stat : 6398 (java) S 6383 6383 6339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420282724 28904845312 10333 33554432000 4194304 4196468 140723632511232 140712836344272 140714460391323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6399] ppid=6383 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/6385/task/6399/stat : 6399 (java) S 6383 6383 6339 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 20 0 420282724 28904845312 10333 33554432000 4194304 4196468 140723632511232 140712835291376 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6400] ppid=6383 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/6385/task/6400/stat : 6400 (java) S 6383 6383 6339 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 20 0 420282724 28904845312 10333 33554432000 4194304 4196468 140723632511232 140712834238832 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6401] ppid=6383 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6385/task/6401/stat : 6401 (java) S 6383 6383 6339 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 420282724 28904845312 10333 33554432000 4194304 4196468 140723632511232 140712833185776 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6402] ppid=6383 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/6385/task/6402/stat : 6402 (java) R 6383 6383 6339 0 -1 4202560 760 0 0 0 7 0 0 0 20 0 20 0 420282724 28904845312 10333 33554432000 4194304 4196468 140723632511232 140712832133232 140714452609854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6403] ppid=6383 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6403/stat : 6403 (java) S 6383 6383 6339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420282724 28904845312 10333 33554432000 4194304 4196468 140723632511232 140712831081440 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6404] ppid=6383 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6385/task/6404/stat : 6404 (java) S 6383 6383 6339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420282725 28904845312 10333 33554432000 4194304 4196468 140723632511232 140712830028976 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42788 KiB [startup+0.311132 s]* /proc/loadavg: 6.40 7.20 7.36 3/212 6404 /proc/meminfo: memFree=31203636/32770624 swapFree=66996988/67108860 [pid=6383] ppid=6380 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/6383/stat : 6383 (xcsp3-exec) S 6380 6383 6339 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420282718 115843072 364 33554432000 4194304 5098028 140725448275520 140725448273624 139876859794044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17080320 140725448282998 140725448283241 140725448283241 140725448286154 0 /proc/6383/statm: 28282 364 305 221 0 87 0 [pid=6385] ppid=6383 vsize=28231644 memory=50252 CPUtime=0.52 cores=0-7 /proc/6385/stat : 6385 (java) S 6383 6383 6339 0 -1 1077944320 10895 0 0 0 47 5 0 0 20 0 20 0 420282718 28909203456 12563 33554432000 4194304 4196468 140723632511232 140723632493776 140714460372727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 /proc/6385/statm: 7057911 12563 3344 1 0 7019032 0 [pid=6385/tid=6386] ppid=6383 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/6385/task/6386/stat : 6386 (java) R 6383 6383 6339 0 -1 4202560 7825 0 0 0 26 3 0 0 20 0 20 0 420282719 28909203456 12563 33554432000 4194304 4196468 140723632511232 140714464606512 140714460394653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6387] ppid=6383 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6387/stat : 6387 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282719 28909203456 12563 33554432000 4194304 4196468 140723632511232 140714412993552 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6388] ppid=6383 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6388/stat : 6388 (java) S 6383 6383 6339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420282719 28909203456 12563 33554432000 4194304 4196468 140723632511232 140714411941008 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6389] ppid=6383 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6389/stat : 6389 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282719 28909203456 12563 33554432000 4194304 4196468 140723632511232 140714410887952 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6390] ppid=6383 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6390/stat : 6390 (java) S 6383 6383 6339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420282719 28909203456 12563 33554432000 4194304 4196468 140723632511232 140714409835408 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6391] ppid=6383 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6391/stat : 6391 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282719 28909203456 12563 33554432000 4194304 4196468 140723632511232 140714408782352 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6392] ppid=6383 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6392/stat : 6392 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282720 28909203456 12563 33554432000 4194304 4196468 140723632511232 140714407729808 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6393] ppid=6383 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6393/stat : 6393 (java) S 6383 6383 6339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420282720 28909203456 12563 33554432000 4194304 4196468 140723632511232 140714406676752 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6394] ppid=6383 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6394/stat : 6394 (java) S 6383 6383 6339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420282720 28909203456 12563 33554432000 4194304 4196468 140723632511232 140714405624208 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6395] ppid=6383 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6395/stat : 6395 (java) S 6383 6383 6339 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420282721 28909203456 12563 33554432000 4194304 4196468 140723632511232 140712839502576 140714460383874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6396] ppid=6383 vsize=28231644 memory=279613511245184 CPUtime=0 cores=0-7 /proc/6385/task/6396/stat : 6396 (java) S 6383 6383 6339 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 420282721 28909203456 12563 33554432000 4194304 4196468 140723632511232 140712838448800 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6397] ppid=6383 vsize=28231644 memory=279613511249792 CPUtime=0 cores=0-7 /proc/6385/task/6397/stat : 6397 (java) S 6383 6383 6339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420282722 28909203456 12563 33554432000 4194304 4196468 140723632511232 140712837395696 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6398] ppid=6383 vsize=28231644 memory=279613511254400 CPUtime=0 cores=0-7 /proc/6385/task/6398/stat : 6398 (java) S 6383 6383 6339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420282724 28909203456 12563 33554432000 4194304 4196468 140723632511232 140712836344272 140714460391323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6399] ppid=6383 vsize=28231644 memory=279613511259008 CPUtime=0.02 cores=0-7 /proc/6385/task/6399/stat : 6399 (java) S 6383 6383 6339 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 20 0 420282724 28909203456 12563 33554432000 4194304 4196468 140723632511232 140712835291376 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6400] ppid=6383 vsize=28231644 memory=279613511263616 CPUtime=0.03 cores=0-7 /proc/6385/task/6400/stat : 6400 (java) S 6383 6383 6339 0 -1 1077944384 312 0 0 0 3 0 0 0 20 0 20 0 420282724 28909203456 12563 33554432000 4194304 4196468 140723632511232 140712834238832 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6401] ppid=6383 vsize=28231644 memory=279613511268224 CPUtime=0.02 cores=0-7 /proc/6385/task/6401/stat : 6401 (java) R 6383 6383 6339 0 -1 4202560 199 0 0 0 2 0 0 0 20 0 20 0 420282724 28909203456 12563 33554432000 4194304 4196468 140723632511232 140712833176160 140714441916853 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6402] ppid=6383 vsize=28231644 memory=279613511272832 CPUtime=0.12 cores=0-7 /proc/6385/task/6402/stat : 6402 (java) S 6383 6383 6339 0 -1 1077944384 865 0 0 0 12 0 0 0 20 0 20 0 420282724 28909203456 12563 33554432000 4194304 4196468 140723632511232 140712832133232 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6403] ppid=6383 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6385/task/6403/stat : 6403 (java) S 6383 6383 6339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420282724 28909203456 12563 33554432000 4194304 4196468 140723632511232 140712831081440 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6404] ppid=6383 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/6385/task/6404/stat : 6404 (java) S 6383 6383 6339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420282725 28909203456 12563 33554432000 4194304 4196468 140723632511232 140712830028976 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51708 KiB [startup+0.701011 s] /proc/loadavg: 6.40 7.20 7.36 9/212 6404 /proc/meminfo: memFree=31065828/32770624 swapFree=66996988/67108860 [pid=6383] ppid=6380 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/6383/stat : 6383 (xcsp3-exec) S 6380 6383 6339 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420282718 115843072 364 33554432000 4194304 5098028 140725448275520 140725448273624 139876859794044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17080320 140725448282998 140725448283241 140725448283241 140725448286154 0 /proc/6383/statm: 28282 364 305 221 0 87 0 [pid=6385] ppid=6383 vsize=28231720 memory=346540 CPUtime=1.32 cores=0-7 /proc/6385/stat : 6385 (java) S 6383 6383 6339 0 -1 1077944320 12226 0 0 0 99 33 0 0 20 0 20 0 420282718 28909281280 86635 33554432000 4194304 4196468 140723632511232 140723632493776 140714460372727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 /proc/6385/statm: 7057930 86635 3416 1 0 7019032 0 [pid=6385/tid=6386] ppid=6383 vsize=28231720 memory=4580 CPUtime=0.62 cores=0-7 /proc/6385/task/6386/stat : 6386 (java) R 6383 6383 6339 0 -1 4202560 8358 0 0 0 54 8 0 0 20 0 20 0 420282719 28909281280 87147 33554432000 4194304 4196468 140723632511232 140714464610368 140714084475678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6387] ppid=6383 vsize=28231720 memory=0 CPUtime=0.04 cores=0-7 /proc/6385/task/6387/stat : 6387 (java) S 6383 6383 6339 0 -1 1077944384 57 0 0 0 1 3 0 0 20 0 20 0 420282719 28909281280 87147 33554432000 4194304 4196468 140723632511232 140714412993552 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6388] ppid=6383 vsize=28231720 memory=0 CPUtime=0.04 cores=0-7 /proc/6385/task/6388/stat : 6388 (java) S 6383 6383 6339 0 -1 1077944384 45 0 0 0 1 3 0 0 20 0 20 0 420282719 28909281280 87147 33554432000 4194304 4196468 140723632511232 140714411941008 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6389] ppid=6383 vsize=28231720 memory=2828 CPUtime=0.03 cores=0-7 /proc/6385/task/6389/stat : 6389 (java) S 6383 6383 6339 0 -1 1077944384 41 0 0 0 1 2 0 0 20 0 20 0 420282719 28909281280 87147 33554432000 4194304 4196468 140723632511232 140714410887952 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 ################ # More data... # ################ [pid=6383] ppid=6380 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/6383/stat : 6383 (xcsp3-exec) S 6380 6383 6339 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420282718 115843072 364 33554432000 4194304 5098028 140725448275520 140725448273624 139876859794044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17080320 140725448282998 140725448283241 140725448283241 140725448286154 0 /proc/6383/statm: 28282 364 305 221 0 87 0 [pid=6385] ppid=6383 vsize=28233768 memory=21871360 CPUtime=859.25 cores=0-7 /proc/6385/stat : 6385 (java) S 6383 6383 6339 0 -1 1077944320 642272 0 0 0 81850 4075 0 0 20 0 20 0 420282718 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140723632493776 140714460372727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 /proc/6385/statm: 7058442 5467840 3503 1 0 7019544 0 [pid=6385/tid=6386] ppid=6383 vsize=28233768 memory=2012 CPUtime=23.4 cores=0-7 /proc/6385/task/6386/stat : 6386 (java) S 6383 6383 6339 0 -1 1077944384 19741 0 0 0 2299 41 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714464610848 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6387] ppid=6383 vsize=28233768 memory=1388 CPUtime=102.17 cores=0-7 /proc/6385/task/6387/stat : 6387 (java) R 6383 6383 6339 0 -1 4202560 71424 0 0 0 9681 536 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714412993360 140714453000935 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6388] ppid=6383 vsize=28233768 memory=1456 CPUtime=102.37 cores=0-7 /proc/6385/task/6388/stat : 6388 (java) R 6383 6383 6339 0 -1 4202560 73954 0 0 0 9731 506 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714411940816 140714453000935 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6389] ppid=6383 vsize=28233768 memory=1456 CPUtime=102.34 cores=0-7 /proc/6385/task/6389/stat : 6389 (java) R 6383 6383 6339 0 -1 4202560 55860 0 0 0 9773 461 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714410887760 140714453000935 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6390] ppid=6383 vsize=28233768 memory=21742332 CPUtime=102.45 cores=0-7 /proc/6385/task/6390/stat : 6390 (java) R 6383 6383 6339 0 -1 4202560 94217 0 0 0 9720 525 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714409835296 140714453475731 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6391] ppid=6383 vsize=28233768 memory=8112282956445269571 CPUtime=102.23 cores=0-7 /proc/6385/task/6391/stat : 6391 (java) R 6383 6383 6339 0 -1 4202560 37130 0 0 0 9706 517 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714408782472 140714453000935 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6392] ppid=6383 vsize=28233768 memory=21871356 CPUtime=102.2 cores=0-7 /proc/6385/task/6392/stat : 6392 (java) R 6383 6383 6339 0 -1 4202560 88026 0 0 0 9730 490 0 0 20 0 20 0 420282720 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714407729616 140714453000935 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6393] ppid=6383 vsize=28233768 memory=796 CPUtime=102.19 cores=0-7 /proc/6385/task/6393/stat : 6393 (java) R 6383 6383 6339 0 -1 4202560 39489 0 0 0 9711 508 0 0 20 0 20 0 420282720 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714406676560 140714453000935 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6394] ppid=6383 vsize=28233768 memory=4096 CPUtime=102.35 cores=0-7 /proc/6385/task/6394/stat : 6394 (java) R 6383 6383 6339 0 -1 4202560 38513 0 0 0 9795 440 0 0 20 0 20 0 420282720 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714405624016 140714453000935 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6395] ppid=6383 vsize=28233768 memory=1456 CPUtime=15.45 cores=0-7 /proc/6385/task/6395/stat : 6395 (java) S 6383 6383 6339 0 -1 1077944384 108094 0 0 0 1504 41 0 0 20 0 20 0 420282721 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712839501136 140714460382933 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6396] ppid=6383 vsize=28233768 memory=21871360 CPUtime=0 cores=0-7 /proc/6385/task/6396/stat : 6396 (java) S 6383 6383 6339 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 420282721 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712838448864 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6397] ppid=6383 vsize=28233768 memory=111628 CPUtime=0 cores=0-7 /proc/6385/task/6397/stat : 6397 (java) S 6383 6383 6339 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 20 0 420282722 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712837395712 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6398] ppid=6383 vsize=28233768 memory=796 CPUtime=0 cores=0-7 /proc/6385/task/6398/stat : 6398 (java) S 6383 6383 6339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712836344272 140714460391323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6399] ppid=6383 vsize=28233768 memory=4096 CPUtime=0.42 cores=0-7 /proc/6385/task/6399/stat : 6399 (java) S 6383 6383 6339 0 -1 1077944384 3212 0 0 0 42 0 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712835291136 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6400] ppid=6383 vsize=28233768 memory=1808 CPUtime=0.48 cores=0-7 /proc/6385/task/6400/stat : 6400 (java) S 6383 6383 6339 0 -1 1077944384 3624 0 0 0 47 1 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712834238880 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6401] ppid=6383 vsize=28233768 memory=8112282956445269571 CPUtime=0.63 cores=0-7 /proc/6385/task/6401/stat : 6401 (java) S 6383 6383 6339 0 -1 1077944384 3195 0 0 0 62 1 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712833185824 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6402] ppid=6383 vsize=28233768 memory=3908 CPUtime=0.38 cores=0-7 /proc/6385/task/6402/stat : 6402 (java) S 6383 6383 6339 0 -1 1077944384 3331 0 0 0 37 1 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712832133280 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6403] ppid=6383 vsize=28233768 memory=1412 CPUtime=0 cores=0-7 /proc/6385/task/6403/stat : 6403 (java) S 6383 6383 6339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712831081440 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6404] ppid=6383 vsize=28233768 memory=3128 CPUtime=0.05 cores=0-7 /proc/6385/task/6404/stat : 6404 (java) S 6383 6383 6339 0 -1 1077944384 1082 0 0 0 3 2 0 0 20 0 20 0 420282725 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712830028976 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 Current children cumulated CPU time: 859.25 s Current children cumulated vsize: 28346896 KiB Current children cumulated memory: 21872816 KiB [startup+143.201 s] /proc/loadavg: 6.99 6.81 7.17 2/212 6412 /proc/meminfo: memFree=9341884/32770624 swapFree=66996988/67108860 [pid=6383] ppid=6380 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/6383/stat : 6383 (xcsp3-exec) S 6380 6383 6339 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420282718 115843072 364 33554432000 4194304 5098028 140725448275520 140725448273624 139876859794044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17080320 140725448282998 140725448283241 140725448283241 140725448286154 0 /proc/6383/statm: 28282 364 305 221 0 87 0 [pid=6385] ppid=6383 vsize=28233768 memory=21871360 CPUtime=861.57 cores=0-7 /proc/6385/stat : 6385 (java) S 6383 6383 6339 0 -1 1077944320 645314 0 0 0 82075 4082 0 0 20 0 20 0 420282718 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140723632493776 140714460372727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 /proc/6385/statm: 7058442 5467840 3503 1 0 7019544 0 [pid=6385/tid=6386] ppid=6383 vsize=28233768 memory=8112282956445269571 CPUtime=23.4 cores=0-7 /proc/6385/task/6386/stat : 6386 (java) S 6383 6383 6339 0 -1 1077944384 19741 0 0 0 2299 41 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714464610848 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6387] ppid=6383 vsize=28233768 memory=41152 CPUtime=102.38 cores=0-7 /proc/6385/task/6387/stat : 6387 (java) S 6383 6383 6339 0 -1 1077944384 71424 0 0 0 9702 536 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714412993552 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6388] ppid=6383 vsize=28233768 memory=3028 CPUtime=102.59 cores=0-7 /proc/6385/task/6388/stat : 6388 (java) S 6383 6383 6339 0 -1 1077944384 73954 0 0 0 9753 506 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714411941008 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6389] ppid=6383 vsize=28233768 memory=2012 CPUtime=102.56 cores=0-7 /proc/6385/task/6389/stat : 6389 (java) S 6383 6383 6339 0 -1 1077944384 55860 0 0 0 9795 461 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714410887952 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6390] ppid=6383 vsize=28233768 memory=1388 CPUtime=102.67 cores=0-7 /proc/6385/task/6390/stat : 6390 (java) S 6383 6383 6339 0 -1 1077944384 94221 0 0 0 9742 525 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714409835408 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6391] ppid=6383 vsize=28233768 memory=776 CPUtime=102.45 cores=0-7 /proc/6385/task/6391/stat : 6391 (java) S 6383 6383 6339 0 -1 1077944384 37130 0 0 0 9728 517 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714408782352 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6392] ppid=6383 vsize=28233768 memory=3972 CPUtime=102.42 cores=0-7 /proc/6385/task/6392/stat : 6392 (java) S 6383 6383 6339 0 -1 1077944384 88026 0 0 0 9752 490 0 0 20 0 20 0 420282720 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714407729808 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6393] ppid=6383 vsize=28233768 memory=2828 CPUtime=102.41 cores=0-7 /proc/6385/task/6393/stat : 6393 (java) S 6383 6383 6339 0 -1 1077944384 39489 0 0 0 9733 508 0 0 20 0 20 0 420282720 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714406676752 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6394] ppid=6383 vsize=28233768 memory=676 CPUtime=102.57 cores=0-7 /proc/6385/task/6394/stat : 6394 (java) S 6383 6383 6339 0 -1 1077944384 38513 0 0 0 9816 441 0 0 20 0 20 0 420282720 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714405624208 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6395] ppid=6383 vsize=28233768 memory=1060 CPUtime=16.02 cores=0-7 /proc/6385/task/6395/stat : 6395 (java) R 6383 6383 6339 0 -1 4202560 111132 0 0 0 1555 47 0 0 20 0 20 0 420282721 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712839501136 140714445369131 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6396] ppid=6383 vsize=28233768 memory=4486604260213485459 CPUtime=0 cores=0-7 /proc/6385/task/6396/stat : 6396 (java) S 6383 6383 6339 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 420282721 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712838448864 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6397] ppid=6383 vsize=28233768 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/6385/task/6397/stat : 6397 (java) S 6383 6383 6339 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 20 0 420282722 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712837395712 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6398] ppid=6383 vsize=28233768 memory=20569 CPUtime=0 cores=0-7 /proc/6385/task/6398/stat : 6398 (java) S 6383 6383 6339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712836344272 140714460391323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6399] ppid=6383 vsize=28233768 memory=3338242 CPUtime=0.42 cores=0-7 /proc/6385/task/6399/stat : 6399 (java) S 6383 6383 6339 0 -1 1077944384 3212 0 0 0 42 0 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712835291136 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6400] ppid=6383 vsize=28233768 memory=1560 CPUtime=0.48 cores=0-7 /proc/6385/task/6400/stat : 6400 (java) S 6383 6383 6339 0 -1 1077944384 3624 0 0 0 47 1 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712834238880 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6401] ppid=6383 vsize=28233768 memory=932 CPUtime=0.63 cores=0-7 /proc/6385/task/6401/stat : 6401 (java) S 6383 6383 6339 0 -1 1077944384 3195 0 0 0 62 1 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712833185824 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6402] ppid=6383 vsize=28233768 memory=3624 CPUtime=0.38 cores=0-7 /proc/6385/task/6402/stat : 6402 (java) S 6383 6383 6339 0 -1 1077944384 3331 0 0 0 37 1 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712832133280 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6403] ppid=6383 vsize=28233768 memory=2124 CPUtime=0 cores=0-7 /proc/6385/task/6403/stat : 6403 (java) S 6383 6383 6339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712831081440 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6404] ppid=6383 vsize=28233768 memory=22464 CPUtime=0.05 cores=0-7 /proc/6385/task/6404/stat : 6404 (java) S 6383 6383 6339 0 -1 1077944384 1082 0 0 0 3 2 0 0 20 0 20 0 420282725 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712830028976 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 Current children cumulated CPU time: 861.57 s Current children cumulated vsize: 28346896 KiB Current children cumulated memory: 21872816 KiB [startup+143.401 s] /proc/loadavg: 6.99 6.81 7.17 2/212 6412 /proc/meminfo: memFree=9341884/32770624 swapFree=66996988/67108860 [pid=6383] ppid=6380 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/6383/stat : 6383 (xcsp3-exec) S 6380 6383 6339 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420282718 115843072 364 33554432000 4194304 5098028 140725448275520 140725448273624 139876859794044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17080320 140725448282998 140725448283241 140725448283241 140725448286154 0 /proc/6383/statm: 28282 364 305 221 0 87 0 [pid=6385] ppid=6383 vsize=28233768 memory=21871360 CPUtime=861.77 cores=0-7 /proc/6385/stat : 6385 (java) S 6383 6383 6339 0 -1 1077944320 645315 0 0 0 82095 4082 0 0 20 0 20 0 420282718 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140723632493776 140714460372727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 /proc/6385/statm: 7058442 5467840 3503 1 0 7019544 0 [pid=6385/tid=6386] ppid=6383 vsize=28233768 memory=1560 CPUtime=23.4 cores=0-7 /proc/6385/task/6386/stat : 6386 (java) S 6383 6383 6339 0 -1 1077944384 19741 0 0 0 2299 41 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714464610848 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6387] ppid=6383 vsize=28233768 memory=932 CPUtime=102.38 cores=0-7 /proc/6385/task/6387/stat : 6387 (java) S 6383 6383 6339 0 -1 1077944384 71424 0 0 0 9702 536 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714412993552 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6388] ppid=6383 vsize=28233768 memory=3624 CPUtime=102.59 cores=0-7 /proc/6385/task/6388/stat : 6388 (java) S 6383 6383 6339 0 -1 1077944384 73954 0 0 0 9753 506 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714411941008 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6389] ppid=6383 vsize=28233768 memory=8112282956445269571 CPUtime=102.56 cores=0-7 /proc/6385/task/6389/stat : 6389 (java) S 6383 6383 6339 0 -1 1077944384 55860 0 0 0 9795 461 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714410887952 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6390] ppid=6383 vsize=28233768 memory=21871360 CPUtime=102.67 cores=0-7 /proc/6385/task/6390/stat : 6390 (java) S 6383 6383 6339 0 -1 1077944384 94221 0 0 0 9742 525 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714409835408 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6391] ppid=6383 vsize=28233768 memory=3908 CPUtime=102.45 cores=0-7 /proc/6385/task/6391/stat : 6391 (java) S 6383 6383 6339 0 -1 1077944384 37130 0 0 0 9728 517 0 0 20 0 20 0 420282719 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714408782352 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6392] ppid=6383 vsize=28233768 memory=1412 CPUtime=102.42 cores=0-7 /proc/6385/task/6392/stat : 6392 (java) S 6383 6383 6339 0 -1 1077944384 88026 0 0 0 9752 490 0 0 20 0 20 0 420282720 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714407729808 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6393] ppid=6383 vsize=28233768 memory=3128 CPUtime=102.41 cores=0-7 /proc/6385/task/6393/stat : 6393 (java) S 6383 6383 6339 0 -1 1077944384 39489 0 0 0 9733 508 0 0 20 0 20 0 420282720 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714406676752 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6394] ppid=6383 vsize=28233768 memory=1456 CPUtime=102.57 cores=0-7 /proc/6385/task/6394/stat : 6394 (java) S 6383 6383 6339 0 -1 1077944384 38513 0 0 0 9816 441 0 0 20 0 20 0 420282720 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140714405624208 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6395] ppid=6383 vsize=28233768 memory=21871360 CPUtime=16.22 cores=0-7 /proc/6385/task/6395/stat : 6395 (java) R 6383 6383 6339 0 -1 4202560 111133 0 0 0 1575 47 0 0 20 0 20 0 420282721 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712839501136 140714438742907 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6396] ppid=6383 vsize=28233768 memory=1644 CPUtime=0 cores=0-7 /proc/6385/task/6396/stat : 6396 (java) S 6383 6383 6339 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 420282721 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712838448864 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6397] ppid=6383 vsize=28233768 memory=3504 CPUtime=0 cores=0-7 /proc/6385/task/6397/stat : 6397 (java) S 6383 6383 6339 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 20 0 420282722 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712837395712 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6398] ppid=6383 vsize=28233768 memory=41152 CPUtime=0 cores=0-7 /proc/6385/task/6398/stat : 6398 (java) S 6383 6383 6339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712836344272 140714460391323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6399] ppid=6383 vsize=28233768 memory=1548 CPUtime=0.42 cores=0-7 /proc/6385/task/6399/stat : 6399 (java) S 6383 6383 6339 0 -1 1077944384 3212 0 0 0 42 0 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712835291136 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6400] ppid=6383 vsize=28233768 memory=8560 CPUtime=0.48 cores=0-7 /proc/6385/task/6400/stat : 6400 (java) S 6383 6383 6339 0 -1 1077944384 3624 0 0 0 47 1 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712834238880 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6401] ppid=6383 vsize=28233768 memory=1668 CPUtime=0.63 cores=0-7 /proc/6385/task/6401/stat : 6401 (java) S 6383 6383 6339 0 -1 1077944384 3195 0 0 0 62 1 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712833185824 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6402] ppid=6383 vsize=28233768 memory=1112 CPUtime=0.38 cores=0-7 /proc/6385/task/6402/stat : 6402 (java) S 6383 6383 6339 0 -1 1077944384 3331 0 0 0 37 1 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712832133280 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6403] ppid=6383 vsize=28233768 memory=1004 CPUtime=0 cores=0-7 /proc/6385/task/6403/stat : 6403 (java) S 6383 6383 6339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420282724 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712831081440 140714460382933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 [pid=6385/tid=6404] ppid=6383 vsize=28233768 memory=5976 CPUtime=0.05 cores=0-7 /proc/6385/task/6404/stat : 6404 (java) S 6383 6383 6339 0 -1 1077944384 1082 0 0 0 3 2 0 0 20 0 20 0 420282725 28911378432 5467840 33554432000 4194304 4196468 140723632511232 140712830028976 140714460383874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140723632518122 140723632518294 140723632518294 140723632521167 0 Current children cumulated CPU time: 861.77 s Current children cumulated vsize: 28346896 KiB Current children cumulated memory: 21872816 KiB [startup+143.501 s] /proc/loadavg: 6.99 6.81 7.17 2/212 6412 /proc/meminfo: memFree=9341884/32770624 swapFree=66996988/67108860 [pid=6383] ppid=6380 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/6383/stat : 6383 (xcsp3-exec) S 6380 6383 6339 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420282718 115843072 364 33554432000 4194304 5098028 140725448275520 140725448273624 139876859794044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17080320 140725448282998 140725448283241 140725448283241 140725448286154 0 /proc/6383/statm: 28282 364 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB Child status: 1 Real time (s): 143.546 CPU time (s): 861.928 CPU user time (s): 820.994 CPU system time (s): 40.9337 CPU usage (%): 600.456 Max. virtual memory (cumulated for all children) (KiB): 28346896 Max. memory (cumulated for all children) (KiB): 21872816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 820.994 system time used= 40.9337 maximum resident set size= 21871572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 651282 page faults= 0 swaps= 0 block input operations= 0 block output operations= 296 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19896 involuntary context switches= 15585 # summary of solver processes directly reported to runsolver: # pid: 6383 # total CPU time (s): 861.928 # total CPU user time (s): 820.994 # total CPU system time (s): 40.9337 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.07744 second user time and 1.61432 second system time The end
Begin job on node103 at 2019-09-14 07:50:37 IDJOB=4393995 IDBENCH=138083 IDSOLVER=2841 FILE ID=node103/4393995-1568440296 RUNJOBID= node103-1568440237-6366 PBS_JOBID= 21702339 Free space on /tmp= 61636 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-4393995-1568440296/watcher-4393995-1568440296 -o /tmp/evaluation-result-4393995-1568440296/solver-4393995-1568440296 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568440237-6366 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 783357580 HOME/instance-4393995-1568440296.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9cdf82428becd6b5ad716031980a59d2 RANDOM SEED=783357580 node103.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.74 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.74 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.74 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.74 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: 31240692 kB MemAvailable: 31888824 kB Buffers: 106512 kB Cached: 825620 kB SwapCached: 9120 kB Active: 687232 kB Inactive: 255864 kB Active(anon): 5204 kB Inactive(anon): 47012 kB Active(file): 682028 kB Inactive(file): 208852 kB Unevictable: 111160 kB Mlocked: 111160 kB SwapTotal: 67108860 kB SwapFree: 66996988 kB Dirty: 108808 kB Writeback: 0 kB AnonPages: 114264 kB Mapped: 44636 kB Shmem: 32644 kB Slab: 175172 kB SReclaimable: 146172 kB SUnreclaim: 29000 kB KernelStack: 3360 kB PageTables: 5200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497272 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61612 MiB End job on node103 at 2019-09-14 07:53:01