Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 65 | 141.413 | 18.4074 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-26-09.xml |
MD5SUM | 54f28c2036fc278050695a3bd6f2d6a5 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 65 |
Best CPU time to get the best result obtained on this benchmark | 44.8404 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 116 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 363 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":363,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":8},{"degree":6,"count":19},{"degree":7,"count":16},{"degree":8,"count":10},{"degree":9,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":2,"count":112},{"arity":41,"count":1},{"arity":45,"count":2},{"arity":50,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 112 |
Distribution of constraint types | [{"type":"intension","count":112},{"type":"cumulative","count":4}] |
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-4404690-1569001861.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404690-1569001861.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.65/0.80 c solve instance... 2.80/0.95 o 83 2.80/0.99 o 81 3.46/1.02 o 80 3.46/1.04 o 78 3.46/1.05 o 74 3.46/1.07 o 72 4.13/1.19 o 71 4.78/1.21 o 70 4.78/1.29 o 69 5.45/1.38 o 68 7.77/1.61 o 67 10.14/1.97 o 66 29.95/4.43 o 65 140.66/18.39 s OPTIMUM FOUND 140.66/18.39 v <instantiation> 140.66/18.39 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] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list> 140.66/18.39 v <values>0 0 0 0 5 10 10 5 4 6 16 8 7 19 7 36 9 13 9 9 8 9 40 45 16 23 18 16 22 35 19 39 23 25 19 42 32 34 25 29 25 34 46 26 44 39 33 53 39 48 49 47 42 54 55 42 54 56 55 56 61 65 </values> 140.66/18.39 v </instantiation>
OK 65
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 (11968 MiB free) memory of node 1: 16384 MiB (9797 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404690-1569001861/watcher-4404690-1569001861 -o /var/tmp/evaluation-result-4404690-1569001861/solver-4404690-1569001861 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1568994486-15792 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 885125367 HOME/instance-4404690-1569001861.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=17764, runsolver pid=17761 Current StackSize limit: 8192 KiB [startup+0.100112 s]* /proc/loadavg: 8.65 8.34 8.31 2/213 17785 /proc/meminfo: memFree=22272812/32770624 swapFree=67001780/67108860 [pid=17764] ppid=17761 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17764/stat : 17764 (xcsp3-exec) S 17761 17764 15765 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476100077 115843072 363 33554432000 4194304 5098028 140730018833856 140730018831960 140453140148860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36036608 140730018837330 140730018837589 140730018837589 140730018840518 0 /proc/17764/statm: 28282 363 304 221 0 87 0 [pid=17766] ppid=17764 vsize=28227396 memory=28764 CPUtime=0.12 cores=0-7 /proc/17766/stat : 17766 (java) S 17764 17764 15765 0 -1 1077944320 5625 0 0 0 11 1 0 0 20 0 20 0 476100077 28904853504 7191 33554432000 4194304 4196468 140727027250496 140727027233040 140048631742199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 /proc/17766/statm: 7056849 7191 3133 1 0 7019032 0 [pid=17766/tid=17767] ppid=17764 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/17766/task/17767/stat : 17767 (java) R 17764 17764 15765 0 -1 4202560 3557 0 0 0 8 0 0 0 20 0 20 0 476100078 28904853504 7191 33554432000 4194304 4196468 140727027250496 140048635971376 140048230117733 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17768] ppid=17764 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17766/task/17768/stat : 17768 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 7191 33554432000 4194304 4196468 140727027250496 140048551594384 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17769] ppid=17764 vsize=28227396 memory=140274875549312 CPUtime=0 cores=0-7 /proc/17766/task/17769/stat : 17769 (java) S 17764 17764 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 7191 33554432000 4194304 4196468 140727027250496 140048550541584 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17770] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17770/stat : 17770 (java) S 17764 17764 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 7191 33554432000 4194304 4196468 140727027250496 140048180828816 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17771] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17771/stat : 17771 (java) S 17764 17764 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 7191 33554432000 4194304 4196468 140727027250496 140048179776016 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17772] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17772/stat : 17772 (java) S 17764 17764 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 7191 33554432000 4194304 4196468 140727027250496 140048178723728 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17773] ppid=17764 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17766/task/17773/stat : 17773 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 7191 33554432000 4194304 4196468 140727027250496 140048177670928 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17774] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17774/stat : 17774 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 7191 33554432000 4194304 4196468 140727027250496 140048176618640 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17775] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17775/stat : 17775 (java) S 17764 17764 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 7191 33554432000 4194304 4196468 140727027250496 140048175565840 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17776] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17776/stat : 17776 (java) S 17764 17764 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476100080 28904853504 7191 33554432000 4194304 4196468 140727027250496 140048016152688 140048631753346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17777] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17777/stat : 17777 (java) S 17764 17764 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476100081 28904853504 7191 33554432000 4194304 4196468 140727027250496 140048015098656 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17778] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17778/stat : 17778 (java) S 17764 17764 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476100081 28904853504 7191 33554432000 4194304 4196468 140727027250496 140048014046320 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17779] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17779/stat : 17779 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100083 28904853504 7191 33554432000 4194304 4196468 140727027250496 140048012994640 140048631760795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17780] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17780/stat : 17780 (java) S 17764 17764 15765 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 20 0 476100083 28904853504 7191 33554432000 4194304 4196468 140727027250496 140047810554480 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17781] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17781/stat : 17781 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100083 28904853504 7191 33554432000 4194304 4196468 140727027250496 140047809501680 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17782] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17782/stat : 17782 (java) S 17764 17764 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476100083 28904853504 7191 33554432000 4194304 4196468 140727027250496 140047808449392 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17783] ppid=17764 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17766/task/17783/stat : 17783 (java) R 17764 17764 15765 0 -1 4202560 315 0 0 0 1 0 0 0 20 0 20 0 476100083 28904853504 7191 33554432000 4194304 4196468 140727027250496 140047807396592 140048631754134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17784] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17784/stat : 17784 (java) S 17764 17764 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476100084 28904853504 7191 33554432000 4194304 4196468 140727027250496 140047806343520 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17785] ppid=17764 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17766/task/17785/stat : 17785 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100084 28904853504 7191 33554432000 4194304 4196468 140727027250496 140047805290800 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30216 KiB [startup+0.210317 s]* /proc/loadavg: 8.65 8.34 8.31 2/213 17785 /proc/meminfo: memFree=22260028/32770624 swapFree=67001780/67108860 [pid=17764] ppid=17761 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17764/stat : 17764 (xcsp3-exec) S 17761 17764 15765 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476100077 115843072 363 33554432000 4194304 5098028 140730018833856 140730018831960 140453140148860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36036608 140730018837330 140730018837589 140730018837589 140730018840518 0 /proc/17764/statm: 28282 363 304 221 0 87 0 [pid=17766] ppid=17764 vsize=28227396 memory=41012 CPUtime=0.33 cores=0-7 /proc/17766/stat : 17766 (java) S 17764 17764 15765 0 -1 1077944320 9522 0 0 0 30 3 0 0 20 0 20 0 476100077 28904853504 10253 33554432000 4194304 4196468 140727027250496 140727027233040 140048631742199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 /proc/17766/statm: 7056849 10253 3301 1 0 7019032 0 [pid=17766/tid=17767] ppid=17764 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/17766/task/17767/stat : 17767 (java) R 17764 17764 15765 0 -1 4202560 6597 0 0 0 18 2 0 0 20 0 20 0 476100078 28904853504 10253 33554432000 4194304 4196468 140727027250496 140048635974112 140048631754134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17768] ppid=17764 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/17766/task/17768/stat : 17768 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 10253 33554432000 4194304 4196468 140727027250496 140048551594384 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17769] ppid=17764 vsize=28227396 memory=288370651027261056 CPUtime=0 cores=0-7 /proc/17766/task/17769/stat : 17769 (java) S 17764 17764 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 10253 33554432000 4194304 4196468 140727027250496 140048550541584 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17770] ppid=17764 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17766/task/17770/stat : 17770 (java) S 17764 17764 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 10253 33554432000 4194304 4196468 140727027250496 140048180828816 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17771] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17771/stat : 17771 (java) S 17764 17764 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 10253 33554432000 4194304 4196468 140727027250496 140048179776016 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17772] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17772/stat : 17772 (java) S 17764 17764 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 10253 33554432000 4194304 4196468 140727027250496 140048178723728 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17773] ppid=17764 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17766/task/17773/stat : 17773 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 10253 33554432000 4194304 4196468 140727027250496 140048177670928 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17774] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17774/stat : 17774 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 10253 33554432000 4194304 4196468 140727027250496 140048176618640 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17775] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17775/stat : 17775 (java) S 17764 17764 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476100079 28904853504 10253 33554432000 4194304 4196468 140727027250496 140048175565840 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17776] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17776/stat : 17776 (java) S 17764 17764 15765 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476100080 28904853504 10253 33554432000 4194304 4196468 140727027250496 140048016152688 140048631753346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17777] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17777/stat : 17777 (java) S 17764 17764 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476100081 28904853504 10253 33554432000 4194304 4196468 140727027250496 140048015098656 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17778] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17778/stat : 17778 (java) S 17764 17764 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476100081 28904853504 10253 33554432000 4194304 4196468 140727027250496 140048014046320 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17779] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17779/stat : 17779 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100083 28904853504 10253 33554432000 4194304 4196468 140727027250496 140048012994640 140048631760795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17780] ppid=17764 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17766/task/17780/stat : 17780 (java) S 17764 17764 15765 0 -1 1077944384 616 0 0 0 1 0 0 0 20 0 20 0 476100083 28904853504 10253 33554432000 4194304 4196468 140727027250496 140047810554480 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17781] ppid=17764 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17766/task/17781/stat : 17781 (java) S 17764 17764 15765 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 476100083 28904853504 10253 33554432000 4194304 4196468 140727027250496 140047809501680 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17782] ppid=17764 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/17766/task/17782/stat : 17782 (java) S 17764 17764 15765 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 476100083 28904853504 10253 33554432000 4194304 4196468 140727027250496 140047808449392 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17783] ppid=17764 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/17766/task/17783/stat : 17783 (java) R 17764 17764 15765 0 -1 4202560 789 0 0 0 7 0 0 0 20 0 20 0 476100083 28904853504 10253 33554432000 4194304 4196468 140727027250496 140047807396592 140048631754134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17784] ppid=17764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17784/stat : 17784 (java) S 17764 17764 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476100084 28904853504 10253 33554432000 4194304 4196468 140727027250496 140047806343520 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17785] ppid=17764 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17766/task/17785/stat : 17785 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100084 28904853504 10253 33554432000 4194304 4196468 140727027250496 140047805290800 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42464 KiB [startup+0.309998 s]* /proc/loadavg: 8.65 8.34 8.31 3/213 17785 /proc/meminfo: memFree=22252536/32770624 swapFree=67001780/67108860 [pid=17764] ppid=17761 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17764/stat : 17764 (xcsp3-exec) S 17761 17764 15765 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476100077 115843072 363 33554432000 4194304 5098028 140730018833856 140730018831960 140453140148860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36036608 140730018837330 140730018837589 140730018837589 140730018840518 0 /proc/17764/statm: 28282 363 304 221 0 87 0 [pid=17766] ppid=17764 vsize=28231652 memory=49708 CPUtime=0.51 cores=0-7 /proc/17766/stat : 17766 (java) S 17764 17764 15765 0 -1 1077944320 10765 0 0 0 47 4 0 0 20 0 20 0 476100077 28909211648 12427 33554432000 4194304 4196468 140727027250496 140727027233040 140048631742199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 /proc/17766/statm: 7057913 12427 3336 1 0 7019032 0 [pid=17766/tid=17767] ppid=17764 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/17766/task/17767/stat : 17767 (java) R 17764 17764 15765 0 -1 4202560 7708 0 0 0 27 2 0 0 20 0 20 0 476100078 28909211648 12427 33554432000 4194304 4196468 140727027250496 140048635975984 140048615822686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17768] ppid=17764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17768/stat : 17768 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100079 28909211648 12427 33554432000 4194304 4196468 140727027250496 140048551594384 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17769] ppid=17764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17769/stat : 17769 (java) S 17764 17764 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476100079 28909211648 12427 33554432000 4194304 4196468 140727027250496 140048550541584 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17770] ppid=17764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17770/stat : 17770 (java) S 17764 17764 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476100079 28909211648 12427 33554432000 4194304 4196468 140727027250496 140048180828816 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17771] ppid=17764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17771/stat : 17771 (java) S 17764 17764 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476100079 28909211648 12427 33554432000 4194304 4196468 140727027250496 140048179776016 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17772] ppid=17764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17772/stat : 17772 (java) S 17764 17764 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476100079 28909211648 12427 33554432000 4194304 4196468 140727027250496 140048178723728 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17773] ppid=17764 vsize=28231652 memory=140274772830895 CPUtime=0 cores=0-7 /proc/17766/task/17773/stat : 17773 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100079 28909211648 12427 33554432000 4194304 4196468 140727027250496 140048177670928 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17774] ppid=17764 vsize=28231652 memory=140274772833200 CPUtime=0 cores=0-7 /proc/17766/task/17774/stat : 17774 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100079 28909211648 12427 33554432000 4194304 4196468 140727027250496 140048176618640 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17775] ppid=17764 vsize=28231652 memory=140274772835504 CPUtime=0 cores=0-7 /proc/17766/task/17775/stat : 17775 (java) S 17764 17764 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476100079 28909211648 12427 33554432000 4194304 4196468 140727027250496 140048175565840 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17776] ppid=17764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17776/stat : 17776 (java) S 17764 17764 15765 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476100080 28909211648 12427 33554432000 4194304 4196468 140727027250496 140048016152688 140048631753346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17777] ppid=17764 vsize=28231652 memory=280549545684880 CPUtime=0 cores=0-7 /proc/17766/task/17777/stat : 17777 (java) S 17764 17764 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476100081 28909211648 12427 33554432000 4194304 4196468 140727027250496 140048015098656 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17778] ppid=17764 vsize=28231652 memory=280549545682576 CPUtime=0 cores=0-7 /proc/17766/task/17778/stat : 17778 (java) S 17764 17764 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476100081 28909211648 12427 33554432000 4194304 4196468 140727027250496 140048014046320 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17779] ppid=17764 vsize=28231652 memory=280549545689488 CPUtime=0 cores=0-7 /proc/17766/task/17779/stat : 17779 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100083 28909211648 12427 33554432000 4194304 4196468 140727027250496 140048012994640 140048631760795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17780] ppid=17764 vsize=28231652 memory=280549545630768 CPUtime=0.01 cores=0-7 /proc/17766/task/17780/stat : 17780 (java) S 17764 17764 15765 0 -1 1077944384 616 0 0 0 1 0 0 0 20 0 20 0 476100083 28909211648 12427 33554432000 4194304 4196468 140727027250496 140047810554480 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17781] ppid=17764 vsize=28231652 memory=280549545703312 CPUtime=0.02 cores=0-7 /proc/17766/task/17781/stat : 17781 (java) S 17764 17764 15765 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 20 0 476100083 28909211648 12427 33554432000 4194304 4196468 140727027250496 140047809501680 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17782] ppid=17764 vsize=28231652 memory=280549545710224 CPUtime=0.02 cores=0-7 /proc/17766/task/17782/stat : 17782 (java) S 17764 17764 15765 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 20 0 476100083 28909211648 12427 33554432000 4194304 4196468 140727027250496 140047808449392 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17783] ppid=17764 vsize=28231652 memory=280549545707920 CPUtime=0.12 cores=0-7 /proc/17766/task/17783/stat : 17783 (java) S 17764 17764 15765 0 -1 1077944384 887 0 0 0 12 0 0 0 20 0 20 0 476100083 28909211648 12427 33554432000 4194304 4196468 140727027250496 140047807396592 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17784] ppid=17764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17784/stat : 17784 (java) S 17764 17764 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476100084 28909211648 12427 33554432000 4194304 4196468 140727027250496 140047806343520 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17785] ppid=17764 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/17766/task/17785/stat : 17785 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100084 28909211648 12427 33554432000 4194304 4196468 140727027250496 140047805290800 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51160 KiB [startup+0.700988 s] /proc/loadavg: 8.65 8.34 8.31 5/213 17785 /proc/meminfo: memFree=22236108/32770624 swapFree=67001780/67108860 [pid=17764] ppid=17761 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17764/stat : 17764 (xcsp3-exec) S 17761 17764 15765 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476100077 115843072 363 33554432000 4194304 5098028 140730018833856 140730018831960 140453140148860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36036608 140730018837330 140730018837589 140730018837589 140730018840518 0 /proc/17764/statm: 28282 363 304 221 0 87 0 [pid=17766] ppid=17764 vsize=28233776 memory=87772 CPUtime=1.65 cores=0-7 /proc/17766/stat : 17766 (java) S 17764 17764 15765 0 -1 1077944320 15129 0 0 0 158 7 0 0 20 0 20 0 476100077 28911386624 21943 33554432000 4194304 4196468 140727027250496 140727027233040 140048631742199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 /proc/17766/statm: 7058444 21943 3453 1 0 7019544 0 [pid=17766/tid=17767] ppid=17764 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/17766/task/17767/stat : 17767 (java) R 17764 17764 15765 0 -1 4202560 9286 0 0 0 64 4 0 0 20 0 20 0 476100078 28911386624 21943 33554432000 4194304 4196468 140727027250496 140048635980080 140048230139425 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17768] ppid=17764 vsize=28233776 memory=140274773042032 CPUtime=0 cores=0-7 /proc/17766/task/17768/stat : 17768 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476100079 28911386624 21943 33554432000 4194304 4196468 140727027250496 140048551594384 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17769] ppid=17764 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17769/stat : 17769 (java) S 17764 17764 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476100079 28911386624 21943 33554432000 4194304 4196468 140727027250496 140048550541584 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17770] ppid=17764 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/17766/task/17770/stat : 17770 (java) S 17764 17764 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476100079 28911386624 21943 33554432000 4194304 4196468 140727027250496 140048180828816 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 ################ # More data... # ################ [pid=17766/tid=17892] ppid=17764 vsize=28769364 memory=1720 CPUtime=11.5 cores=0-7 /proc/17766/task/17892/stat : 17892 (java) R 17764 17764 15765 0 -1 4202560 113 0 0 0 1150 0 0 0 20 0 28 0 476100521 29459828736 62132 33554432000 4194304 4196468 140727027250496 140047793160440 140048235880486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17893] ppid=17764 vsize=28769364 memory=303430223234596890 CPUtime=11.4 cores=0-7 /proc/17766/task/17893/stat : 17893 (java) R 17764 17764 15765 0 -1 4202560 482 0 0 0 1140 0 0 0 20 0 28 0 476100521 29459828736 62132 33554432000 4194304 4196468 140727027250496 140047792109976 140048239935755 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17894] ppid=17764 vsize=28769364 memory=288230596050944315 CPUtime=11.4 cores=0-7 /proc/17766/task/17894/stat : 17894 (java) R 17764 17764 15765 0 -1 4202560 336 0 0 0 1140 0 0 0 20 0 28 0 476100521 29459828736 62132 33554432000 4194304 4196468 140727027250496 140047786845272 140048238268693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17895] ppid=17764 vsize=28769364 memory=15816698942984824 CPUtime=11.39 cores=0-7 /proc/17766/task/17895/stat : 17895 (java) R 17764 17764 15765 0 -1 4202560 216 0 0 0 1139 0 0 0 20 0 28 0 476100521 29459828736 62132 33554432000 4194304 4196468 140727027250496 140047790002056 140048235880500 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17896] ppid=17764 vsize=28769364 memory=232020 CPUtime=11.39 cores=0-7 /proc/17766/task/17896/stat : 17896 (java) R 17764 17764 15765 0 -1 4202560 543 0 0 0 1139 0 0 0 20 0 28 0 476100521 29459828736 62132 33554432000 4194304 4196468 140727027250496 140047791055096 140048235880491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17897] ppid=17764 vsize=28769364 memory=0 CPUtime=11.5 cores=0-7 /proc/17766/task/17897/stat : 17897 (java) R 17764 17764 15765 0 -1 4202560 102 0 0 0 1150 0 0 0 20 0 28 0 476100521 29459828736 62132 33554432000 4194304 4196468 140727027250496 140047788949112 140048238447333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 Current children cumulated CPU time: 122.41 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 249980 KiB [startup+17.601 s] /proc/loadavg: 8.79 8.39 8.33 9/221 17897 /proc/meminfo: memFree=22048684/32770624 swapFree=67001780/67108860 [pid=17764] ppid=17761 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17764/stat : 17764 (xcsp3-exec) S 17761 17764 15765 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476100077 115843072 363 33554432000 4194304 5098028 140730018833856 140730018831960 140453140148860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36036608 140730018837330 140730018837589 140730018837589 140730018840518 0 /proc/17764/statm: 28282 363 304 221 0 87 0 [pid=17766] ppid=17764 vsize=28769364 memory=251136 CPUtime=135.07 cores=0-7 /proc/17766/stat : 17766 (java) S 17764 17764 15765 0 -1 1077944320 51757 0 0 0 13479 28 0 0 20 0 28 0 476100077 29459828736 62784 33554432000 4194304 4196468 140727027250496 140727027233040 140048631742199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 /proc/17766/statm: 7192341 62784 3531 1 0 7153441 0 [pid=17766/tid=17767] ppid=17764 vsize=28769364 memory=1424 CPUtime=0.79 cores=0-7 /proc/17766/task/17767/stat : 17767 (java) S 17764 17764 15765 0 -1 1077944384 9541 0 0 0 75 4 0 0 20 0 28 0 476100078 29459828736 62784 33554432000 4194304 4196468 140727027250496 140048635982976 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17768] ppid=17764 vsize=28769364 memory=580 CPUtime=0 cores=0-7 /proc/17766/task/17768/stat : 17768 (java) S 17764 17764 15765 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 28 0 476100079 29459828736 62784 33554432000 4194304 4196468 140727027250496 140048551594384 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17769] ppid=17764 vsize=28769364 memory=1692 CPUtime=0.01 cores=0-7 /proc/17766/task/17769/stat : 17769 (java) S 17764 17764 15765 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 28 0 476100079 29459828736 62784 33554432000 4194304 4196468 140727027250496 140048550541584 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17770] ppid=17764 vsize=28769364 memory=1452 CPUtime=0.01 cores=0-7 /proc/17766/task/17770/stat : 17770 (java) S 17764 17764 15765 0 -1 1077944384 228 0 0 0 1 0 0 0 20 0 28 0 476100079 29459828736 62784 33554432000 4194304 4196468 140727027250496 140048180828816 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17771] ppid=17764 vsize=28769364 memory=248504 CPUtime=0.01 cores=0-7 /proc/17766/task/17771/stat : 17771 (java) S 17764 17764 15765 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 28 0 476100079 29459828736 62784 33554432000 4194304 4196468 140727027250496 140048179776016 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17772] ppid=17764 vsize=28769364 memory=22084 CPUtime=0.01 cores=0-7 /proc/17766/task/17772/stat : 17772 (java) S 17764 17764 15765 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 476100079 29459828736 62784 33554432000 4194304 4196468 140727027250496 140048178723728 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17773] ppid=17764 vsize=28769364 memory=24292 CPUtime=0.01 cores=0-7 /proc/17766/task/17773/stat : 17773 (java) S 17764 17764 15765 0 -1 1077944384 1390 0 0 0 1 0 0 0 20 0 28 0 476100079 29459828736 62784 33554432000 4194304 4196468 140727027250496 140048177670928 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17774] ppid=17764 vsize=28769364 memory=26500 CPUtime=0 cores=0-7 /proc/17766/task/17774/stat : 17774 (java) S 17764 17764 15765 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 476100079 29459828736 62784 33554432000 4194304 4196468 140727027250496 140048176618640 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17775] ppid=17764 vsize=28769364 memory=28708 CPUtime=0 cores=0-7 /proc/17766/task/17775/stat : 17775 (java) S 17764 17764 15765 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 476100079 29459828736 62784 33554432000 4194304 4196468 140727027250496 140048175565840 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17776] ppid=17764 vsize=28769364 memory=30916 CPUtime=0.01 cores=0-7 /proc/17766/task/17776/stat : 17776 (java) S 17764 17764 15765 0 -1 1077944384 596 0 0 0 1 0 0 0 20 0 28 0 476100080 29459828736 62784 33554432000 4194304 4196468 140727027250496 140048016152688 140048631753346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17777] ppid=17764 vsize=28769364 memory=31076 CPUtime=0 cores=0-7 /proc/17766/task/17777/stat : 17777 (java) S 17764 17764 15765 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 476100081 29459828736 62784 33554432000 4194304 4196468 140727027250496 140048015098720 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17778] ppid=17764 vsize=28769364 memory=280549546086560 CPUtime=0 cores=0-7 /proc/17766/task/17778/stat : 17778 (java) S 17764 17764 15765 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 476100081 29459828736 62784 33554432000 4194304 4196468 140727027250496 140048014046336 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17779] ppid=17764 vsize=28769364 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/17766/task/17779/stat : 17779 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476100083 29459828736 62784 33554432000 4194304 4196468 140727027250496 140048012994640 140048631760795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17780] ppid=17764 vsize=28769364 memory=15816698942984824 CPUtime=2.48 cores=0-7 /proc/17766/task/17780/stat : 17780 (java) S 17764 17764 15765 0 -1 1077944384 6927 0 0 0 247 1 0 0 20 0 28 0 476100083 29459828736 62784 33554432000 4194304 4196468 140727027250496 140047810554480 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17781] ppid=17764 vsize=28769364 memory=0 CPUtime=2.58 cores=0-7 /proc/17766/task/17781/stat : 17781 (java) S 17764 17764 15765 0 -1 1077944384 9158 0 0 0 256 2 0 0 20 0 28 0 476100083 29459828736 62784 33554432000 4194304 4196468 140727027250496 140047809501680 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17782] ppid=17764 vsize=28769364 memory=0 CPUtime=2.76 cores=0-7 /proc/17766/task/17782/stat : 17782 (java) S 17764 17764 15765 0 -1 1077944384 6816 0 0 0 274 2 0 0 20 0 28 0 476100083 29459828736 62784 33554432000 4194304 4196468 140727027250496 140047808449392 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17783] ppid=17764 vsize=28769364 memory=0 CPUtime=0.94 cores=0-7 /proc/17766/task/17783/stat : 17783 (java) S 17764 17764 15765 0 -1 1077944384 8167 0 0 0 92 2 0 0 20 0 28 0 476100083 29459828736 62784 33554432000 4194304 4196468 140727027250496 140047807396592 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17784] ppid=17764 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17784/stat : 17784 (java) S 17764 17764 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476100084 29459828736 62784 33554432000 4194304 4196468 140727027250496 140047806343520 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17785] ppid=17764 vsize=28769364 memory=56 CPUtime=0 cores=0-7 /proc/17766/task/17785/stat : 17785 (java) S 17764 17764 15765 0 -1 1077944384 762 0 0 0 0 0 0 0 20 0 28 0 476100084 29459828736 62784 33554432000 4194304 4196468 140727027250496 140047805290800 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17890] ppid=17764 vsize=28769364 memory=0 CPUtime=12.93 cores=0-7 /proc/17766/task/17890/stat : 17890 (java) R 17764 17764 15765 0 -1 4202560 338 0 0 0 1293 0 0 0 20 0 28 0 476100521 29459828736 62784 33554432000 4194304 4196468 140727027250496 140047785790032 140048235890031 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17891] ppid=17764 vsize=28769364 memory=1452 CPUtime=12.87 cores=0-7 /proc/17766/task/17891/stat : 17891 (java) R 17764 17764 15765 0 -1 4202560 167 0 0 0 1287 0 0 0 20 0 28 0 476100521 29459828736 62784 33554432000 4194304 4196468 140727027250496 140047787896520 140048237899935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17892] ppid=17764 vsize=28769364 memory=248528 CPUtime=13.08 cores=0-7 /proc/17766/task/17892/stat : 17892 (java) R 17764 17764 15765 0 -1 4202560 118 0 0 0 1308 0 0 0 20 0 28 0 476100521 29459828736 62784 33554432000 4194304 4196468 140727027250496 140047793160264 140048238449054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17893] ppid=17764 vsize=28769364 memory=29212 CPUtime=12.97 cores=0-7 /proc/17766/task/17893/stat : 17893 (java) R 17764 17764 15765 0 -1 4202560 484 0 0 0 1297 0 0 0 20 0 28 0 476100521 29459828736 62784 33554432000 4194304 4196468 140727027250496 140047792108120 140048235880420 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17894] ppid=17764 vsize=28769364 memory=12028 CPUtime=12.98 cores=0-7 /proc/17766/task/17894/stat : 17894 (java) R 17764 17764 15765 0 -1 4202560 339 0 0 0 1298 0 0 0 20 0 28 0 476100521 29459828736 62784 33554432000 4194304 4196468 140727027250496 140047786845176 140048237220537 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17895] ppid=17764 vsize=28769364 memory=532 CPUtime=12.97 cores=0-7 /proc/17766/task/17895/stat : 17895 (java) R 17764 17764 15765 0 -1 4202560 235 0 0 0 1297 0 0 0 20 0 28 0 476100521 29459828736 62784 33554432000 4194304 4196468 140727027250496 140047790002048 140048237782722 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17896] ppid=17764 vsize=28769364 memory=1564 CPUtime=12.97 cores=0-7 /proc/17766/task/17896/stat : 17896 (java) R 17764 17764 15765 0 -1 4202560 548 0 0 0 1297 0 0 0 20 0 28 0 476100521 29459828736 62784 33554432000 4194304 4196468 140727027250496 140047791055096 140048237220861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17897] ppid=17764 vsize=28769364 memory=928 CPUtime=13.06 cores=0-7 /proc/17766/task/17897/stat : 17897 (java) R 17764 17764 15765 0 -1 4202560 123 0 0 0 1306 0 0 0 20 0 28 0 476100521 29459828736 62784 33554432000 4194304 4196468 140727027250496 140047788951904 140048238449549 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 Current children cumulated CPU time: 135.07 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 252588 KiB [startup+18.001 s]* /proc/loadavg: 8.79 8.39 8.33 10/221 17897 /proc/meminfo: memFree=22049304/32770624 swapFree=67001780/67108860 [pid=17764] ppid=17761 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17764/stat : 17764 (xcsp3-exec) S 17761 17764 15765 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476100077 115843072 363 33554432000 4194304 5098028 140730018833856 140730018831960 140453140148860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36036608 140730018837330 140730018837589 140730018837589 140730018840518 0 /proc/17764/statm: 28282 363 304 221 0 87 0 [pid=17766] ppid=17764 vsize=28769364 memory=251168 CPUtime=138.33 cores=0-7 /proc/17766/stat : 17766 (java) S 17764 17764 15765 0 -1 1077944320 52468 0 0 0 13805 28 0 0 20 0 28 0 476100077 29459828736 62792 33554432000 4194304 4196468 140727027250496 140727027233040 140048631742199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 /proc/17766/statm: 7192341 62792 3531 1 0 7153441 0 [pid=17766/tid=17767] ppid=17764 vsize=28769364 memory=1398722017469774279 CPUtime=0.79 cores=0-7 /proc/17766/task/17767/stat : 17767 (java) S 17764 17764 15765 0 -1 1077944384 9541 0 0 0 75 4 0 0 20 0 28 0 476100078 29459828736 62792 33554432000 4194304 4196468 140727027250496 140048635982976 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17768] ppid=17764 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17768/stat : 17768 (java) S 17764 17764 15765 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 28 0 476100079 29459828736 62792 33554432000 4194304 4196468 140727027250496 140048551594384 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17769] ppid=17764 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/17766/task/17769/stat : 17769 (java) S 17764 17764 15765 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 28 0 476100079 29459828736 62792 33554432000 4194304 4196468 140727027250496 140048550541584 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17770] ppid=17764 vsize=28769364 memory=140274773701743 CPUtime=0.01 cores=0-7 /proc/17766/task/17770/stat : 17770 (java) S 17764 17764 15765 0 -1 1077944384 228 0 0 0 1 0 0 0 20 0 28 0 476100079 29459828736 62792 33554432000 4194304 4196468 140727027250496 140048180828816 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17771] ppid=17764 vsize=28769364 memory=280549547230624 CPUtime=0.01 cores=0-7 /proc/17766/task/17771/stat : 17771 (java) S 17764 17764 15765 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 28 0 476100079 29459828736 62792 33554432000 4194304 4196468 140727027250496 140048179776016 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17772] ppid=17764 vsize=28769364 memory=280549547232928 CPUtime=0.01 cores=0-7 /proc/17766/task/17772/stat : 17772 (java) S 17764 17764 15765 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 476100079 29459828736 62792 33554432000 4194304 4196468 140727027250496 140048178723728 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17773] ppid=17764 vsize=28769364 memory=140274773708591 CPUtime=0.01 cores=0-7 /proc/17766/task/17773/stat : 17773 (java) S 17764 17764 15765 0 -1 1077944384 1390 0 0 0 1 0 0 0 20 0 28 0 476100079 29459828736 62792 33554432000 4194304 4196468 140727027250496 140048177670928 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17774] ppid=17764 vsize=28769364 memory=140274773728788 CPUtime=0 cores=0-7 /proc/17766/task/17774/stat : 17774 (java) S 17764 17764 15765 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 476100079 29459828736 62792 33554432000 4194304 4196468 140727027250496 140048176618640 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17775] ppid=17764 vsize=28769364 memory=140274773731093 CPUtime=0 cores=0-7 /proc/17766/task/17775/stat : 17775 (java) S 17764 17764 15765 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 476100079 29459828736 62792 33554432000 4194304 4196468 140727027250496 140048175565840 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17776] ppid=17764 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/17766/task/17776/stat : 17776 (java) S 17764 17764 15765 0 -1 1077944384 596 0 0 0 1 0 0 0 20 0 28 0 476100080 29459828736 62792 33554432000 4194304 4196468 140727027250496 140048016152688 140048631753346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17777] ppid=17764 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17777/stat : 17777 (java) S 17764 17764 15765 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 476100081 29459828736 62792 33554432000 4194304 4196468 140727027250496 140048015098720 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17778] ppid=17764 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17778/stat : 17778 (java) S 17764 17764 15765 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 476100081 29459828736 62792 33554432000 4194304 4196468 140727027250496 140048014046336 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17779] ppid=17764 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17766/task/17779/stat : 17779 (java) S 17764 17764 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476100083 29459828736 62792 33554432000 4194304 4196468 140727027250496 140048012994640 140048631760795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17780] ppid=17764 vsize=28769364 memory=1452 CPUtime=2.5 cores=0-7 /proc/17766/task/17780/stat : 17780 (java) S 17764 17764 15765 0 -1 1077944384 7629 0 0 0 248 2 0 0 20 0 28 0 476100083 29459828736 62792 33554432000 4194304 4196468 140727027250496 140047810554480 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17781] ppid=17764 vsize=28769364 memory=251136 CPUtime=2.58 cores=0-7 /proc/17766/task/17781/stat : 17781 (java) S 17764 17764 15765 0 -1 1077944384 9158 0 0 0 256 2 0 0 20 0 28 0 476100083 29459828736 62792 33554432000 4194304 4196468 140727027250496 140047809501680 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17782] ppid=17764 vsize=28769364 memory=3616 CPUtime=2.76 cores=0-7 /proc/17766/task/17782/stat : 17782 (java) S 17764 17764 15765 0 -1 1077944384 6816 0 0 0 274 2 0 0 20 0 28 0 476100083 29459828736 62792 33554432000 4194304 4196468 140727027250496 140047808449392 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17783] ppid=17764 vsize=28769364 memory=7548 CPUtime=0.94 cores=0-7 /proc/17766/task/17783/stat : 17783 (java) S 17764 17764 15765 0 -1 1077944384 8175 0 0 0 92 2 0 0 20 0 28 0 476100083 29459828736 62792 33554432000 4194304 4196468 140727027250496 140047807396592 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17784] ppid=17764 vsize=28769364 memory=2832 CPUtime=0 cores=0-7 /proc/17766/task/17784/stat : 17784 (java) S 17764 17764 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476100084 29459828736 62792 33554432000 4194304 4196468 140727027250496 140047806343520 140048631752405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17785] ppid=17764 vsize=28769364 memory=1452 CPUtime=0 cores=0-7 /proc/17766/task/17785/stat : 17785 (java) S 17764 17764 15765 0 -1 1077944384 762 0 0 0 0 0 0 0 20 0 28 0 476100084 29459828736 62792 33554432000 4194304 4196468 140727027250496 140047805290800 140048631753346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17890] ppid=17764 vsize=28769364 memory=248384 CPUtime=13.34 cores=0-7 /proc/17766/task/17890/stat : 17890 (java) R 17764 17764 15765 0 -1 4202560 339 0 0 0 1334 0 0 0 20 0 28 0 476100521 29459828736 62792 33554432000 4194304 4196468 140727027250496 140047785790032 140048241101248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17891] ppid=17764 vsize=28769364 memory=772 CPUtime=13.28 cores=0-7 /proc/17766/task/17891/stat : 17891 (java) R 17764 17764 15765 0 -1 4202560 167 0 0 0 1328 0 0 0 20 0 28 0 476100521 29459828736 62792 33554432000 4194304 4196468 140727027250496 140047787896520 140048241153728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17892] ppid=17764 vsize=28769364 memory=0 CPUtime=13.49 cores=0-7 /proc/17766/task/17892/stat : 17892 (java) R 17764 17764 15765 0 -1 4202560 118 0 0 0 1349 0 0 0 20 0 28 0 476100521 29459828736 62792 33554432000 4194304 4196468 140727027250496 140047793160264 140048239934675 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17893] ppid=17764 vsize=28769364 memory=0 CPUtime=13.36 cores=0-7 /proc/17766/task/17893/stat : 17893 (java) R 17764 17764 15765 0 -1 4202560 484 0 0 0 1336 0 0 0 20 0 28 0 476100521 29459828736 62792 33554432000 4194304 4196468 140727027250496 140047792108120 140048240792673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17894] ppid=17764 vsize=28769364 memory=0 CPUtime=13.39 cores=0-7 /proc/17766/task/17894/stat : 17894 (java) R 17764 17764 15765 0 -1 4202560 339 0 0 0 1339 0 0 0 20 0 28 0 476100521 29459828736 62792 33554432000 4194304 4196468 140727027250496 140047786844952 140048235784096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17895] ppid=17764 vsize=28769364 memory=56 CPUtime=13.38 cores=0-7 /proc/17766/task/17895/stat : 17895 (java) R 17764 17764 15765 0 -1 4202560 235 0 0 0 1338 0 0 0 20 0 28 0 476100521 29459828736 62792 33554432000 4194304 4196468 140727027250496 140047790002104 140048238449433 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17896] ppid=17764 vsize=28769364 memory=288370651027261056 CPUtime=13.38 cores=0-7 /proc/17766/task/17896/stat : 17896 (java) R 17764 17764 15765 0 -1 4202560 548 0 0 0 1338 0 0 0 20 0 28 0 476100521 29459828736 62792 33554432000 4194304 4196468 140727027250496 140047791055096 140048235880500 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 [pid=17766/tid=17897] ppid=17764 vsize=28769364 memory=0 CPUtime=13.46 cores=0-7 /proc/17766/task/17897/stat : 17897 (java) R 17764 17764 15765 0 -1 4202560 123 0 0 0 1346 0 0 0 20 0 28 0 476100521 29459828736 62792 33554432000 4194304 4196468 140727027250496 140047788951904 140048237901192 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140727027254230 140727027254406 140727027254406 140727027257295 0 Current children cumulated CPU time: 138.33 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 252620 KiB [startup+18.4012 s] /proc/loadavg: 8.79 8.39 8.33 10/221 17897 /proc/meminfo: memFree=22049304/32770624 swapFree=67001780/67108860 [pid=17764] ppid=17761 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17764/stat : 17764 (xcsp3-exec) S 17761 17764 15765 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476100077 115843072 363 33554432000 4194304 5098028 140730018833856 140730018831960 140453140148860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36036608 140730018837330 140730018837589 140730018837589 140730018840518 0 /proc/17764/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 18.4074 CPU time (s): 141.413 CPU user time (s): 141.117 CPU system time (s): 0.296165 CPU usage (%): 768.242 Max. virtual memory (cumulated for all children) (KiB): 28884572 Max. memory (cumulated for all children) (KiB): 254776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 141.117 system time used= 0.296165 maximum resident set size= 258832 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54100 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6071 involuntary context switches= 2494 # summary of solver processes directly reported to runsolver: # pid: 17764 # total CPU time (s): 141.413 # total CPU user time (s): 141.117 # total CPU system time (s): 0.296165 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.164602 second user time and 0.246904 second system time The end
Begin job on node146 at 2019-09-20 19:50:20 IDJOB=4404690 IDBENCH=128324 IDSOLVER=2865 FILE ID=node146/4404690-1569001861 RUNJOBID= node146-1568994486-15792 PBS_JOBID= 21704725 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-26-09.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404690-1569001861/watcher-4404690-1569001861 -o /var/tmp/evaluation-result-4404690-1569001861/solver-4404690-1569001861 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1568994486-15792 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 885125367 HOME/instance-4404690-1569001861.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 54f28c2036fc278050695a3bd6f2d6a5 RANDOM SEED=885125367 node146.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 : 5332.90 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 : 5332.90 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 : 5332.90 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 : 5332.90 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: 22288300 kB MemAvailable: 31850256 kB Buffers: 95092 kB Cached: 9508152 kB SwapCached: 3812 kB Active: 4772788 kB Inactive: 4834248 kB Active(anon): 460 kB Inactive(anon): 50856 kB Active(file): 4772328 kB Inactive(file): 4783392 kB Unevictable: 110668 kB Mlocked: 110668 kB SwapTotal: 67108860 kB SwapFree: 67001780 kB Dirty: 26248 kB Writeback: 0 kB AnonPages: 110308 kB Mapped: 51612 kB Shmem: 38868 kB Slab: 463080 kB SReclaimable: 434696 kB SUnreclaim: 28384 kB KernelStack: 3440 kB PageTables: 5276 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507296 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 65536 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /var/tmp at the end= 13484 MiB End job on node146 at 2019-09-20 19:50:39