Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 20 | 35.0594 | 5.2785 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-20-4-5-8.xml |
MD5SUM | cc4f118531160cfe6c95c1294546deff |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 13.7083 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of constraints | 81 |
Number of domains | 21 |
Minimum domain size | 4 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":4,"count":7},{"size":5,"count":7},{"size":6,"count":6},{"size":21,"count":40}] |
Minimum variable degree | 2 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":2,"count":20},{"degree":21,"count":19},{"degree":22,"count":1},{"degree":23,"count":20}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 21 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":40},{"arity":20,"count":20},{"arity":21,"count":20}] |
Number of extensional constraints | 40 |
Number of intensional constraints | 21 |
Distribution of constraint types | [{"type":"extension","count":40},{"type":"intension","count":21},{"type":"count","count":20}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400090-1568711021.xml" -tl '2016s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4400090-1568711021.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 3.93/1.30 c solve instance... 4.76/1.50 o -1000 6.94/1.75 o -992 6.94/1.75 o -991 6.94/1.76 o -989 6.94/1.77 o -984 6.94/1.79 o 2 9.47/2.09 o 7 10.89/2.24 o 8 10.89/2.25 o 9 14.77/2.79 o 16 16.31/3.00 o 18 17.94/3.11 o 20 34.59/5.25 s OPTIMUM FOUND 34.59/5.25 v <instantiation> 34.59/5.25 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] </list> 34.59/5.25 v <values>1 2 3 8 -1 0 -1 12 7 -1 5 -1 13 14 19 10 15 16 17 18 0 1 2 3 -1 15 -1 5 4 -1 14 -1 6 7 8 13 12 11 10 9 -5 0 -2 5 0 1 0 3 2 0 -2 0 -4 2 4 3 6 3 2 2 </values> 34.59/5.25 v </instantiation>
OK 20
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 (14788 MiB free) memory of node 1: 16384 MiB (15681 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400090-1568711021/watcher-4400090-1568711021 -o /tmp/evaluation-result-4400090-1568711021/solver-4400090-1568711021 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568696629-1917 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2066058724 HOME/instance-4400090-1568711021.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 solver pid=8792, runsolver pid=8789 Current StackSize limit: 8192 KiB [startup+0.100163 s]* /proc/loadavg: 8.13 8.12 7.86 2/211 8813 /proc/meminfo: memFree=31184836/32770624 swapFree=66977424/67108860 [pid=8792] ppid=8789 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8792/stat : 8792 (xcsp3-exec) S 8789 8792 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447359210 115843072 363 33554432000 4194304 5098028 140737223899184 140737223897288 139674940531324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40636416 140737223902075 140737223902318 140737223902318 140737223905226 0 /proc/8792/statm: 28282 363 304 221 0 87 0 [pid=8794] ppid=8792 vsize=28227396 memory=30028 CPUtime=0.11 cores=0-7 /proc/8794/stat : 8794 (java) S 8792 8792 1890 0 -1 1077944320 5924 0 0 0 10 1 0 0 20 0 20 0 447359210 28904853504 7507 33554432000 4194304 4196468 140730067064304 140730067046848 139698257030903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 /proc/8794/statm: 7056849 7507 3133 1 0 7019032 0 [pid=8794/tid=8795] ppid=8792 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/8794/task/8795/stat : 8795 (java) R 8792 8792 1890 0 -1 4202560 3820 0 0 0 8 1 0 0 20 0 20 0 447359210 28904853504 7507 33554432000 4194304 4196468 140730067064304 139698261264176 139697855802360 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8796] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8796/stat : 8796 (java) S 8792 8792 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 7507 33554432000 4194304 4196468 140730067064304 139698176883600 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8797] ppid=8792 vsize=28227396 memory=14276668104205976 CPUtime=0 cores=0-7 /proc/8794/task/8797/stat : 8797 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 7507 33554432000 4194304 4196468 140730067064304 139698175830800 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8798] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8798/stat : 8798 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 7507 33554432000 4194304 4196468 140730067064304 139698174778512 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8799] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8799/stat : 8799 (java) S 8792 8792 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 7507 33554432000 4194304 4196468 140730067064304 139697805450256 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8800] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8800/stat : 8800 (java) S 8792 8792 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 7507 33554432000 4194304 4196468 140730067064304 139697804396944 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8801] ppid=8792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8794/task/8801/stat : 8801 (java) S 8792 8792 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 7507 33554432000 4194304 4196468 140730067064304 139697803344144 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8802] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8802/stat : 8802 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 7507 33554432000 4194304 4196468 140730067064304 139697802291856 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8803] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8803/stat : 8803 (java) S 8792 8792 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 7507 33554432000 4194304 4196468 140730067064304 139697801239056 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8804] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8804/stat : 8804 (java) S 8792 8792 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447359213 28904853504 7507 33554432000 4194304 4196468 140730067064304 139696971655792 139698257042050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8805] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8805/stat : 8805 (java) S 8792 8792 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447359213 28904853504 7507 33554432000 4194304 4196468 140730067064304 139696970601760 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8806] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8806/stat : 8806 (java) S 8792 8792 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447359213 28904853504 7507 33554432000 4194304 4196468 140730067064304 139696969549424 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8807] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8807/stat : 8807 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359216 28904853504 7507 33554432000 4194304 4196468 140730067064304 139696968497744 139698257049499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8808] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8808/stat : 8808 (java) S 8792 8792 1890 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 20 0 447359216 28904853504 7507 33554432000 4194304 4196468 140730067064304 139696967444592 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8809] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8809/stat : 8809 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359216 28904853504 7507 33554432000 4194304 4196468 140730067064304 139696714934256 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8810] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8810/stat : 8810 (java) S 8792 8792 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447359216 28904853504 7507 33554432000 4194304 4196468 140730067064304 139696713881968 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8811] ppid=8792 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/8794/task/8811/stat : 8811 (java) R 8792 8792 1890 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 20 0 447359216 28904853504 7507 33554432000 4194304 4196468 140730067064304 139696712829168 139698235989564 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8812] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8812/stat : 8812 (java) S 8792 8792 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447359216 28904853504 7507 33554432000 4194304 4196468 140730067064304 139696711777120 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8813] ppid=8792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8794/task/8813/stat : 8813 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359216 28904853504 7507 33554432000 4194304 4196468 140730067064304 139696710724400 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31480 KiB [startup+0.210429 s]* /proc/loadavg: 8.13 8.12 7.86 2/211 8813 /proc/meminfo: memFree=31169736/32770624 swapFree=66977424/67108860 [pid=8792] ppid=8789 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8792/stat : 8792 (xcsp3-exec) S 8789 8792 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447359210 115843072 363 33554432000 4194304 5098028 140737223899184 140737223897288 139674940531324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40636416 140737223902075 140737223902318 140737223902318 140737223905226 0 /proc/8792/statm: 28282 363 304 221 0 87 0 [pid=8794] ppid=8792 vsize=28227396 memory=41152 CPUtime=0.33 cores=0-7 /proc/8794/stat : 8794 (java) S 8792 8792 1890 0 -1 1077944320 9523 0 0 0 30 3 0 0 20 0 20 0 447359210 28904853504 10288 33554432000 4194304 4196468 140730067064304 140730067046848 139698257030903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 /proc/8794/statm: 7056849 10288 3297 1 0 7019032 0 [pid=8794/tid=8795] ppid=8792 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/8794/task/8795/stat : 8795 (java) R 8792 8792 1890 0 -1 4202560 6647 0 0 0 17 2 0 0 20 0 20 0 447359210 28904853504 10288 33554432000 4194304 4196468 140730067064304 139698261263632 139698257042838 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8796] ppid=8792 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/8794/task/8796/stat : 8796 (java) S 8792 8792 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 10288 33554432000 4194304 4196468 140730067064304 139698176883600 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8797] ppid=8792 vsize=28227396 memory=3833602904622458528 CPUtime=0 cores=0-7 /proc/8794/task/8797/stat : 8797 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 10288 33554432000 4194304 4196468 140730067064304 139698175830800 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8798] ppid=8792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8794/task/8798/stat : 8798 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 10288 33554432000 4194304 4196468 140730067064304 139698174778512 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8799] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8799/stat : 8799 (java) S 8792 8792 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 10288 33554432000 4194304 4196468 140730067064304 139697805450256 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8800] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8800/stat : 8800 (java) S 8792 8792 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 10288 33554432000 4194304 4196468 140730067064304 139697804396944 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8801] ppid=8792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8794/task/8801/stat : 8801 (java) S 8792 8792 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 10288 33554432000 4194304 4196468 140730067064304 139697803344144 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8802] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8802/stat : 8802 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 10288 33554432000 4194304 4196468 140730067064304 139697802291856 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8803] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8803/stat : 8803 (java) S 8792 8792 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447359211 28904853504 10288 33554432000 4194304 4196468 140730067064304 139697801239056 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8804] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8804/stat : 8804 (java) S 8792 8792 1890 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447359213 28904853504 10288 33554432000 4194304 4196468 140730067064304 139696971655792 139698257042050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8805] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8805/stat : 8805 (java) S 8792 8792 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447359213 28904853504 10288 33554432000 4194304 4196468 140730067064304 139696970601760 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8806] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8806/stat : 8806 (java) S 8792 8792 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447359213 28904853504 10288 33554432000 4194304 4196468 140730067064304 139696969549424 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8807] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8807/stat : 8807 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359216 28904853504 10288 33554432000 4194304 4196468 140730067064304 139696968497744 139698257049499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8808] ppid=8792 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/8794/task/8808/stat : 8808 (java) R 8792 8792 1890 0 -1 4202560 807 0 0 0 2 0 0 0 20 0 20 0 447359216 28904853504 10288 33554432000 4194304 4196468 140730067064304 139696967444592 139698257042050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8809] ppid=8792 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/8794/task/8809/stat : 8809 (java) R 8792 8792 1890 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 20 0 447359216 28904853504 10288 33554432000 4194304 4196468 140730067064304 139696714934256 139698257042050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8810] ppid=8792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8794/task/8810/stat : 8810 (java) S 8792 8792 1890 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 447359216 28904853504 10288 33554432000 4194304 4196468 140730067064304 139696713881968 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8811] ppid=8792 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/8794/task/8811/stat : 8811 (java) R 8792 8792 1890 0 -1 4202560 685 0 0 0 7 0 0 0 20 0 20 0 447359216 28904853504 10288 33554432000 4194304 4196468 140730067064304 139696712829168 139698249268030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8812] ppid=8792 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8812/stat : 8812 (java) S 8792 8792 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447359216 28904853504 10288 33554432000 4194304 4196468 140730067064304 139696711777120 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8813] ppid=8792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8794/task/8813/stat : 8813 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359216 28904853504 10288 33554432000 4194304 4196468 140730067064304 139696710724400 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42604 KiB [startup+0.309764 s]* /proc/loadavg: 8.13 8.12 7.86 5/211 8813 /proc/meminfo: memFree=31162464/32770624 swapFree=66977424/67108860 [pid=8792] ppid=8789 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8792/stat : 8792 (xcsp3-exec) S 8789 8792 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447359210 115843072 363 33554432000 4194304 5098028 140737223899184 140737223897288 139674940531324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40636416 140737223902075 140737223902318 140737223902318 140737223905226 0 /proc/8792/statm: 28282 363 304 221 0 87 0 [pid=8794] ppid=8792 vsize=28231652 memory=50024 CPUtime=0.51 cores=0-7 /proc/8794/stat : 8794 (java) S 8792 8792 1890 0 -1 1077944320 10870 0 0 0 47 4 0 0 20 0 20 0 447359210 28909211648 12506 33554432000 4194304 4196468 140730067064304 140730067046848 139698257030903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 /proc/8794/statm: 7057913 12506 3366 1 0 7019032 0 [pid=8794/tid=8795] ppid=8792 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/8794/task/8795/stat : 8795 (java) R 8792 8792 1890 0 -1 4202560 7779 0 0 0 27 3 0 0 20 0 20 0 447359210 28909211648 12535 33554432000 4194304 4196468 140730067064304 139698261264688 139698241111390 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8796] ppid=8792 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8796/stat : 8796 (java) S 8792 8792 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447359211 28909211648 12535 33554432000 4194304 4196468 140730067064304 139698176883600 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8797] ppid=8792 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8797/stat : 8797 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359211 28909211648 12535 33554432000 4194304 4196468 140730067064304 139698175830800 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8798] ppid=8792 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8798/stat : 8798 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359211 28909211648 12535 33554432000 4194304 4196468 140730067064304 139698174778512 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8799] ppid=8792 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8799/stat : 8799 (java) S 8792 8792 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447359211 28909211648 12535 33554432000 4194304 4196468 140730067064304 139697805450256 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8800] ppid=8792 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8800/stat : 8800 (java) S 8792 8792 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447359211 28909211648 12535 33554432000 4194304 4196468 140730067064304 139697804396944 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8801] ppid=8792 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8801/stat : 8801 (java) S 8792 8792 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447359211 28909211648 12535 33554432000 4194304 4196468 140730067064304 139697803344144 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8802] ppid=8792 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8802/stat : 8802 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359211 28909211648 12535 33554432000 4194304 4196468 140730067064304 139697802291856 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8803] ppid=8792 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8803/stat : 8803 (java) S 8792 8792 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447359211 28909211648 12535 33554432000 4194304 4196468 140730067064304 139697801239056 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8804] ppid=8792 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8804/stat : 8804 (java) S 8792 8792 1890 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447359213 28909211648 12535 33554432000 4194304 4196468 140730067064304 139696971655792 139698257042050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8805] ppid=8792 vsize=28231652 memory=280019654090112 CPUtime=0 cores=0-7 /proc/8794/task/8805/stat : 8805 (java) S 8792 8792 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447359213 28909211648 12535 33554432000 4194304 4196468 140730067064304 139696970601760 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8806] ppid=8792 vsize=28231652 memory=280019654094720 CPUtime=0 cores=0-7 /proc/8794/task/8806/stat : 8806 (java) S 8792 8792 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447359213 28909211648 12535 33554432000 4194304 4196468 140730067064304 139696969549424 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8807] ppid=8792 vsize=28231652 memory=280019654099328 CPUtime=0 cores=0-7 /proc/8794/task/8807/stat : 8807 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359216 28909211648 12535 33554432000 4194304 4196468 140730067064304 139696968497744 139698257049499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8808] ppid=8792 vsize=28231652 memory=280019654103936 CPUtime=0.04 cores=0-7 /proc/8794/task/8808/stat : 8808 (java) R 8792 8792 1890 0 -1 4202560 921 0 0 0 4 0 0 0 20 0 20 0 447359216 28909211648 12535 33554432000 4194304 4196468 140730067064304 139696967434704 139698238555154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8809] ppid=8792 vsize=28231652 memory=280019654108544 CPUtime=0.02 cores=0-7 /proc/8794/task/8809/stat : 8809 (java) S 8792 8792 1890 0 -1 1077944384 69 0 0 0 2 0 0 0 20 0 20 0 447359216 28909211648 12535 33554432000 4194304 4196468 140730067064304 139696714934256 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8810] ppid=8792 vsize=28231652 memory=280019654113152 CPUtime=0.01 cores=0-7 /proc/8794/task/8810/stat : 8810 (java) S 8792 8792 1890 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 447359216 28909211648 12535 33554432000 4194304 4196468 140730067064304 139696713881968 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8811] ppid=8792 vsize=28231652 memory=280019654117760 CPUtime=0.12 cores=0-7 /proc/8794/task/8811/stat : 8811 (java) S 8792 8792 1890 0 -1 1077944384 765 0 0 0 12 0 0 0 20 0 20 0 447359216 28909211648 12535 33554432000 4194304 4196468 140730067064304 139696712829168 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8812] ppid=8792 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8812/stat : 8812 (java) S 8792 8792 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447359216 28909211648 12535 33554432000 4194304 4196468 140730067064304 139696711777120 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8813] ppid=8792 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/8794/task/8813/stat : 8813 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359216 28909211648 12535 33554432000 4194304 4196468 140730067064304 139696710724400 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51476 KiB [startup+0.700999 s] /proc/loadavg: 8.13 8.12 7.86 6/211 8813 /proc/meminfo: memFree=31131408/32770624 swapFree=66977424/67108860 [pid=8792] ppid=8789 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8792/stat : 8792 (xcsp3-exec) S 8789 8792 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447359210 115843072 363 33554432000 4194304 5098028 140737223899184 140737223897288 139674940531324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40636416 140737223902075 140737223902318 140737223902318 140737223905226 0 /proc/8792/statm: 28282 363 304 221 0 87 0 [pid=8794] ppid=8792 vsize=28233776 memory=105072 CPUtime=1.95 cores=0-7 /proc/8794/stat : 8794 (java) S 8792 8792 1890 0 -1 1077944320 15757 0 0 0 188 7 0 0 20 0 20 0 447359210 28911386624 26268 33554432000 4194304 4196468 140730067064304 140730067046848 139698257030903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 /proc/8794/statm: 7058444 26268 3460 1 0 7019544 0 [pid=8794/tid=8795] ppid=8792 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7 /proc/8794/task/8795/stat : 8795 (java) R 8792 8792 1890 0 -1 4202560 9016 0 0 0 63 4 0 0 20 0 20 0 447359210 28911386624 26268 33554432000 4194304 4196468 140730067064304 139698261265952 139698243100362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8796] ppid=8792 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8796/stat : 8796 (java) S 8792 8792 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447359211 28911386624 26268 33554432000 4194304 4196468 140730067064304 139698176883600 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8797] ppid=8792 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8797/stat : 8797 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359211 28911386624 26268 33554432000 4194304 4196468 140730067064304 139698175830800 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8798] ppid=8792 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/8794/task/8798/stat : 8798 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447359211 28911386624 26268 33554432000 4194304 4196468 140730067064304 139698174778512 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 ################ # More data... # ################ [pid=8794/tid=8811] ppid=8792 vsize=28834900 memory=0 CPUtime=0.86 cores=0-7 /proc/8794/task/8811/stat : 8811 (java) S 8792 8792 1890 0 -1 1077944384 2938 0 0 0 85 1 0 0 20 0 28 0 447359216 29526937600 93360 33554432000 4194304 4196468 140730067064304 139696712829168 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8812] ppid=8792 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8812/stat : 8812 (java) S 8792 8792 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447359216 29526937600 93360 33554432000 4194304 4196468 140730067064304 139696711777120 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8813] ppid=8792 vsize=28834900 memory=-1 CPUtime=0 cores=0-7 /proc/8794/task/8813/stat : 8813 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447359216 29526937600 93360 33554432000 4194304 4196468 140730067064304 139696710724400 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8910] ppid=8792 vsize=28834900 memory=9216 CPUtime=0.89 cores=0-7 /proc/8794/task/8910/stat : 8910 (java) R 8792 8792 1890 0 -1 4202560 18 0 0 0 89 0 0 0 20 0 28 0 447359522 29526937600 93360 33554432000 4194304 4196468 140730067064304 139696489328376 139697864345509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8911] ppid=8792 vsize=28834900 memory=8836 CPUtime=0.84 cores=0-7 /proc/8794/task/8911/stat : 8911 (java) R 8792 8792 1890 0 -1 4202560 16 0 0 0 84 0 0 0 20 0 28 0 447359522 29526937600 93360 33554432000 4194304 4196468 140730067064304 139696495645784 139697861868679 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8912] ppid=8792 vsize=28834900 memory=40468 CPUtime=0.81 cores=0-7 /proc/8794/task/8912/stat : 8912 (java) R 8792 8792 1890 0 -1 4202560 17 0 0 0 81 0 0 0 20 0 28 0 447359522 29526937600 93360 33554432000 4194304 4196468 140730067064304 139696491434520 139697861868932 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8913] ppid=8792 vsize=28834900 memory=280019654918112 CPUtime=0.85 cores=0-7 /proc/8794/task/8913/stat : 8913 (java) R 8792 8792 1890 0 -1 4202560 17 0 0 0 85 0 0 0 20 0 28 0 447359522 29526937600 93360 33554432000 4194304 4196468 140730067064304 139696493539592 139697864345491 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8914] ppid=8792 vsize=28834900 memory=2753 CPUtime=0.86 cores=0-7 /proc/8794/task/8914/stat : 8914 (java) R 8792 8792 1890 0 -1 4202560 17 0 0 0 86 0 0 0 20 0 28 0 447359522 29526937600 93360 33554432000 4194304 4196468 140730067064304 139696494592680 139697862440193 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8915] ppid=8792 vsize=28834900 memory=288230621803970871 CPUtime=0.87 cores=0-7 /proc/8794/task/8915/stat : 8915 (java) R 8792 8792 1890 0 -1 4202560 17 0 0 0 87 0 0 0 20 0 28 0 447359522 29526937600 93360 33554432000 4194304 4196468 140730067064304 139696699646072 139697861868615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8916] ppid=8792 vsize=28834900 memory=15535219671304744 CPUtime=0.87 cores=0-7 /proc/8794/task/8916/stat : 8916 (java) R 8792 8792 1890 0 -1 4202560 16 0 0 0 87 0 0 0 20 0 28 0 447359522 29526937600 93360 33554432000 4194304 4196468 140730067064304 139696698593656 139697861868785 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8917] ppid=8792 vsize=28834900 memory=0 CPUtime=0.88 cores=0-7 /proc/8794/task/8917/stat : 8917 (java) R 8792 8792 1890 0 -1 4202560 17 0 0 0 88 0 0 0 20 0 28 0 447359522 29526937600 93360 33554432000 4194304 4196468 140730067064304 139696490380728 139697862188184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 Current children cumulated CPU time: 25.1 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 374892 KiB [startup+4.8019 s] /proc/loadavg: 8.20 8.13 7.87 9/219 8917 /proc/meminfo: memFree=30840148/32770624 swapFree=66977424/67108860 [pid=8792] ppid=8789 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8792/stat : 8792 (xcsp3-exec) S 8789 8792 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447359210 115843072 363 33554432000 4194304 5098028 140737223899184 140737223897288 139674940531324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40636416 140737223902075 140737223902318 140737223902318 140737223905226 0 /proc/8792/statm: 28282 363 304 221 0 87 0 [pid=8794] ppid=8792 vsize=28834900 memory=373552 CPUtime=31.41 cores=0-7 /proc/8794/stat : 8794 (java) S 8792 8792 1890 0 -1 1077944320 22300 0 0 0 3113 28 0 0 20 0 28 0 447359210 29526937600 93388 33554432000 4194304 4196468 140730067064304 140730067046848 139698257030903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 /proc/8794/statm: 7208725 93388 3522 1 0 7169825 0 [pid=8794/tid=8795] ppid=8792 vsize=28834900 memory=0 CPUtime=1.25 cores=0-7 /proc/8794/task/8795/stat : 8795 (java) S 8792 8792 1890 0 -1 1077944384 9439 0 0 0 119 6 0 0 20 0 28 0 447359210 29526937600 93388 33554432000 4194304 4196468 140730067064304 139698261271680 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8796] ppid=8792 vsize=28834900 memory=0 CPUtime=0.03 cores=0-7 /proc/8794/task/8796/stat : 8796 (java) S 8792 8792 1890 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 28 0 447359211 29526937600 93388 33554432000 4194304 4196468 140730067064304 139698176883600 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8797] ppid=8792 vsize=28834900 memory=0 CPUtime=0.03 cores=0-7 /proc/8794/task/8797/stat : 8797 (java) S 8792 8792 1890 0 -1 1077944384 76 0 0 0 2 1 0 0 20 0 28 0 447359211 29526937600 93388 33554432000 4194304 4196468 140730067064304 139698175830800 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8798] ppid=8792 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/8794/task/8798/stat : 8798 (java) S 8792 8792 1890 0 -1 1077944384 71 0 0 0 0 1 0 0 20 0 28 0 447359211 29526937600 93388 33554432000 4194304 4196468 140730067064304 139698174778512 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8799] ppid=8792 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/8794/task/8799/stat : 8799 (java) S 8792 8792 1890 0 -1 1077944384 47 0 0 0 0 1 0 0 20 0 28 0 447359211 29526937600 93388 33554432000 4194304 4196468 140730067064304 139697805450256 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8800] ppid=8792 vsize=28834900 memory=4420 CPUtime=0.02 cores=0-7 /proc/8794/task/8800/stat : 8800 (java) S 8792 8792 1890 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 447359211 29526937600 93388 33554432000 4194304 4196468 140730067064304 139697804396944 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8801] ppid=8792 vsize=28834900 memory=6628 CPUtime=0.04 cores=0-7 /proc/8794/task/8801/stat : 8801 (java) S 8792 8792 1890 0 -1 1077944384 95 0 0 0 2 2 0 0 20 0 28 0 447359211 29526937600 93388 33554432000 4194304 4196468 140730067064304 139697803344144 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8802] ppid=8792 vsize=28834900 memory=8836 CPUtime=0.04 cores=0-7 /proc/8794/task/8802/stat : 8802 (java) S 8792 8792 1890 0 -1 1077944384 103 0 0 0 3 1 0 0 20 0 28 0 447359211 29526937600 93388 33554432000 4194304 4196468 140730067064304 139697802291856 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8803] ppid=8792 vsize=28834900 memory=11044 CPUtime=0.04 cores=0-7 /proc/8794/task/8803/stat : 8803 (java) S 8792 8792 1890 0 -1 1077944384 95 0 0 0 2 2 0 0 20 0 28 0 447359211 29526937600 93388 33554432000 4194304 4196468 140730067064304 139697801239056 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8804] ppid=8792 vsize=28834900 memory=13252 CPUtime=0 cores=0-7 /proc/8794/task/8804/stat : 8804 (java) S 8792 8792 1890 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 447359213 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696971655792 139698257042050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8805] ppid=8792 vsize=28834900 memory=2385 CPUtime=0 cores=0-7 /proc/8794/task/8805/stat : 8805 (java) S 8792 8792 1890 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447359213 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696970601824 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8806] ppid=8792 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8806/stat : 8806 (java) S 8792 8792 1890 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 447359213 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696969549440 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8807] ppid=8792 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8807/stat : 8807 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447359216 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696968497744 139698257049499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8808] ppid=8792 vsize=28834900 memory=0 CPUtime=1.45 cores=0-7 /proc/8794/task/8808/stat : 8808 (java) S 8792 8792 1890 0 -1 1077944384 2460 0 0 0 145 0 0 0 20 0 28 0 447359216 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696967444592 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8809] ppid=8792 vsize=28834900 memory=0 CPUtime=1.4 cores=0-7 /proc/8794/task/8809/stat : 8809 (java) S 8792 8792 1890 0 -1 1077944384 1649 0 0 0 140 0 0 0 20 0 28 0 447359216 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696714934256 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8810] ppid=8792 vsize=28834900 memory=0 CPUtime=1.62 cores=0-7 /proc/8794/task/8810/stat : 8810 (java) S 8792 8792 1890 0 -1 1077944384 1600 0 0 0 162 0 0 0 20 0 28 0 447359216 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696713881968 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8811] ppid=8792 vsize=28834900 memory=0 CPUtime=0.87 cores=0-7 /proc/8794/task/8811/stat : 8811 (java) S 8792 8792 1890 0 -1 1077944384 2955 0 0 0 86 1 0 0 20 0 28 0 447359216 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696712829168 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8812] ppid=8792 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8812/stat : 8812 (java) S 8792 8792 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447359216 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696711777120 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8813] ppid=8792 vsize=28834900 memory=576461252204721717 CPUtime=0 cores=0-7 /proc/8794/task/8813/stat : 8813 (java) S 8792 8792 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447359216 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696710724400 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8910] ppid=8792 vsize=28834900 memory=236 CPUtime=1.68 cores=0-7 /proc/8794/task/8910/stat : 8910 (java) R 8792 8792 1890 0 -1 4202560 22 0 0 0 168 0 0 0 20 0 28 0 447359522 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696489328136 139697861868625 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8911] ppid=8792 vsize=28834900 memory=77 CPUtime=1.62 cores=0-7 /proc/8794/task/8911/stat : 8911 (java) R 8792 8792 1890 0 -1 4202560 22 0 0 0 162 0 0 0 20 0 28 0 447359522 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696495645176 139697861868544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8912] ppid=8792 vsize=28834900 memory=0 CPUtime=1.59 cores=0-7 /proc/8794/task/8912/stat : 8912 (java) R 8792 8792 1890 0 -1 4202560 23 0 0 0 159 0 0 0 20 0 28 0 447359522 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696491433912 139697861868785 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8913] ppid=8792 vsize=28834900 memory=0 CPUtime=1.64 cores=0-7 /proc/8794/task/8913/stat : 8913 (java) R 8792 8792 1890 0 -1 4202560 23 0 0 0 164 0 0 0 20 0 28 0 447359522 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696493540968 139697861868836 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8914] ppid=8792 vsize=28834900 memory=0 CPUtime=1.64 cores=0-7 /proc/8794/task/8914/stat : 8914 (java) R 8792 8792 1890 0 -1 4202560 20 0 0 0 164 0 0 0 20 0 28 0 447359522 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696494591584 139697862188496 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8915] ppid=8792 vsize=28834900 memory=0 CPUtime=1.66 cores=0-7 /proc/8794/task/8915/stat : 8915 (java) R 8792 8792 1890 0 -1 4202560 21 0 0 0 166 0 0 0 20 0 28 0 447359522 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696699646648 139697861868913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8916] ppid=8792 vsize=28834900 memory=0 CPUtime=1.65 cores=0-7 /proc/8794/task/8916/stat : 8916 (java) R 8792 8792 1890 0 -1 4202560 20 0 0 0 165 0 0 0 20 0 28 0 447359522 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696698593656 139697861868698 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8917] ppid=8792 vsize=28834900 memory=0 CPUtime=1.66 cores=0-7 /proc/8794/task/8917/stat : 8917 (java) R 8792 8792 1890 0 -1 4202560 20 0 0 0 166 0 0 0 20 0 28 0 447359522 29526937600 93388 33554432000 4194304 4196468 140730067064304 139696490381480 139697864346135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 Current children cumulated CPU time: 31.41 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 375004 KiB [startup+5.2019 s] /proc/loadavg: 8.20 8.13 7.87 9/219 8917 /proc/meminfo: memFree=30840396/32770624 swapFree=66977424/67108860 [pid=8792] ppid=8789 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8792/stat : 8792 (xcsp3-exec) S 8789 8792 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447359210 115843072 363 33554432000 4194304 5098028 140737223899184 140737223897288 139674940531324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40636416 140737223902075 140737223902318 140737223902318 140737223905226 0 /proc/8792/statm: 28282 363 304 221 0 87 0 [pid=8794] ppid=8792 vsize=28834900 memory=373724 CPUtime=34.59 cores=0-7 /proc/8794/stat : 8794 (java) S 8792 8792 1890 0 -1 1077944320 22672 0 0 0 3430 29 0 0 20 0 28 0 447359210 29526937600 93431 33554432000 4194304 4196468 140730067064304 140730067046848 139698257030903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 /proc/8794/statm: 7208725 93431 3522 1 0 7169825 0 [pid=8794/tid=8795] ppid=8792 vsize=28834900 memory=1899365 CPUtime=1.25 cores=0-7 /proc/8794/task/8795/stat : 8795 (java) S 8792 8792 1890 0 -1 1077944384 9439 0 0 0 119 6 0 0 20 0 28 0 447359210 29526937600 93431 33554432000 4194304 4196468 140730067064304 139698261271680 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8796] ppid=8792 vsize=28834900 memory=0 CPUtime=0.03 cores=0-7 /proc/8794/task/8796/stat : 8796 (java) S 8792 8792 1890 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 28 0 447359211 29526937600 93431 33554432000 4194304 4196468 140730067064304 139698176883600 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8797] ppid=8792 vsize=28834900 memory=0 CPUtime=0.03 cores=0-7 /proc/8794/task/8797/stat : 8797 (java) S 8792 8792 1890 0 -1 1077944384 76 0 0 0 2 1 0 0 20 0 28 0 447359211 29526937600 93431 33554432000 4194304 4196468 140730067064304 139698175830800 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8798] ppid=8792 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/8794/task/8798/stat : 8798 (java) S 8792 8792 1890 0 -1 1077944384 71 0 0 0 0 1 0 0 20 0 28 0 447359211 29526937600 93431 33554432000 4194304 4196468 140730067064304 139698174778512 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8799] ppid=8792 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/8794/task/8799/stat : 8799 (java) S 8792 8792 1890 0 -1 1077944384 47 0 0 0 0 1 0 0 20 0 28 0 447359211 29526937600 93431 33554432000 4194304 4196468 140730067064304 139697805450256 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8800] ppid=8792 vsize=28834900 memory=0 CPUtime=0.02 cores=0-7 /proc/8794/task/8800/stat : 8800 (java) S 8792 8792 1890 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 447359211 29526937600 93431 33554432000 4194304 4196468 140730067064304 139697804396944 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8801] ppid=8792 vsize=28834900 memory=0 CPUtime=0.04 cores=0-7 /proc/8794/task/8801/stat : 8801 (java) S 8792 8792 1890 0 -1 1077944384 95 0 0 0 2 2 0 0 20 0 28 0 447359211 29526937600 93431 33554432000 4194304 4196468 140730067064304 139697803344144 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8802] ppid=8792 vsize=28834900 memory=0 CPUtime=0.04 cores=0-7 /proc/8794/task/8802/stat : 8802 (java) S 8792 8792 1890 0 -1 1077944384 103 0 0 0 3 1 0 0 20 0 28 0 447359211 29526937600 93431 33554432000 4194304 4196468 140730067064304 139697802291856 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8803] ppid=8792 vsize=28834900 memory=0 CPUtime=0.04 cores=0-7 /proc/8794/task/8803/stat : 8803 (java) S 8792 8792 1890 0 -1 1077944384 95 0 0 0 2 2 0 0 20 0 28 0 447359211 29526937600 93431 33554432000 4194304 4196468 140730067064304 139697801239056 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8804] ppid=8792 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8804/stat : 8804 (java) S 8792 8792 1890 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 447359213 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696971655792 139698257042050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8805] ppid=8792 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8805/stat : 8805 (java) S 8792 8792 1890 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447359213 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696970601824 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8806] ppid=8792 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/8794/task/8806/stat : 8806 (java) S 8792 8792 1890 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 447359213 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696969549440 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8807] ppid=8792 vsize=28834900 memory=1452 CPUtime=0 cores=0-7 /proc/8794/task/8807/stat : 8807 (java) S 8792 8792 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447359216 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696968497744 139698257049499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8808] ppid=8792 vsize=28834900 memory=373552 CPUtime=1.45 cores=0-7 /proc/8794/task/8808/stat : 8808 (java) S 8792 8792 1890 0 -1 1077944384 2462 0 0 0 145 0 0 0 20 0 28 0 447359216 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696967444592 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8809] ppid=8792 vsize=28834900 memory=280019655069568 CPUtime=1.4 cores=0-7 /proc/8794/task/8809/stat : 8809 (java) S 8792 8792 1890 0 -1 1077944384 1651 0 0 0 140 0 0 0 20 0 28 0 447359216 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696714934256 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8810] ppid=8792 vsize=28834900 memory=0 CPUtime=1.62 cores=0-7 /proc/8794/task/8810/stat : 8810 (java) S 8792 8792 1890 0 -1 1077944384 1602 0 0 0 162 0 0 0 20 0 28 0 447359216 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696713881968 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8811] ppid=8792 vsize=28834900 memory=0 CPUtime=0.88 cores=0-7 /proc/8794/task/8811/stat : 8811 (java) S 8792 8792 1890 0 -1 1077944384 3043 0 0 0 87 1 0 0 20 0 28 0 447359216 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696712829168 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8812] ppid=8792 vsize=28834900 memory=140009827536881 CPUtime=0 cores=0-7 /proc/8794/task/8812/stat : 8812 (java) S 8792 8792 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447359216 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696711777120 139698257041109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8813] ppid=8792 vsize=28834900 memory=4639948313719891052 CPUtime=0 cores=0-7 /proc/8794/task/8813/stat : 8813 (java) S 8792 8792 1890 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 447359216 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696710724400 139698257042050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8910] ppid=8792 vsize=28834900 memory=7440056984007045732 CPUtime=2.08 cores=0-7 /proc/8794/task/8910/stat : 8910 (java) R 8792 8792 1890 0 -1 4202560 51 0 0 0 208 0 0 0 20 0 28 0 447359522 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696489328496 139697861869002 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8911] ppid=8792 vsize=28834900 memory=4639948313719891052 CPUtime=2.02 cores=0-7 /proc/8794/task/8911/stat : 8911 (java) R 8792 8792 1890 0 -1 4202560 52 0 0 0 201 1 0 0 20 0 28 0 447359522 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696495645240 139697861868894 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8912] ppid=8792 vsize=28834900 memory=7440056984007045732 CPUtime=1.99 cores=0-7 /proc/8794/task/8912/stat : 8912 (java) R 8792 8792 1890 0 -1 4202560 96 0 0 0 199 0 0 0 20 0 28 0 447359522 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696491433912 139697861868707 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8913] ppid=8792 vsize=28834900 memory=7440056984007045732 CPUtime=2.03 cores=0-7 /proc/8794/task/8913/stat : 8913 (java) R 8792 8792 1890 0 -1 4202560 66 0 0 0 203 0 0 0 20 0 28 0 447359522 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696493538992 139697861868698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8914] ppid=8792 vsize=28834900 memory=7523052502538282866 CPUtime=2.04 cores=0-7 /proc/8794/task/8914/stat : 8914 (java) R 8792 8792 1890 0 -1 4202560 37 0 0 0 204 0 0 0 20 0 28 0 447359522 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696494592184 139697861868698 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8915] ppid=8792 vsize=28834900 memory=7522246573315942225 CPUtime=2.06 cores=0-7 /proc/8794/task/8915/stat : 8915 (java) R 8792 8792 1890 0 -1 4202560 57 0 0 0 206 0 0 0 20 0 28 0 447359522 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696699645992 139697861868656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8916] ppid=8792 vsize=28834900 memory=7523107478184158290 CPUtime=2.04 cores=0-7 /proc/8794/task/8916/stat : 8916 (java) R 8792 8792 1890 0 -1 4202560 36 0 0 0 204 0 0 0 20 0 28 0 447359522 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696698595744 139697861868762 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 [pid=8794/tid=8917] ppid=8792 vsize=28834900 memory=7523107478184158290 CPUtime=2.05 cores=0-7 /proc/8794/task/8917/stat : 8917 (java) R 8792 8792 1890 0 -1 4202560 52 0 0 0 205 0 0 0 20 0 28 0 447359522 29526937600 93431 33554432000 4194304 4196468 140730067064304 139696490381048 139697861868693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16130048 140730067071984 140730067072155 140730067072155 140730067075023 0 Current children cumulated CPU time: 34.59 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 375176 KiB Child status: 0 Real time (s): 5.2785 CPU time (s): 35.0594 CPU user time (s): 34.7495 CPU system time (s): 0.309859 CPU usage (%): 664.191 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 375176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 34.7495 system time used= 0.309859 maximum resident set size= 374812 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24004 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4804 involuntary context switches= 770 # summary of solver processes directly reported to runsolver: # pid: 8792 # total CPU time (s): 35.0594 # total CPU user time (s): 34.7495 # total CPU system time (s): 0.309859 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.052824 second user time and 0.110264 second system time The end
Begin job on node104 at 2019-09-17 09:53:22 IDJOB=4400090 IDBENCH=127982 IDSOLVER=2855 FILE ID=node104/4400090-1568711021 RUNJOBID= node104-1568696629-1917 PBS_JOBID= 21703905 Free space on /tmp= 59012 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-20-4-5-8.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-4400090-1568711021/watcher-4400090-1568711021 -o /tmp/evaluation-result-4400090-1568711021/solver-4400090-1568711021 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568696629-1917 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2066058724 HOME/instance-4400090-1568711021.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= cc4f118531160cfe6c95c1294546deff RANDOM SEED=2066058724 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31202084 kB MemAvailable: 31856352 kB Buffers: 107724 kB Cached: 835664 kB SwapCached: 32284 kB Active: 634164 kB Inactive: 346528 kB Active(anon): 5424 kB Inactive(anon): 80732 kB Active(file): 628740 kB Inactive(file): 265796 kB Unevictable: 109416 kB Mlocked: 109416 kB SwapTotal: 67108860 kB SwapFree: 66977424 kB Dirty: 26640 kB Writeback: 0 kB AnonPages: 260932 kB Mapped: 48600 kB Shmem: 40496 kB Slab: 181796 kB SReclaimable: 151136 kB SUnreclaim: 30660 kB KernelStack: 3712 kB PageTables: 5112 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498492 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 215040 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 58988 MiB End job on node104 at 2019-09-17 09:53:28