Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | ? | 564.607 | 105.868 |
Name | BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-75.xml |
MD5SUM | 9cdf82428becd6b5ad716031980a59d2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 2400.05 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 133 |
Number of constraints | 25 |
Number of domains | 2 |
Minimum domain size | 23 |
Maximum domain size | 47 |
Distribution of domain sizes | [{"size":23,"count":1},{"size":47,"count":132}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":110},{"degree":4,"count":22}] |
Minimum constraint arity | 6 |
Maximum constraint arity | 132 |
Distribution of constraint arities | [{"arity":6,"count":22},{"arity":23,"count":1},{"arity":132,"count":2}] |
Number of extensional constraints | 22 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":22},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407455-1569348651.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407455-1569348651.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 564.33/105.69 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 564.33/105.69 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:101) 564.33/105.69 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 564.33/105.69 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2108) 564.33/105.69 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2055) 564.33/105.69 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:317) 564.33/105.69 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:306) 564.33/105.69 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:167) 564.33/105.69 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 564.33/105.69 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 564.33/105.69 at org.xcsp.parser.XCallbacks$$Lambda$110/961419791.accept(Unknown Source) 564.33/105.69 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 564.33/105.69 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 564.33/105.69 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 564.33/105.69 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 564.33/105.69 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 564.33/105.69 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 564.33/105.69 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 564.33/105.69 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 564.33/105.69 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 564.33/105.69 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 564.33/105.69 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 564.33/105.69 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 564.33/105.69 s UNKNOWN 564.33/105.69 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 (13474 MiB free) memory of node 1: 16384 MiB (14261 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407455-1569348651/watcher-4407455-1569348651 -o /var/tmp/evaluation-result-4407455-1569348651/solver-4407455-1569348651 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1642262598 HOME/instance-4407455-1569348651.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=23833, runsolver pid=23830 [startup+0.100148 s]* /proc/loadavg: 8.79 8.46 8.19 3/211 23854 /proc/meminfo: memFree=28386244/32770624 swapFree=67023944/67108860 [pid=23833] ppid=23830 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23833/stat : 23833 (xcsp3-exec) S 23830 23833 16140 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511137697 115843072 363 33554432000 4194304 5098028 140736098652832 140736098650936 139929062445692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21065728 140736098657111 140736098657370 140736098657370 140736098660294 0 /proc/23833/statm: 28282 363 304 221 0 87 0 [pid=23835] ppid=23833 vsize=28227396 memory=28616 CPUtime=0.12 cores=0-7 /proc/23835/stat : 23835 (java) S 23833 23833 16140 0 -1 1077944320 5652 0 0 0 11 1 0 0 20 0 20 0 511137697 28904853504 7154 33554432000 4194304 4196468 140726423516224 140726423498768 139938615344887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 /proc/23835/statm: 7056849 7154 3138 1 0 7019032 0 [pid=23835/tid=23836] ppid=23833 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/23835/task/23836/stat : 23836 (java) R 23833 23833 16140 0 -1 4202560 3572 0 0 0 8 0 0 0 20 0 20 0 511137697 28904853504 7154 33554432000 4194304 4196468 140726423516224 139938619574784 139938615356822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23837] ppid=23833 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/23835/task/23837/stat : 23837 (java) S 23833 23833 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 7154 33554432000 4194304 4196468 140726423516224 139938567965456 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23838] ppid=23833 vsize=28227396 memory=140519480055424 CPUtime=0 cores=0-7 /proc/23835/task/23838/stat : 23838 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 7154 33554432000 4194304 4196468 140726423516224 139938566912912 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23839] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23839/stat : 23839 (java) S 23833 23833 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 7154 33554432000 4194304 4196468 140726423516224 139938565860368 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23840] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23840/stat : 23840 (java) S 23833 23833 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 7220 33554432000 4194304 4196468 140726423516224 139938564807824 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23841] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23841/stat : 23841 (java) S 23833 23833 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 7220 33554432000 4194304 4196468 140726423516224 139938563754256 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23842] ppid=23833 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23835/task/23842/stat : 23842 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 7220 33554432000 4194304 4196468 140726423516224 139938562701712 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23843] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23843/stat : 23843 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 7220 33554432000 4194304 4196468 140726423516224 139938561649168 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23844] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23844/stat : 23844 (java) S 23833 23833 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 7220 33554432000 4194304 4196468 140726423516224 139938560596624 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23845] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23845/stat : 23845 (java) S 23833 23833 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511137700 28904853504 7286 33554432000 4194304 4196468 140726423516224 139937011714544 139938615356034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23846] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23846/stat : 23846 (java) S 23833 23833 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511137700 28904853504 7286 33554432000 4194304 4196468 140726423516224 139937010660768 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23847] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23847/stat : 23847 (java) S 23833 23833 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511137700 28904853504 7286 33554432000 4194304 4196468 140726423516224 139937009608176 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23848] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23848/stat : 23848 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137703 28904853504 7286 33554432000 4194304 4196468 140726423516224 139937008556752 139938615363483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23849] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23849/stat : 23849 (java) R 23833 23833 16140 0 -1 4202560 469 0 0 0 0 0 0 0 20 0 20 0 511137703 28904853504 7286 33554432000 4194304 4196468 140726423516224 139937007494992 139938595790352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23850] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23850/stat : 23850 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137703 28904853504 7286 33554432000 4194304 4196468 140726423516224 139937006450800 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23851] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23851/stat : 23851 (java) S 23833 23833 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511137703 28904853504 7286 33554432000 4194304 4196468 140726423516224 139937005398256 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23852] ppid=23833 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/23835/task/23852/stat : 23852 (java) R 23833 23833 16140 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 20 0 511137703 28904853504 7286 33554432000 4194304 4196468 140726423516224 139937004345712 139938615358741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23853] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23853/stat : 23853 (java) S 23833 23833 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511137703 28904853504 7286 33554432000 4194304 4196468 140726423516224 139937003293408 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23854] ppid=23833 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23835/task/23854/stat : 23854 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137703 28904853504 7286 33554432000 4194304 4196468 140726423516224 139937002240944 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30068 KiB [startup+0.210103 s]* /proc/loadavg: 8.17 8.34 8.15 3/211 23854 /proc/meminfo: memFree=28372752/32770624 swapFree=67023944/67108860 [pid=23833] ppid=23830 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23833/stat : 23833 (xcsp3-exec) S 23830 23833 16140 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511137697 115843072 363 33554432000 4194304 5098028 140736098652832 140736098650936 139929062445692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21065728 140736098657111 140736098657370 140736098657370 140736098660294 0 /proc/23833/statm: 28282 363 304 221 0 87 0 [pid=23835] ppid=23833 vsize=28227396 memory=41148 CPUtime=0.34 cores=0-7 /proc/23835/stat : 23835 (java) S 23833 23833 16140 0 -1 1077944320 9556 0 0 0 31 3 0 0 20 0 20 0 511137697 28904853504 10287 33554432000 4194304 4196468 140726423516224 140726423498768 139938615344887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 /proc/23835/statm: 7056849 10287 3308 1 0 7019032 0 [pid=23835/tid=23836] ppid=23833 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/23835/task/23836/stat : 23836 (java) R 23833 23833 16140 0 -1 4202560 6621 0 0 0 18 2 0 0 20 0 20 0 511137697 28904853504 10287 33554432000 4194304 4196468 140726423516224 139938619574608 139938238659104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23837] ppid=23833 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/23835/task/23837/stat : 23837 (java) S 23833 23833 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 10287 33554432000 4194304 4196468 140726423516224 139938567965456 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23838] ppid=23833 vsize=28227396 memory=3544810118119249568 CPUtime=0 cores=0-7 /proc/23835/task/23838/stat : 23838 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 10287 33554432000 4194304 4196468 140726423516224 139938566912912 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23839] ppid=23833 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23835/task/23839/stat : 23839 (java) S 23833 23833 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 10287 33554432000 4194304 4196468 140726423516224 139938565860368 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23840] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23840/stat : 23840 (java) S 23833 23833 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 10287 33554432000 4194304 4196468 140726423516224 139938564807824 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23841] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23841/stat : 23841 (java) S 23833 23833 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 10287 33554432000 4194304 4196468 140726423516224 139938563754256 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23842] ppid=23833 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23835/task/23842/stat : 23842 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 10287 33554432000 4194304 4196468 140726423516224 139938562701712 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23843] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23843/stat : 23843 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 10287 33554432000 4194304 4196468 140726423516224 139938561649168 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23844] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23844/stat : 23844 (java) S 23833 23833 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511137698 28904853504 10287 33554432000 4194304 4196468 140726423516224 139938560596624 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23845] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23845/stat : 23845 (java) S 23833 23833 16140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511137700 28904853504 10287 33554432000 4194304 4196468 140726423516224 139937011714544 139938615356034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23846] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23846/stat : 23846 (java) S 23833 23833 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511137700 28904853504 10287 33554432000 4194304 4196468 140726423516224 139937010660768 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23847] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23847/stat : 23847 (java) S 23833 23833 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511137700 28904853504 10287 33554432000 4194304 4196468 140726423516224 139937009608176 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23848] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23848/stat : 23848 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137703 28904853504 10287 33554432000 4194304 4196468 140726423516224 139937008556752 139938615363483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23849] ppid=23833 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/23835/task/23849/stat : 23849 (java) R 23833 23833 16140 0 -1 1077944384 584 0 0 0 2 0 0 0 20 0 20 0 511137703 28904853504 10287 33554432000 4194304 4196468 140726423516224 139937007503344 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23850] ppid=23833 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23835/task/23850/stat : 23850 (java) S 23833 23833 16140 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 20 0 511137703 28904853504 10287 33554432000 4194304 4196468 140726423516224 139937006450800 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23851] ppid=23833 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23835/task/23851/stat : 23851 (java) S 23833 23833 16140 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 511137703 28904853504 10287 33554432000 4194304 4196468 140726423516224 139937005398256 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23852] ppid=23833 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/23835/task/23852/stat : 23852 (java) R 23833 23833 16140 0 -1 4202560 758 0 0 0 8 0 0 0 20 0 20 0 511137703 28904853504 10287 33554432000 4194304 4196468 140726423516224 139937004345520 139938594188480 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23853] ppid=23833 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23853/stat : 23853 (java) S 23833 23833 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511137703 28904853504 10287 33554432000 4194304 4196468 140726423516224 139937003293408 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23854] ppid=23833 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23835/task/23854/stat : 23854 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137703 28904853504 10287 33554432000 4194304 4196468 140726423516224 139937002240944 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42600 KiB [startup+0.309526 s]* /proc/loadavg: 8.17 8.34 8.15 4/211 23854 /proc/meminfo: memFree=28365460/32770624 swapFree=67023944/67108860 [pid=23833] ppid=23830 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23833/stat : 23833 (xcsp3-exec) S 23830 23833 16140 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511137697 115843072 363 33554432000 4194304 5098028 140736098652832 140736098650936 139929062445692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21065728 140736098657111 140736098657370 140736098657370 140736098660294 0 /proc/23833/statm: 28282 363 304 221 0 87 0 [pid=23835] ppid=23833 vsize=28231652 memory=50024 CPUtime=0.53 cores=0-7 /proc/23835/stat : 23835 (java) S 23833 23833 16140 0 -1 1077944320 10882 0 0 0 49 4 0 0 20 0 20 0 511137697 28909211648 12506 33554432000 4194304 4196468 140726423516224 140726423498768 139938615344887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 /proc/23835/statm: 7057913 12506 3358 1 0 7019032 0 [pid=23835/tid=23836] ppid=23833 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/23835/task/23836/stat : 23836 (java) R 23833 23833 16140 0 -1 4202560 7787 0 0 0 27 2 0 0 20 0 20 0 511137697 28909211648 12506 33554432000 4194304 4196468 140726423516224 139938619576000 139938599425374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23837] ppid=23833 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23837/stat : 23837 (java) S 23833 23833 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511137698 28909211648 12506 33554432000 4194304 4196468 140726423516224 139938567965456 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23838] ppid=23833 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23838/stat : 23838 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137698 28909211648 12506 33554432000 4194304 4196468 140726423516224 139938566912912 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23839] ppid=23833 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23839/stat : 23839 (java) S 23833 23833 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511137698 28909211648 12506 33554432000 4194304 4196468 140726423516224 139938565860368 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23840] ppid=23833 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23840/stat : 23840 (java) S 23833 23833 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511137698 28909211648 12506 33554432000 4194304 4196468 140726423516224 139938564807824 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23841] ppid=23833 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/23835/task/23841/stat : 23841 (java) S 23833 23833 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511137698 28909211648 12506 33554432000 4194304 4196468 140726423516224 139938563754256 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23842] ppid=23833 vsize=28231652 memory=140519317533615 CPUtime=0 cores=0-7 /proc/23835/task/23842/stat : 23842 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137698 28909211648 12506 33554432000 4194304 4196468 140726423516224 139938562701712 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23843] ppid=23833 vsize=28231652 memory=140519317535920 CPUtime=0 cores=0-7 /proc/23835/task/23843/stat : 23843 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137698 28909211648 12506 33554432000 4194304 4196468 140726423516224 139938561649168 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23844] ppid=23833 vsize=28231652 memory=140519317538224 CPUtime=0 cores=0-7 /proc/23835/task/23844/stat : 23844 (java) S 23833 23833 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511137698 28909211648 12506 33554432000 4194304 4196468 140726423516224 139938560596624 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23845] ppid=23833 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23845/stat : 23845 (java) S 23833 23833 16140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511137700 28909211648 12506 33554432000 4194304 4196468 140726423516224 139937011714544 139938615356034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23846] ppid=23833 vsize=28231652 memory=281038635083408 CPUtime=0 cores=0-7 /proc/23835/task/23846/stat : 23846 (java) S 23833 23833 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511137700 28909211648 12506 33554432000 4194304 4196468 140726423516224 139937010660768 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23847] ppid=23833 vsize=28231652 memory=281038635090320 CPUtime=0 cores=0-7 /proc/23835/task/23847/stat : 23847 (java) S 23833 23833 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511137700 28909211648 12506 33554432000 4194304 4196468 140726423516224 139937009608176 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23848] ppid=23833 vsize=28231652 memory=281038635031600 CPUtime=0 cores=0-7 /proc/23835/task/23848/stat : 23848 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137703 28909211648 12506 33554432000 4194304 4196468 140726423516224 139937008556752 139938615363483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23849] ppid=23833 vsize=28231652 memory=281038635104144 CPUtime=0.02 cores=0-7 /proc/23835/task/23849/stat : 23849 (java) S 23833 23833 16140 0 -1 1077944384 587 0 0 0 2 0 0 0 20 0 20 0 511137703 28909211648 12506 33554432000 4194304 4196468 140726423516224 139937007503344 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23850] ppid=23833 vsize=28231652 memory=281038635111056 CPUtime=0.04 cores=0-7 /proc/23835/task/23850/stat : 23850 (java) R 23833 23833 16140 0 -1 4202560 345 0 0 0 4 0 0 0 20 0 20 0 511137703 28909211648 12506 33554432000 4194304 4196468 140726423516224 139937006441184 139938596889401 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23851] ppid=23833 vsize=28231652 memory=281038635108752 CPUtime=0.01 cores=0-7 /proc/23835/task/23851/stat : 23851 (java) S 23833 23833 16140 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 20 0 511137703 28909211648 12506 33554432000 4194304 4196468 140726423516224 139937005398256 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23852] ppid=23833 vsize=28231652 memory=281038635124912 CPUtime=0.12 cores=0-7 /proc/23835/task/23852/stat : 23852 (java) S 23833 23833 16140 0 -1 1077944384 821 0 0 0 12 0 0 0 20 0 20 0 511137703 28909211648 12506 33554432000 4194304 4196468 140726423516224 139937004345712 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23853] ppid=23833 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23835/task/23853/stat : 23853 (java) S 23833 23833 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511137703 28909211648 12506 33554432000 4194304 4196468 140726423516224 139937003293408 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23854] ppid=23833 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/23835/task/23854/stat : 23854 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137703 28909211648 12506 33554432000 4194304 4196468 140726423516224 139937002240944 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51476 KiB [startup+0.701013 s] /proc/loadavg: 8.17 8.34 8.15 8/211 23854 /proc/meminfo: memFree=28215344/32770624 swapFree=67023944/67108860 [pid=23833] ppid=23830 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23833/stat : 23833 (xcsp3-exec) S 23830 23833 16140 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511137697 115843072 363 33554432000 4194304 5098028 140736098652832 140736098650936 139929062445692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21065728 140736098657111 140736098657370 140736098657370 140736098660294 0 /proc/23833/statm: 28282 363 304 221 0 87 0 [pid=23835] ppid=23833 vsize=28231728 memory=324180 CPUtime=1.37 cores=0-7 /proc/23835/stat : 23835 (java) S 23833 23833 16140 0 -1 1077944320 12281 0 0 0 106 31 0 0 20 0 20 0 511137697 28909289472 81045 33554432000 4194304 4196468 140726423516224 140726423498768 139938615344887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 /proc/23835/statm: 7057932 81045 3420 1 0 7019032 0 [pid=23835/tid=23836] ppid=23833 vsize=28231728 memory=281038635482800 CPUtime=0.62 cores=0-7 /proc/23835/task/23836/stat : 23836 (java) R 23833 23833 16140 0 -1 4202560 8311 0 0 0 54 8 0 0 20 0 20 0 511137697 28909289472 81045 33554432000 4194304 4196468 140726423516224 139938619579168 139938240505489 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23837] ppid=23833 vsize=28231728 memory=140519317742448 CPUtime=0.04 cores=0-7 /proc/23835/task/23837/stat : 23837 (java) S 23833 23833 16140 0 -1 1077944384 65 0 0 0 2 2 0 0 20 0 20 0 511137698 28909289472 81045 33554432000 4194304 4196468 140726423516224 139938567965456 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23838] ppid=23833 vsize=28231728 memory=0 CPUtime=0.03 cores=0-7 /proc/23835/task/23838/stat : 23838 (java) S 23833 23833 16140 0 -1 1077944384 38 0 0 0 1 2 0 0 20 0 20 0 511137698 28909289472 81045 33554432000 4194304 4196468 140726423516224 139938566912912 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23839] ppid=23833 vsize=28231728 memory=1076 CPUtime=0.04 cores=0-7 /proc/23835/task/23839/stat : 23839 (java) S 23833 23833 16140 0 -1 1077944384 47 0 0 0 1 3 0 0 20 0 20 0 511137698 28909289472 81045 33554432000 4194304 4196468 140726423516224 139938565860368 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 ################ # More data... # ################ [pid=23833] ppid=23830 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23833/stat : 23833 (xcsp3-exec) S 23830 23833 16140 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511137697 115843072 363 33554432000 4194304 5098028 140736098652832 140736098650936 139929062445692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21065728 140736098657111 140736098657370 140736098657370 140736098660294 0 /proc/23833/statm: 28282 363 304 221 0 87 0 [pid=23835] ppid=23833 vsize=28233776 memory=23695116 CPUtime=552 cores=0-7 /proc/23835/stat : 23835 (java) S 23833 23833 16140 0 -1 1077944320 1774115 0 0 0 50962 4238 0 0 20 0 20 0 511137697 28911386624 5923779 33554432000 4194304 4196468 140726423516224 140726423498768 139938615344887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 /proc/23835/statm: 7058444 5923779 3508 1 0 7019544 0 [pid=23835/tid=23836] ppid=23833 vsize=28233776 memory=6791534058613427641 CPUtime=23.62 cores=0-7 /proc/23835/task/23836/stat : 23836 (java) S 23833 23833 16140 0 -1 1077944384 121924 0 0 0 2315 47 0 0 20 0 20 0 511137697 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938619583008 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23837] ppid=23833 vsize=28233776 memory=4872558044660077418 CPUtime=63.97 cores=0-7 /proc/23835/task/23837/stat : 23837 (java) R 23833 23833 16140 0 -1 4202560 322502 0 0 0 5882 515 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938567965656 139938595371188 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23838] ppid=23833 vsize=28233776 memory=-7812193691855986592 CPUtime=63.8 cores=0-7 /proc/23835/task/23838/stat : 23838 (java) R 23833 23833 16140 0 -1 4202560 137043 0 0 0 5850 530 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938566913112 139938600042526 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23839] ppid=23833 vsize=28233776 memory=13778 CPUtime=63.9 cores=0-7 /proc/23835/task/23839/stat : 23839 (java) R 23833 23833 16140 0 -1 4202560 265590 0 0 0 5834 556 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938565860568 139938600295247 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23840] ppid=23833 vsize=28233776 memory=20592 CPUtime=63.74 cores=0-7 /proc/23835/task/23840/stat : 23840 (java) R 23833 23833 16140 0 -1 4202560 99403 0 0 0 5849 525 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938564808024 139938595371071 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23841] ppid=23833 vsize=28233776 memory=6791534058613427641 CPUtime=63.57 cores=0-7 /proc/23835/task/23841/stat : 23841 (java) R 23833 23833 16140 0 -1 4202560 117310 0 0 0 5865 492 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938563754456 139938600042526 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23842] ppid=23833 vsize=28233776 memory=23188 CPUtime=63.93 cores=0-7 /proc/23835/task/23842/stat : 23842 (java) R 23833 23833 16140 0 -1 4202560 116185 0 0 0 5912 481 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938562701912 139938600042526 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23843] ppid=23833 vsize=28233776 memory=2256 CPUtime=64.03 cores=0-7 /proc/23835/task/23843/stat : 23843 (java) R 23833 23833 16140 0 -1 4202560 320740 0 0 0 5856 547 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938561649368 139938595371342 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23844] ppid=23833 vsize=28233776 memory=12328 CPUtime=63.83 cores=0-7 /proc/23835/task/23844/stat : 23844 (java) R 23833 23833 16140 0 -1 4202560 164425 0 0 0 5862 521 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938560596512 139938600042526 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23845] ppid=23833 vsize=28233776 memory=1584 CPUtime=15.37 cores=0-7 /proc/23835/task/23845/stat : 23845 (java) S 23833 23833 16140 0 -1 1077944384 91134 0 0 0 1524 13 0 0 20 0 20 0 511137700 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937011712880 139938615355093 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23846] ppid=23833 vsize=28233776 memory=1740 CPUtime=0 cores=0-7 /proc/23835/task/23846/stat : 23846 (java) S 23833 23833 16140 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 511137700 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937010660368 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23847] ppid=23833 vsize=28233776 memory=924 CPUtime=0 cores=0-7 /proc/23835/task/23847/stat : 23847 (java) S 23833 23833 16140 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 20 0 511137700 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937009608192 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23848] ppid=23833 vsize=28233776 memory=1940 CPUtime=0 cores=0-7 /proc/23835/task/23848/stat : 23848 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937008556752 139938615363483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23849] ppid=23833 vsize=28233776 memory=56 CPUtime=0.5 cores=0-7 /proc/23835/task/23849/stat : 23849 (java) S 23833 23833 16140 0 -1 1077944384 4515 0 0 0 49 1 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937007503104 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23850] ppid=23833 vsize=28233776 memory=8243122710528917583 CPUtime=0.57 cores=0-7 /proc/23835/task/23850/stat : 23850 (java) S 23833 23833 16140 0 -1 1077944384 4037 0 0 0 57 0 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937006450800 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23851] ppid=23833 vsize=28233776 memory=301741390604534054 CPUtime=0.59 cores=0-7 /proc/23835/task/23851/stat : 23851 (java) S 23833 23833 16140 0 -1 1077944384 3371 0 0 0 59 0 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937005398256 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23852] ppid=23833 vsize=28233776 memory=14126740964378061 CPUtime=0.37 cores=0-7 /proc/23835/task/23852/stat : 23852 (java) S 23833 23833 16140 0 -1 1077944384 3735 0 0 0 37 0 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937004345712 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23853] ppid=23833 vsize=28233776 memory=3053811428090794576 CPUtime=0 cores=0-7 /proc/23835/task/23853/stat : 23853 (java) S 23833 23833 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937003293408 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23854] ppid=23833 vsize=28233776 memory=3054355789459570789 CPUtime=0.04 cores=0-7 /proc/23835/task/23854/stat : 23854 (java) S 23833 23833 16140 0 -1 1077944384 791 0 0 0 2 2 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937002240944 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 Current children cumulated CPU time: 552 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 23696568 KiB [startup+104.802 s] /proc/loadavg: 5.87 7.45 7.85 9/212 23861 /proc/meminfo: memFree=4678348/32770624 swapFree=67023944/67108860 [pid=23833] ppid=23830 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23833/stat : 23833 (xcsp3-exec) S 23830 23833 16140 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511137697 115843072 363 33554432000 4194304 5098028 140736098652832 140736098650936 139929062445692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21065728 140736098657111 140736098657370 140736098657370 140736098660294 0 /proc/23833/statm: 28282 363 304 221 0 87 0 [pid=23835] ppid=23833 vsize=28233776 memory=23695116 CPUtime=558.29 cores=0-7 /proc/23835/stat : 23835 (java) S 23833 23833 16140 0 -1 1077944320 1774157 0 0 0 51591 4238 0 0 20 0 20 0 511137697 28911386624 5923779 33554432000 4194304 4196468 140726423516224 140726423498768 139938615344887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 /proc/23835/statm: 7058444 5923779 3508 1 0 7019544 0 [pid=23835/tid=23836] ppid=23833 vsize=28233776 memory=6791534058613427641 CPUtime=23.62 cores=0-7 /proc/23835/task/23836/stat : 23836 (java) S 23833 23833 16140 0 -1 1077944384 121924 0 0 0 2315 47 0 0 20 0 20 0 511137697 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938619583008 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23837] ppid=23833 vsize=28233776 memory=23695116 CPUtime=64.74 cores=0-7 /proc/23835/task/23837/stat : 23837 (java) R 23833 23833 16140 0 -1 4202560 322502 0 0 0 5958 516 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938567965040 139938607973095 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23838] ppid=23833 vsize=28233776 memory=8747226831578988619 CPUtime=64.59 cores=0-7 /proc/23835/task/23838/stat : 23838 (java) R 23833 23833 16140 0 -1 4202560 137043 0 0 0 5929 530 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938566913112 139938600295970 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23839] ppid=23833 vsize=28233776 memory=288291064929073692 CPUtime=64.7 cores=0-7 /proc/23835/task/23839/stat : 23839 (java) R 23833 23833 16140 0 -1 4202560 265590 0 0 0 5914 556 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938565860568 139938595371191 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23840] ppid=23833 vsize=28233776 memory=6791534058613427641 CPUtime=64.53 cores=0-7 /proc/23835/task/23840/stat : 23840 (java) R 23833 23833 16140 0 -1 4202560 99403 0 0 0 5928 525 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938564808024 139938595371345 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23841] ppid=23833 vsize=28233776 memory=1480 CPUtime=64.36 cores=0-7 /proc/23835/task/23841/stat : 23841 (java) R 23833 23833 16140 0 -1 4202560 117310 0 0 0 5944 492 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938563754456 139938600295492 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23842] ppid=23833 vsize=28233776 memory=3880 CPUtime=64.72 cores=0-7 /proc/23835/task/23842/stat : 23842 (java) R 23833 23833 16140 0 -1 4202560 116185 0 0 0 5991 481 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938562701912 139938600042466 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23843] ppid=23833 vsize=28233776 memory=7712 CPUtime=64.83 cores=0-7 /proc/23835/task/23843/stat : 23843 (java) R 23833 23833 16140 0 -1 4202560 320740 0 0 0 5936 547 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938561649368 139938595371071 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23844] ppid=23833 vsize=28233776 memory=1760 CPUtime=64.62 cores=0-7 /proc/23835/task/23844/stat : 23844 (java) R 23833 23833 16140 0 -1 4202560 164467 0 0 0 5941 521 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938560596512 139938600042526 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23845] ppid=23833 vsize=28233776 memory=1172 CPUtime=15.37 cores=0-7 /proc/23835/task/23845/stat : 23845 (java) S 23833 23833 16140 0 -1 1077944384 91134 0 0 0 1524 13 0 0 20 0 20 0 511137700 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937011712880 139938615355093 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23846] ppid=23833 vsize=28233776 memory=14064 CPUtime=0 cores=0-7 /proc/23835/task/23846/stat : 23846 (java) S 23833 23833 16140 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 511137700 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937010660368 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23847] ppid=23833 vsize=28233776 memory=23188 CPUtime=0 cores=0-7 /proc/23835/task/23847/stat : 23847 (java) S 23833 23833 16140 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 20 0 511137700 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937009608192 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23848] ppid=23833 vsize=28233776 memory=2256 CPUtime=0 cores=0-7 /proc/23835/task/23848/stat : 23848 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937008556752 139938615363483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23849] ppid=23833 vsize=28233776 memory=12328 CPUtime=0.5 cores=0-7 /proc/23835/task/23849/stat : 23849 (java) S 23833 23833 16140 0 -1 1077944384 4515 0 0 0 49 1 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937007503104 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23850] ppid=23833 vsize=28233776 memory=500 CPUtime=0.57 cores=0-7 /proc/23835/task/23850/stat : 23850 (java) S 23833 23833 16140 0 -1 1077944384 4037 0 0 0 57 0 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937006450800 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23851] ppid=23833 vsize=28233776 memory=1584 CPUtime=0.59 cores=0-7 /proc/23835/task/23851/stat : 23851 (java) S 23833 23833 16140 0 -1 1077944384 3371 0 0 0 59 0 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937005398256 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23852] ppid=23833 vsize=28233776 memory=1740 CPUtime=0.37 cores=0-7 /proc/23835/task/23852/stat : 23852 (java) S 23833 23833 16140 0 -1 1077944384 3735 0 0 0 37 0 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937004345712 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23853] ppid=23833 vsize=28233776 memory=6308 CPUtime=0 cores=0-7 /proc/23835/task/23853/stat : 23853 (java) S 23833 23833 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937003293408 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23854] ppid=23833 vsize=28233776 memory=828 CPUtime=0.04 cores=0-7 /proc/23835/task/23854/stat : 23854 (java) S 23833 23833 16140 0 -1 1077944384 791 0 0 0 2 2 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937002240944 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 Current children cumulated CPU time: 558.29 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 23696568 KiB [startup+105.601 s] /proc/loadavg: 5.87 7.45 7.85 9/212 23861 /proc/meminfo: memFree=4678472/32770624 swapFree=67023944/67108860 [pid=23833] ppid=23830 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23833/stat : 23833 (xcsp3-exec) S 23830 23833 16140 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511137697 115843072 363 33554432000 4194304 5098028 140736098652832 140736098650936 139929062445692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21065728 140736098657111 140736098657370 140736098657370 140736098660294 0 /proc/23833/statm: 28282 363 304 221 0 87 0 [pid=23835] ppid=23833 vsize=28233776 memory=23695116 CPUtime=564.33 cores=0-7 /proc/23835/stat : 23835 (java) S 23833 23833 16140 0 -1 1077944320 1775818 0 0 0 52193 4240 0 0 20 0 20 0 511137697 28911386624 5923779 33554432000 4194304 4196468 140726423516224 140726423498768 139938615344887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 /proc/23835/statm: 7058444 5923779 3508 1 0 7019544 0 [pid=23835/tid=23836] ppid=23833 vsize=28233776 memory=1760 CPUtime=23.62 cores=0-7 /proc/23835/task/23836/stat : 23836 (java) S 23833 23833 16140 0 -1 1077944384 121924 0 0 0 2315 47 0 0 20 0 20 0 511137697 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938619583008 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23837] ppid=23833 vsize=28233776 memory=1172 CPUtime=65.48 cores=0-7 /proc/23835/task/23837/stat : 23837 (java) S 23833 23833 16140 0 -1 1077944384 322528 0 0 0 6032 516 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938567965456 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23838] ppid=23833 vsize=28233776 memory=1452 CPUtime=65.34 cores=0-7 /proc/23835/task/23838/stat : 23838 (java) S 23833 23833 16140 0 -1 1077944384 137292 0 0 0 6004 530 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938566912912 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23839] ppid=23833 vsize=28233776 memory=23695116 CPUtime=65.45 cores=0-7 /proc/23835/task/23839/stat : 23839 (java) S 23833 23833 16140 0 -1 1077944384 265952 0 0 0 5989 556 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938565860368 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23840] ppid=23833 vsize=28233776 memory=1452 CPUtime=65.28 cores=0-7 /proc/23835/task/23840/stat : 23840 (java) S 23833 23833 16140 0 -1 1077944384 99420 0 0 0 6002 526 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938564807824 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23841] ppid=23833 vsize=28233776 memory=23695116 CPUtime=65.1 cores=0-7 /proc/23835/task/23841/stat : 23841 (java) S 23833 23833 16140 0 -1 1077944384 117810 0 0 0 6018 492 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938563754256 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23842] ppid=23833 vsize=28233776 memory=52284 CPUtime=65.48 cores=0-7 /proc/23835/task/23842/stat : 23842 (java) S 23833 23833 16140 0 -1 1077944384 116435 0 0 0 6067 481 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938562701712 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23843] ppid=23833 vsize=28233776 memory=1040 CPUtime=65.57 cores=0-7 /proc/23835/task/23843/stat : 23843 (java) S 23833 23833 16140 0 -1 1077944384 320990 0 0 0 6009 548 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938561649168 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23844] ppid=23833 vsize=28233776 memory=6791534058613427641 CPUtime=65.38 cores=0-7 /proc/23835/task/23844/stat : 23844 (java) S 23833 23833 16140 0 -1 1077944384 164467 0 0 0 6017 521 0 0 20 0 20 0 511137698 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139938560596624 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23845] ppid=23833 vsize=28233776 memory=3880 CPUtime=15.41 cores=0-7 /proc/23835/task/23845/stat : 23845 (java) R 23833 23833 16140 0 -1 4202560 91141 0 0 0 1528 13 0 0 20 0 20 0 511137700 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937011713104 139938593715067 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23846] ppid=23833 vsize=28233776 memory=7712 CPUtime=0 cores=0-7 /proc/23835/task/23846/stat : 23846 (java) S 23833 23833 16140 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 511137700 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937010660368 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23847] ppid=23833 vsize=28233776 memory=1760 CPUtime=0 cores=0-7 /proc/23835/task/23847/stat : 23847 (java) S 23833 23833 16140 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 20 0 511137700 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937009608192 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23848] ppid=23833 vsize=28233776 memory=1452 CPUtime=0 cores=0-7 /proc/23835/task/23848/stat : 23848 (java) S 23833 23833 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937008556752 139938615363483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23849] ppid=23833 vsize=28233776 memory=23695116 CPUtime=0.5 cores=0-7 /proc/23835/task/23849/stat : 23849 (java) S 23833 23833 16140 0 -1 1077944384 4515 0 0 0 49 1 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937007503104 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23850] ppid=23833 vsize=28233776 memory=3124 CPUtime=0.57 cores=0-7 /proc/23835/task/23850/stat : 23850 (java) S 23833 23833 16140 0 -1 1077944384 4037 0 0 0 57 0 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937006450848 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23851] ppid=23833 vsize=28233776 memory=6791534058613427641 CPUtime=0.59 cores=0-7 /proc/23835/task/23851/stat : 23851 (java) S 23833 23833 16140 0 -1 1077944384 3371 0 0 0 59 0 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937005398304 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23852] ppid=23833 vsize=28233776 memory=1996 CPUtime=0.37 cores=0-7 /proc/23835/task/23852/stat : 23852 (java) S 23833 23833 16140 0 -1 1077944384 3735 0 0 0 37 0 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937004345760 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23853] ppid=23833 vsize=28233776 memory=2508 CPUtime=0 cores=0-7 /proc/23835/task/23853/stat : 23853 (java) S 23833 23833 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937003293408 139938615355093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 [pid=23835/tid=23854] ppid=23833 vsize=28233776 memory=1532 CPUtime=0.04 cores=0-7 /proc/23835/task/23854/stat : 23854 (java) S 23833 23833 16140 0 -1 1077944384 791 0 0 0 2 2 0 0 20 0 20 0 511137703 28911386624 5923779 33554432000 4194304 4196468 140726423516224 139937002240944 139938615356034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38113280 140726423520220 140726423520395 140726423520395 140726423523279 0 Current children cumulated CPU time: 564.33 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 23696568 KiB [startup+105.8 s] /proc/loadavg: 5.87 7.45 7.85 9/212 23861 /proc/meminfo: memFree=4678472/32770624 swapFree=67023944/67108860 [pid=23833] ppid=23830 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23833/stat : 23833 (xcsp3-exec) S 23830 23833 16140 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511137697 115843072 363 33554432000 4194304 5098028 140736098652832 140736098650936 139929062445692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21065728 140736098657111 140736098657370 140736098657370 140736098660294 0 /proc/23833/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 1 Real time (s): 105.868 CPU time (s): 564.607 CPU user time (s): 522.029 CPU system time (s): 42.5782 CPU usage (%): 533.314 Max. virtual memory (cumulated for all children) (KiB): 28346904 Max. memory (cumulated for all children) (KiB): 23696568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 522.029 system time used= 42.5782 maximum resident set size= 23695384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1776568 page faults= 0 swaps= 0 block input operations= 0 block output operations= 248 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 29577 involuntary context switches= 12973 # summary of solver processes directly reported to runsolver: # pid: 23833 # total CPU time (s): 564.607 # total CPU user time (s): 522.029 # total CPU system time (s): 42.5782 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.832524 second user time and 1.16941 second system time The end
Begin job on node150 at 2019-09-24 20:10:11 IDJOB=4407455 IDBENCH=138083 IDSOLVER=2872 FILE ID=node150/4407455-1569348651 RUNJOBID= node150-1569335938-16167 PBS_JOBID= 21705047 Free space on /var/tmp= 13400 MiB SOLVER NAME= choco-solver 2019-09-24 parallel 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 /var/tmp/evaluation-result-4407455-1569348651/watcher-4407455-1569348651 -o /var/tmp/evaluation-result-4407455-1569348651/solver-4407455-1569348651 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1642262598 HOME/instance-4407455-1569348651.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9cdf82428becd6b5ad716031980a59d2 RANDOM SEED=1642262598 node150.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.79 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.79 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.79 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.79 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: 28402008 kB MemAvailable: 31819040 kB Buffers: 104064 kB Cached: 3419984 kB SwapCached: 8108 kB Active: 3444216 kB Inactive: 114120 kB Active(anon): 2148 kB Inactive(anon): 83520 kB Active(file): 3442068 kB Inactive(file): 30600 kB Unevictable: 109416 kB Mlocked: 109416 kB SwapTotal: 67108860 kB SwapFree: 67023944 kB Dirty: 108940 kB Writeback: 0 kB AnonPages: 136060 kB Mapped: 54032 kB Shmem: 42764 kB Slab: 401332 kB SReclaimable: 372824 kB SUnreclaim: 28508 kB KernelStack: 3360 kB PageTables: 5384 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515340 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13376 MiB End job on node150 at 2019-09-24 20:11:57