Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | ? | 6383.46 | 1242.67 |
Name | SuperSolutions/SuperSolutions-Taillard-os10/ SuperTaillard-os-10-01.xml |
MD5SUM | a0db4e7a601eb58dee5216b17e791c99 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 41.2819 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2800 |
Number of domains | 65 |
Minimum domain size | 548 |
Maximum domain size | 643 |
Distribution of domain sizes | [{"size":548,"count":6},{"size":549,"count":6},{"size":550,"count":4},{"size":551,"count":2},{"size":552,"count":4},{"size":553,"count":2},{"size":554,"count":2},{"size":555,"count":2},{"size":556,"count":2},{"size":558,"count":2},{"size":559,"count":8},{"size":560,"count":2},{"size":561,"count":2},{"size":562,"count":6},{"size":563,"count":2},{"size":565,"count":2},{"size":572,"count":2},{"size":573,"count":4},{"size":574,"count":2},{"size":575,"count":2},{"size":576,"count":4},{"size":577,"count":2},{"size":578,"count":8},{"size":579,"count":2},{"size":580,"count":2},"...",{"size":603,"count":2}, {"size":604,"count":2}, {"size":605,"count":2}, {"size":606,"count":2}, {"size":607,"count":6}, {"size":608,"count":4}, {"size":611,"count":4}, {"size":612,"count":2}, {"size":614,"count":4}, {"size":616,"count":6}, {"size":617,"count":2}, {"size":619,"count":2}, {"size":620,"count":2}, {"size":621,"count":2}, {"size":623,"count":2}, {"size":625,"count":2}, {"size":627,"count":4}, {"size":628,"count":2}, {"size":629,"count":2}, {"size":633,"count":6}, {"size":634,"count":2}, {"size":637,"count":2}, {"size":639,"count":4}, {"size":642,"count":2}, {"size":643,"count":2}] |
Minimum variable degree | 19 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":19,"count":100},{"degree":37,"count":100}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":2800}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2800 |
Distribution of constraint types | [{"type":"intension","count":2800}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404270-1569007254.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404270-1569007254.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 6280.07/1225.98 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded 6280.16/1226.01 at java.util.stream.ReduceOps.makeInt(ReduceOps.java:271) 6280.16/1226.01 at java.util.stream.IntPipeline.reduce(IntPipeline.java:456) 6280.16/1226.01 at org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression.ieval(NaArExpression.java:125) 6280.16/1226.01 at org.chocosolver.solver.expression.discrete.relational.BiReExpression.beval(BiReExpression.java:214) 6280.16/1226.01 at org.chocosolver.solver.expression.discrete.logical.NaLoExpression.beval(NaLoExpression.java:135) 6280.16/1226.01 at org.chocosolver.solver.expression.discrete.relational.ReExpression.lambda$extension$3(ReExpression.java:150) 6280.16/1226.01 at org.chocosolver.solver.expression.discrete.relational.ReExpression$$Lambda$146/615634843.valid(Unknown Source) 6280.16/1226.01 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 6280.16/1226.01 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150) 6280.16/1226.01 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 6280.16/1226.01 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283) 6280.16/1226.01 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164) 6280.16/1226.01 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 6280.16/1226.01 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 6280.16/1226.01 at org.xcsp.parser.XCallbacks$$Lambda$88/103887628.accept(Unknown Source) 6280.16/1226.01 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 6280.16/1226.01 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 6280.16/1226.01 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 6280.16/1226.01 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 6280.16/1226.01 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 6280.16/1226.01 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 6280.16/1226.01 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 6280.16/1226.01 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 6280.16/1226.01 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 6280.16/1226.01 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 6280.16/1226.01 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 6280.16/1226.01 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 6382.67/1241.99 s UNKNOWN 6382.67/1241.99 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 (9752 MiB free) memory of node 1: 16384 MiB (8227 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404270-1569007254/watcher-4404270-1569007254 -o /tmp/evaluation-result-4404270-1569007254/solver-4404270-1569007254 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569000410-26068 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 30306906 HOME/instance-4404270-1569007254.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=29208, runsolver pid=29205 Current StackSize limit: 8192 KiB [startup+0.100205 s]* /proc/loadavg: 7.26 7.96 8.21 3/211 29229 /proc/meminfo: memFree=18394640/32770624 swapFree=66986244/67108860 [pid=29208] ppid=29205 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29208/stat : 29208 (xcsp3-exec) S 29205 29208 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476982287 115843072 364 33554432000 4194304 5098028 140721196395088 140721196393192 139926974575228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30347264 140721196401527 140721196401769 140721196401769 140721196404682 0 /proc/29208/statm: 28282 364 305 221 0 87 0 [pid=29210] ppid=29208 vsize=28227396 memory=28956 CPUtime=0.12 cores=0-7 /proc/29210/stat : 29210 (java) S 29208 29208 26041 0 -1 1077944320 5714 0 0 0 11 1 0 0 20 0 20 0 476982287 28904853504 7239 33554432000 4194304 4196468 140723115865168 140723115847712 139759770345207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 /proc/29210/statm: 7056849 7239 3120 1 0 7019032 0 [pid=29210/tid=29211] ppid=29208 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/29210/task/29211/stat : 29211 (java) R 29208 29208 26041 0 -1 4202560 3614 0 0 0 8 1 0 0 20 0 20 0 476982288 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759774572784 139759751740413 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29212] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29212/stat : 29212 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759722965904 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29213] ppid=29208 vsize=28227396 memory=140461589415757 CPUtime=0 cores=0-7 /proc/29210/task/29213/stat : 29213 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759721913104 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29214] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29214/stat : 29214 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759720860816 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29215] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29215/stat : 29215 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759719808016 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29216] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29216/stat : 29216 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759718754704 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29217] ppid=29208 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29210/task/29217/stat : 29217 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759717701904 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29218] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29218/stat : 29218 (java) S 29208 29208 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759716649616 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29219] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29219/stat : 29219 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759715596816 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29220] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29220/stat : 29220 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982290 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759087950448 139759770356354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29221] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29221/stat : 29221 (java) S 29208 29208 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476982290 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759086896416 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29222] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29222/stat : 29222 (java) S 29208 29208 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476982291 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759085844080 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29223] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29223/stat : 29223 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982293 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759084792400 139759770363803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29224] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29224/stat : 29224 (java) S 29208 29208 26041 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 476982293 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759083739248 139759770356354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29225] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29225/stat : 29225 (java) S 29208 29208 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476982293 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759082686448 139759770356354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29226] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29226/stat : 29226 (java) S 29208 29208 26041 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476982293 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759081634160 139759770356354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29227] ppid=29208 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/29210/task/29227/stat : 29227 (java) R 29208 29208 26041 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 20 0 476982293 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759080581360 139759748979182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29228] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29228/stat : 29228 (java) S 29208 29208 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476982293 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759079529312 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29229] ppid=29208 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29210/task/29229/stat : 29229 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982293 28904853504 7239 33554432000 4194304 4196468 140723115865168 139759078476592 139759770356354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30412 KiB [startup+0.210263 s]* /proc/loadavg: 7.26 7.96 8.21 2/211 29229 /proc/meminfo: memFree=18381836/32770624 swapFree=66986244/67108860 [pid=29208] ppid=29205 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29208/stat : 29208 (xcsp3-exec) S 29205 29208 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476982287 115843072 364 33554432000 4194304 5098028 140721196395088 140721196393192 139926974575228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30347264 140721196401527 140721196401769 140721196401769 140721196404682 0 /proc/29208/statm: 28282 364 305 221 0 87 0 [pid=29210] ppid=29208 vsize=28227396 memory=40804 CPUtime=0.34 cores=0-7 /proc/29210/stat : 29210 (java) S 29208 29208 26041 0 -1 1077944320 9480 0 0 0 31 3 0 0 20 0 20 0 476982287 28904853504 10201 33554432000 4194304 4196468 140723115865168 140723115847712 139759770345207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 /proc/29210/statm: 7056849 10201 3277 1 0 7019032 0 [pid=29210/tid=29211] ppid=29208 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/29210/task/29211/stat : 29211 (java) R 29208 29208 26041 0 -1 4202560 6637 0 0 0 18 2 0 0 20 0 20 0 476982288 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759774577120 139759770357142 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29212] ppid=29208 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/29210/task/29212/stat : 29212 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759722965904 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29213] ppid=29208 vsize=28227396 memory=288370837741106816 CPUtime=0 cores=0-7 /proc/29210/task/29213/stat : 29213 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759721913104 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29214] ppid=29208 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29210/task/29214/stat : 29214 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759720860816 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29215] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29215/stat : 29215 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759719808016 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29216] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29216/stat : 29216 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759718754704 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29217] ppid=29208 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29210/task/29217/stat : 29217 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759717701904 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29218] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29218/stat : 29218 (java) S 29208 29208 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759716649616 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29219] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29219/stat : 29219 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759715596816 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29220] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29220/stat : 29220 (java) S 29208 29208 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476982290 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759087950448 139759770356354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29221] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29221/stat : 29221 (java) S 29208 29208 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476982290 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759086896416 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29222] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29222/stat : 29222 (java) S 29208 29208 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476982291 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759085844080 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29223] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29223/stat : 29223 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982293 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759084792400 139759770363803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29224] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29224/stat : 29224 (java) S 29208 29208 26041 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 476982293 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759083739248 139759770356354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29225] ppid=29208 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/29210/task/29225/stat : 29225 (java) S 29208 29208 26041 0 -1 1077944384 272 0 0 0 2 0 0 0 20 0 20 0 476982293 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759082686448 139759770356354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29226] ppid=29208 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/29210/task/29226/stat : 29226 (java) S 29208 29208 26041 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 20 0 476982293 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759081634160 139759770356354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29227] ppid=29208 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/29210/task/29227/stat : 29227 (java) R 29208 29208 26041 0 -1 4202560 767 0 0 0 7 0 0 0 20 0 20 0 476982293 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759080581360 139759770359071 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29228] ppid=29208 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29228/stat : 29228 (java) S 29208 29208 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476982293 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759079529312 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29229] ppid=29208 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29210/task/29229/stat : 29229 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982293 28904853504 10201 33554432000 4194304 4196468 140723115865168 139759078476592 139759770356354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42260 KiB [startup+0.309475 s]* /proc/loadavg: 7.26 7.96 8.21 4/211 29229 /proc/meminfo: memFree=18373492/32770624 swapFree=66986244/67108860 [pid=29208] ppid=29205 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29208/stat : 29208 (xcsp3-exec) S 29205 29208 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476982287 115843072 364 33554432000 4194304 5098028 140721196395088 140721196393192 139926974575228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30347264 140721196401527 140721196401769 140721196401769 140721196404682 0 /proc/29208/statm: 28282 364 305 221 0 87 0 [pid=29210] ppid=29208 vsize=28231652 memory=49968 CPUtime=0.52 cores=0-7 /proc/29210/stat : 29210 (java) S 29208 29208 26041 0 -1 1077944320 10846 0 0 0 48 4 0 0 20 0 20 0 476982287 28909211648 12492 33554432000 4194304 4196468 140723115865168 140723115847712 139759770345207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 /proc/29210/statm: 7057913 12492 3338 1 0 7019032 0 [pid=29210/tid=29211] ppid=29208 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/29210/task/29211/stat : 29211 (java) R 29208 29208 26041 0 -1 4202560 7772 0 0 0 27 2 0 0 20 0 20 0 476982288 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759774576320 139759751929718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29212] ppid=29208 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29212/stat : 29212 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759722965904 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29213] ppid=29208 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29213/stat : 29213 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759721913104 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29214] ppid=29208 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29214/stat : 29214 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982288 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759720860816 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29215] ppid=29208 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29215/stat : 29215 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759719808016 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29216] ppid=29208 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29216/stat : 29216 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759718754704 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29217] ppid=29208 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29217/stat : 29217 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982288 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759717701904 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29218] ppid=29208 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29218/stat : 29218 (java) S 29208 29208 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476982288 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759716649616 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29219] ppid=29208 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29219/stat : 29219 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759715596816 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29220] ppid=29208 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29220/stat : 29220 (java) S 29208 29208 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476982290 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759087950448 139759770356354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29221] ppid=29208 vsize=28231652 memory=280922939399552 CPUtime=0 cores=0-7 /proc/29210/task/29221/stat : 29221 (java) S 29208 29208 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476982290 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759086896416 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29222] ppid=29208 vsize=28231652 memory=280922939404160 CPUtime=0 cores=0-7 /proc/29210/task/29222/stat : 29222 (java) S 29208 29208 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476982291 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759085844080 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29223] ppid=29208 vsize=28231652 memory=280922939408768 CPUtime=0 cores=0-7 /proc/29210/task/29223/stat : 29223 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982293 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759084792400 139759770363803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29224] ppid=29208 vsize=28231652 memory=280922939413376 CPUtime=0.01 cores=0-7 /proc/29210/task/29224/stat : 29224 (java) S 29208 29208 26041 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 476982293 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759083739248 139759770356354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29225] ppid=29208 vsize=28231652 memory=280922939417984 CPUtime=0.05 cores=0-7 /proc/29210/task/29225/stat : 29225 (java) R 29208 29208 26041 0 -1 4202560 361 0 0 0 5 0 0 0 20 0 20 0 476982293 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759082676832 139759751867019 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29226] ppid=29208 vsize=28231652 memory=280922939422592 CPUtime=0.01 cores=0-7 /proc/29210/task/29226/stat : 29226 (java) S 29208 29208 26041 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 20 0 476982293 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759081634160 139759770356354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29227] ppid=29208 vsize=28231652 memory=280922939427200 CPUtime=0.12 cores=0-7 /proc/29210/task/29227/stat : 29227 (java) S 29208 29208 26041 0 -1 1077944384 860 0 0 0 12 0 0 0 20 0 20 0 476982293 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759080581360 139759770356354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29228] ppid=29208 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29228/stat : 29228 (java) S 29208 29208 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476982293 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759079529312 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29229] ppid=29208 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/29210/task/29229/stat : 29229 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982293 28909211648 12492 33554432000 4194304 4196468 140723115865168 139759078476592 139759770356354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51424 KiB [startup+0.700981 s] /proc/loadavg: 7.26 7.96 8.21 5/211 29229 /proc/meminfo: memFree=18350024/32770624 swapFree=66986244/67108860 [pid=29208] ppid=29205 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/29208/stat : 29208 (xcsp3-exec) S 29205 29208 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476982287 115843072 364 33554432000 4194304 5098028 140721196395088 140721196393192 139926974575228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30347264 140721196401527 140721196401769 140721196401769 140721196404682 0 /proc/29208/statm: 28282 364 305 221 0 87 0 [pid=29210] ppid=29208 vsize=28233776 memory=115132 CPUtime=2.04 cores=0-7 /proc/29210/stat : 29210 (java) S 29208 29208 26041 0 -1 1077944320 17952 0 0 0 198 6 0 0 20 0 20 0 476982287 28911386624 28783 33554432000 4194304 4196468 140723115865168 140723115847712 139759770345207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 /proc/29210/statm: 7058444 28783 3450 1 0 7019544 0 [pid=29210/tid=29211] ppid=29208 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7 /proc/29210/task/29211/stat : 29211 (java) R 29208 29208 26041 0 -1 4202560 9204 0 0 0 64 3 0 0 20 0 20 0 476982288 28911386624 28783 33554432000 4194304 4196468 140723115865168 139759774580208 139759397753392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29212] ppid=29208 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29212/stat : 29212 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28911386624 28783 33554432000 4194304 4196468 140723115865168 139759722965904 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29213] ppid=29208 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29213/stat : 29213 (java) S 29208 29208 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476982288 28911386624 28783 33554432000 4194304 4196468 140723115865168 139759721913104 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29214] ppid=29208 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/29210/task/29214/stat : 29214 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982288 28911386624 28783 33554432000 4194304 4196468 140723115865168 139759720860816 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 ################ # More data... # ################ /proc/29210/task/29217/stat : 29217 (java) R 29208 29208 26041 0 -1 4202560 6916336 0 0 0 56367 1154 0 0 20 0 20 0 476982288 28911386624 6357498 33554432000 4194304 4196468 140723115865168 139759717701792 139759755042832 0 4 0 16800975 0 0 0 -1 2 0 0 20 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29218] ppid=29208 vsize=28233776 memory=1408 CPUtime=575 cores=0-7 /proc/29210/task/29218/stat : 29218 (java) R 29208 29208 26041 0 -1 4202560 6066231 0 0 0 56525 975 0 0 20 0 20 0 476982288 28911386624 6357498 33554432000 4194304 4196468 140723115865168 139759716649816 139759750371579 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29219] ppid=29208 vsize=28233776 memory=4420 CPUtime=574.89 cores=0-7 /proc/29210/task/29219/stat : 29219 (java) R 29208 29208 26041 0 -1 4202560 5418538 0 0 0 56473 1016 0 0 20 0 20 0 476982288 28911386624 6357498 33554432000 4194304 4196468 140723115865168 139759715597016 139759755295812 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29220] ppid=29208 vsize=28233776 memory=4104 CPUtime=137.21 cores=0-7 /proc/29210/task/29220/stat : 29220 (java) S 29208 29208 26041 0 -1 1077944384 1376517 0 0 0 13607 114 0 0 20 0 20 0 476982290 28911386624 6357498 33554432000 4194304 4196468 140723115865168 139759087948768 139759770355413 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29221] ppid=29208 vsize=28233776 memory=780 CPUtime=0 cores=0-7 /proc/29210/task/29221/stat : 29221 (java) S 29208 29208 26041 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 476982290 28911386624 6357498 33554432000 4194304 4196468 140723115865168 139759086896480 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29222] ppid=29208 vsize=28233776 memory=3616 CPUtime=0 cores=0-7 /proc/29210/task/29222/stat : 29222 (java) S 29208 29208 26041 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 476982291 28911386624 6357498 33554432000 4194304 4196468 140723115865168 139759085844096 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29223] ppid=29208 vsize=28233776 memory=1408 CPUtime=0 cores=0-7 /proc/29210/task/29223/stat : 29223 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982293 28911386624 6357498 33554432000 4194304 4196468 140723115865168 139759084792400 139759770363803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29224] ppid=29208 vsize=28233776 memory=25429992 CPUtime=1.04 cores=0-7 /proc/29210/task/29224/stat : 29224 (java) S 29208 29208 26041 0 -1 1077944384 8743 0 0 0 102 2 0 0 20 0 20 0 476982293 28911386624 6357498 33554432000 4194304 4196468 140723115865168 139759083739296 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29225] ppid=29208 vsize=28233776 memory=25429964 CPUtime=1.03 cores=0-7 /proc/29210/task/29225/stat : 29225 (java) S 29208 29208 26041 0 -1 1077944384 7731 0 0 0 102 1 0 0 20 0 20 0 476982293 28911386624 6357498 33554432000 4194304 4196468 140723115865168 139759082686208 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29226] ppid=29208 vsize=28233776 memory=1408 CPUtime=1.47 cores=0-7 /proc/29210/task/29226/stat : 29226 (java) S 29208 29208 26041 0 -1 1077944384 11922 0 0 0 145 2 0 0 20 0 20 0 476982293 28911386624 6357498 33554432000 4194304 4196468 140723115865168 139759081634208 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29227] ppid=29208 vsize=28233776 memory=1408 CPUtime=0.61 cores=0-7 /proc/29210/task/29227/stat : 29227 (java) S 29208 29208 26041 0 -1 1077944384 9142 0 0 0 59 2 0 0 20 0 20 0 476982293 28911386624 6357498 33554432000 4194304 4196468 140723115865168 139759080581408 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29228] ppid=29208 vsize=28233776 memory=1408 CPUtime=0 cores=0-7 /proc/29210/task/29228/stat : 29228 (java) S 29208 29208 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476982293 28911386624 6357498 33554432000 4194304 4196468 140723115865168 139759079529312 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29229] ppid=29208 vsize=28233776 memory=1408 CPUtime=0.45 cores=0-7 /proc/29210/task/29229/stat : 29229 (java) S 29208 29208 26041 0 -1 1077944384 1532 0 0 0 26 19 0 0 20 0 20 0 476982293 28911386624 6357498 33554432000 4194304 4196468 140723115865168 139759078476592 139759770356354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 Current children cumulated CPU time: 5087.56 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 25431400 KiB [startup+1122.31 s] /proc/loadavg: 7.64 6.69 6.22 10/210 29307 /proc/meminfo: memFree=202116/32770624 swapFree=66986244/67108860 [pid=29208] ppid=29205 vsize=113128 memory=1408 CPUtime=0 cores=0-7 /proc/29208/stat : 29208 (xcsp3-exec) S 29205 29208 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476982287 115843072 352 33554432000 4194304 5098028 140721196395088 140721196393192 139926974575228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30347264 140721196401527 140721196401769 140721196401769 140721196404682 0 /proc/29208/statm: 28282 352 293 221 0 87 0 [pid=29210] ppid=29208 vsize=28233776 memory=25430052 CPUtime=5535.45 cores=0-7 /proc/29210/stat : 29210 (java) S 29208 29208 26041 0 -1 1077944320 56974655 0 0 0 544189 9356 0 0 20 0 20 0 476982287 28911386624 6357513 33554432000 4194304 4196468 140723115865168 140723115847712 139759770345207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 /proc/29210/statm: 7058444 6357513 3044 1 0 7019544 0 [pid=29210/tid=29211] ppid=29208 vsize=28233776 memory=1408 CPUtime=344.53 cores=0-7 /proc/29210/task/29211/stat : 29211 (java) S 29208 29208 26041 0 -1 1077944384 97947 0 0 0 34331 122 0 0 20 0 20 0 476982288 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759774582208 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29212] ppid=29208 vsize=28233776 memory=25430052 CPUtime=632.11 cores=0-7 /proc/29210/task/29212/stat : 29212 (java) R 29208 29208 26041 0 -1 4202560 7907487 0 0 0 62087 1124 0 0 20 0 20 0 476982288 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759722965904 139759755044061 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29213] ppid=29208 vsize=28233776 memory=1408 CPUtime=630.44 cores=0-7 /proc/29210/task/29213/stat : 29213 (java) R 29208 29208 26041 0 -1 4202560 9844556 0 0 0 61732 1312 0 0 20 0 20 0 476982288 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759721913304 139759755341859 0 4 0 16800975 0 0 0 -1 7 0 0 19 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29214] ppid=29208 vsize=28233776 memory=25430052 CPUtime=631.16 cores=0-7 /proc/29210/task/29214/stat : 29214 (java) R 29208 29208 26041 0 -1 4202560 7151961 0 0 0 61860 1256 0 0 20 0 20 0 476982288 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759720861016 139759755043952 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29215] ppid=29208 vsize=28233776 memory=25430036 CPUtime=631.19 cores=0-7 /proc/29210/task/29215/stat : 29215 (java) R 29208 29208 26041 0 -1 4202560 5349335 0 0 0 62072 1047 0 0 20 0 20 0 476982288 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759719808216 139759755341850 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29216] ppid=29208 vsize=28233776 memory=25430020 CPUtime=628.12 cores=0-7 /proc/29210/task/29216/stat : 29216 (java) R 29208 29208 26041 0 -1 4202560 5216484 0 0 0 61740 1072 0 0 20 0 20 0 476982288 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759718754704 139759755341850 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29217] ppid=29208 vsize=28233776 memory=1408 CPUtime=630.77 cores=0-7 /proc/29210/task/29217/stat : 29217 (java) R 29208 29208 26041 0 -1 4202560 7578152 0 0 0 61850 1227 0 0 20 0 20 0 476982288 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759717701792 139759755341608 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29218] ppid=29208 vsize=28233776 memory=25430052 CPUtime=630.54 cores=0-7 /proc/29210/task/29218/stat : 29218 (java) R 29208 29208 26041 0 -1 4202560 6513347 0 0 0 62039 1015 0 0 20 0 20 0 476982288 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759716649816 139759755341853 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29219] ppid=29208 vsize=28233776 memory=1408 CPUtime=630.51 cores=0-7 /proc/29210/task/29219/stat : 29219 (java) R 29208 29208 26041 0 -1 4202560 5826894 0 0 0 62010 1041 0 0 20 0 20 0 476982288 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759715597016 139759755044068 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29220] ppid=29208 vsize=28233776 memory=25429984 CPUtime=141.32 cores=0-7 /proc/29210/task/29220/stat : 29220 (java) S 29208 29208 26041 0 -1 1077944384 1448013 0 0 0 14014 118 0 0 20 0 20 0 476982290 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759087948992 139759770355413 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29221] ppid=29208 vsize=28233776 memory=1408 CPUtime=0 cores=0-7 /proc/29210/task/29221/stat : 29221 (java) S 29208 29208 26041 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 476982290 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759086896480 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29222] ppid=29208 vsize=28233776 memory=25430036 CPUtime=0 cores=0-7 /proc/29210/task/29222/stat : 29222 (java) S 29208 29208 26041 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 476982291 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759085844096 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29223] ppid=29208 vsize=28233776 memory=3616 CPUtime=0 cores=0-7 /proc/29210/task/29223/stat : 29223 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982293 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759084792400 139759770363803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29224] ppid=29208 vsize=28233776 memory=1408 CPUtime=1.04 cores=0-7 /proc/29210/task/29224/stat : 29224 (java) S 29208 29208 26041 0 -1 1077944384 8752 0 0 0 102 2 0 0 20 0 20 0 476982293 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759083739296 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29225] ppid=29208 vsize=28233776 memory=25430052 CPUtime=1.03 cores=0-7 /proc/29210/task/29225/stat : 29225 (java) S 29208 29208 26041 0 -1 1077944384 7741 0 0 0 102 1 0 0 20 0 20 0 476982293 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759082686496 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29226] ppid=29208 vsize=28233776 memory=25430052 CPUtime=1.47 cores=0-7 /proc/29210/task/29226/stat : 29226 (java) S 29208 29208 26041 0 -1 1077944384 11942 0 0 0 145 2 0 0 20 0 20 0 476982293 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759081633920 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29227] ppid=29208 vsize=28233776 memory=1408 CPUtime=0.61 cores=0-7 /proc/29210/task/29227/stat : 29227 (java) S 29208 29208 26041 0 -1 1077944384 9151 0 0 0 59 2 0 0 20 0 20 0 476982293 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759080581408 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29228] ppid=29208 vsize=28233776 memory=25430036 CPUtime=0 cores=0-7 /proc/29210/task/29228/stat : 29228 (java) S 29208 29208 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476982293 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759079529312 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29229] ppid=29208 vsize=28233776 memory=3616 CPUtime=0.47 cores=0-7 /proc/29210/task/29229/stat : 29229 (java) S 29208 29208 26041 0 -1 1077944384 1597 0 0 0 27 20 0 0 20 0 20 0 476982293 28911386624 6357513 33554432000 4194304 4196468 140723115865168 139759078476592 139759770356354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 Current children cumulated CPU time: 5535.45 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 25431460 KiB [startup+1182.31 s] /proc/loadavg: 7.36 6.79 6.29 9/210 29319 /proc/meminfo: memFree=201160/32770624 swapFree=66986244/67108860 [pid=29208] ppid=29205 vsize=113128 memory=1408 CPUtime=0 cores=0-7 /proc/29208/stat : 29208 (xcsp3-exec) S 29205 29208 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476982287 115843072 352 33554432000 4194304 5098028 140721196395088 140721196393192 139926974575228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30347264 140721196401527 140721196401769 140721196401769 140721196404682 0 /proc/29208/statm: 28282 352 293 221 0 87 0 [pid=29210] ppid=29208 vsize=28233776 memory=25430116 CPUtime=5978.88 cores=0-7 /proc/29210/stat : 29210 (java) S 29208 29208 26041 0 -1 1077944320 62211242 0 0 0 588146 9742 0 0 20 0 20 0 476982287 28911386624 6357529 33554432000 4194304 4196468 140723115865168 140723115847712 139759770345207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 /proc/29210/statm: 7058444 6357529 3044 1 0 7019544 0 [pid=29210/tid=29211] ppid=29208 vsize=28233776 memory=25430116 CPUtime=344.75 cores=0-7 /proc/29210/task/29211/stat : 29211 (java) S 29208 29208 26041 0 -1 1077944384 98559 0 0 0 34353 122 0 0 20 0 20 0 476982288 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759774582208 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29212] ppid=29208 vsize=28233776 memory=1408 CPUtime=686.9 cores=0-7 /proc/29210/task/29212/stat : 29212 (java) R 29208 29208 26041 0 -1 4202560 8438307 0 0 0 67525 1165 0 0 20 0 20 0 476982288 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759722966104 139759755296213 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29213] ppid=29208 vsize=28233776 memory=1408 CPUtime=685.1 cores=0-7 /proc/29210/task/29213/stat : 29213 (java) R 29208 29208 26041 0 -1 4202560 10341934 0 0 0 67154 1356 0 0 20 0 20 0 476982288 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759721913304 139759756410037 0 4 0 16800975 0 0 0 -1 7 0 0 19 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29214] ppid=29208 vsize=28233776 memory=1408 CPUtime=685.95 cores=0-7 /proc/29210/task/29214/stat : 29214 (java) R 29208 29208 26041 0 -1 4202560 8010461 0 0 0 67279 1316 0 0 20 0 20 0 476982288 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759720861016 139759755042959 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29215] ppid=29208 vsize=28233776 memory=1408 CPUtime=686.12 cores=0-7 /proc/29210/task/29215/stat : 29215 (java) R 29208 29208 26041 0 -1 4202560 6140521 0 0 0 67515 1097 0 0 20 0 20 0 476982288 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759719808216 139759750371391 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29216] ppid=29208 vsize=28233776 memory=1408 CPUtime=682.86 cores=0-7 /proc/29210/task/29216/stat : 29216 (java) R 29208 29208 26041 0 -1 4202560 5758135 0 0 0 67173 1113 0 0 20 0 20 0 476982288 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759718754904 139759755296337 0 4 0 16800975 0 0 0 -1 1 0 0 18 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29217] ppid=29208 vsize=28233776 memory=25430116 CPUtime=685.62 cores=0-7 /proc/29210/task/29217/stat : 29217 (java) R 29208 29208 26041 0 -1 4202560 8211081 0 0 0 67291 1271 0 0 20 0 20 0 476982288 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759717702104 139759750371391 0 4 0 16800975 0 0 0 -1 2 0 0 20 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29218] ppid=29208 vsize=28233776 memory=1408 CPUtime=685.32 cores=0-7 /proc/29210/task/29218/stat : 29218 (java) R 29208 29208 26041 0 -1 4202560 7082931 0 0 0 67482 1050 0 0 20 0 20 0 476982288 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759716649504 139759750371344 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29219] ppid=29208 vsize=28233776 memory=25430092 CPUtime=685.32 cores=0-7 /proc/29210/task/29219/stat : 29219 (java) R 29208 29208 26041 0 -1 4202560 6449865 0 0 0 67433 1099 0 0 20 0 20 0 476982288 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759715597016 139759755296331 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29220] ppid=29208 vsize=28233776 memory=25430104 CPUtime=146.12 cores=0-7 /proc/29210/task/29220/stat : 29220 (java) S 29208 29208 26041 0 -1 1077944384 1638851 0 0 0 14483 129 0 0 20 0 20 0 476982290 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759087948768 139759770355413 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29221] ppid=29208 vsize=28233776 memory=25430092 CPUtime=0 cores=0-7 /proc/29210/task/29221/stat : 29221 (java) S 29208 29208 26041 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 476982290 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759086896480 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29222] ppid=29208 vsize=28233776 memory=1416 CPUtime=0 cores=0-7 /proc/29210/task/29222/stat : 29222 (java) S 29208 29208 26041 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 476982291 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759085844096 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29223] ppid=29208 vsize=28233776 memory=1712 CPUtime=0 cores=0-7 /proc/29210/task/29223/stat : 29223 (java) S 29208 29208 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476982293 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759084792400 139759770363803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29224] ppid=29208 vsize=28233776 memory=1408 CPUtime=1.04 cores=0-7 /proc/29210/task/29224/stat : 29224 (java) S 29208 29208 26041 0 -1 1077944384 8767 0 0 0 102 2 0 0 20 0 20 0 476982293 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759083739008 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29225] ppid=29208 vsize=28233776 memory=1408 CPUtime=1.03 cores=0-7 /proc/29210/task/29225/stat : 29225 (java) S 29208 29208 26041 0 -1 1077944384 7750 0 0 0 102 1 0 0 20 0 20 0 476982293 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759082686496 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29226] ppid=29208 vsize=28233776 memory=25430108 CPUtime=1.48 cores=0-7 /proc/29210/task/29226/stat : 29226 (java) S 29208 29208 26041 0 -1 1077944384 11951 0 0 0 146 2 0 0 20 0 20 0 476982293 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759081634208 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29227] ppid=29208 vsize=28233776 memory=25430108 CPUtime=0.62 cores=0-7 /proc/29210/task/29227/stat : 29227 (java) S 29208 29208 26041 0 -1 1077944384 9159 0 0 0 60 2 0 0 20 0 20 0 476982293 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759080581408 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29228] ppid=29208 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/29210/task/29228/stat : 29228 (java) S 29208 29208 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476982293 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759079529312 139759770355413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 [pid=29210/tid=29229] ppid=29208 vsize=28233776 memory=8044983199853536009 CPUtime=0.5 cores=0-7 /proc/29210/task/29229/stat : 29229 (java) S 29208 29208 26041 0 -1 1077944384 1684 0 0 0 28 22 0 0 20 0 20 0 476982293 28911386624 6357529 33554432000 4194304 4196468 140723115865168 139759078476592 139759770356354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140723115873258 140723115873430 140723115873430 140723115876303 0 Current children cumulated CPU time: 5978.88 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 25431524 KiB [startup+1242.31 s] /proc/loadavg: 7.24 6.91 6.36 2/192 29323 /proc/meminfo: memFree=11566500/32770624 swapFree=66986244/67108860 [pid=29208] ppid=29205 vsize=113128 memory=1408 CPUtime=0 cores=0-7 /proc/29208/stat : 29208 (xcsp3-exec) S 29205 29208 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476982287 115843072 352 33554432000 4194304 5098028 140721196395088 140721196393192 139926974575228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30347264 140721196401527 140721196401769 140721196401769 140721196404682 0 /proc/29208/statm: 28282 352 293 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1408 KiB heavy processes: [startup+1242.67 s] # the end of solver process 29208 was just reported to runsolver # cumulated CPU time of all completed processes: user=6280.84 s, system=102.616 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1242.6 s] /proc/loadavg: 7.24 6.91 6.36 2/192 29323 /proc/meminfo: memFree=13161972/32770624 swapFree=66986244/67108860 [pid=29208] ppid=29205 vsize=113128 memory=1408 CPUtime=0 cores=0-7 /proc/29208/stat : 29208 (xcsp3-exec) S 29205 29208 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476982287 115843072 352 33554432000 4194304 5098028 140721196395088 140721196393192 139926974575228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30347264 140721196401527 140721196401769 140721196401769 140721196404682 0 /proc/29208/statm: 28282 352 293 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1408 KiB Child status: 1 Real time (s): 1242.67 CPU time (s): 6383.46 CPU user time (s): 6280.84 CPU system time (s): 102.616 CPU usage (%): 513.687 Max. virtual memory (cumulated for all children) (KiB): 28413468 Max. memory (cumulated for all children) (KiB): 25431640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6280.84 system time used= 102.616 maximum resident set size= 25430508 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67665720 page faults= 1 swaps= 0 block input operations= 8832 block output operations= 1648 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 73409 involuntary context switches= 85040 # summary of solver processes directly reported to runsolver: # pid: 29208 # total CPU time (s): 6383.46 # total CPU user time (s): 6280.84 # total CPU system time (s): 102.616 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.0704 second user time and 13.5618 second system time The end
Begin job on node104 at 2019-09-20 20:10:33 IDJOB=4404270 IDBENCH=138445 IDSOLVER=2865 FILE ID=node104/4404270-1569007254 RUNJOBID= node104-1569000410-26068 PBS_JOBID= 21704740 Free space on /tmp= 9832 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-01.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-4404270-1569007254/watcher-4404270-1569007254 -o /tmp/evaluation-result-4404270-1569007254/solver-4404270-1569007254 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569000410-26068 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 30306906 HOME/instance-4404270-1569007254.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a0db4e7a601eb58dee5216b17e791c99 RANDOM SEED=30306906 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 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: 18411408 kB MemAvailable: 31826484 kB Buffers: 97416 kB Cached: 13242392 kB SwapCached: 22652 kB Active: 6655848 kB Inactive: 6710016 kB Active(anon): 3460 kB Inactive(anon): 71920 kB Active(file): 6652388 kB Inactive(file): 6638096 kB Unevictable: 109708 kB Mlocked: 109708 kB SwapTotal: 67108860 kB SwapFree: 66986244 kB Dirty: 26304 kB Writeback: 0 kB AnonPages: 114636 kB Mapped: 52252 kB Shmem: 40708 kB Slab: 583348 kB SReclaimable: 553052 kB SUnreclaim: 30296 kB KernelStack: 3456 kB PageTables: 5124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498024 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9804 MiB End job on node104 at 2019-09-20 20:31:16