Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | OPT | 86 | 34.9655 | 4.97436 |
Name | Rcpsp/ Rcpsp-j90-01-04_c18.xml |
MD5SUM | 0eb6d6735b5266ca4e96e7e1d1b2460a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 86 |
Best CPU time to get the best result obtained on this benchmark | 34.9655 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 92 |
Number of constraints | 142 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 493 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":493,"count":91}] |
Minimum variable degree | 3 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":3,"count":36},{"degree":4,"count":23},{"degree":5,"count":31},{"degree":6,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 32 |
Distribution of constraint arities | [{"arity":2,"count":138},{"arity":18,"count":2},{"arity":22,"count":1},{"arity":32,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 138 |
Distribution of constraint types | [{"type":"intension","count":138},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297474-1532722230.xml" -tl '20160s' -p 8 0.12/0.17 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297474-1532722230.xml, -tl, 20160s, -p, 8] 0.12/0.21 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.11/0.80 c solve instance... 2.82/0.92 o 96 2.82/0.93 o 91 2.82/0.97 o 90 5.09/1.21 o 86 34.48/4.96 s OPTIMUM FOUND 34.48/4.96 v <instantiation> 34.48/4.96 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] </list> 34.48/4.96 v <values>0 16 0 0 10 36 5 4 11 13 4 11 21 21 5 13 18 21 13 16 29 14 34 30 21 32 18 37 12 16 25 54 39 37 36 25 25 46 16 45 29 25 22 55 63 23 21 14 48 34 36 34 15 11 39 52 50 37 58 47 40 45 61 58 54 53 53 44 44 40 32 46 44 48 67 28 55 58 59 45 52 67 59 55 65 70 71 74 76 68 82 86 </values> 34.48/4.96 v </instantiation>
OK 86
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 (9152 MiB free) memory of node 1: 16384 MiB (12687 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297474-1532722230/watcher-4297474-1532722230 -o /tmp/evaluation-result-4297474-1532722230/solver-4297474-1532722230 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532713877-19577 --watchdog 2580 HOME/xcsp3-exec -seed 718862069 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297474-1532722230.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 Starting watchdog thread Linux 3.10.0-514.16.1.el7.x86_64 solver pid=22198, runsolver pid=22195 Current StackSize limit: 8192 KiB [startup+0.100137 s]* /proc/loadavg: 7.50 7.87 7.63 2/199 22219 /proc/meminfo: memFree=22348032/32770624 swapFree=67108796/67108860 [pid=22198] ppid=22195 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22198/stat : 22198 (xcsp3-exec) S 22195 22198 19550 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89786154 115843072 363 33554432000 4194304 5098028 140721709810320 140721709808424 140430914962044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10317824 140721709818934 140721709819136 140721709819136 140721709821898 0 /proc/22198/statm: 28282 363 305 221 0 87 0 [pid=22200] ppid=22198 vsize=26104152 memory=27304 CPUtime=0.12 cores=0-7 /proc/22200/stat : 22200 (java) S 22198 22198 19550 0 -1 1077944320 5657 0 0 0 10 2 0 0 20 0 20 0 89786155 26730651648 6826 33554432000 4194304 4196468 140720438795216 140720438777760 140253519159031 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 /proc/22200/statm: 6526038 6826 3031 1 0 6488315 0 [pid=22200/tid=22201] ppid=22198 vsize=26104152 memory=7824612310230407575 CPUtime=0.09 cores=0-7 /proc/22200/task/22201/stat : 22201 (java) R 22198 22198 19550 0 -1 4202560 3665 0 0 0 8 1 0 0 20 0 20 0 89786155 26730651648 6826 33554432000 4194304 4196468 140720438795216 140253523392304 140253503239518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22202] ppid=22198 vsize=26104152 memory=732370443658091493 CPUtime=0 cores=0-7 /proc/22200/task/22202/stat : 22202 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 6826 33554432000 4194304 4196468 140720438795216 140253441739920 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22203] ppid=22198 vsize=26104152 memory=140305320638080 CPUtime=0 cores=0-7 /proc/22200/task/22203/stat : 22203 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 6826 33554432000 4194304 4196468 140720438795216 140253440687120 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22204] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22204/stat : 22204 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 6826 33554432000 4194304 4196468 140720438795216 140253439634320 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22205] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22205/stat : 22205 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 6826 33554432000 4194304 4196468 140720438795216 140253438581520 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22206] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22206/stat : 22206 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 6826 33554432000 4194304 4196468 140720438795216 140253437528720 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22207] ppid=22198 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/22200/task/22207/stat : 22207 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 6826 33554432000 4194304 4196468 140720438795216 140253436475920 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22208] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22208/stat : 22208 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 6826 33554432000 4194304 4196468 140720438795216 140253435423120 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22209] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22209/stat : 22209 (java) S 22198 22198 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 6826 33554432000 4194304 4196468 140720438795216 140253434370320 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22210] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22210/stat : 22210 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786157 26730651648 6826 33554432000 4194304 4196468 140720438795216 140251790588784 140253519170178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22211] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22211/stat : 22211 (java) S 22198 22198 19550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89786158 26730651648 6826 33554432000 4194304 4196468 140720438795216 140251789534752 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22212] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22212/stat : 22212 (java) S 22198 22198 19550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89786158 26730651648 6826 33554432000 4194304 4196468 140720438795216 140251788481904 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22213] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22213/stat : 22213 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89786160 26730651648 6826 33554432000 4194304 4196468 140720438795216 140251787430224 140253519177627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22214] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22214/stat : 22214 (java) S 22198 22198 19550 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 20 0 89786160 26730651648 6826 33554432000 4194304 4196468 140720438795216 140251786377584 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22215] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22215/stat : 22215 (java) S 22198 22198 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89786160 26730651648 6826 33554432000 4194304 4196468 140720438795216 140251785324784 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22216] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22216/stat : 22216 (java) S 22198 22198 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89786160 26730651648 6826 33554432000 4194304 4196468 140720438795216 140251784271984 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22217] ppid=22198 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/22200/task/22217/stat : 22217 (java) R 22198 22198 19550 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 20 0 89786160 26730651648 6826 33554432000 4194304 4196468 140720438795216 140251783219184 140253519180378 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22218] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22218/stat : 22218 (java) S 22198 22198 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89786160 26730651648 6826 33554432000 4194304 4196468 140720438795216 140251782167648 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22219] ppid=22198 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/22200/task/22219/stat : 22219 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89786161 26730651648 6826 33554432000 4194304 4196468 140720438795216 140251781114928 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28756 KiB [startup+0.210268 s]* /proc/loadavg: 7.50 7.87 7.63 3/199 22219 /proc/meminfo: memFree=22337412/32770624 swapFree=67108796/67108860 [pid=22198] ppid=22195 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22198/stat : 22198 (xcsp3-exec) S 22195 22198 19550 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89786154 115843072 363 33554432000 4194304 5098028 140721709810320 140721709808424 140430914962044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10317824 140721709818934 140721709819136 140721709819136 140721709821898 0 /proc/22198/statm: 28282 363 305 221 0 87 0 [pid=22200] ppid=22198 vsize=26104152 memory=39456 CPUtime=0.34 cores=0-7 /proc/22200/stat : 22200 (java) S 22198 22198 19550 0 -1 1077944320 8389 0 0 0 32 2 0 0 20 0 20 0 89786155 26730651648 9864 33554432000 4194304 4196468 140720438795216 140720438777760 140253519159031 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 /proc/22200/statm: 6526038 9864 3217 1 0 6488315 0 [pid=22200/tid=22201] ppid=22198 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7 /proc/22200/task/22201/stat : 22201 (java) R 22198 22198 19550 0 -1 4202560 5594 0 0 0 18 1 0 0 20 0 20 0 89786155 26730651648 9864 33554432000 4194304 4196468 140720438795216 140253523394016 140253503239518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22202] ppid=22198 vsize=26104152 memory=280610493691640 CPUtime=0 cores=0-7 /proc/22200/task/22202/stat : 22202 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 9864 33554432000 4194304 4196468 140720438795216 140253441739920 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22203] ppid=22198 vsize=26104152 memory=140305320638080 CPUtime=0 cores=0-7 /proc/22200/task/22203/stat : 22203 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 9864 33554432000 4194304 4196468 140720438795216 140253440687120 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22204] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22204/stat : 22204 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 9864 33554432000 4194304 4196468 140720438795216 140253439634320 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22205] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22205/stat : 22205 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 9864 33554432000 4194304 4196468 140720438795216 140253438581520 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22206] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22206/stat : 22206 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 9864 33554432000 4194304 4196468 140720438795216 140253437528720 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22207] ppid=22198 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/22200/task/22207/stat : 22207 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 9864 33554432000 4194304 4196468 140720438795216 140253436475920 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22208] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22208/stat : 22208 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 9864 33554432000 4194304 4196468 140720438795216 140253435423120 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22209] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22209/stat : 22209 (java) S 22198 22198 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89786156 26730651648 9864 33554432000 4194304 4196468 140720438795216 140253434370320 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22210] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22210/stat : 22210 (java) S 22198 22198 19550 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89786157 26730651648 9864 33554432000 4194304 4196468 140720438795216 140251790588784 140253519170178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22211] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22211/stat : 22211 (java) S 22198 22198 19550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89786158 26730651648 9864 33554432000 4194304 4196468 140720438795216 140251789534752 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22212] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22212/stat : 22212 (java) S 22198 22198 19550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89786158 26730651648 9864 33554432000 4194304 4196468 140720438795216 140251788481904 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22213] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22213/stat : 22213 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89786160 26730651648 9864 33554432000 4194304 4196468 140720438795216 140251787430224 140253519177627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22214] ppid=22198 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/22200/task/22214/stat : 22214 (java) S 22198 22198 19550 0 -1 1077944384 490 0 0 0 1 0 0 0 20 0 20 0 89786160 26730651648 9864 33554432000 4194304 4196468 140720438795216 140251786377584 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22215] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22215/stat : 22215 (java) S 22198 22198 19550 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 89786160 26730651648 9864 33554432000 4194304 4196468 140720438795216 140251785324784 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22216] ppid=22198 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/22200/task/22216/stat : 22216 (java) S 22198 22198 19550 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 20 0 89786160 26730651648 9864 33554432000 4194304 4196468 140720438795216 140251784271984 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22217] ppid=22198 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7 /proc/22200/task/22217/stat : 22217 (java) S 22198 22198 19550 0 -1 1077944384 799 0 0 0 8 0 0 0 20 0 20 0 89786160 26730651648 9864 33554432000 4194304 4196468 140720438795216 140251783219184 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22218] ppid=22198 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22218/stat : 22218 (java) S 22198 22198 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89786160 26730651648 9864 33554432000 4194304 4196468 140720438795216 140251782167648 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22219] ppid=22198 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/22200/task/22219/stat : 22219 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89786161 26730651648 9864 33554432000 4194304 4196468 140720438795216 140251781114928 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40908 KiB [startup+0.310254 s]* /proc/loadavg: 7.50 7.87 7.63 2/199 22219 /proc/meminfo: memFree=22331264/32770624 swapFree=67108796/67108860 [pid=22198] ppid=22195 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22198/stat : 22198 (xcsp3-exec) S 22195 22198 19550 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89786154 115843072 363 33554432000 4194304 5098028 140721709810320 140721709808424 140430914962044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10317824 140721709818934 140721709819136 140721709819136 140721709821898 0 /proc/22198/statm: 28282 363 305 221 0 87 0 [pid=22200] ppid=22198 vsize=26108408 memory=46276 CPUtime=0.5 cores=0-7 /proc/22200/stat : 22200 (java) S 22198 22198 19550 0 -1 1077944320 9318 0 0 0 47 3 0 0 20 0 20 0 89786155 26735009792 11569 33554432000 4194304 4196468 140720438795216 140720438777760 140253519159031 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 /proc/22200/statm: 6527102 11569 3247 1 0 6488315 0 [pid=22200/tid=22201] ppid=22198 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/22200/task/22201/stat : 22201 (java) R 22198 22198 19550 0 -1 4202560 6325 0 0 0 27 2 0 0 20 0 20 0 89786155 26735009792 11569 33554432000 4194304 4196468 140720438795216 140253523390144 140253503239518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22202] ppid=22198 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22202/stat : 22202 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26735009792 11569 33554432000 4194304 4196468 140720438795216 140253441739920 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22203] ppid=22198 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22203/stat : 22203 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89786156 26735009792 11569 33554432000 4194304 4196468 140720438795216 140253440687120 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22204] ppid=22198 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22204/stat : 22204 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26735009792 11569 33554432000 4194304 4196468 140720438795216 140253439634320 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22205] ppid=22198 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22205/stat : 22205 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26735009792 11569 33554432000 4194304 4196468 140720438795216 140253438581520 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22206] ppid=22198 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/22200/task/22206/stat : 22206 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26735009792 11569 33554432000 4194304 4196468 140720438795216 140253437528720 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22207] ppid=22198 vsize=26108408 memory=140305173148591 CPUtime=0 cores=0-7 /proc/22200/task/22207/stat : 22207 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26735009792 11569 33554432000 4194304 4196468 140720438795216 140253436475920 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22208] ppid=22198 vsize=26108408 memory=140305173150896 CPUtime=0 cores=0-7 /proc/22200/task/22208/stat : 22208 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89786156 26735009792 11569 33554432000 4194304 4196468 140720438795216 140253435423120 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22209] ppid=22198 vsize=26108408 memory=140305173153200 CPUtime=0 cores=0-7 /proc/22200/task/22209/stat : 22209 (java) S 22198 22198 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89786156 26735009792 11569 33554432000 4194304 4196468 140720438795216 140253434370320 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22210] ppid=22198 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22210/stat : 22210 (java) S 22198 22198 19550 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89786157 26735009792 11569 33554432000 4194304 4196468 140720438795216 140251790588784 140253519170178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22211] ppid=22198 vsize=26108408 memory=280610346313360 CPUtime=0 cores=0-7 /proc/22200/task/22211/stat : 22211 (java) S 22198 22198 19550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89786158 26735009792 11634 33554432000 4194304 4196468 140720438795216 140251789534752 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22212] ppid=22198 vsize=26108408 memory=280610346320272 CPUtime=0 cores=0-7 /proc/22200/task/22212/stat : 22212 (java) S 22198 22198 19550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89786158 26735009792 11634 33554432000 4194304 4196468 140720438795216 140251788481904 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22213] ppid=22198 vsize=26108408 memory=280610346261552 CPUtime=0 cores=0-7 /proc/22200/task/22213/stat : 22213 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89786160 26735009792 11634 33554432000 4194304 4196468 140720438795216 140251787430224 140253519177627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22214] ppid=22198 vsize=26108408 memory=280610346334096 CPUtime=0.02 cores=0-7 /proc/22200/task/22214/stat : 22214 (java) S 22198 22198 19550 0 -1 1077944384 505 0 0 0 2 0 0 0 20 0 20 0 89786160 26735009792 11634 33554432000 4194304 4196468 140720438795216 140251786377584 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22215] ppid=22198 vsize=26108408 memory=280610346341008 CPUtime=0 cores=0-7 /proc/22200/task/22215/stat : 22215 (java) S 22198 22198 19550 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 89786160 26735009792 11634 33554432000 4194304 4196468 140720438795216 140251785324784 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22216] ppid=22198 vsize=26108408 memory=280610346338704 CPUtime=0.03 cores=0-7 /proc/22200/task/22216/stat : 22216 (java) S 22198 22198 19550 0 -1 1077944384 138 0 0 0 3 0 0 0 20 0 20 0 89786160 26735009792 11634 33554432000 4194304 4196468 140720438795216 140251784271984 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22217] ppid=22198 vsize=26108408 memory=280610346354864 CPUtime=0.12 cores=0-7 /proc/22200/task/22217/stat : 22217 (java) S 22198 22198 19550 0 -1 1077944384 956 0 0 0 12 0 0 0 20 0 20 0 89786160 26735009792 11634 33554432000 4194304 4196468 140720438795216 140251783219184 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22218] ppid=22198 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22218/stat : 22218 (java) S 22198 22198 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89786160 26735009792 11634 33554432000 4194304 4196468 140720438795216 140251782167648 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22219] ppid=22198 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/22200/task/22219/stat : 22219 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89786161 26735009792 11634 33554432000 4194304 4196468 140720438795216 140251781114928 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47728 KiB [startup+0.70099 s] /proc/loadavg: 7.50 7.87 7.63 5/199 22219 /proc/meminfo: memFree=22312160/32770624 swapFree=67108796/67108860 [pid=22198] ppid=22195 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22198/stat : 22198 (xcsp3-exec) S 22195 22198 19550 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89786154 115843072 363 33554432000 4194304 5098028 140721709810320 140721709808424 140430914962044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10317824 140721709818934 140721709819136 140721709819136 140721709821898 0 /proc/22198/statm: 28282 363 305 221 0 87 0 [pid=22200] ppid=22198 vsize=26110532 memory=86260 CPUtime=1.67 cores=0-7 /proc/22200/stat : 22200 (java) S 22198 22198 19550 0 -1 1077944320 13240 0 0 0 161 6 0 0 20 0 20 0 89786155 26737184768 21565 33554432000 4194304 4196468 140720438795216 140720438777760 140253519159031 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 /proc/22200/statm: 6527633 21565 3359 1 0 6488827 0 [pid=22200/tid=22201] ppid=22198 vsize=26110532 memory=280610346649728 CPUtime=0.66 cores=0-7 /proc/22200/task/22201/stat : 22201 (java) R 22198 22198 19550 0 -1 4202560 7252 0 0 0 63 3 0 0 20 0 20 0 89786155 26737184768 21565 33554432000 4194304 4196468 140720438795216 140253523392624 140253511837045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22202] ppid=22198 vsize=26110532 memory=8800 CPUtime=0 cores=0-7 /proc/22200/task/22202/stat : 22202 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26737184768 21565 33554432000 4194304 4196468 140720438795216 140253441739920 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22203] ppid=22198 vsize=26110532 memory=1120 CPUtime=0 cores=0-7 /proc/22200/task/22203/stat : 22203 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89786156 26737184768 21565 33554432000 4194304 4196468 140720438795216 140253440687120 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22204] ppid=22198 vsize=26110532 memory=792 CPUtime=0 cores=0-7 /proc/22200/task/22204/stat : 22204 (java) S 22198 22198 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89786156 26737184768 21565 33554432000 4194304 4196468 140720438795216 140253439634320 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 ################ # More data... # ################ [pid=22200/tid=22217] ppid=22198 vsize=26646120 memory=140305173325088 CPUtime=0.79 cores=0-7 /proc/22200/task/22217/stat : 22217 (java) S 22198 22198 19550 0 -1 1077944384 3880 0 0 0 78 1 0 0 20 0 28 0 89786160 27285626880 60949 33554432000 4194304 4196468 140720438795216 140251783219184 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22218] ppid=22198 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22218/stat : 22218 (java) S 22198 22198 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89786160 27285626880 60949 33554432000 4194304 4196468 140720438795216 140251782167648 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22219] ppid=22198 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22219/stat : 22219 (java) S 22198 22198 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89786161 27285626880 60949 33554432000 4194304 4196468 140720438795216 140251781114928 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22252] ppid=22198 vsize=26646120 memory=0 CPUtime=2.79 cores=0-7 /proc/22200/task/22252/stat : 22252 (java) R 22198 22198 19550 0 -1 4202560 23 0 0 0 279 0 0 0 20 0 28 0 89786276 27285626880 60949 33554432000 4194304 4196468 140720438795216 140251763052504 140253121904541 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22253] ppid=22198 vsize=26646120 memory=0 CPUtime=2.57 cores=0-7 /proc/22200/task/22253/stat : 22253 (java) R 22198 22198 19550 0 -1 4202560 25 0 0 0 257 0 0 0 20 0 28 0 89786276 27285626880 60949 33554432000 4194304 4196468 140720438795216 140251762000552 140253122081484 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22254] ppid=22198 vsize=26646120 memory=0 CPUtime=2.65 cores=0-7 /proc/22200/task/22254/stat : 22254 (java) R 22198 22198 19550 0 -1 4202560 26 0 0 0 265 0 0 0 20 0 28 0 89786276 27285626880 60949 33554432000 4194304 4196468 140720438795216 140251765158440 140253122312715 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22255] ppid=22198 vsize=26646120 memory=0 CPUtime=2.53 cores=0-7 /proc/22200/task/22255/stat : 22255 (java) R 22198 22198 19550 0 -1 4202560 87 0 0 0 253 0 0 0 20 0 28 0 89786276 27285626880 60949 33554432000 4194304 4196468 140720438795216 140251768316328 140253122082250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22256] ppid=22198 vsize=26646120 memory=3054156605651173440 CPUtime=2.31 cores=0-7 /proc/22200/task/22256/stat : 22256 (java) R 22198 22198 19550 0 -1 4202560 27 0 0 0 231 0 0 0 20 0 28 0 89786276 27285626880 60949 33554432000 4194304 4196468 140720438795216 140251772520504 140253120928972 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22257] ppid=22198 vsize=26646120 memory=6655300316396806240 CPUtime=2.38 cores=0-7 /proc/22200/task/22257/stat : 22257 (java) R 22198 22198 19550 0 -1 4202560 21 0 0 0 238 0 0 0 20 0 28 0 89786276 27285626880 60949 33554432000 4194304 4196468 140720438795216 140251767263352 140253122071169 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22258] ppid=22198 vsize=26646120 memory=-7827150150926572482 CPUtime=2.34 cores=0-7 /proc/22200/task/22258/stat : 22258 (java) R 22198 22198 19550 0 -1 4202560 25 0 0 0 234 0 0 0 20 0 28 0 89786276 27285626880 60949 33554432000 4194304 4196468 140720438795216 140251766211624 140253121009667 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22259] ppid=22198 vsize=26646120 memory=8401352418782109792 CPUtime=2.51 cores=0-7 /proc/22200/task/22259/stat : 22259 (java) R 22198 22198 19550 0 -1 4202560 21 0 0 0 250 1 0 0 20 0 28 0 89786277 27285626880 60949 33554432000 4194304 4196468 140720438795216 140251769369576 140253121901443 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 Current children cumulated CPU time: 30.48 s Current children cumulated vsize: 26759248 KiB Current children cumulated memory: 245248 KiB [startup+4.80154 s] /proc/loadavg: 7.54 7.87 7.63 12/207 22259 /proc/meminfo: memFree=22134080/32770624 swapFree=67108796/67108860 [pid=22198] ppid=22195 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22198/stat : 22198 (xcsp3-exec) S 22195 22198 19550 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89786154 115843072 363 33554432000 4194304 5098028 140721709810320 140721709808424 140430914962044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10317824 140721709818934 140721709819136 140721709819136 140721709821898 0 /proc/22198/statm: 28282 363 305 221 0 87 0 [pid=22200] ppid=22198 vsize=26646120 memory=244124 CPUtime=33.68 cores=0-7 /proc/22200/stat : 22200 (java) S 22198 22198 19550 0 -1 1077944320 34755 0 0 0 3352 16 0 0 20 0 28 0 89786155 27285626880 61031 33554432000 4194304 4196468 140720438795216 140720438777760 140253519159031 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 /proc/22200/statm: 6661530 61031 3425 1 0 6622724 0 [pid=22200/tid=22201] ppid=22198 vsize=26646120 memory=0 CPUtime=0.79 cores=0-7 /proc/22200/task/22201/stat : 22201 (java) S 22198 22198 19550 0 -1 1077944384 7370 0 0 0 75 4 0 0 20 0 28 0 89786155 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253523399808 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22202] ppid=22198 vsize=26646120 memory=140305173410016 CPUtime=0 cores=0-7 /proc/22200/task/22202/stat : 22202 (java) S 22198 22198 19550 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253441739920 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22203] ppid=22198 vsize=26646120 memory=1452 CPUtime=0 cores=0-7 /proc/22200/task/22203/stat : 22203 (java) S 22198 22198 19550 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253440687120 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22204] ppid=22198 vsize=26646120 memory=244928 CPUtime=0 cores=0-7 /proc/22200/task/22204/stat : 22204 (java) S 22198 22198 19550 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253439634320 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22205] ppid=22198 vsize=26646120 memory=4016 CPUtime=0 cores=0-7 /proc/22200/task/22205/stat : 22205 (java) S 22198 22198 19550 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253438581520 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22206] ppid=22198 vsize=26646120 memory=644 CPUtime=0 cores=0-7 /proc/22200/task/22206/stat : 22206 (java) S 22198 22198 19550 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253437528720 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22207] ppid=22198 vsize=26646120 memory=1676 CPUtime=0 cores=0-7 /proc/22200/task/22207/stat : 22207 (java) S 22198 22198 19550 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253436475920 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22208] ppid=22198 vsize=26646120 memory=960 CPUtime=0 cores=0-7 /proc/22200/task/22208/stat : 22208 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253435423120 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22209] ppid=22198 vsize=26646120 memory=1232 CPUtime=0 cores=0-7 /proc/22200/task/22209/stat : 22209 (java) S 22198 22198 19550 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253434370320 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22210] ppid=22198 vsize=26646120 memory=4068 CPUtime=0 cores=0-7 /proc/22200/task/22210/stat : 22210 (java) S 22198 22198 19550 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 89786157 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251790588784 140253519170178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22211] ppid=22198 vsize=26646120 memory=2244 CPUtime=0 cores=0-7 /proc/22200/task/22211/stat : 22211 (java) S 22198 22198 19550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 89786158 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251789534752 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22212] ppid=22198 vsize=26646120 memory=4124 CPUtime=0 cores=0-7 /proc/22200/task/22212/stat : 22212 (java) S 22198 22198 19550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 89786158 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251788481904 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22213] ppid=22198 vsize=26646120 memory=924 CPUtime=0 cores=0-7 /proc/22200/task/22213/stat : 22213 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89786160 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251787430224 140253519177627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22214] ppid=22198 vsize=26646120 memory=1572 CPUtime=2.21 cores=0-7 /proc/22200/task/22214/stat : 22214 (java) S 22198 22198 19550 0 -1 1077944384 6395 0 0 0 220 1 0 0 20 0 28 0 89786160 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251786377584 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22215] ppid=22198 vsize=26646120 memory=50916 CPUtime=2.28 cores=0-7 /proc/22200/task/22215/stat : 22215 (java) S 22198 22198 19550 0 -1 1077944384 7201 0 0 0 226 2 0 0 20 0 28 0 89786160 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251785324784 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22216] ppid=22198 vsize=26646120 memory=0 CPUtime=2.49 cores=0-7 /proc/22200/task/22216/stat : 22216 (java) S 22198 22198 19550 0 -1 1077944384 6853 0 0 0 248 1 0 0 20 0 28 0 89786160 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251784271984 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22217] ppid=22198 vsize=26646120 memory=288230574492221466 CPUtime=0.79 cores=0-7 /proc/22200/task/22217/stat : 22217 (java) S 22198 22198 19550 0 -1 1077944384 3993 0 0 0 78 1 0 0 20 0 28 0 89786160 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251783219184 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22218] ppid=22198 vsize=26646120 memory=288230583166042425 CPUtime=0 cores=0-7 /proc/22200/task/22218/stat : 22218 (java) S 22198 22198 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89786160 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251782167648 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22219] ppid=22198 vsize=26646120 memory=15539617717815893 CPUtime=0 cores=0-7 /proc/22200/task/22219/stat : 22219 (java) S 22198 22198 19550 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 89786161 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251781114928 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22252] ppid=22198 vsize=26646120 memory=0 CPUtime=3.15 cores=0-7 /proc/22200/task/22252/stat : 22252 (java) R 22198 22198 19550 0 -1 4202560 50 0 0 0 315 0 0 0 20 0 28 0 89786276 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251763056264 140253121011099 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22253] ppid=22198 vsize=26646120 memory=0 CPUtime=2.97 cores=0-7 /proc/22200/task/22253/stat : 22253 (java) R 22198 22198 19550 0 -1 4202560 53 0 0 0 297 0 0 0 20 0 28 0 89786276 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251762004552 140253120245024 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22254] ppid=22198 vsize=26646120 memory=0 CPUtime=3.05 cores=0-7 /proc/22200/task/22254/stat : 22254 (java) R 22198 22198 19550 0 -1 4202560 70 0 0 0 305 0 0 0 20 0 28 0 89786276 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251765158440 140253121006992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22255] ppid=22198 vsize=26646120 memory=0 CPUtime=2.93 cores=0-7 /proc/22200/task/22255/stat : 22255 (java) R 22198 22198 19550 0 -1 4202560 189 0 0 0 293 0 0 0 20 0 28 0 89786276 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251768316328 140253122105509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22256] ppid=22198 vsize=26646120 memory=6944656592455359580 CPUtime=2.69 cores=0-7 /proc/22200/task/22256/stat : 22256 (java) R 22198 22198 19550 0 -1 4202560 56 0 0 0 269 0 0 0 20 0 28 0 89786276 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251772518888 140253121512116 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22257] ppid=22198 vsize=26646120 memory=0 CPUtime=2.78 cores=0-7 /proc/22200/task/22257/stat : 22257 (java) R 22198 22198 19550 0 -1 4202560 72 0 0 0 278 0 0 0 20 0 28 0 89786276 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251767263352 140253121902077 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22258] ppid=22198 vsize=26646120 memory=9023629670928638048 CPUtime=2.66 cores=0-7 /proc/22200/task/22258/stat : 22258 (java) R 22198 22198 19550 0 -1 4202560 69 0 0 0 266 0 0 0 20 0 28 0 89786276 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251766215056 140253122082808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22259] ppid=22198 vsize=26646120 memory=6944656592387989600 CPUtime=2.89 cores=0-7 /proc/22200/task/22259/stat : 22259 (java) R 22198 22198 19550 0 -1 4202560 31 0 0 0 288 1 0 0 20 0 28 0 89786277 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251769369576 140253119741099 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 Current children cumulated CPU time: 33.68 s Current children cumulated vsize: 26759248 KiB Current children cumulated memory: 245576 KiB [startup+4.90153 s] /proc/loadavg: 7.54 7.87 7.63 12/207 22259 /proc/meminfo: memFree=22134080/32770624 swapFree=67108796/67108860 [pid=22198] ppid=22195 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22198/stat : 22198 (xcsp3-exec) S 22195 22198 19550 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89786154 115843072 363 33554432000 4194304 5098028 140721709810320 140721709808424 140430914962044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10317824 140721709818934 140721709819136 140721709819136 140721709821898 0 /proc/22198/statm: 28282 363 305 221 0 87 0 [pid=22200] ppid=22198 vsize=26646120 memory=244124 CPUtime=34.48 cores=0-7 /proc/22200/stat : 22200 (java) S 22198 22198 19550 0 -1 1077944320 34756 0 0 0 3432 16 0 0 20 0 28 0 89786155 27285626880 61031 33554432000 4194304 4196468 140720438795216 140720438777760 140253519159031 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 /proc/22200/statm: 6661530 61031 3425 1 0 6622724 0 [pid=22200/tid=22201] ppid=22198 vsize=26646120 memory=223888 CPUtime=0.79 cores=0-7 /proc/22200/task/22201/stat : 22201 (java) S 22198 22198 19550 0 -1 1077944384 7370 0 0 0 75 4 0 0 20 0 28 0 89786155 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253523399808 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22202] ppid=22198 vsize=26646120 memory=243956 CPUtime=0 cores=0-7 /proc/22200/task/22202/stat : 22202 (java) S 22198 22198 19550 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253441739920 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22203] ppid=22198 vsize=26646120 memory=111648 CPUtime=0 cores=0-7 /proc/22200/task/22203/stat : 22203 (java) S 22198 22198 19550 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253440687120 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22204] ppid=22198 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22204/stat : 22204 (java) S 22198 22198 19550 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253439634320 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22205] ppid=22198 vsize=26646120 memory=140305173147696 CPUtime=0 cores=0-7 /proc/22200/task/22205/stat : 22205 (java) S 22198 22198 19550 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253438581520 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22206] ppid=22198 vsize=26646120 memory=140305173147728 CPUtime=0 cores=0-7 /proc/22200/task/22206/stat : 22206 (java) S 22198 22198 19550 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253437528720 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22207] ppid=22198 vsize=26646120 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/22200/task/22207/stat : 22207 (java) S 22198 22198 19550 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253436475920 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22208] ppid=22198 vsize=26646120 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/22200/task/22208/stat : 22208 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253435423120 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22209] ppid=22198 vsize=26646120 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/22200/task/22209/stat : 22209 (java) S 22198 22198 19550 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 89786156 27285626880 61031 33554432000 4194304 4196468 140720438795216 140253434370320 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22210] ppid=22198 vsize=26646120 memory=1452 CPUtime=0 cores=0-7 /proc/22200/task/22210/stat : 22210 (java) S 22198 22198 19550 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 89786157 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251790588784 140253519170178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22211] ppid=22198 vsize=26646120 memory=205992 CPUtime=0 cores=0-7 /proc/22200/task/22211/stat : 22211 (java) S 22198 22198 19550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 89786158 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251789534752 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22212] ppid=22198 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22212/stat : 22212 (java) S 22198 22198 19550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 89786158 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251788481904 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22213] ppid=22198 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22213/stat : 22213 (java) S 22198 22198 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89786160 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251787430224 140253519177627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22214] ppid=22198 vsize=26646120 memory=0 CPUtime=2.21 cores=0-7 /proc/22200/task/22214/stat : 22214 (java) S 22198 22198 19550 0 -1 1077944384 6395 0 0 0 220 1 0 0 20 0 28 0 89786160 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251786377584 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22215] ppid=22198 vsize=26646120 memory=0 CPUtime=2.28 cores=0-7 /proc/22200/task/22215/stat : 22215 (java) S 22198 22198 19550 0 -1 1077944384 7201 0 0 0 226 2 0 0 20 0 28 0 89786160 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251785324784 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22216] ppid=22198 vsize=26646120 memory=0 CPUtime=2.49 cores=0-7 /proc/22200/task/22216/stat : 22216 (java) S 22198 22198 19550 0 -1 1077944384 6853 0 0 0 248 1 0 0 20 0 28 0 89786160 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251784271984 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22217] ppid=22198 vsize=26646120 memory=0 CPUtime=0.79 cores=0-7 /proc/22200/task/22217/stat : 22217 (java) S 22198 22198 19550 0 -1 1077944384 3993 0 0 0 78 1 0 0 20 0 28 0 89786160 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251783219184 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22218] ppid=22198 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/22200/task/22218/stat : 22218 (java) S 22198 22198 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89786160 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251782167648 140253519169237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22219] ppid=22198 vsize=26646120 memory=-6519613052471072158 CPUtime=0 cores=0-7 /proc/22200/task/22219/stat : 22219 (java) S 22198 22198 19550 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 89786161 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251781114928 140253519170178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22252] ppid=22198 vsize=26646120 memory=140305173373482 CPUtime=3.25 cores=0-7 /proc/22200/task/22252/stat : 22252 (java) R 22198 22198 19550 0 -1 4202560 50 0 0 0 325 0 0 0 20 0 28 0 89786276 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251763056264 140253121960483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22253] ppid=22198 vsize=26646120 memory=280610346820992 CPUtime=3.07 cores=0-7 /proc/22200/task/22253/stat : 22253 (java) R 22198 22198 19550 0 -1 4202560 53 0 0 0 307 0 0 0 20 0 28 0 89786276 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251762004552 140253122082808 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22254] ppid=22198 vsize=26646120 memory=7517460339186821457 CPUtime=3.15 cores=0-7 /proc/22200/task/22254/stat : 22254 (java) R 22198 22198 19550 0 -1 4202560 70 0 0 0 315 0 0 0 20 0 28 0 89786276 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251765158440 140253121787217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22255] ppid=22198 vsize=26646120 memory=280610346720224 CPUtime=3.03 cores=0-7 /proc/22200/task/22255/stat : 22255 (java) R 22198 22198 19550 0 -1 4202560 190 0 0 0 303 0 0 0 20 0 28 0 89786276 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251768316328 140253120820808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22256] ppid=22198 vsize=26646120 memory=0 CPUtime=2.79 cores=0-7 /proc/22200/task/22256/stat : 22256 (java) R 22198 22198 19550 0 -1 4202560 56 0 0 0 279 0 0 0 20 0 28 0 89786276 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251772518888 140253121012182 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22257] ppid=22198 vsize=26646120 memory=0 CPUtime=2.88 cores=0-7 /proc/22200/task/22257/stat : 22257 (java) R 22198 22198 19550 0 -1 4202560 72 0 0 0 288 0 0 0 20 0 28 0 89786276 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251767263352 140253121008488 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22258] ppid=22198 vsize=26646120 memory=0 CPUtime=2.76 cores=0-7 /proc/22200/task/22258/stat : 22258 (java) R 22198 22198 19550 0 -1 4202560 69 0 0 0 276 0 0 0 20 0 28 0 89786276 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251766215056 140253120245002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 [pid=22200/tid=22259] ppid=22198 vsize=26646120 memory=0 CPUtime=2.99 cores=0-7 /proc/22200/task/22259/stat : 22259 (java) R 22198 22198 19550 0 -1 4202560 31 0 0 0 298 1 0 0 20 0 28 0 89786277 27285626880 61031 33554432000 4194304 4196468 140720438795216 140251769369576 140253122082944 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24358912 140720438801537 140720438801709 140720438801709 140720438804431 0 Current children cumulated CPU time: 34.48 s Current children cumulated vsize: 26759248 KiB Current children cumulated memory: 245576 KiB Child status: 0 Real time (s): 4.97436 CPU time (s): 34.9655 CPU user time (s): 34.7915 CPU system time (s): 0.17402 CPU usage (%): 702.915 Max. virtual memory (cumulated for all children) (KiB): 26761932 Max. memory (cumulated for all children) (KiB): 246972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 34.7915 system time used= 0.17402 maximum resident set size= 245520 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35613 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= 4286 involuntary context switches= 1178 # summary of solver processes directly reported to runsolver: # pid: 22198 # total CPU time (s): 34.9655 # total CPU user time (s): 34.7915 # total CPU system time (s): 0.17402 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.07342 second user time and 0.080546 second system time The end
Begin job on node138 at 2018-07-27 22:10:30 IDJOB=4297474 IDBENCH=141480 IDSOLVER=2760 FILE ID=node138/4297474-1532722230 RUNJOBID= node138-1532713877-19577 PBS_JOBID= 21022322 Free space on /tmp= 53804 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Rcpsp/Rcpsp-j90-01-04_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297474-1532722230/watcher-4297474-1532722230 -o /tmp/evaluation-result-4297474-1532722230/solver-4297474-1532722230 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532713877-19577 --watchdog 2580 HOME/xcsp3-exec -seed 718862069 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297474-1532722230.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0eb6d6735b5266ca4e96e7e1d1b2460a RANDOM SEED=718862069 node138.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 : 5333.71 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 : 5333.71 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 : 5333.71 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 : 5333.71 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: 22364408 kB MemAvailable: 31919180 kB Buffers: 192316 kB Cached: 9573408 kB SwapCached: 44 kB Active: 2477888 kB Inactive: 7347820 kB Active(anon): 3316 kB Inactive(anon): 84528 kB Active(file): 2474572 kB Inactive(file): 7263292 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 21772 kB Writeback: 124 kB AnonPages: 67048 kB Mapped: 37212 kB Shmem: 25164 kB Slab: 273992 kB SReclaimable: 245368 kB SUnreclaim: 28624 kB KernelStack: 3200 kB PageTables: 4744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325176 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 53780 MiB End job on node138 at 2018-07-27 22:10:35