Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 55 | 68.9347 | 9.41824 |
Name | GolombRuler/ GolombRuler-a3v18-10_c18.xml |
MD5SUM | fd7701f01011f2453d3fac3f444f25b8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 55 |
Best CPU time to get the best result obtained on this benchmark | 28.5824 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 46 |
Number of domains | 2 |
Minimum domain size | 100 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":100,"count":45},{"size":101,"count":10}] |
Minimum variable degree | 0 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":9,"count":9},{"degree":10,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 45 |
Distribution of constraint arities | [{"arity":3,"count":45},{"arity":45,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 45 |
Distribution of constraint types | [{"type":"intension","count":45},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404916-1569014351.xml" -tl '2016s' -p 8 0.11/0.20 c Choco 3fb4b153 0.11/0.20 c [HOME/instance-4404916-1569014351.xml, -tl, 2016s, -p, 8] 0.33/0.24 c 8 solvers in parallel 0.33/0.31 c parse instance... 1.50/0.73 c solve instance... 2.04/0.84 o 80 2.04/0.88 o 74 2.67/0.90 o 72 2.67/0.92 o 71 2.67/0.95 o 65 3.45/1.05 o 63 4.23/1.11 o 62 7.31/1.52 o 60 13.56/2.36 o 55 68.11/9.40 s OPTIMUM FOUND 68.11/9.40 v <instantiation> 68.11/9.40 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][6] y[5][7] y[5][8] y[5][9] y[6][7] y[6][8] y[6][9] y[7][8] y[7][9] y[8][9] </list> 68.11/9.40 v <values>0 1 6 10 23 26 34 41 53 55 1 6 10 23 26 34 41 53 55 5 9 22 25 33 40 52 54 4 17 20 28 35 47 49 13 16 24 31 43 45 3 11 18 30 32 8 15 27 29 7 19 21 12 14 2 </values> 68.11/9.40 v </instantiation>
OK 55
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: 16375 MiB (15552 MiB free) memory of node 1: 16384 MiB (9324 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404916-1569014351/watcher-4404916-1569014351 -o /tmp/evaluation-result-4404916-1569014351/solver-4404916-1569014351 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569004939-6705 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1734479693 HOME/instance-4404916-1569014351.xml running on 8 cores: 0-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 solver pid=9063, runsolver pid=9060 Current StackSize limit: 8192 KiB [startup+0.100158 s]* /proc/loadavg: 7.85 7.49 7.83 3/211 9084 /proc/meminfo: memFree=25457764/32770688 swapFree=67000508/67108860 [pid=9063] ppid=9060 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9063/stat : 9063 (xcsp3-exec) S 9060 9063 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477376709 115843072 362 33554432000 4194304 5098028 140726530505952 140726530504056 140266386297468 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15294464 140726530511739 140726530511982 140726530511982 140726530514890 0 /proc/9063/statm: 28282 362 304 221 0 87 0 [pid=9065] ppid=9063 vsize=28227396 memory=28924 CPUtime=0.11 cores=0-7 /proc/9065/stat : 9065 (java) S 9063 9063 6678 0 -1 1077944320 5689 0 0 0 10 1 0 0 20 0 20 0 477376709 28904853504 7231 33554432000 4194304 4196468 140729113791232 140729113773776 139784522948343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 /proc/9065/statm: 7056849 7231 3120 1 0 7019032 0 [pid=9065/tid=9066] ppid=9063 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/9065/task/9066/stat : 9066 (java) R 9063 9063 6678 0 -1 4202560 3608 0 0 0 8 1 0 0 20 0 20 0 477376709 28904853504 7231 33554432000 4194304 4196468 140729113791232 139784527181824 139784504533149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9067] ppid=9063 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9065/task/9067/stat : 9067 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 7231 33554432000 4194304 4196468 140729113791232 139784074681360 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9068] ppid=9063 vsize=28227396 memory=140048611899008 CPUtime=0 cores=0-7 /proc/9065/task/9068/stat : 9068 (java) S 9063 9063 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 7231 33554432000 4194304 4196468 140729113791232 139784073628816 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9069] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9069/stat : 9069 (java) S 9063 9063 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 7231 33554432000 4194304 4196468 140729113791232 139784072575760 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9070] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9070/stat : 9070 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 7231 33554432000 4194304 4196468 140729113791232 139784071523216 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9071] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9071/stat : 9071 (java) S 9063 9063 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 7231 33554432000 4194304 4196468 140729113791232 139784070470160 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9072] ppid=9063 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9065/task/9072/stat : 9072 (java) S 9063 9063 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 7231 33554432000 4194304 4196468 140729113791232 139784069417616 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9073] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9073/stat : 9073 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 7231 33554432000 4194304 4196468 140729113791232 139784068364560 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9074] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9074/stat : 9074 (java) S 9063 9063 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 7231 33554432000 4194304 4196468 140729113791232 139784067312016 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9075] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9075/stat : 9075 (java) S 9063 9063 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477376712 28904853504 7231 33554432000 4194304 4196468 140729113791232 139783639300848 139784522959490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9076] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9076/stat : 9076 (java) S 9063 9063 6678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477376712 28904853504 7231 33554432000 4194304 4196468 140729113791232 139783638247072 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9077] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9077/stat : 9077 (java) S 9063 9063 6678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477376713 28904853504 7231 33554432000 4194304 4196468 140729113791232 139783637193968 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9078] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9078/stat : 9078 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376715 28904853504 7231 33554432000 4194304 4196468 140729113791232 139783636142544 139784522966939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9079] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9079/stat : 9079 (java) S 9063 9063 6678 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 477376715 28904853504 7231 33554432000 4194304 4196468 140729113791232 139783635089648 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9080] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9080/stat : 9080 (java) S 9063 9063 6678 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 477376715 28904853504 7231 33554432000 4194304 4196468 140729113791232 139783634037104 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9081] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9081/stat : 9081 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376715 28904853504 7231 33554432000 4194304 4196468 140729113791232 139783632984048 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9082] ppid=9063 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9065/task/9082/stat : 9082 (java) S 9063 9063 6678 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 477376715 28904853504 7231 33554432000 4194304 4196468 140729113791232 139783631931504 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9083] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9083/stat : 9083 (java) S 9063 9063 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477376716 28904853504 7231 33554432000 4194304 4196468 140729113791232 139783630879712 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9084] ppid=9063 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9065/task/9084/stat : 9084 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376716 28904853504 7231 33554432000 4194304 4196468 140729113791232 139783629827248 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30372 KiB [startup+0.211479 s]* /proc/loadavg: 7.85 7.49 7.83 3/211 9084 /proc/meminfo: memFree=25445212/32770688 swapFree=67000508/67108860 [pid=9063] ppid=9060 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9063/stat : 9063 (xcsp3-exec) S 9060 9063 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477376709 115843072 362 33554432000 4194304 5098028 140726530505952 140726530504056 140266386297468 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15294464 140726530511739 140726530511982 140726530511982 140726530514890 0 /proc/9063/statm: 28282 362 304 221 0 87 0 [pid=9065] ppid=9063 vsize=28227396 memory=40040 CPUtime=0.33 cores=0-7 /proc/9065/stat : 9065 (java) S 9063 9063 6678 0 -1 1077944320 9334 0 0 0 30 3 0 0 20 0 20 0 477376709 28904853504 10010 33554432000 4194304 4196468 140729113791232 140729113773776 139784522948343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 /proc/9065/statm: 7056849 10010 3286 1 0 7019032 0 [pid=9065/tid=9066] ppid=9063 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/9065/task/9066/stat : 9066 (java) R 9063 9063 6678 0 -1 4202560 6586 0 0 0 18 2 0 0 20 0 20 0 477376709 28904853504 10010 33554432000 4194304 4196468 140729113791232 139784527186416 139784156724231 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9067] ppid=9063 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/9065/task/9067/stat : 9067 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 10010 33554432000 4194304 4196468 140729113791232 139784074681360 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9068] ppid=9063 vsize=28227396 memory=140048611912190 CPUtime=0 cores=0-7 /proc/9065/task/9068/stat : 9068 (java) S 9063 9063 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 10010 33554432000 4194304 4196468 140729113791232 139784073628816 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9069] ppid=9063 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9065/task/9069/stat : 9069 (java) S 9063 9063 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 10010 33554432000 4194304 4196468 140729113791232 139784072575760 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9070] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9070/stat : 9070 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 10010 33554432000 4194304 4196468 140729113791232 139784071523216 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9071] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9071/stat : 9071 (java) S 9063 9063 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 10010 33554432000 4194304 4196468 140729113791232 139784070470160 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9072] ppid=9063 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9065/task/9072/stat : 9072 (java) S 9063 9063 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 10010 33554432000 4194304 4196468 140729113791232 139784069417616 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9073] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9073/stat : 9073 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 10010 33554432000 4194304 4196468 140729113791232 139784068364560 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9074] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9074/stat : 9074 (java) S 9063 9063 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477376710 28904853504 10010 33554432000 4194304 4196468 140729113791232 139784067312016 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9075] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9075/stat : 9075 (java) S 9063 9063 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477376712 28904853504 10010 33554432000 4194304 4196468 140729113791232 139783639300848 139784522959490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9076] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9076/stat : 9076 (java) S 9063 9063 6678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477376712 28904853504 10010 33554432000 4194304 4196468 140729113791232 139783638247072 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9077] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9077/stat : 9077 (java) S 9063 9063 6678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477376713 28904853504 10010 33554432000 4194304 4196468 140729113791232 139783637193968 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9078] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9078/stat : 9078 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376715 28904853504 10010 33554432000 4194304 4196468 140729113791232 139783636142544 139784522966939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9079] ppid=9063 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9065/task/9079/stat : 9079 (java) S 9063 9063 6678 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 20 0 477376715 28904853504 10010 33554432000 4194304 4196468 140729113791232 139783635089648 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9080] ppid=9063 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/9065/task/9080/stat : 9080 (java) S 9063 9063 6678 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 20 0 477376715 28904853504 10010 33554432000 4194304 4196468 140729113791232 139783634037104 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9081] ppid=9063 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/9065/task/9081/stat : 9081 (java) S 9063 9063 6678 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 477376715 28904853504 10010 33554432000 4194304 4196468 140729113791232 139783632984048 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9082] ppid=9063 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/9065/task/9082/stat : 9082 (java) R 9063 9063 6678 0 -1 4202560 775 0 0 0 7 0 0 0 20 0 20 0 477376715 28904853504 10010 33554432000 4194304 4196468 140729113791232 139783631931504 139784522960278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9083] ppid=9063 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9083/stat : 9083 (java) S 9063 9063 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477376716 28904853504 10010 33554432000 4194304 4196468 140729113791232 139783630879712 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9084] ppid=9063 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9065/task/9084/stat : 9084 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376716 28904853504 10010 33554432000 4194304 4196468 140729113791232 139783629827248 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41488 KiB [startup+0.310796 s]* /proc/loadavg: 7.85 7.49 7.83 2/211 9084 /proc/meminfo: memFree=25439736/32770688 swapFree=67000508/67108860 [pid=9063] ppid=9060 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9063/stat : 9063 (xcsp3-exec) S 9060 9063 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477376709 115843072 362 33554432000 4194304 5098028 140726530505952 140726530504056 140266386297468 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15294464 140726530511739 140726530511982 140726530511982 140726530514890 0 /proc/9063/statm: 28282 362 304 221 0 87 0 [pid=9065] ppid=9063 vsize=28231652 memory=46464 CPUtime=0.51 cores=0-7 /proc/9065/stat : 9065 (java) S 9063 9063 6678 0 -1 1077944320 10493 0 0 0 47 4 0 0 20 0 20 0 477376709 28909211648 11616 33554432000 4194304 4196468 140729113791232 140729113773776 139784522948343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 /proc/9065/statm: 7057913 11616 3333 1 0 7019032 0 [pid=9065/tid=9066] ppid=9063 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/9065/task/9066/stat : 9066 (java) R 9063 9063 6678 0 -1 4202560 7579 0 0 0 27 3 0 0 20 0 20 0 477376709 28909211648 11616 33554432000 4194304 4196468 140729113791232 139784527160896 139784507028830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9067] ppid=9063 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9067/stat : 9067 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376710 28909211648 11616 33554432000 4194304 4196468 140729113791232 139784074681360 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9068] ppid=9063 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9068/stat : 9068 (java) S 9063 9063 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477376710 28909211648 11616 33554432000 4194304 4196468 140729113791232 139784073628816 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9069] ppid=9063 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9069/stat : 9069 (java) S 9063 9063 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477376710 28909211648 11616 33554432000 4194304 4196468 140729113791232 139784072575760 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9070] ppid=9063 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9070/stat : 9070 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376710 28909211648 11616 33554432000 4194304 4196468 140729113791232 139784071523216 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9071] ppid=9063 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9071/stat : 9071 (java) S 9063 9063 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477376710 28909211648 11616 33554432000 4194304 4196468 140729113791232 139784070470160 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9072] ppid=9063 vsize=28231652 memory=140048481741487 CPUtime=0 cores=0-7 /proc/9065/task/9072/stat : 9072 (java) S 9063 9063 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477376710 28909211648 11616 33554432000 4194304 4196468 140729113791232 139784069417616 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9073] ppid=9063 vsize=28231652 memory=140048481743792 CPUtime=0 cores=0-7 /proc/9065/task/9073/stat : 9073 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376710 28909211648 11616 33554432000 4194304 4196468 140729113791232 139784068364560 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9074] ppid=9063 vsize=28231652 memory=140048481746096 CPUtime=0 cores=0-7 /proc/9065/task/9074/stat : 9074 (java) S 9063 9063 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477376710 28909211648 11616 33554432000 4194304 4196468 140729113791232 139784067312016 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9075] ppid=9063 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9075/stat : 9075 (java) S 9063 9063 6678 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477376712 28909211648 11616 33554432000 4194304 4196468 140729113791232 139783639300848 139784522959490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9076] ppid=9063 vsize=28231652 memory=280096963506064 CPUtime=0 cores=0-7 /proc/9065/task/9076/stat : 9076 (java) S 9063 9063 6678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477376712 28909211648 11616 33554432000 4194304 4196468 140729113791232 139783638247072 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9077] ppid=9063 vsize=28231652 memory=280096963503760 CPUtime=0 cores=0-7 /proc/9065/task/9077/stat : 9077 (java) S 9063 9063 6678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477376713 28909211648 11616 33554432000 4194304 4196468 140729113791232 139783637193968 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9078] ppid=9063 vsize=28231652 memory=280096963510672 CPUtime=0 cores=0-7 /proc/9065/task/9078/stat : 9078 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376715 28909211648 11616 33554432000 4194304 4196468 140729113791232 139783636142544 139784522966939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9079] ppid=9063 vsize=28231652 memory=280096963451920 CPUtime=0.02 cores=0-7 /proc/9065/task/9079/stat : 9079 (java) S 9063 9063 6678 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 20 0 477376715 28909211648 11616 33554432000 4194304 4196468 140729113791232 139783635089648 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9080] ppid=9063 vsize=28231652 memory=280096963524496 CPUtime=0.02 cores=0-7 /proc/9065/task/9080/stat : 9080 (java) S 9063 9063 6678 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 20 0 477376715 28909211648 11681 33554432000 4194304 4196468 140729113791232 139783634037104 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9081] ppid=9063 vsize=28231652 memory=280096963531408 CPUtime=0.02 cores=0-7 /proc/9065/task/9081/stat : 9081 (java) S 9063 9063 6678 0 -1 1077944384 82 0 0 0 2 0 0 0 20 0 20 0 477376715 28909211648 11681 33554432000 4194304 4196468 140729113791232 139783632984048 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9082] ppid=9063 vsize=28231652 memory=280096963529104 CPUtime=0.12 cores=0-7 /proc/9065/task/9082/stat : 9082 (java) S 9063 9063 6678 0 -1 1077944384 910 0 0 0 12 0 0 0 20 0 20 0 477376715 28909211648 11681 33554432000 4194304 4196468 140729113791232 139783631931504 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9083] ppid=9063 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9083/stat : 9083 (java) S 9063 9063 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477376716 28909211648 11681 33554432000 4194304 4196468 140729113791232 139783630879712 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9084] ppid=9063 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/9065/task/9084/stat : 9084 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376716 28909211648 11681 33554432000 4194304 4196468 140729113791232 139783629827248 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 47912 KiB [startup+0.700991 s] /proc/loadavg: 7.85 7.49 7.83 4/211 9084 /proc/meminfo: memFree=25427396/32770688 swapFree=67000508/67108860 [pid=9063] ppid=9060 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9063/stat : 9063 (xcsp3-exec) S 9060 9063 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477376709 115843072 362 33554432000 4194304 5098028 140726530505952 140726530504056 140266386297468 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15294464 140726530511739 140726530511982 140726530511982 140726530514890 0 /proc/9063/statm: 28282 362 304 221 0 87 0 [pid=9065] ppid=9063 vsize=28233776 memory=80384 CPUtime=1.5 cores=0-7 /proc/9065/stat : 9065 (java) S 9063 9063 6678 0 -1 1077944320 14819 0 0 0 144 6 0 0 20 0 20 0 477376709 28911386624 20096 33554432000 4194304 4196468 140729113791232 140729113773776 139784522948343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 /proc/9065/statm: 7058444 20096 3452 1 0 7019544 0 [pid=9065/tid=9066] ppid=9063 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/9065/task/9066/stat : 9066 (java) R 9063 9063 6678 0 -1 4202560 9315 0 0 0 64 4 0 0 20 0 20 0 477376709 28911386624 20096 33554432000 4194304 4196468 140729113791232 139784527186992 139784522960278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9067] ppid=9063 vsize=28233776 memory=140048481952624 CPUtime=0 cores=0-7 /proc/9065/task/9067/stat : 9067 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376710 28911386624 20096 33554432000 4194304 4196468 140729113791232 139784074681360 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9068] ppid=9063 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9068/stat : 9068 (java) S 9063 9063 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477376710 28911386624 20096 33554432000 4194304 4196468 140729113791232 139784073628816 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9069] ppid=9063 vsize=28233776 memory=1564 CPUtime=0 cores=0-7 /proc/9065/task/9069/stat : 9069 (java) S 9063 9063 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477376710 28911386624 20096 33554432000 4194304 4196468 140729113791232 139784072575760 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 ################ # More data... # ################ [pid=9065/tid=9074] ppid=9063 vsize=28769364 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/9065/task/9074/stat : 9074 (java) S 9063 9063 6678 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 477376710 29459828736 59413 33554432000 4194304 4196468 140729113791232 139784067312016 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9075] ppid=9063 vsize=28769364 memory=6944656592455097440 CPUtime=0.01 cores=0-7 /proc/9065/task/9075/stat : 9075 (java) S 9063 9063 6678 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 28 0 477376712 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783639300848 139784522959490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9076] ppid=9063 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/9065/task/9076/stat : 9076 (java) S 9063 9063 6678 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 477376712 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783638247136 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9077] ppid=9063 vsize=28769364 memory=237652 CPUtime=0 cores=0-7 /proc/9065/task/9077/stat : 9077 (java) S 9063 9063 6678 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 477376713 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783637193968 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9078] ppid=9063 vsize=28769364 memory=14973369246289702 CPUtime=0 cores=0-7 /proc/9065/task/9078/stat : 9078 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477376715 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783636142544 139784522966939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9079] ppid=9063 vsize=28769364 memory=0 CPUtime=2.46 cores=0-7 /proc/9065/task/9079/stat : 9079 (java) S 9063 9063 6678 0 -1 1077944384 10432 0 0 0 243 3 0 0 20 0 28 0 477376715 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783635089648 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9080] ppid=9063 vsize=28769364 memory=0 CPUtime=1.96 cores=0-7 /proc/9065/task/9080/stat : 9080 (java) S 9063 9063 6678 0 -1 1077944384 7826 0 0 0 194 2 0 0 20 0 28 0 477376715 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783634037104 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9081] ppid=9063 vsize=28769364 memory=0 CPUtime=2.19 cores=0-7 /proc/9065/task/9081/stat : 9081 (java) S 9063 9063 6678 0 -1 1077944384 5611 0 0 0 217 2 0 0 20 0 28 0 477376715 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783632984048 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9082] ppid=9063 vsize=28769364 memory=0 CPUtime=0.81 cores=0-7 /proc/9065/task/9082/stat : 9082 (java) S 9063 9063 6678 0 -1 1077944384 4396 0 0 0 80 1 0 0 20 0 28 0 477376715 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783631931504 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9083] ppid=9063 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9083/stat : 9083 (java) S 9063 9063 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477376716 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783630879712 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9084] ppid=9063 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9084/stat : 9084 (java) S 9063 9063 6678 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 28 0 477376716 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783629827248 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9157] ppid=9063 vsize=28769364 memory=0 CPUtime=6.21 cores=0-7 /proc/9065/task/9157/stat : 9157 (java) R 9063 9063 6678 0 -1 4202560 118 0 0 0 621 0 0 0 20 0 28 0 477376945 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783620607624 139784161680498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9158] ppid=9063 vsize=28769364 memory=0 CPUtime=5.68 cores=0-7 /proc/9065/task/9158/stat : 9158 (java) R 9063 9063 6678 0 -1 4202560 107 0 0 0 568 0 0 0 20 0 28 0 477376945 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783614292808 139784163947527 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9159] ppid=9063 vsize=28769364 memory=0 CPUtime=6.3 cores=0-7 /proc/9065/task/9159/stat : 9159 (java) R 9063 9063 6678 0 -1 4202560 120 0 0 0 630 0 0 0 20 0 28 0 477376945 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783618503112 139784161719355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9160] ppid=9063 vsize=28769364 memory=0 CPUtime=5.44 cores=0-7 /proc/9065/task/9160/stat : 9160 (java) R 9063 9063 6678 0 -1 4202560 294 0 0 0 544 0 0 0 20 0 28 0 477376945 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783619554952 139784162846978 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9161] ppid=9063 vsize=28769364 memory=0 CPUtime=6.31 cores=0-7 /proc/9065/task/9161/stat : 9161 (java) R 9063 9063 6678 0 -1 4202560 215 0 0 0 629 2 0 0 20 0 28 0 477376945 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783615344840 139784162426040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9162] ppid=9063 vsize=28769364 memory=4294967363 CPUtime=5.98 cores=0-7 /proc/9065/task/9162/stat : 9162 (java) R 9063 9063 6678 0 -1 4202560 228 0 0 0 598 0 0 0 20 0 28 0 477376945 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783617449528 139784162880817 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9163] ppid=9063 vsize=28769364 memory=6082228271647908967 CPUtime=5.8 cores=0-7 /proc/9065/task/9163/stat : 9163 (java) R 9063 9063 6678 0 -1 4202560 539 0 0 0 580 0 0 0 20 0 28 0 477376946 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783610090552 139784162899261 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9164] ppid=9063 vsize=28769364 memory=7597685182856913236 CPUtime=5.62 cores=0-7 /proc/9065/task/9164/stat : 9164 (java) R 9063 9063 6678 0 -1 4202560 176 0 0 0 562 0 0 0 20 0 28 0 477376947 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783616398152 139784161681007 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 Current children cumulated CPU time: 64.13 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 239100 KiB [startup+9.20129 s] /proc/loadavg: 8.09 7.56 7.85 9/219 9164 /proc/meminfo: memFree=25249304/32770688 swapFree=67000508/67108860 [pid=9063] ppid=9060 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9063/stat : 9063 (xcsp3-exec) S 9060 9063 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477376709 115843072 362 33554432000 4194304 5098028 140726530505952 140726530504056 140266386297468 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15294464 140726530511739 140726530511982 140726530511982 140726530514890 0 /proc/9063/statm: 28282 362 304 221 0 87 0 [pid=9065] ppid=9063 vsize=28769364 memory=237652 CPUtime=67.31 cores=0-7 /proc/9065/stat : 9065 (java) S 9063 9063 6678 0 -1 1077944320 45044 0 0 0 6708 23 0 0 20 0 28 0 477376709 29459828736 59413 33554432000 4194304 4196468 140729113791232 140729113773776 139784522948343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 /proc/9065/statm: 7192341 59413 3513 1 0 7153441 0 [pid=9065/tid=9066] ppid=9063 vsize=28769364 memory=8112282956445269571 CPUtime=0.73 cores=0-7 /proc/9065/task/9066/stat : 9066 (java) S 9063 9063 6678 0 -1 1077944384 9408 0 0 0 69 4 0 0 20 0 28 0 477376709 29459828736 59413 33554432000 4194304 4196468 140729113791232 139784527189120 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9067] ppid=9063 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/9065/task/9067/stat : 9067 (java) S 9063 9063 6678 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 28 0 477376710 29459828736 59413 33554432000 4194304 4196468 140729113791232 139784074681360 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9068] ppid=9063 vsize=28769364 memory=4639939496134862184 CPUtime=0 cores=0-7 /proc/9065/task/9068/stat : 9068 (java) S 9063 9063 6678 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 477376710 29459828736 59413 33554432000 4194304 4196468 140729113791232 139784073628816 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9069] ppid=9063 vsize=28769364 memory=4639079694919286880 CPUtime=0.01 cores=0-7 /proc/9065/task/9069/stat : 9069 (java) S 9063 9063 6678 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 28 0 477376710 29459828736 59413 33554432000 4194304 4196468 140729113791232 139784072575760 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9070] ppid=9063 vsize=28769364 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/9065/task/9070/stat : 9070 (java) S 9063 9063 6678 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 477376710 29459828736 59413 33554432000 4194304 4196468 140729113791232 139784071523216 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9071] ppid=9063 vsize=28769364 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/9065/task/9071/stat : 9071 (java) S 9063 9063 6678 0 -1 1077944384 796 0 0 0 0 0 0 0 20 0 28 0 477376710 29459828736 59413 33554432000 4194304 4196468 140729113791232 139784070470160 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9072] ppid=9063 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/9065/task/9072/stat : 9072 (java) S 9063 9063 6678 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 28 0 477376710 29459828736 59413 33554432000 4194304 4196468 140729113791232 139784069417616 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9073] ppid=9063 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/9065/task/9073/stat : 9073 (java) S 9063 9063 6678 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 28 0 477376710 29459828736 59413 33554432000 4194304 4196468 140729113791232 139784068364560 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9074] ppid=9063 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9074/stat : 9074 (java) S 9063 9063 6678 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 477376710 29459828736 59413 33554432000 4194304 4196468 140729113791232 139784067312016 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9075] ppid=9063 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/9065/task/9075/stat : 9075 (java) S 9063 9063 6678 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 28 0 477376712 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783639300848 139784522959490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9076] ppid=9063 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9076/stat : 9076 (java) S 9063 9063 6678 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 477376712 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783638247136 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9077] ppid=9063 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9077/stat : 9077 (java) S 9063 9063 6678 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 477376713 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783637193968 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9078] ppid=9063 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9078/stat : 9078 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477376715 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783636142544 139784522966939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9079] ppid=9063 vsize=28769364 memory=0 CPUtime=2.47 cores=0-7 /proc/9065/task/9079/stat : 9079 (java) S 9063 9063 6678 0 -1 1077944384 10433 0 0 0 244 3 0 0 20 0 28 0 477376715 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783635089648 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9080] ppid=9063 vsize=28769364 memory=8112282956445269571 CPUtime=1.96 cores=0-7 /proc/9065/task/9080/stat : 9080 (java) S 9063 9063 6678 0 -1 1077944384 7826 0 0 0 194 2 0 0 20 0 28 0 477376715 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783634037104 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9081] ppid=9063 vsize=28769364 memory=0 CPUtime=2.2 cores=0-7 /proc/9065/task/9081/stat : 9081 (java) S 9063 9063 6678 0 -1 1077944384 5626 0 0 0 218 2 0 0 20 0 28 0 477376715 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783632984048 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9082] ppid=9063 vsize=28769364 memory=0 CPUtime=0.81 cores=0-7 /proc/9065/task/9082/stat : 9082 (java) S 9063 9063 6678 0 -1 1077944384 4396 0 0 0 80 1 0 0 20 0 28 0 477376715 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783631931504 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9083] ppid=9063 vsize=28769364 memory=6788 CPUtime=0 cores=0-7 /proc/9065/task/9083/stat : 9083 (java) S 9063 9063 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477376716 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783630879712 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9084] ppid=9063 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9084/stat : 9084 (java) S 9063 9063 6678 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 28 0 477376716 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783629827248 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9157] ppid=9063 vsize=28769364 memory=0 CPUtime=6.61 cores=0-7 /proc/9065/task/9157/stat : 9157 (java) R 9063 9063 6678 0 -1 4202560 147 0 0 0 661 0 0 0 20 0 28 0 477376945 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783620607880 139784161718482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9158] ppid=9063 vsize=28769364 memory=0 CPUtime=6.08 cores=0-7 /proc/9065/task/9158/stat : 9158 (java) R 9063 9063 6678 0 -1 4202560 135 0 0 0 608 0 0 0 20 0 28 0 477376945 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783614292216 139784162900141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9159] ppid=9063 vsize=28769364 memory=0 CPUtime=6.7 cores=0-7 /proc/9065/task/9159/stat : 9159 (java) R 9063 9063 6678 0 -1 4202560 154 0 0 0 670 0 0 0 20 0 28 0 477376945 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783618503160 139784161681918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9160] ppid=9063 vsize=28769364 memory=0 CPUtime=5.83 cores=0-7 /proc/9065/task/9160/stat : 9160 (java) R 9063 9063 6678 0 -1 4202560 337 0 0 0 583 0 0 0 20 0 28 0 477376945 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783619555720 139784161718411 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9161] ppid=9063 vsize=28769364 memory=0 CPUtime=6.71 cores=0-7 /proc/9065/task/9161/stat : 9161 (java) R 9063 9063 6678 0 -1 4202560 331 0 0 0 669 2 0 0 20 0 28 0 477376945 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783615344840 139784162424717 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9162] ppid=9063 vsize=28769364 memory=0 CPUtime=6.38 cores=0-7 /proc/9065/task/9162/stat : 9162 (java) R 9063 9063 6678 0 -1 4202560 256 0 0 0 638 0 0 0 20 0 28 0 477376945 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783617449656 139784162845308 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9163] ppid=9063 vsize=28769364 memory=0 CPUtime=6.2 cores=0-7 /proc/9065/task/9163/stat : 9163 (java) R 9063 9063 6678 0 -1 4202560 638 0 0 0 620 0 0 0 20 0 28 0 477376946 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783610089960 139784162899926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9164] ppid=9063 vsize=28769364 memory=0 CPUtime=6.01 cores=0-7 /proc/9065/task/9164/stat : 9164 (java) R 9063 9063 6678 0 -1 4202560 194 0 0 0 601 0 0 0 20 0 28 0 477376947 29459828736 59413 33554432000 4194304 4196468 140729113791232 139783616397424 139784165504721 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 Current children cumulated CPU time: 67.31 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 239100 KiB [startup+9.40107 s] /proc/loadavg: 8.09 7.56 7.85 9/219 9164 /proc/meminfo: memFree=25249304/32770688 swapFree=67000508/67108860 [pid=9063] ppid=9060 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9063/stat : 9063 (xcsp3-exec) S 9060 9063 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477376709 115843072 362 33554432000 4194304 5098028 140726530505952 140726530504056 140266386297468 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15294464 140726530511739 140726530511982 140726530511982 140726530514890 0 /proc/9063/statm: 28282 362 304 221 0 87 0 [pid=9065] ppid=9063 vsize=28769364 memory=237408 CPUtime=68.89 cores=0-7 /proc/9065/stat : 9065 (java) S 9063 9063 6678 0 -1 1077944320 45851 0 0 0 6866 23 0 0 20 0 21 0 477376709 29459828736 59352 33554432000 4194304 4196468 140729113791232 140729113773776 139784522948343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 /proc/9065/statm: 7192341 59352 3513 1 0 7153441 0 [pid=9065/tid=9066] ppid=9063 vsize=28769364 memory=7017844437303716717 CPUtime=0.73 cores=0-7 /proc/9065/task/9066/stat : 9066 (java) R 9063 9063 6678 0 -1 4202560 9848 0 0 0 69 4 0 0 20 0 21 0 477376709 29459828736 59352 33554432000 4194304 4196468 140729113791232 139784527187704 139784508641841 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9067] ppid=9063 vsize=28769364 memory=4639950512826379884 CPUtime=0.01 cores=0-7 /proc/9065/task/9067/stat : 9067 (java) S 9063 9063 6678 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 21 0 477376710 29459828736 59335 33554432000 4194304 4196468 140729113791232 139784074681360 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9068] ppid=9063 vsize=28769364 memory=38020 CPUtime=0 cores=0-7 /proc/9065/task/9068/stat : 9068 (java) S 9063 9063 6678 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 477376710 29459828736 59335 33554432000 4194304 4196468 140729113791232 139784073628816 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9069] ppid=9063 vsize=28769364 memory=7525912375248774225 CPUtime=0.01 cores=0-7 /proc/9065/task/9069/stat : 9069 (java) S 9063 9063 6678 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 477376710 29459828736 59335 33554432000 4194304 4196468 140729113791232 139784072575760 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9070] ppid=9063 vsize=28769364 memory=6948038625933224302 CPUtime=0 cores=0-7 /proc/9065/task/9070/stat : 9070 (java) S 9063 9063 6678 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 477376710 29459828736 59335 33554432000 4194304 4196468 140729113791232 139784071523216 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9071] ppid=9063 vsize=28769364 memory=6948038625933224302 CPUtime=0 cores=0-7 /proc/9065/task/9071/stat : 9071 (java) S 9063 9063 6678 0 -1 1077944384 796 0 0 0 0 0 0 0 20 0 20 0 477376710 29459828736 59335 33554432000 4194304 4196468 140729113791232 139784070470160 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9072] ppid=9063 vsize=28769364 memory=6948038625933224302 CPUtime=0.01 cores=0-7 /proc/9065/task/9072/stat : 9072 (java) S 9063 9063 6678 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 20 0 477376710 29459828736 59337 33554432000 4194304 4196468 140729113791232 139784069417616 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9073] ppid=9063 vsize=28769364 memory=6948038625933224302 CPUtime=0.01 cores=0-7 /proc/9065/task/9073/stat : 9073 (java) S 9063 9063 6678 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 477376710 29459828736 59337 33554432000 4194304 4196468 140729113791232 139784068364560 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9074] ppid=9063 vsize=28769364 memory=6948038625933224302 CPUtime=0 cores=0-7 /proc/9065/task/9074/stat : 9074 (java) S 9063 9063 6678 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 20 0 477376710 29459828736 59337 33554432000 4194304 4196468 140729113791232 139784067312016 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9075] ppid=9063 vsize=28769364 memory=6948038625933224302 CPUtime=0.01 cores=0-7 /proc/9065/task/9075/stat : 9075 (java) S 9063 9063 6678 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 20 0 477376712 29459828736 59337 33554432000 4194304 4196468 140729113791232 139783639300848 139784522959490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9076] ppid=9063 vsize=28769364 memory=6948038625933224302 CPUtime=0 cores=0-7 /proc/9065/task/9076/stat : 9076 (java) S 9063 9063 6678 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 477376712 29459828736 59337 33554432000 4194304 4196468 140729113791232 139783638247136 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9077] ppid=9063 vsize=28769364 memory=6948038625933224302 CPUtime=0 cores=0-7 /proc/9065/task/9077/stat : 9077 (java) S 9063 9063 6678 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 477376713 29459828736 59337 33554432000 4194304 4196468 140729113791232 139783637193968 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9078] ppid=9063 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9078/stat : 9078 (java) S 9063 9063 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477376715 29459828736 59337 33554432000 4194304 4196468 140729113791232 139783636142544 139784522966939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9079] ppid=9063 vsize=28769364 memory=0 CPUtime=2.47 cores=0-7 /proc/9065/task/9079/stat : 9079 (java) S 9063 9063 6678 0 -1 1077944384 10434 0 0 0 244 3 0 0 20 0 20 0 477376715 29459828736 59337 33554432000 4194304 4196468 140729113791232 139783635089648 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9080] ppid=9063 vsize=28769364 memory=0 CPUtime=1.96 cores=0-7 /proc/9065/task/9080/stat : 9080 (java) S 9063 9063 6678 0 -1 1077944384 7980 0 0 0 194 2 0 0 20 0 20 0 477376715 29459828736 59337 33554432000 4194304 4196468 140729113791232 139783634037104 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9081] ppid=9063 vsize=28769364 memory=0 CPUtime=2.2 cores=0-7 /proc/9065/task/9081/stat : 9081 (java) S 9063 9063 6678 0 -1 1077944384 5627 0 0 0 218 2 0 0 20 0 20 0 477376715 29459828736 59337 33554432000 4194304 4196468 140729113791232 139783632984048 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9082] ppid=9063 vsize=28769364 memory=0 CPUtime=0.81 cores=0-7 /proc/9065/task/9082/stat : 9082 (java) R 9063 9063 6678 0 -1 4202560 4453 0 0 0 80 1 0 0 20 0 20 0 477376715 29459828736 59337 33554432000 4194304 4196468 140729113791232 139783631931800 139784501630791 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9083] ppid=9063 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9083/stat : 9083 (java) S 9063 9063 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477376716 29459828736 59337 33554432000 4194304 4196468 140729113791232 139783630879712 139784522958549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 [pid=9065/tid=9084] ppid=9063 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/9065/task/9084/stat : 9084 (java) S 9063 9063 6678 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 20 0 477376716 29459828736 59337 33554432000 4194304 4196468 140729113791232 139783629827248 139784522959490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28516352 140729113797616 140729113797787 140729113797787 140729113800655 0 Current children cumulated CPU time: 68.89 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 238856 KiB Child status: 0 Real time (s): 9.41824 CPU time (s): 68.9347 CPU user time (s): 68.6854 CPU system time (s): 0.249353 CPU usage (%): 731.927 Max. virtual memory (cumulated for all children) (KiB): 28884624 Max. memory (cumulated for all children) (KiB): 243776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 68.6854 system time used= 0.249353 maximum resident set size= 242332 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47974 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5159 involuntary context switches= 1546 # summary of solver processes directly reported to runsolver: # pid: 9063 # total CPU time (s): 68.9347 # total CPU user time (s): 68.6854 # total CPU system time (s): 0.249353 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.10262 second user time and 0.161089 second system time The end
Begin job on node116 at 2019-09-20 23:18:29 IDJOB=4404916 IDBENCH=141371 IDSOLVER=2866 FILE ID=node116/4404916-1569014351 RUNJOBID= node116-1569004939-6705 PBS_JOBID= 21704745 Free space on /tmp= 6528 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-10_c18.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-4404916-1569014351/watcher-4404916-1569014351 -o /tmp/evaluation-result-4404916-1569014351/solver-4404916-1569014351 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569004939-6705 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1734479693 HOME/instance-4404916-1569014351.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fd7701f01011f2453d3fac3f444f25b8 RANDOM SEED=1734479693 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 25475112 kB MemAvailable: 31853684 kB Buffers: 44896 kB Cached: 6509164 kB SwapCached: 3504 kB Active: 3274536 kB Inactive: 3284776 kB Active(anon): 6972 kB Inactive(anon): 45800 kB Active(file): 3267564 kB Inactive(file): 3238976 kB Unevictable: 109700 kB Mlocked: 109700 kB SwapTotal: 67108860 kB SwapFree: 67000508 kB Dirty: 26100 kB Writeback: 0 kB AnonPages: 112624 kB Mapped: 50320 kB Shmem: 38928 kB Slab: 329144 kB SReclaimable: 300492 kB SUnreclaim: 28652 kB KernelStack: 3712 kB PageTables: 5728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 506404 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 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: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 6504 MiB End job on node116 at 2019-09-20 23:18:39