Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 | OPT | 113 | 111.665 | 28.8838 |
Name | Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-41-06.xml |
MD5SUM | 74fbdfceca74d16a11799a9df32eef16 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 113 |
Best CPU time to get the best result obtained on this benchmark | 45.0194 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 122 |
Number of constraints | 261 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 645 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":645,"count":121}] |
Minimum variable degree | 3 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":3,"count":3},{"degree":4,"count":11},{"degree":5,"count":73},{"degree":6,"count":28},{"degree":7,"count":7}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 35 |
Distribution of constraint arities | [{"arity":2,"count":257},{"arity":23,"count":1},{"arity":30,"count":1},{"arity":32,"count":1},{"arity":35,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 257 |
Distribution of constraint types | [{"type":"intension","count":257},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399300-1568698112.xml" -tl '2520s' -p 4 0.13/0.19 c Choco e747e1e 0.13/0.20 c [HOME/instance-4399300-1568698112.xml, -tl, 2520s, -p, 4] 0.34/0.24 c 4 solvers in parallel 0.34/0.31 c parse instance... 1.88/0.87 c solve instance... 2.23/1.00 o 143 2.23/1.01 o 142 2.61/1.01 o 140 2.61/1.05 o 136 2.61/1.07 o 135 3.31/1.25 o 134 3.31/1.29 o 132 3.68/1.39 o 130 4.43/1.56 o 128 4.83/1.61 o 127 5.21/1.72 o 122 5.21/1.79 o 121 5.62/1.82 o 120 5.99/2.01 o 119 6.83/2.12 o 118 13.95/3.90 o 117 16.71/4.67 o 116 18.73/5.60 o 115 25.47/7.28 o 114 66.82/17.60 o 113 111.39/28.87 s OPTIMUM FOUND 111.39/28.87 v <instantiation> 111.39/28.87 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] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] s[100] s[101] s[102] s[103] s[104] s[105] s[106] s[107] s[108] s[109] s[110] s[111] s[112] s[113] s[114] s[115] s[116] s[117] s[118] s[119] s[120] s[121] </list> 111.39/28.87 v <values>0 0 1 0 7 9 16 33 1 12 15 23 31 16 21 11 9 6 16 17 39 11 39 29 26 18 32 27 45 24 45 41 44 31 28 71 50 34 41 32 24 47 55 63 43 49 69 49 41 61 50 19 35 41 49 49 50 61 70 7 34 76 57 51 92 64 72 53 54 56 62 82 57 82 55 57 77 50 50 52 64 73 62 63 88 66 88 87 62 92 95 64 74 72 65 78 81 86 89 87 100 57 72 100 74 76 81 100 96 93 90 103 102 96 103 94 104 102 111 106 112 113 </values> 111.39/28.87 v </instantiation>
OK 113
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (14420 MiB free) memory of node 1: 16384 MiB (14820 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399300-1568698112/watcher-4399300-1568698112 -o /tmp/evaluation-result-4399300-1568698112/solver-4399300-1568698112 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568694541-4847 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 402219765 HOME/instance-4399300-1568698112.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=13791, runsolver pid=13788 Current StackSize limit: 8192 KiB [startup+0.105629 s]* /proc/loadavg: 8.70 8.65 8.32 6/233 13807 /proc/meminfo: memFree=29926828/32770688 swapFree=66961208/67108860 [pid=13791] ppid=13788 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445752886 115843072 362 33554432000 4194304 5098028 140721782177568 140721782175672 140584244109948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29626368 140721782178683 140721782178925 140721782178925 140721782181834 0 /proc/13791/statm: 28282 362 304 221 0 87 0 [pid=13793] ppid=13791 vsize=15144776 memory=29276 CPUtime=0.13 cores=0-3 /proc/13793/stat : 13793 (java) S 13791 13791 4816 0 -1 1077944320 5711 0 0 0 12 1 0 0 20 0 15 0 445752886 15508250624 7319 33554432000 4194304 4196468 140732946265824 140732946248368 139721602289399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 /proc/13793/statm: 3786194 7319 3152 1 0 3748377 0 [pid=13793/tid=13794] ppid=13791 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=0-3 /proc/13793/task/13794/stat : 13794 (java) R 13791 13791 4816 0 -1 4202560 3635 0 0 0 9 0 0 0 20 0 15 0 445752887 15508250624 7319 33554432000 4194304 4196468 140732946265824 139721606518576 139721602301334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13795] ppid=13791 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0-3 /proc/13793/task/13795/stat : 13795 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752887 15508250624 7319 33554432000 4194304 4196468 140732946265824 139721530330128 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13796] ppid=13791 vsize=15144776 memory=140356073203328 CPUtime=0 cores=0-3 /proc/13793/task/13796/stat : 13796 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752887 15508250624 7319 33554432000 4194304 4196468 140732946265824 139721529277584 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13797] ppid=13791 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/13793/task/13797/stat : 13797 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752887 15508250624 7319 33554432000 4194304 4196468 140732946265824 139721192106768 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13798] ppid=13791 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/13793/task/13798/stat : 13798 (java) S 13791 13791 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445752887 15508250624 7319 33554432000 4194304 4196468 140732946265824 139721191054224 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13799] ppid=13791 vsize=15144776 memory=140356073203328 CPUtime=0 cores=0-3 /proc/13793/task/13799/stat : 13799 (java) S 13791 13791 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445752889 15508250624 7319 33554432000 4194304 4196468 140732946265824 139721138149616 139721602300546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13800] ppid=13791 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/13793/task/13800/stat : 13800 (java) S 13791 13791 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445752889 15508250624 7319 33554432000 4194304 4196468 140732946265824 139721137095840 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13801] ppid=13791 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/13793/task/13801/stat : 13801 (java) S 13791 13791 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445752890 15508250624 7319 33554432000 4194304 4196468 140732946265824 139721136042736 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13802] ppid=13791 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/13793/task/13802/stat : 13802 (java) S 13791 13791 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445752892 15508250624 7319 33554432000 4194304 4196468 140732946265824 139721134991312 139721602307995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13803] ppid=13791 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/13793/task/13803/stat : 13803 (java) S 13791 13791 4816 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 445752892 15508250624 7319 33554432000 4194304 4196468 140732946265824 139721133939440 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13804] ppid=13791 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/13793/task/13804/stat : 13804 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752892 15508250624 7319 33554432000 4194304 4196468 140732946265824 139721132886896 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13805] ppid=13791 vsize=15144776 memory=140356073203328 CPUtime=0.02 cores=0-3 /proc/13793/task/13805/stat : 13805 (java) R 13791 13791 4816 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 445752892 15508250624 7319 33554432000 4194304 4196468 140732946265824 139721131833840 139721582605112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13806] ppid=13791 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/13793/task/13806/stat : 13806 (java) S 13791 13791 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445752893 15508250624 7319 33554432000 4194304 4196468 140732946265824 139721130781536 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13807] ppid=13791 vsize=15144776 memory=140356073203328 CPUtime=0 cores=0-3 /proc/13793/task/13807/stat : 13807 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752893 15508250624 7319 33554432000 4194304 4196468 140732946265824 139721129728560 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 30724 KiB [startup+0.211701 s]* /proc/loadavg: 8.70 8.65 8.32 6/233 13807 /proc/meminfo: memFree=29914636/32770688 swapFree=66961208/67108860 [pid=13791] ppid=13788 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445752886 115843072 362 33554432000 4194304 5098028 140721782177568 140721782175672 140584244109948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29626368 140721782178683 140721782178925 140721782178925 140721782181834 0 /proc/13791/statm: 28282 362 304 221 0 87 0 [pid=13793] ppid=13791 vsize=15144776 memory=40832 CPUtime=0.34 cores=0-3 /proc/13793/stat : 13793 (java) S 13791 13791 4816 0 -1 1077944320 9375 0 0 0 31 3 0 0 20 0 15 0 445752886 15508250624 10208 33554432000 4194304 4196468 140732946265824 140732946248368 139721602289399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 /proc/13793/statm: 3786194 10208 3304 1 0 3748377 0 [pid=13793/tid=13794] ppid=13791 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0-3 /proc/13793/task/13794/stat : 13794 (java) R 13791 13791 4816 0 -1 4202560 6567 0 0 0 18 2 0 0 20 0 15 0 445752887 15508250624 10208 33554432000 4194304 4196468 140732946265824 139721606508736 139721602301334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13795] ppid=13791 vsize=15144776 memory=9642 CPUtime=0 cores=0-3 /proc/13793/task/13795/stat : 13795 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752887 15508250624 10208 33554432000 4194304 4196468 140732946265824 139721530330128 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13796] ppid=13791 vsize=15144776 memory=3978145439345279008 CPUtime=0 cores=0-3 /proc/13793/task/13796/stat : 13796 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752887 15508250624 10208 33554432000 4194304 4196468 140732946265824 139721529277584 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13797] ppid=13791 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/13793/task/13797/stat : 13797 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752887 15508250624 10208 33554432000 4194304 4196468 140732946265824 139721192106768 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13798] ppid=13791 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/13793/task/13798/stat : 13798 (java) S 13791 13791 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445752887 15508250624 10208 33554432000 4194304 4196468 140732946265824 139721191054224 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13799] ppid=13791 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/13793/task/13799/stat : 13799 (java) S 13791 13791 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445752889 15508250624 10208 33554432000 4194304 4196468 140732946265824 139721138149616 139721602300546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13800] ppid=13791 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/13793/task/13800/stat : 13800 (java) S 13791 13791 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445752889 15508250624 10208 33554432000 4194304 4196468 140732946265824 139721137095840 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13801] ppid=13791 vsize=15144776 memory=140356073203328 CPUtime=0 cores=0-3 /proc/13793/task/13801/stat : 13801 (java) S 13791 13791 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445752890 15508250624 10208 33554432000 4194304 4196468 140732946265824 139721136042736 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13802] ppid=13791 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/13793/task/13802/stat : 13802 (java) S 13791 13791 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445752892 15508250624 10208 33554432000 4194304 4196468 140732946265824 139721134991312 139721602307995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13803] ppid=13791 vsize=15144776 memory=0 CPUtime=0.04 cores=0-3 /proc/13793/task/13803/stat : 13803 (java) S 13791 13791 4816 0 -1 1077944384 719 0 0 0 4 0 0 0 20 0 15 0 445752892 15508250624 10208 33554432000 4194304 4196468 140732946265824 139721133939440 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13804] ppid=13791 vsize=15144776 memory=-1 CPUtime=0.01 cores=0-3 /proc/13793/task/13804/stat : 13804 (java) S 13791 13791 4816 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 445752892 15508250624 10208 33554432000 4194304 4196468 140732946265824 139721132886896 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13805] ppid=13791 vsize=15144776 memory=0 CPUtime=0.07 cores=0-3 /proc/13793/task/13805/stat : 13805 (java) R 13791 13791 4816 0 -1 4202560 761 0 0 0 7 0 0 0 20 0 15 0 445752892 15508250624 10208 33554432000 4194304 4196468 140732946265824 139721131830776 139721585631560 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13806] ppid=13791 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/13793/task/13806/stat : 13806 (java) S 13791 13791 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445752893 15508250624 10208 33554432000 4194304 4196468 140732946265824 139721130781536 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13807] ppid=13791 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/13793/task/13807/stat : 13807 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752893 15508250624 10208 33554432000 4194304 4196468 140732946265824 139721129728560 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 42280 KiB [startup+0.311528 s]* /proc/loadavg: 8.70 8.65 8.32 6/233 13807 /proc/meminfo: memFree=29909416/32770688 swapFree=66961208/67108860 [pid=13791] ppid=13788 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445752886 115843072 362 33554432000 4194304 5098028 140721782177568 140721782175672 140584244109948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29626368 140721782178683 140721782178925 140721782178925 140721782181834 0 /proc/13791/statm: 28282 362 304 221 0 87 0 [pid=13793] ppid=13791 vsize=15149032 memory=46764 CPUtime=0.51 cores=0-3 /proc/13793/stat : 13793 (java) S 13791 13791 4816 0 -1 1077944320 10493 0 0 0 48 3 0 0 20 0 15 0 445752886 15512608768 11691 33554432000 4194304 4196468 140732946265824 140732946248368 139721602289399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 /proc/13793/statm: 3787258 11691 3325 1 0 3748377 0 [pid=13793/tid=13794] ppid=13791 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0-3 /proc/13793/task/13794/stat : 13794 (java) R 13791 13791 4816 0 -1 4202560 7565 0 0 0 28 2 0 0 20 0 15 0 445752887 15512608768 11691 33554432000 4194304 4196468 140732946265824 139721606521152 139721586369886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13795] ppid=13791 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/13793/task/13795/stat : 13795 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752887 15512608768 11691 33554432000 4194304 4196468 140732946265824 139721530330128 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13796] ppid=13791 vsize=15149032 memory=4050200834359951392 CPUtime=0 cores=0-3 /proc/13793/task/13796/stat : 13796 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752887 15512608768 11691 33554432000 4194304 4196468 140732946265824 139721529277584 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13797] ppid=13791 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/13793/task/13797/stat : 13797 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752887 15512608768 11691 33554432000 4194304 4196468 140732946265824 139721192106768 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13798] ppid=13791 vsize=15149032 memory=-1 CPUtime=0 cores=0-3 /proc/13793/task/13798/stat : 13798 (java) S 13791 13791 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445752887 15512608768 11691 33554432000 4194304 4196468 140732946265824 139721191054224 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13799] ppid=13791 vsize=15149032 memory=140356073203328 CPUtime=0 cores=0-3 /proc/13793/task/13799/stat : 13799 (java) S 13791 13791 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445752889 15512608768 11691 33554432000 4194304 4196468 140732946265824 139721138149616 139721602300546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13800] ppid=13791 vsize=15149032 memory=-1 CPUtime=0 cores=0-3 /proc/13793/task/13800/stat : 13800 (java) S 13791 13791 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445752889 15512608768 11691 33554432000 4194304 4196468 140732946265824 139721137095840 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13801] ppid=13791 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/13793/task/13801/stat : 13801 (java) S 13791 13791 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445752890 15512608768 11691 33554432000 4194304 4196468 140732946265824 139721136042736 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13802] ppid=13791 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/13793/task/13802/stat : 13802 (java) S 13791 13791 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445752892 15512608768 11691 33554432000 4194304 4196468 140732946265824 139721134991312 139721602307995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13803] ppid=13791 vsize=15149032 memory=0 CPUtime=0.05 cores=0-3 /proc/13793/task/13803/stat : 13803 (java) S 13791 13791 4816 0 -1 1077944384 719 0 0 0 5 0 0 0 20 0 15 0 445752892 15512608768 11691 33554432000 4194304 4196468 140732946265824 139721133939440 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13804] ppid=13791 vsize=15149032 memory=-1 CPUtime=0.02 cores=0-3 /proc/13793/task/13804/stat : 13804 (java) S 13791 13791 4816 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 15 0 445752892 15512608768 11691 33554432000 4194304 4196468 140732946265824 139721132886896 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13805] ppid=13791 vsize=15149032 memory=140356073203328 CPUtime=0.12 cores=0-3 /proc/13793/task/13805/stat : 13805 (java) S 13791 13791 4816 0 -1 1077944384 854 0 0 0 12 0 0 0 20 0 15 0 445752892 15512608768 11691 33554432000 4194304 4196468 140732946265824 139721131833840 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13806] ppid=13791 vsize=15149032 memory=-1 CPUtime=0 cores=0-3 /proc/13793/task/13806/stat : 13806 (java) S 13791 13791 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445752893 15512608768 11691 33554432000 4194304 4196468 140732946265824 139721130781536 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13807] ppid=13791 vsize=15149032 memory=140356073203328 CPUtime=0 cores=0-3 /proc/13793/task/13807/stat : 13807 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752893 15512608768 11691 33554432000 4194304 4196468 140732946265824 139721129728560 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 48212 KiB [startup+0.703923 s] /proc/loadavg: 8.70 8.65 8.32 8/233 13807 /proc/meminfo: memFree=29899056/32770688 swapFree=66961208/67108860 [pid=13791] ppid=13788 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445752886 115843072 362 33554432000 4194304 5098028 140721782177568 140721782175672 140584244109948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29626368 140721782178683 140721782178925 140721782178925 140721782181834 0 /proc/13791/statm: 28282 362 304 221 0 87 0 [pid=13793] ppid=13791 vsize=15151156 memory=77948 CPUtime=1.51 cores=0-3 /proc/13793/stat : 13793 (java) S 13791 13791 4816 0 -1 1077944320 14655 0 0 0 145 6 0 0 20 0 15 0 445752886 15514783744 19487 33554432000 4194304 4196468 140732946265824 140732946248368 139721602289399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 /proc/13793/statm: 3787789 19487 3453 1 0 3748889 0 [pid=13793/tid=13794] ppid=13791 vsize=15151156 memory=2120 CPUtime=0.67 cores=0-3 /proc/13793/task/13794/stat : 13794 (java) R 13791 13791 4816 0 -1 1077944384 9232 0 0 0 64 3 0 0 20 0 15 0 445752887 15514783744 19487 33554432000 4194304 4196468 140732946265824 139721606525584 139721602299605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13795] ppid=13791 vsize=15151156 memory=496 CPUtime=0 cores=0-3 /proc/13793/task/13795/stat : 13795 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752887 15514783744 19487 33554432000 4194304 4196468 140732946265824 139721530330128 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13796] ppid=13791 vsize=15151156 memory=1556 CPUtime=0 cores=0-3 /proc/13793/task/13796/stat : 13796 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752887 15514783744 19487 33554432000 4194304 4196468 140732946265824 139721529277584 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13797] ppid=13791 vsize=15151156 memory=928 CPUtime=0 cores=0-3 /proc/13793/task/13797/stat : 13797 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752887 15514783744 19487 33554432000 4194304 4196468 140732946265824 139721192106768 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13798] ppid=13791 vsize=15151156 memory=1628 CPUtime=0 cores=0-3 /proc/13793/task/13798/stat : 13798 (java) S 13791 13791 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445752887 15514783744 19487 33554432000 4194304 4196468 140732946265824 139721191054224 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13799] ppid=13791 vsize=15151156 memory=796 CPUtime=0 cores=0-3 /proc/13793/task/13799/stat : 13799 (java) S 13791 13791 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445752889 15514783744 19487 33554432000 4194304 4196468 140732946265824 139721138149616 139721602300546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13800] ppid=13791 vsize=15151156 memory=1444 CPUtime=0 cores=0-3 /proc/13793/task/13800/stat : 13800 (java) S 13791 13791 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445752889 15514783744 19487 33554432000 4194304 4196468 140732946265824 139721137095840 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13801] ppid=13791 vsize=15151156 memory=1984 CPUtime=0 cores=0-3 /proc/13793/task/13801/stat : 13801 (java) S 13791 13791 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445752890 15514783744 19487 33554432000 4194304 4196468 140732946265824 139721136042736 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13802] ppid=13791 vsize=15151156 memory=2424 CPUtime=0 cores=0-3 /proc/13793/task/13802/stat : 13802 (java) S 13791 13791 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445752892 15514783744 19487 33554432000 4194304 4196468 140732946265824 139721134991312 139721602307995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13803] ppid=13791 vsize=15151156 memory=7302135314614015844 CPUtime=0.21 cores=0-3 /proc/13793/task/13803/stat : 13803 (java) R 13791 13791 4816 0 -1 4202560 1547 0 0 0 21 0 0 0 20 0 15 0 445752892 15514783744 19487 33554432000 4194304 4196468 140732946265824 139721133929824 139721602310746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13804] ppid=13791 vsize=15151156 memory=7373043936465739882 CPUtime=0.18 cores=0-3 /proc/13793/task/13804/stat : 13804 (java) R 13791 13791 4816 0 -1 4202560 677 0 0 0 18 0 0 0 20 0 15 0 445752892 15514783744 19487 33554432000 4194304 4196468 140732946265824 139721132886896 139721602310746 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13805] ppid=13791 vsize=15151156 memory=7368002589315584080 CPUtime=0.4 cores=0-3 /proc/13793/task/13805/stat : 13805 (java) R 13791 13791 4816 0 -1 4202560 1894 0 0 0 39 1 0 0 20 0 15 0 445752892 15514783744 19487 33554432000 4194304 4196468 140732946265824 139721131831632 139721594526526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13806] ppid=13791 vsize=15151156 memory=4638778406923096400 CPUtime=0 cores=0-3 /proc/13793/task/13806/stat : 13806 (java) S 13791 13791 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445752893 15514783744 19487 33554432000 4194304 4196468 140732946265824 139721130781536 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13807] ppid=13791 vsize=15151156 memory=7956009407713273195 CPUtime=0 cores=0-3 /proc/13793/task/13807/stat : 13807 (java) S 13791 13791 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445752893 15514783744 19487 33554432000 4194304 4196468 140732946265824 139721129728560 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 Current children cumulated CPU time: 1.51 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 79396 KiB [startup+1.50463 s] /proc/loadavg: 8.70 8.65 8.32 12/237 13811 /proc/meminfo: memFree=29837912/32770688 swapFree=66961208/67108860 [pid=13791] ppid=13788 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445752886 115843072 362 33554432000 4194304 5098028 140721782177568 140721782175672 140584244109948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29626368 140721782178683 140721782178925 140721782178925 140721782181834 0 /proc/13791/statm: 28282 362 304 221 0 87 0 ################ # More data... # ################ /proc/13793/task/13807/stat : 13807 (java) S 13791 13791 4816 0 -1 1077944384 1558 0 0 0 0 0 0 0 20 0 19 0 445752893 15994011648 64474 33554432000 4194304 4196468 140732946265824 139721129728560 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13889] ppid=13791 vsize=15619152 memory=496 CPUtime=9.44 cores=0-3 /proc/13793/task/13889/stat : 13889 (java) R 13791 13791 4816 0 -1 4202560 288 0 0 0 944 0 0 0 20 0 19 0 445754647 15994011648 64474 33554432000 4194304 4196468 140732946265824 139721051094040 139721216144711 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13890] ppid=13791 vsize=15619152 memory=1556 CPUtime=9.5 cores=0-3 /proc/13793/task/13890/stat : 13890 (java) R 13791 13791 4816 0 -1 4202560 651 0 0 0 950 0 0 0 20 0 19 0 445754647 15994011648 64474 33554432000 4194304 4196468 140732946265824 139721045839544 139721217236533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13891] ppid=13791 vsize=15619152 memory=928 CPUtime=9.43 cores=0-3 /proc/13793/task/13891/stat : 13891 (java) R 13791 13791 4816 0 -1 4202560 677 0 0 0 943 0 0 0 20 0 19 0 445754647 15994011648 64474 33554432000 4194304 4196468 140732946265824 139721046894544 139721216528424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13892] ppid=13791 vsize=15619152 memory=1628 CPUtime=9.41 cores=0-3 /proc/13793/task/13892/stat : 13892 (java) R 13791 13791 4816 0 -1 4202560 232 0 0 0 941 0 0 0 20 0 19 0 445754647 15994011648 64474 33554432000 4194304 4196468 140732946265824 139721044787320 139721216573028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 Current children cumulated CPU time: 104.99 s Current children cumulated vsize: 15732280 KiB Current children cumulated memory: 259344 KiB [startup+28.0106 s]* /proc/loadavg: 8.53 8.61 8.32 10/238 13894 /proc/meminfo: memFree=29701976/32770688 swapFree=66961208/67108860 [pid=13791] ppid=13788 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445752886 115843072 362 33554432000 4194304 5098028 140721782177568 140721782175672 140584244109948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29626368 140721782178683 140721782178925 140721782178925 140721782181834 0 /proc/13791/statm: 28282 362 304 221 0 87 0 [pid=13793] ppid=13791 vsize=15619152 memory=257944 CPUtime=108.25 cores=0-3 /proc/13793/stat : 13793 (java) S 13791 13791 4816 0 -1 1077944320 68780 0 0 0 10805 20 0 0 20 0 19 0 445752886 15994011648 64486 33554432000 4194304 4196468 140732946265824 140732946248368 139721602289399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 /proc/13793/statm: 3904788 64486 3525 1 0 3865888 0 [pid=13793/tid=13794] ppid=13791 vsize=15619152 memory=1398722017469774279 CPUtime=0.87 cores=0-3 /proc/13793/task/13794/stat : 13794 (java) S 13791 13791 4816 0 -1 1077944384 9676 0 0 0 83 4 0 0 20 0 19 0 445752887 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721606530176 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13795] ppid=13791 vsize=15619152 memory=4126316290023845779 CPUtime=0.04 cores=0-3 /proc/13793/task/13795/stat : 13795 (java) S 13791 13791 4816 0 -1 1077944384 1432 0 0 0 3 1 0 0 20 0 19 0 445752887 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721530330128 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13796] ppid=13791 vsize=15619152 memory=11 CPUtime=0.03 cores=0-3 /proc/13793/task/13796/stat : 13796 (java) S 13791 13791 4816 0 -1 1077944384 1567 0 0 0 2 1 0 0 20 0 19 0 445752887 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721529277584 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13797] ppid=13791 vsize=15619152 memory=1481 CPUtime=0.02 cores=0-3 /proc/13793/task/13797/stat : 13797 (java) S 13791 13791 4816 0 -1 1077944384 1474 0 0 0 2 0 0 0 20 0 19 0 445752887 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721192106768 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13798] ppid=13791 vsize=15619152 memory=3612 CPUtime=0.04 cores=0-3 /proc/13793/task/13798/stat : 13798 (java) S 13791 13791 4816 0 -1 1077944384 965 0 0 0 3 1 0 0 20 0 19 0 445752887 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721191054224 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13799] ppid=13791 vsize=15619152 memory=46748 CPUtime=0.03 cores=0-3 /proc/13793/task/13799/stat : 13799 (java) S 13791 13791 4816 0 -1 1077944384 1228 0 0 0 2 1 0 0 20 0 19 0 445752889 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721138149616 139721602300546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13800] ppid=13791 vsize=15619152 memory=288230574492221466 CPUtime=0 cores=0-3 /proc/13793/task/13800/stat : 13800 (java) S 13791 13791 4816 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445752889 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721137095904 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13801] ppid=13791 vsize=15619152 memory=288230596050944315 CPUtime=0 cores=0-3 /proc/13793/task/13801/stat : 13801 (java) S 13791 13791 4816 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445752890 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721136042752 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13802] ppid=13791 vsize=15619152 memory=14690794741172841 CPUtime=0 cores=0-3 /proc/13793/task/13802/stat : 13802 (java) S 13791 13791 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445752892 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721134991312 139721602307995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13803] ppid=13791 vsize=15619152 memory=2924 CPUtime=4.04 cores=0-3 /proc/13793/task/13803/stat : 13803 (java) S 13791 13791 4816 0 -1 1077944384 18838 0 0 0 402 2 0 0 20 0 19 0 445752892 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721133939440 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13804] ppid=13791 vsize=15619152 memory=1448 CPUtime=4.09 cores=0-3 /proc/13793/task/13804/stat : 13804 (java) S 13791 13791 4816 0 -1 1077944384 15862 0 0 0 407 2 0 0 20 0 19 0 445752892 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721132886896 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13805] ppid=13791 vsize=15619152 memory=265496 CPUtime=0.99 cores=0-3 /proc/13793/task/13805/stat : 13805 (java) S 13791 13791 4816 0 -1 1077944384 7589 0 0 0 97 2 0 0 20 0 19 0 445752892 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721131833840 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13806] ppid=13791 vsize=15619152 memory=1756 CPUtime=0 cores=0-3 /proc/13793/task/13806/stat : 13806 (java) S 13791 13791 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445752893 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721130781536 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13807] ppid=13791 vsize=15619152 memory=0 CPUtime=0 cores=0-3 /proc/13793/task/13807/stat : 13807 (java) S 13791 13791 4816 0 -1 1077944384 1558 0 0 0 0 0 0 0 20 0 19 0 445752893 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721129728560 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13889] ppid=13791 vsize=15619152 memory=199587130258911 CPUtime=10.26 cores=0-3 /proc/13793/task/13889/stat : 13889 (java) R 13791 13791 4816 0 -1 4202560 288 0 0 0 1026 0 0 0 20 0 19 0 445754647 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721051094040 139721216529425 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13890] ppid=13791 vsize=15619152 memory=199587130272705 CPUtime=10.31 cores=0-3 /proc/13793/task/13890/stat : 13890 (java) R 13791 13791 4816 0 -1 4202560 755 0 0 0 1031 0 0 0 20 0 19 0 445754647 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721045839672 139721214346543 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13891] ppid=13791 vsize=15619152 memory=199587130272706 CPUtime=10.25 cores=0-3 /proc/13793/task/13891/stat : 13891 (java) R 13791 13791 4816 0 -1 4202560 697 0 0 0 1025 0 0 0 20 0 19 0 445754647 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721046892680 139721214309440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13892] ppid=13791 vsize=15619152 memory=199587130272707 CPUtime=10.21 cores=0-3 /proc/13793/task/13892/stat : 13892 (java) R 13791 13791 4816 0 -1 4202560 232 0 0 0 1021 0 0 0 20 0 19 0 445754647 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721044787320 139721217978049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 Current children cumulated CPU time: 108.25 s Current children cumulated vsize: 15732280 KiB Current children cumulated memory: 259392 KiB [startup+28.4076 s] /proc/loadavg: 8.53 8.61 8.32 10/238 13894 /proc/meminfo: memFree=29701976/32770688 swapFree=66961208/67108860 [pid=13791] ppid=13788 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445752886 115843072 362 33554432000 4194304 5098028 140721782177568 140721782175672 140584244109948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29626368 140721782178683 140721782178925 140721782178925 140721782181834 0 /proc/13791/statm: 28282 362 304 221 0 87 0 [pid=13793] ppid=13791 vsize=15619152 memory=257944 CPUtime=109.79 cores=0-3 /proc/13793/stat : 13793 (java) S 13791 13791 4816 0 -1 1077944320 68784 0 0 0 10959 20 0 0 20 0 19 0 445752886 15994011648 64486 33554432000 4194304 4196468 140732946265824 140732946248368 139721602289399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 /proc/13793/statm: 3904788 64486 3525 1 0 3865888 0 [pid=13793/tid=13794] ppid=13791 vsize=15619152 memory=916 CPUtime=0.87 cores=0-3 /proc/13793/task/13794/stat : 13794 (java) S 13791 13791 4816 0 -1 1077944384 9676 0 0 0 83 4 0 0 20 0 19 0 445752887 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721606530176 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13795] ppid=13791 vsize=15619152 memory=6791534058613427641 CPUtime=0.04 cores=0-3 /proc/13793/task/13795/stat : 13795 (java) S 13791 13791 4816 0 -1 1077944384 1432 0 0 0 3 1 0 0 20 0 19 0 445752887 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721530330128 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13796] ppid=13791 vsize=15619152 memory=46748 CPUtime=0.03 cores=0-3 /proc/13793/task/13796/stat : 13796 (java) S 13791 13791 4816 0 -1 1077944384 1567 0 0 0 2 1 0 0 20 0 19 0 445752887 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721529277584 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13797] ppid=13791 vsize=15619152 memory=57 CPUtime=0.02 cores=0-3 /proc/13793/task/13797/stat : 13797 (java) S 13791 13791 4816 0 -1 1077944384 1474 0 0 0 2 0 0 0 20 0 19 0 445752887 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721192106768 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13798] ppid=13791 vsize=15619152 memory=8514726395715218844 CPUtime=0.04 cores=0-3 /proc/13793/task/13798/stat : 13798 (java) S 13791 13791 4816 0 -1 1077944384 965 0 0 0 3 1 0 0 20 0 19 0 445752887 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721191054224 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13799] ppid=13791 vsize=15619152 memory=5450916479948256810 CPUtime=0.03 cores=0-3 /proc/13793/task/13799/stat : 13799 (java) S 13791 13791 4816 0 -1 1077944384 1228 0 0 0 2 1 0 0 20 0 19 0 445752889 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721138149616 139721602300546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13800] ppid=13791 vsize=15619152 memory=4638778398332899937 CPUtime=0 cores=0-3 /proc/13793/task/13800/stat : 13800 (java) S 13791 13791 4816 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445752889 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721137095904 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13801] ppid=13791 vsize=15619152 memory=8514726395714826909 CPUtime=0 cores=0-3 /proc/13793/task/13801/stat : 13801 (java) S 13791 13791 4816 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445752890 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721136042752 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13802] ppid=13791 vsize=15619152 memory=4638778406923096400 CPUtime=0 cores=0-3 /proc/13793/task/13802/stat : 13802 (java) S 13791 13791 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445752892 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721134991312 139721602307995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13803] ppid=13791 vsize=15619152 memory=1448 CPUtime=4.04 cores=0-3 /proc/13793/task/13803/stat : 13803 (java) S 13791 13791 4816 0 -1 1077944384 18838 0 0 0 402 2 0 0 20 0 19 0 445752892 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721133939440 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13804] ppid=13791 vsize=15619152 memory=257896 CPUtime=4.09 cores=0-3 /proc/13793/task/13804/stat : 13804 (java) S 13791 13791 4816 0 -1 1077944384 15862 0 0 0 407 2 0 0 20 0 19 0 445752892 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721132886896 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13805] ppid=13791 vsize=15619152 memory=984 CPUtime=0.99 cores=0-3 /proc/13793/task/13805/stat : 13805 (java) S 13791 13791 4816 0 -1 1077944384 7589 0 0 0 97 2 0 0 20 0 19 0 445752892 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721131833840 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13806] ppid=13791 vsize=15619152 memory=2044 CPUtime=0 cores=0-3 /proc/13793/task/13806/stat : 13806 (java) S 13791 13791 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445752893 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721130781536 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13807] ppid=13791 vsize=15619152 memory=1388 CPUtime=0 cores=0-3 /proc/13793/task/13807/stat : 13807 (java) S 13791 13791 4816 0 -1 1077944384 1558 0 0 0 0 0 0 0 20 0 19 0 445752893 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721129728560 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13889] ppid=13791 vsize=15619152 memory=1056 CPUtime=10.64 cores=0-3 /proc/13793/task/13889/stat : 13889 (java) R 13791 13791 4816 0 -1 4202560 288 0 0 0 1064 0 0 0 20 0 19 0 445754647 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721051094040 139721217574055 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13890] ppid=13791 vsize=15619152 memory=780 CPUtime=10.7 cores=0-3 /proc/13793/task/13890/stat : 13890 (java) R 13791 13791 4816 0 -1 4202560 757 0 0 0 1070 0 0 0 20 0 19 0 445754647 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721045839672 139721219704088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13891] ppid=13791 vsize=15619152 memory=1708 CPUtime=10.63 cores=0-3 /proc/13793/task/13891/stat : 13891 (java) R 13791 13791 4816 0 -1 4202560 698 0 0 0 1063 0 0 0 20 0 19 0 445754647 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721046892680 139721217250751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13892] ppid=13791 vsize=15619152 memory=1280 CPUtime=10.59 cores=0-3 /proc/13793/task/13892/stat : 13892 (java) R 13791 13791 4816 0 -1 4202560 233 0 0 0 1059 0 0 0 20 0 19 0 445754647 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721044787320 139721214347330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 Current children cumulated CPU time: 109.79 s Current children cumulated vsize: 15732280 KiB Current children cumulated memory: 259392 KiB [startup+28.8076 s] /proc/loadavg: 8.53 8.61 8.32 10/238 13894 /proc/meminfo: memFree=29701976/32770688 swapFree=66961208/67108860 [pid=13791] ppid=13788 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/13791/stat : 13791 (xcsp3-exec) S 13788 13791 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445752886 115843072 362 33554432000 4194304 5098028 140721782177568 140721782175672 140584244109948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29626368 140721782178683 140721782178925 140721782178925 140721782181834 0 /proc/13791/statm: 28282 362 304 221 0 87 0 [pid=13793] ppid=13791 vsize=15619152 memory=257944 CPUtime=111.39 cores=0-3 /proc/13793/stat : 13793 (java) S 13791 13791 4816 0 -1 1077944320 68801 0 0 0 11119 20 0 0 20 0 19 0 445752886 15994011648 64486 33554432000 4194304 4196468 140732946265824 140732946248368 139721602289399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 /proc/13793/statm: 3904788 64486 3525 1 0 3865888 0 [pid=13793/tid=13794] ppid=13791 vsize=15619152 memory=7523102001985831020 CPUtime=0.87 cores=0-3 /proc/13793/task/13794/stat : 13794 (java) S 13791 13791 4816 0 -1 1077944384 9676 0 0 0 83 4 0 0 20 0 19 0 445752887 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721606530176 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13795] ppid=13791 vsize=15619152 memory=6791534058613427641 CPUtime=0.04 cores=0-3 /proc/13793/task/13795/stat : 13795 (java) S 13791 13791 4816 0 -1 1077944384 1432 0 0 0 3 1 0 0 20 0 19 0 445752887 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721530330128 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13796] ppid=13791 vsize=15619152 memory=1756 CPUtime=0.03 cores=0-3 /proc/13793/task/13796/stat : 13796 (java) S 13791 13791 4816 0 -1 1077944384 1567 0 0 0 2 1 0 0 20 0 19 0 445752887 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721529277584 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13797] ppid=13791 vsize=15619152 memory=1398722017469774279 CPUtime=0.02 cores=0-3 /proc/13793/task/13797/stat : 13797 (java) S 13791 13791 4816 0 -1 1077944384 1474 0 0 0 2 0 0 0 20 0 19 0 445752887 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721192106768 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13798] ppid=13791 vsize=15619152 memory=1804 CPUtime=0.04 cores=0-3 /proc/13793/task/13798/stat : 13798 (java) S 13791 13791 4816 0 -1 1077944384 965 0 0 0 3 1 0 0 20 0 19 0 445752887 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721191054224 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13799] ppid=13791 vsize=15619152 memory=916 CPUtime=0.03 cores=0-3 /proc/13793/task/13799/stat : 13799 (java) S 13791 13791 4816 0 -1 1077944384 1228 0 0 0 2 1 0 0 20 0 19 0 445752889 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721138149616 139721602300546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13800] ppid=13791 vsize=15619152 memory=3848 CPUtime=0 cores=0-3 /proc/13793/task/13800/stat : 13800 (java) S 13791 13791 4816 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445752889 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721137095904 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13801] ppid=13791 vsize=15619152 memory=1067 CPUtime=0 cores=0-3 /proc/13793/task/13801/stat : 13801 (java) S 13791 13791 4816 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445752890 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721136042752 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13802] ppid=13791 vsize=15619152 memory=0 CPUtime=0 cores=0-3 /proc/13793/task/13802/stat : 13802 (java) S 13791 13791 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445752892 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721134991312 139721602307995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13803] ppid=13791 vsize=15619152 memory=12 CPUtime=4.04 cores=0-3 /proc/13793/task/13803/stat : 13803 (java) S 13791 13791 4816 0 -1 1077944384 18838 0 0 0 402 2 0 0 20 0 19 0 445752892 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721133939440 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13804] ppid=13791 vsize=15619152 memory=277 CPUtime=4.09 cores=0-3 /proc/13793/task/13804/stat : 13804 (java) S 13791 13791 4816 0 -1 1077944384 15862 0 0 0 407 2 0 0 20 0 19 0 445752892 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721132886896 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13805] ppid=13791 vsize=15619152 memory=149 CPUtime=0.99 cores=0-3 /proc/13793/task/13805/stat : 13805 (java) S 13791 13791 4816 0 -1 1077944384 7589 0 0 0 97 2 0 0 20 0 19 0 445752892 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721131833840 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13806] ppid=13791 vsize=15619152 memory=0 CPUtime=0 cores=0-3 /proc/13793/task/13806/stat : 13806 (java) S 13791 13791 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445752893 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721130781536 139721602299605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13807] ppid=13791 vsize=15619152 memory=385 CPUtime=0 cores=0-3 /proc/13793/task/13807/stat : 13807 (java) S 13791 13791 4816 0 -1 1077944384 1558 0 0 0 0 0 0 0 20 0 19 0 445752893 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721129728560 139721602300546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13889] ppid=13791 vsize=15619152 memory=6791534058613427641 CPUtime=11.05 cores=0-3 /proc/13793/task/13889/stat : 13889 (java) R 13791 13791 4816 0 -1 4202560 291 0 0 0 1105 0 0 0 20 0 19 0 445754647 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721051094040 139721216528018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13890] ppid=13791 vsize=15619152 memory=2596 CPUtime=11.1 cores=0-3 /proc/13793/task/13890/stat : 13890 (java) R 13791 13791 4816 0 -1 4202560 763 0 0 0 1110 0 0 0 20 0 19 0 445754647 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721045839672 139721217095138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13891] ppid=13791 vsize=15619152 memory=2740 CPUtime=11.03 cores=0-3 /proc/13793/task/13891/stat : 13891 (java) R 13791 13791 4816 0 -1 4202560 705 0 0 0 1103 0 0 0 20 0 19 0 445754647 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721046892680 139721215569152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 [pid=13793/tid=13892] ppid=13791 vsize=15619152 memory=4104 CPUtime=10.99 cores=0-3 /proc/13793/task/13892/stat : 13892 (java) R 13791 13791 4816 0 -1 4202560 234 0 0 0 1099 0 0 0 20 0 19 0 445754647 15994011648 64486 33554432000 4194304 4196468 140732946265824 139721044787320 139721217574580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140732946269167 140732946269338 140732946269338 140732946272207 0 Current children cumulated CPU time: 111.39 s Current children cumulated vsize: 15732280 KiB Current children cumulated memory: 259392 KiB Child status: 0 Real time (s): 28.8838 CPU time (s): 111.665 CPU user time (s): 111.451 CPU system time (s): 0.214109 CPU usage (%): 386.602 Max. virtual memory (cumulated for all children) (KiB): 15732280 Max. memory (cumulated for all children) (KiB): 268484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 111.451 system time used= 0.214109 maximum resident set size= 271140 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69985 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4764 involuntary context switches= 2741 # summary of solver processes directly reported to runsolver: # pid: 13791 # total CPU time (s): 111.665 # total CPU user time (s): 111.451 # total CPU system time (s): 0.214109 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.182191 second user time and 0.406992 second system time The end
Begin job on node116 at 2019-09-17 07:27:51 IDJOB=4399300 IDBENCH=129613 IDSOLVER=2853 FILE ID=node116/4399300-1568698112 RUNJOBID= node116-1568694541-4847 PBS_JOBID= 21703807 Free space on /tmp= 61208 MiB SOLVER NAME= choco-solver 2019-09-16 BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-41-06.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399300-1568698112/watcher-4399300-1568698112 -o /tmp/evaluation-result-4399300-1568698112/solver-4399300-1568698112 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568694541-4847 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 402219765 HOME/instance-4399300-1568698112.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 74fbdfceca74d16a11799a9df32eef16 RANDOM SEED=402219765 node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 29943340 kB MemAvailable: 31219652 kB Buffers: 148120 kB Cached: 1422164 kB SwapCached: 46588 kB Active: 1677360 kB Inactive: 571304 kB Active(anon): 632388 kB Inactive(anon): 94964 kB Active(file): 1044972 kB Inactive(file): 476340 kB Unevictable: 110568 kB Mlocked: 110568 kB SwapTotal: 67108860 kB SwapFree: 66961208 kB Dirty: 26372 kB Writeback: 0 kB AnonPages: 743508 kB Mapped: 61200 kB Shmem: 40292 kB Slab: 171000 kB SReclaimable: 141672 kB SUnreclaim: 29328 kB KernelStack: 3856 kB PageTables: 7208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1527716 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 608256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61180 MiB End job on node116 at 2019-09-17 07:28:20