Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 98 | 337.592 | 42.9569 |
Name | Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-05.xml |
MD5SUM | 28da73d1db83f7f431b4b8f6a2cf23fc |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 98 |
Best CPU time to get the best result obtained on this benchmark | 169.35 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 32 |
Number of constraints | 62 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 188 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":188,"count":31}] |
Minimum variable degree | 3 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":6,"count":3},{"degree":7,"count":7},{"degree":8,"count":17},{"degree":9,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":58},{"arity":30,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 58 |
Distribution of constraint types | [{"type":"intension","count":58},{"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-4404697-1569002009.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404697-1569002009.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.58/0.73 c solve instance... 2.18/0.83 o 187 2.18/0.83 o 117 2.18/0.87 o 115 2.74/0.90 o 114 4.30/1.12 o 109 5.00/1.26 o 107 8.10/1.68 o 106 9.65/1.87 o 105 9.65/1.87 o 104 16.80/2.75 o 103 20.77/3.25 o 102 20.77/3.27 o 100 149.86/19.40 o 99 159.42/20.67 o 98 337.23/42.94 s OPTIMUM FOUND 337.23/42.94 v <instantiation> 337.23/42.94 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] </list> 337.23/42.94 v <values>0 54 0 2 4 2 12 23 14 34 54 24 43 40 19 57 77 35 63 29 72 45 92 64 85 87 72 79 92 90 94 98 </values> 337.23/42.94 v </instantiation>
OK 98
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 (9727 MiB free) memory of node 1: 16384 MiB (8265 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404697-1569002009/watcher-4404697-1569002009 -o /tmp/evaluation-result-4404697-1569002009/solver-4404697-1569002009 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1825499904 HOME/instance-4404697-1569002009.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 Current StackSize limit: 8192 KiB solver pid=17752, runsolver pid=17749 [startup+0.100142 s]* /proc/loadavg: 7.94 8.26 8.24 2/211 17773 /proc/meminfo: memFree=18408948/32770624 swapFree=66986244/67108860 [pid=17752] ppid=17749 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17752/stat : 17752 (xcsp3-exec) S 17749 17752 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476457805 115843072 364 33554432000 4194304 5098028 140720991335728 140720991333832 140577838985852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22732800 140720991343477 140720991343721 140720991343721 140720991346634 0 /proc/17752/statm: 28282 364 305 221 0 87 0 [pid=17754] ppid=17752 vsize=28227396 memory=27124 CPUtime=0.12 cores=0-7 /proc/17754/stat : 17754 (java) S 17752 17752 14667 0 -1 1077944320 5795 0 0 0 10 2 0 0 20 0 20 0 476457805 28904853504 6781 33554432000 4194304 4196468 140724292256448 140724292238992 139948922777335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 /proc/17754/statm: 7056849 6781 3117 1 0 7019032 0 [pid=17754/tid=17755] ppid=17752 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/17754/task/17755/stat : 17755 (java) R 17752 17752 14667 0 -1 4202560 3675 0 0 0 7 1 0 0 20 0 20 0 476457806 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948927010608 139948922789270 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17756] ppid=17752 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/17754/task/17756/stat : 17756 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948474305424 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17757] ppid=17752 vsize=28227396 memory=139985422263936 CPUtime=0 cores=0-7 /proc/17754/task/17757/stat : 17757 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948473252624 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17758] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17758/stat : 17758 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948472200336 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17759] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17759/stat : 17759 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948471147536 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17760] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17760/stat : 17760 (java) S 17752 17752 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948470094224 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17761] ppid=17752 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17754/task/17761/stat : 17761 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948469041424 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17762] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17762/stat : 17762 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948467989136 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17763] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17763/stat : 17763 (java) S 17752 17752 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948466936336 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17764] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17764/stat : 17764 (java) S 17752 17752 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476457808 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948423785072 139948922788482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17765] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17765/stat : 17765 (java) S 17752 17752 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476457809 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948037629216 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17766] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17766/stat : 17766 (java) S 17752 17752 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476457809 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948036576880 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17767] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17767/stat : 17767 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457811 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948035525200 139948922795931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17768] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17768/stat : 17768 (java) S 17752 17752 14667 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 476457811 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948034472048 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17769] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17769/stat : 17769 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457811 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948033419248 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17770] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17770/stat : 17770 (java) S 17752 17752 14667 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 476457811 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948032366960 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17771] ppid=17752 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17754/task/17771/stat : 17771 (java) R 17752 17752 14667 0 -1 4202560 387 0 0 0 1 0 0 0 20 0 20 0 476457811 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948031314160 139948922789270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17772] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17772/stat : 17772 (java) S 17752 17752 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476457811 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948030262112 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17773] ppid=17752 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17754/task/17773/stat : 17773 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457812 28904853504 6781 33554432000 4194304 4196468 140724292256448 139948029209392 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 28580 KiB [startup+0.20993 s]* /proc/loadavg: 7.94 8.26 8.24 4/211 17773 /proc/meminfo: memFree=18395860/32770624 swapFree=66986244/67108860 [pid=17752] ppid=17749 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17752/stat : 17752 (xcsp3-exec) S 17749 17752 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476457805 115843072 364 33554432000 4194304 5098028 140720991335728 140720991333832 140577838985852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22732800 140720991343477 140720991343721 140720991343721 140720991346634 0 /proc/17752/statm: 28282 364 305 221 0 87 0 [pid=17754] ppid=17752 vsize=28227396 memory=40120 CPUtime=0.33 cores=0-7 /proc/17754/stat : 17754 (java) S 17752 17752 14667 0 -1 1077944320 9761 0 0 0 30 3 0 0 20 0 20 0 476457805 28904853504 10030 33554432000 4194304 4196468 140724292256448 140724292238992 139948922777335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 /proc/17754/statm: 7056849 10030 3286 1 0 7019032 0 [pid=17754/tid=17755] ppid=17752 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/17754/task/17755/stat : 17755 (java) R 17752 17752 14667 0 -1 4202560 6715 0 0 0 17 2 0 0 20 0 20 0 476457806 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948927007056 139948906884172 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17756] ppid=17752 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/17754/task/17756/stat : 17756 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948474305424 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17757] ppid=17752 vsize=28227396 memory=139985425655612 CPUtime=0 cores=0-7 /proc/17754/task/17757/stat : 17757 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948473252624 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17758] ppid=17752 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17754/task/17758/stat : 17758 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948472200336 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17759] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17759/stat : 17759 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948471147536 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17760] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17760/stat : 17760 (java) S 17752 17752 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948470094224 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17761] ppid=17752 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17754/task/17761/stat : 17761 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948469041424 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17762] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17762/stat : 17762 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948467989136 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17763] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17763/stat : 17763 (java) S 17752 17752 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476457807 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948466936336 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17764] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17764/stat : 17764 (java) S 17752 17752 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476457808 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948423785072 139948922788482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17765] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17765/stat : 17765 (java) S 17752 17752 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476457809 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948037629216 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17766] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17766/stat : 17766 (java) S 17752 17752 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476457809 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948036576880 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17767] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17767/stat : 17767 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457811 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948035525200 139948922795931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17768] ppid=17752 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17754/task/17768/stat : 17768 (java) S 17752 17752 14667 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 20 0 476457811 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948034472048 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17769] ppid=17752 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17754/task/17769/stat : 17769 (java) S 17752 17752 14667 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 476457811 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948033419248 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17770] ppid=17752 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/17754/task/17770/stat : 17770 (java) S 17752 17752 14667 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 20 0 476457811 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948032366960 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17771] ppid=17752 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/17754/task/17771/stat : 17771 (java) S 17752 17752 14667 0 -1 1077944384 872 0 0 0 7 0 0 0 20 0 20 0 476457811 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948031314160 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17772] ppid=17752 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17772/stat : 17772 (java) S 17752 17752 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476457811 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948030262112 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17773] ppid=17752 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17754/task/17773/stat : 17773 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457812 28904853504 10030 33554432000 4194304 4196468 140724292256448 139948029209392 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41576 KiB [startup+0.309651 s]* /proc/loadavg: 7.94 8.26 8.24 4/211 17773 /proc/meminfo: memFree=18390524/32770624 swapFree=66986244/67108860 [pid=17752] ppid=17749 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17752/stat : 17752 (xcsp3-exec) S 17749 17752 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476457805 115843072 364 33554432000 4194304 5098028 140720991335728 140720991333832 140577838985852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22732800 140720991343477 140720991343721 140720991343721 140720991346634 0 /proc/17752/statm: 28282 364 305 221 0 87 0 [pid=17754] ppid=17752 vsize=28231652 memory=49176 CPUtime=0.51 cores=0-7 /proc/17754/stat : 17754 (java) S 17752 17752 14667 0 -1 1077944320 11157 0 0 0 47 4 0 0 20 0 20 0 476457805 28909211648 12294 33554432000 4194304 4196468 140724292256448 140724292238992 139948922777335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 /proc/17754/statm: 7057913 12294 3354 1 0 7019032 0 [pid=17754/tid=17755] ppid=17752 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/17754/task/17755/stat : 17755 (java) R 17752 17752 14667 0 -1 4202560 7806 0 0 0 26 3 0 0 20 0 20 0 476457806 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948927008448 139948906857822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17756] ppid=17752 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17756/stat : 17756 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948474305424 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17757] ppid=17752 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17757/stat : 17757 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948473252624 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17758] ppid=17752 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17758/stat : 17758 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948472200336 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17759] ppid=17752 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17759/stat : 17759 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948471147536 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17760] ppid=17752 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17760/stat : 17760 (java) S 17752 17752 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476457807 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948470094224 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17761] ppid=17752 vsize=28231652 memory=139985265191599 CPUtime=0 cores=0-7 /proc/17754/task/17761/stat : 17761 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948469041424 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17762] ppid=17752 vsize=28231652 memory=139985265193904 CPUtime=0 cores=0-7 /proc/17754/task/17762/stat : 17762 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948467989136 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17763] ppid=17752 vsize=28231652 memory=139985265196208 CPUtime=0 cores=0-7 /proc/17754/task/17763/stat : 17763 (java) S 17752 17752 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476457807 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948466936336 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17764] ppid=17752 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17764/stat : 17764 (java) S 17752 17752 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476457808 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948423785072 139948922788482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17765] ppid=17752 vsize=28231652 memory=279970530406288 CPUtime=0 cores=0-7 /proc/17754/task/17765/stat : 17765 (java) S 17752 17752 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476457809 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948037629216 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17766] ppid=17752 vsize=28231652 memory=279970530403984 CPUtime=0 cores=0-7 /proc/17754/task/17766/stat : 17766 (java) S 17752 17752 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476457809 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948036576880 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17767] ppid=17752 vsize=28231652 memory=279970530410896 CPUtime=0 cores=0-7 /proc/17754/task/17767/stat : 17767 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457811 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948035525200 139948922795931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17768] ppid=17752 vsize=28231652 memory=279970530352176 CPUtime=0.01 cores=0-7 /proc/17754/task/17768/stat : 17768 (java) S 17752 17752 14667 0 -1 1077944384 410 0 0 0 1 0 0 0 20 0 20 0 476457811 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948034472048 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17769] ppid=17752 vsize=28231652 memory=279970530424720 CPUtime=0.02 cores=0-7 /proc/17754/task/17769/stat : 17769 (java) R 17752 17752 14667 0 -1 4202560 177 0 0 0 2 0 0 0 20 0 20 0 476457811 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948033409632 139948903476712 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17770] ppid=17752 vsize=28231652 memory=279970530431632 CPUtime=0.03 cores=0-7 /proc/17754/task/17770/stat : 17770 (java) S 17752 17752 14667 0 -1 1077944384 435 0 0 0 3 0 0 0 20 0 20 0 476457811 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948032366960 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17771] ppid=17752 vsize=28231652 memory=279970530429328 CPUtime=0.12 cores=0-7 /proc/17754/task/17771/stat : 17771 (java) S 17752 17752 14667 0 -1 1077944384 1043 0 0 0 12 0 0 0 20 0 20 0 476457811 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948031314160 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17772] ppid=17752 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17772/stat : 17772 (java) S 17752 17752 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476457811 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948030262112 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17773] ppid=17752 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/17754/task/17773/stat : 17773 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457812 28909211648 12294 33554432000 4194304 4196468 140724292256448 139948029209392 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50632 KiB [startup+0.700881 s] /proc/loadavg: 7.94 8.26 8.24 3/211 17773 /proc/meminfo: memFree=18371608/32770624 swapFree=66986244/67108860 [pid=17752] ppid=17749 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17752/stat : 17752 (xcsp3-exec) S 17749 17752 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476457805 115843072 364 33554432000 4194304 5098028 140720991335728 140720991333832 140577838985852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22732800 140720991343477 140720991343721 140720991343721 140720991346634 0 /proc/17752/statm: 28282 364 305 221 0 87 0 [pid=17754] ppid=17752 vsize=28233776 memory=84692 CPUtime=1.58 cores=0-7 /proc/17754/stat : 17754 (java) S 17752 17752 14667 0 -1 1077944320 15403 0 0 0 151 7 0 0 20 0 20 0 476457805 28911386624 21173 33554432000 4194304 4196468 140724292256448 140724292238992 139948922777335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 /proc/17754/statm: 7058444 21173 3454 1 0 7019544 0 [pid=17754/tid=17755] ppid=17752 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/17754/task/17755/stat : 17755 (java) R 17752 17752 14667 0 -1 4202560 9423 0 0 0 63 5 0 0 20 0 20 0 476457806 28911386624 21173 33554432000 4194304 4196468 140724292256448 139948927015792 139948922789270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17756] ppid=17752 vsize=28233776 memory=139985265402736 CPUtime=0 cores=0-7 /proc/17754/task/17756/stat : 17756 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28911386624 21173 33554432000 4194304 4196468 140724292256448 139948474305424 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17757] ppid=17752 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17757/stat : 17757 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28911386624 21173 33554432000 4194304 4196468 140724292256448 139948473252624 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17758] ppid=17752 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/17754/task/17758/stat : 17758 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476457807 28911386624 21173 33554432000 4194304 4196468 140724292256448 139948472200336 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 ################ # More data... # ################ [pid=17754/tid=17771] ppid=17752 vsize=28834900 memory=7552 CPUtime=0.85 cores=0-7 /proc/17754/task/17771/stat : 17771 (java) S 17752 17752 14667 0 -1 1077944384 7818 0 0 0 83 2 0 0 20 0 28 0 476457811 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948031314160 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17772] ppid=17752 vsize=28834900 memory=2832 CPUtime=0 cores=0-7 /proc/17754/task/17772/stat : 17772 (java) S 17752 17752 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476457811 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948030262112 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17773] ppid=17752 vsize=28834900 memory=1084 CPUtime=0 cores=0-7 /proc/17754/task/17773/stat : 17773 (java) S 17752 17752 14667 0 -1 1077944384 812 0 0 0 0 0 0 0 20 0 28 0 476457812 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948029209392 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17887] ppid=17752 vsize=28834900 memory=14012 CPUtime=21.57 cores=0-7 /proc/17754/task/17887/stat : 17887 (java) R 17752 17752 14667 0 -1 4202560 302 0 0 0 2157 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947030855352 139948902487622 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17888] ppid=17752 vsize=28834900 memory=14048 CPUtime=21.68 cores=0-7 /proc/17754/task/17888/stat : 17888 (java) R 17752 17752 14667 0 -1 4202560 298 0 0 0 2168 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947021389480 139948567276062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17889] ppid=17752 vsize=28834900 memory=6791534058613427641 CPUtime=21.51 cores=0-7 /proc/17754/task/17889/stat : 17889 (java) R 17752 17752 14667 0 -1 4202560 772 0 0 0 2151 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947031908112 139948567895216 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17890] ppid=17752 vsize=28834900 memory=780 CPUtime=21.66 cores=0-7 /proc/17754/task/17890/stat : 17890 (java) R 17752 17752 14667 0 -1 4202560 1011 0 0 0 2165 1 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947029802240 139948567106476 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17891] ppid=17752 vsize=28834900 memory=279970531297920 CPUtime=21.51 cores=0-7 /proc/17754/task/17891/stat : 17891 (java) R 17752 17752 14667 0 -1 4202560 685 0 0 0 2151 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947026644544 139948567885193 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17892] ppid=17752 vsize=28834900 memory=78429793813482 CPUtime=21.5 cores=0-7 /proc/17754/task/17892/stat : 17892 (java) R 17752 17752 14667 0 -1 4202560 490 0 0 0 2150 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947028749560 139948567108334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17893] ppid=17752 vsize=28834900 memory=78421203880682 CPUtime=21.68 cores=0-7 /proc/17754/task/17893/stat : 17893 (java) R 17752 17752 14667 0 -1 4202560 666 0 0 0 2168 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947024540272 139948566491479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17894] ppid=17752 vsize=28834900 memory=78429793815274 CPUtime=21.67 cores=0-7 /proc/17754/task/17894/stat : 17894 (java) R 17752 17752 14667 0 -1 4202560 390 0 0 0 2167 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947027696848 139948567754246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 Current children cumulated CPU time: 333.24 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 242680 KiB [startup+42.8016 s] /proc/loadavg: 8.13 8.27 8.25 9/219 17896 /proc/meminfo: memFree=18196760/32770624 swapFree=66986244/67108860 [pid=17752] ppid=17749 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17752/stat : 17752 (xcsp3-exec) S 17749 17752 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476457805 115843072 364 33554432000 4194304 5098028 140720991335728 140720991333832 140577838985852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22732800 140720991343477 140720991343721 140720991343721 140720991346634 0 /proc/17752/statm: 28282 364 305 221 0 87 0 [pid=17754] ppid=17752 vsize=28834900 memory=241224 CPUtime=336.43 cores=0-7 /proc/17754/stat : 17754 (java) S 17752 17752 14667 0 -1 1077944320 80541 0 0 0 33609 34 0 0 20 0 28 0 476457805 29526937600 60306 33554432000 4194304 4196468 140724292256448 140724292238992 139948922777335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 /proc/17754/statm: 7208725 60306 3534 1 0 7169825 0 [pid=17754/tid=17755] ppid=17752 vsize=28834900 memory=1537 CPUtime=0.73 cores=0-7 /proc/17754/task/17755/stat : 17755 (java) S 17752 17752 14667 0 -1 1077944384 9704 0 0 0 68 5 0 0 20 0 28 0 476457806 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948927018112 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17756] ppid=17752 vsize=28834900 memory=0 CPUtime=0.02 cores=0-7 /proc/17754/task/17756/stat : 17756 (java) S 17752 17752 14667 0 -1 1077944384 992 0 0 0 2 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948474305424 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17757] ppid=17752 vsize=28834900 memory=0 CPUtime=0.02 cores=0-7 /proc/17754/task/17757/stat : 17757 (java) S 17752 17752 14667 0 -1 1077944384 807 0 0 0 2 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948473252624 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17758] ppid=17752 vsize=28834900 memory=1 CPUtime=0.02 cores=0-7 /proc/17754/task/17758/stat : 17758 (java) S 17752 17752 14667 0 -1 1077944384 1948 0 0 0 2 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948472200336 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17759] ppid=17752 vsize=28834900 memory=0 CPUtime=0.02 cores=0-7 /proc/17754/task/17759/stat : 17759 (java) S 17752 17752 14667 0 -1 1077944384 1300 0 0 0 2 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948471147536 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17760] ppid=17752 vsize=28834900 memory=2632 CPUtime=0.02 cores=0-7 /proc/17754/task/17760/stat : 17760 (java) S 17752 17752 14667 0 -1 1077944384 322 0 0 0 2 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948470094224 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17761] ppid=17752 vsize=28834900 memory=757 CPUtime=0.02 cores=0-7 /proc/17754/task/17761/stat : 17761 (java) S 17752 17752 14667 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948469041424 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17762] ppid=17752 vsize=28834900 memory=3 CPUtime=0.02 cores=0-7 /proc/17754/task/17762/stat : 17762 (java) S 17752 17752 14667 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948467989136 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17763] ppid=17752 vsize=28834900 memory=1265 CPUtime=0.01 cores=0-7 /proc/17754/task/17763/stat : 17763 (java) S 17752 17752 14667 0 -1 1077944384 1317 0 0 0 1 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948466936336 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17764] ppid=17752 vsize=28834900 memory=276 CPUtime=0.02 cores=0-7 /proc/17754/task/17764/stat : 17764 (java) S 17752 17752 14667 0 -1 1077944384 1775 0 0 0 2 0 0 0 20 0 28 0 476457808 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948423785072 139948922788482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17765] ppid=17752 vsize=28834900 memory=341 CPUtime=0 cores=0-7 /proc/17754/task/17765/stat : 17765 (java) S 17752 17752 14667 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 476457809 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948037629216 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17766] ppid=17752 vsize=28834900 memory=259839 CPUtime=0 cores=0-7 /proc/17754/task/17766/stat : 17766 (java) S 17752 17752 14667 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 476457809 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948036576880 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17767] ppid=17752 vsize=28834900 memory=1 CPUtime=0 cores=0-7 /proc/17754/task/17767/stat : 17767 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476457811 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948035525200 139948922795931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17768] ppid=17752 vsize=28834900 memory=241224 CPUtime=2.66 cores=0-7 /proc/17754/task/17768/stat : 17768 (java) S 17752 17752 14667 0 -1 1077944384 14971 0 0 0 262 4 0 0 20 0 28 0 476457811 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948034472048 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17769] ppid=17752 vsize=28834900 memory=301741420686082359 CPUtime=2.6 cores=0-7 /proc/17754/task/17769/stat : 17769 (java) S 17752 17752 14667 0 -1 1077944384 14337 0 0 0 258 2 0 0 20 0 28 0 476457811 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948033419248 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17770] ppid=17752 vsize=28834900 memory=16098169624726078 CPUtime=2.59 cores=0-7 /proc/17754/task/17770/stat : 17770 (java) S 17752 17752 14667 0 -1 1077944384 10628 0 0 0 255 4 0 0 20 0 28 0 476457811 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948032366960 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17771] ppid=17752 vsize=28834900 memory=6944652177228980320 CPUtime=0.85 cores=0-7 /proc/17754/task/17771/stat : 17771 (java) S 17752 17752 14667 0 -1 1077944384 7818 0 0 0 83 2 0 0 20 0 28 0 476457811 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948031314160 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17772] ppid=17752 vsize=28834900 memory=-3395018486258815328 CPUtime=0 cores=0-7 /proc/17754/task/17772/stat : 17772 (java) S 17752 17752 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476457811 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948030262112 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17773] ppid=17752 vsize=28834900 memory=66788 CPUtime=0 cores=0-7 /proc/17754/task/17773/stat : 17773 (java) S 17752 17752 14667 0 -1 1077944384 812 0 0 0 0 0 0 0 20 0 28 0 476457812 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948029209392 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17887] ppid=17752 vsize=28834900 memory=68996 CPUtime=21.96 cores=0-7 /proc/17754/task/17887/stat : 17887 (java) R 17752 17752 14667 0 -1 4202560 302 0 0 0 2196 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947030855352 139948567752064 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17888] ppid=17752 vsize=28834900 memory=71204 CPUtime=22.08 cores=0-7 /proc/17754/task/17888/stat : 17888 (java) R 17752 17752 14667 0 -1 4202560 298 0 0 0 2208 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947021389480 139948567107084 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17889] ppid=17752 vsize=28834900 memory=73412 CPUtime=21.91 cores=0-7 /proc/17754/task/17889/stat : 17889 (java) R 17752 17752 14667 0 -1 4202560 773 0 0 0 2191 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947031908000 139948566491396 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17890] ppid=17752 vsize=28834900 memory=75620 CPUtime=22.06 cores=0-7 /proc/17754/task/17890/stat : 17890 (java) R 17752 17752 14667 0 -1 4202560 1012 0 0 0 2205 1 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947029802240 139948567897237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17891] ppid=17752 vsize=28834900 memory=77828 CPUtime=21.91 cores=0-7 /proc/17754/task/17891/stat : 17891 (java) R 17752 17752 14667 0 -1 4202560 685 0 0 0 2191 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947026644680 139948566911747 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17892] ppid=17752 vsize=28834900 memory=0 CPUtime=21.9 cores=0-7 /proc/17754/task/17892/stat : 17892 (java) R 17752 17752 14667 0 -1 4202560 490 0 0 0 2190 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947028749560 139948568002924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17893] ppid=17752 vsize=28834900 memory=279970532777440 CPUtime=22.08 cores=0-7 /proc/17754/task/17893/stat : 17893 (java) R 17752 17752 14667 0 -1 4202560 666 0 0 0 2208 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947024540272 139948568144131 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17894] ppid=17752 vsize=28834900 memory=139985266395328 CPUtime=22.07 cores=0-7 /proc/17754/task/17894/stat : 17894 (java) R 17752 17752 14667 0 -1 4202560 390 0 0 0 2207 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947027696984 139948567105891 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 Current children cumulated CPU time: 336.43 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 242680 KiB [startup+42.9016 s] /proc/loadavg: 8.13 8.27 8.25 9/219 17896 /proc/meminfo: memFree=18196760/32770624 swapFree=66986244/67108860 [pid=17752] ppid=17749 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17752/stat : 17752 (xcsp3-exec) S 17749 17752 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476457805 115843072 364 33554432000 4194304 5098028 140720991335728 140720991333832 140577838985852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22732800 140720991343477 140720991343721 140720991343721 140720991346634 0 /proc/17752/statm: 28282 364 305 221 0 87 0 [pid=17754] ppid=17752 vsize=28834900 memory=241224 CPUtime=337.23 cores=0-7 /proc/17754/stat : 17754 (java) S 17752 17752 14667 0 -1 1077944320 80541 0 0 0 33689 34 0 0 20 0 28 0 476457805 29526937600 60306 33554432000 4194304 4196468 140724292256448 140724292238992 139948922777335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 /proc/17754/statm: 7208725 60306 3534 1 0 7169825 0 [pid=17754/tid=17755] ppid=17752 vsize=28834900 memory=241224 CPUtime=0.73 cores=0-7 /proc/17754/task/17755/stat : 17755 (java) S 17752 17752 14667 0 -1 1077944384 9704 0 0 0 68 5 0 0 20 0 28 0 476457806 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948927018112 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17756] ppid=17752 vsize=28834900 memory=1456 CPUtime=0.02 cores=0-7 /proc/17754/task/17756/stat : 17756 (java) S 17752 17752 14667 0 -1 1077944384 992 0 0 0 2 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948474305424 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17757] ppid=17752 vsize=28834900 memory=164 CPUtime=0.02 cores=0-7 /proc/17754/task/17757/stat : 17757 (java) S 17752 17752 14667 0 -1 1077944384 807 0 0 0 2 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948473252624 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17758] ppid=17752 vsize=28834900 memory=7518622415356079512 CPUtime=0.02 cores=0-7 /proc/17754/task/17758/stat : 17758 (java) S 17752 17752 14667 0 -1 1077944384 1948 0 0 0 2 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948472200336 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17759] ppid=17752 vsize=28834900 memory=279970531255168 CPUtime=0.02 cores=0-7 /proc/17754/task/17759/stat : 17759 (java) S 17752 17752 14667 0 -1 1077944384 1300 0 0 0 2 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948471147536 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17760] ppid=17752 vsize=28834900 memory=1412 CPUtime=0.02 cores=0-7 /proc/17754/task/17760/stat : 17760 (java) S 17752 17752 14667 0 -1 1077944384 322 0 0 0 2 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948470094224 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17761] ppid=17752 vsize=28834900 memory=1456 CPUtime=0.02 cores=0-7 /proc/17754/task/17761/stat : 17761 (java) S 17752 17752 14667 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948469041424 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17762] ppid=17752 vsize=28834900 memory=242608 CPUtime=0.02 cores=0-7 /proc/17754/task/17762/stat : 17762 (java) S 17752 17752 14667 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948467989136 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17763] ppid=17752 vsize=28834900 memory=56 CPUtime=0.01 cores=0-7 /proc/17754/task/17763/stat : 17763 (java) S 17752 17752 14667 0 -1 1077944384 1317 0 0 0 1 0 0 0 20 0 28 0 476457807 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948466936336 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17764] ppid=17752 vsize=28834900 memory=6943526294502006880 CPUtime=0.02 cores=0-7 /proc/17754/task/17764/stat : 17764 (java) S 17752 17752 14667 0 -1 1077944384 1775 0 0 0 2 0 0 0 20 0 28 0 476457808 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948423785072 139948922788482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17765] ppid=17752 vsize=28834900 memory=241224 CPUtime=0 cores=0-7 /proc/17754/task/17765/stat : 17765 (java) S 17752 17752 14667 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 476457809 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948037629216 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17766] ppid=17752 vsize=28834900 memory=1456 CPUtime=0 cores=0-7 /proc/17754/task/17766/stat : 17766 (java) S 17752 17752 14667 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 476457809 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948036576880 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17767] ppid=17752 vsize=28834900 memory=241716 CPUtime=0 cores=0-7 /proc/17754/task/17767/stat : 17767 (java) S 17752 17752 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476457811 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948035525200 139948922795931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17768] ppid=17752 vsize=28834900 memory=1456 CPUtime=2.66 cores=0-7 /proc/17754/task/17768/stat : 17768 (java) S 17752 17752 14667 0 -1 1077944384 14971 0 0 0 262 4 0 0 20 0 28 0 476457811 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948034472048 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17769] ppid=17752 vsize=28834900 memory=241716 CPUtime=2.6 cores=0-7 /proc/17754/task/17769/stat : 17769 (java) S 17752 17752 14667 0 -1 1077944384 14337 0 0 0 258 2 0 0 20 0 28 0 476457811 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948033419248 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17770] ppid=17752 vsize=28834900 memory=1084 CPUtime=2.59 cores=0-7 /proc/17754/task/17770/stat : 17770 (java) S 17752 17752 14667 0 -1 1077944384 10628 0 0 0 255 4 0 0 20 0 28 0 476457811 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948032366960 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17771] ppid=17752 vsize=28834900 memory=56 CPUtime=0.85 cores=0-7 /proc/17754/task/17771/stat : 17771 (java) S 17752 17752 14667 0 -1 1077944384 7818 0 0 0 83 2 0 0 20 0 28 0 476457811 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948031314160 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17772] ppid=17752 vsize=28834900 memory=1236 CPUtime=0 cores=0-7 /proc/17754/task/17772/stat : 17772 (java) S 17752 17752 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476457811 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948030262112 139948922787541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17773] ppid=17752 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/17754/task/17773/stat : 17773 (java) S 17752 17752 14667 0 -1 1077944384 812 0 0 0 0 0 0 0 20 0 28 0 476457812 29526937600 60306 33554432000 4194304 4196468 140724292256448 139948029209392 139948922788482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17887] ppid=17752 vsize=28834900 memory=1456 CPUtime=22.06 cores=0-7 /proc/17754/task/17887/stat : 17887 (java) R 17752 17752 14667 0 -1 4202560 302 0 0 0 2206 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947030855352 139948567106331 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17888] ppid=17752 vsize=28834900 memory=1456 CPUtime=22.18 cores=0-7 /proc/17754/task/17888/stat : 17888 (java) R 17752 17752 14667 0 -1 4202560 298 0 0 0 2218 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947021389480 139948567895492 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17889] ppid=17752 vsize=28834900 memory=241716 CPUtime=22.01 cores=0-7 /proc/17754/task/17889/stat : 17889 (java) R 17752 17752 14667 0 -1 4202560 773 0 0 0 2201 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947031908000 139948567276023 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17890] ppid=17752 vsize=28834900 memory=1456 CPUtime=22.16 cores=0-7 /proc/17754/task/17890/stat : 17890 (java) R 17752 17752 14667 0 -1 4202560 1012 0 0 0 2215 1 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947029802240 139948566546753 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17891] ppid=17752 vsize=28834900 memory=6791534058613427641 CPUtime=22.01 cores=0-7 /proc/17754/task/17891/stat : 17891 (java) R 17752 17752 14667 0 -1 4202560 685 0 0 0 2201 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947026644680 139948565394496 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17892] ppid=17752 vsize=28834900 memory=1456 CPUtime=22 cores=0-7 /proc/17754/task/17892/stat : 17892 (java) R 17752 17752 14667 0 -1 4202560 490 0 0 0 2200 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947028749560 139948566492316 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17893] ppid=17752 vsize=28834900 memory=235524 CPUtime=22.18 cores=0-7 /proc/17754/task/17893/stat : 17893 (java) R 17752 17752 14667 0 -1 4202560 666 0 0 0 2218 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947024540272 139948568136757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 [pid=17754/tid=17894] ppid=17752 vsize=28834900 memory=1265 CPUtime=22.17 cores=0-7 /proc/17754/task/17894/stat : 17894 (java) R 17752 17752 14667 0 -1 4202560 390 0 0 0 2217 0 0 0 20 0 28 0 476459873 29526937600 60306 33554432000 4194304 4196468 140724292256448 139947027696984 139948567900191 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23388160 140724292264938 140724292265110 140724292265110 140724292267983 0 Current children cumulated CPU time: 337.23 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 242680 KiB Child status: 0 Real time (s): 42.9569 CPU time (s): 337.592 CPU user time (s): 337.23 CPU system time (s): 0.361725 CPU usage (%): 785.884 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 244092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 337.23 system time used= 0.361725 maximum resident set size= 247892 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82028 page faults= 0 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7580 involuntary context switches= 4786 # summary of solver processes directly reported to runsolver: # pid: 17752 # total CPU time (s): 337.592 # total CPU user time (s): 337.23 # total CPU system time (s): 0.361725 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.337103 second user time and 0.517525 second system time The end
Begin job on node104 at 2019-09-20 18:43:08 IDJOB=4404697 IDBENCH=130150 IDSOLVER=2865 FILE ID=node104/4404697-1569002009 RUNJOBID= node104-1568989783-14694 PBS_JOBID= 21704713 Free space on /tmp= 9832 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-29-05.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-4404697-1569002009/watcher-4404697-1569002009 -o /tmp/evaluation-result-4404697-1569002009/solver-4404697-1569002009 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1825499904 HOME/instance-4404697-1569002009.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 28da73d1db83f7f431b4b8f6a2cf23fc RANDOM SEED=1825499904 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: 18424568 kB MemAvailable: 31825968 kB Buffers: 93536 kB Cached: 13232288 kB SwapCached: 22652 kB Active: 6645912 kB Inactive: 6706432 kB Active(anon): 2776 kB Inactive(anon): 73004 kB Active(file): 6643136 kB Inactive(file): 6633428 kB Unevictable: 109708 kB Mlocked: 109708 kB SwapTotal: 67108860 kB SwapFree: 66986244 kB Dirty: 26160 kB Writeback: 0 kB AnonPages: 131304 kB Mapped: 52116 kB Shmem: 40708 kB Slab: 583540 kB SReclaimable: 553296 kB SUnreclaim: 30244 kB KernelStack: 3712 kB PageTables: 5236 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498016 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 86016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9804 MiB End job on node104 at 2019-09-20 18:43:51