Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 68 | 122.384 | 16.0146 |
Name | Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-06-08.xml |
MD5SUM | 8d7da43fda8420e04b4d8dcd0c7711ab |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 68 |
Best CPU time to get the best result obtained on this benchmark | 50.7103 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 92 |
Number of constraints | 142 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 505 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":505,"count":91}] |
Minimum variable degree | 3 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":3,"count":10},{"degree":4,"count":26},{"degree":5,"count":23},{"degree":6,"count":22},{"degree":7,"count":11}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 48 |
Distribution of constraint arities | [{"arity":2,"count":138},{"arity":42,"count":1},{"arity":43,"count":1},{"arity":48,"count":2}] |
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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404686-1569001937.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404686-1569001937.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.15/0.82 c solve instance... 2.75/0.99 o 504 3.51/1.01 o 85 3.51/1.03 o 80 3.51/1.06 o 79 3.51/1.08 o 77 4.19/1.12 o 75 4.19/1.14 o 74 4.92/1.21 o 73 6.40/1.49 o 72 13.47/2.36 o 71 15.05/2.50 o 70 19.97/3.15 o 69 49.19/6.84 o 68 121.60/16.00 s OPTIMUM FOUND 121.60/16.00 v <instantiation> 121.60/16.00 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> 121.60/16.00 v <values>0 0 0 0 6 4 6 16 9 16 8 29 15 33 8 5 13 29 13 15 48 22 13 17 8 47 42 24 30 35 27 23 13 31 15 18 25 17 49 23 22 32 33 52 33 9 34 11 18 33 39 32 21 45 27 44 34 37 6 10 32 35 35 39 51 35 40 25 41 41 40 46 45 44 54 52 40 47 41 49 47 54 46 54 45 57 51 59 62 65 62 68 </values> 121.60/16.00 v </instantiation>
OK 68
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 (11967 MiB free) memory of node 1: 16384 MiB (9797 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404686-1569001937/watcher-4404686-1569001937 -o /var/tmp/evaluation-result-4404686-1569001937/solver-4404686-1569001937 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1568994486-15792 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1224376743 HOME/instance-4404686-1569001937.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=18347, runsolver pid=18344 Current StackSize limit: 8192 KiB [startup+0.10019 s]* /proc/loadavg: 8.06 8.33 8.31 3/213 18368 /proc/meminfo: memFree=22272100/32770624 swapFree=67001780/67108860 [pid=18347] ppid=18344 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18347/stat : 18347 (xcsp3-exec) S 18344 18347 15765 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476107706 115843072 362 33554432000 4194304 5098028 140722556669216 140722556667320 139651346408060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18735104 140722556670801 140722556671061 140722556671061 140722556673990 0 /proc/18347/statm: 28282 362 304 221 0 87 0 [pid=18349] ppid=18347 vsize=28227396 memory=29044 CPUtime=0.12 cores=0-7 /proc/18349/stat : 18349 (java) S 18347 18347 15765 0 -1 1077944320 5689 0 0 0 11 1 0 0 20 0 20 0 476107706 28904853504 7261 33554432000 4194304 4196468 140727031731024 140727031713568 139759533510391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 /proc/18349/statm: 7056849 7261 3152 1 0 7019032 0 [pid=18349/tid=18350] ppid=18347 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/18349/task/18350/stat : 18350 (java) R 18347 18347 15765 0 -1 4202560 3601 0 0 0 8 0 0 0 20 0 20 0 476107706 28904853504 7261 33554432000 4194304 4196468 140727031731024 139759537742656 139759533532317 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18351] ppid=18347 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/18349/task/18351/stat : 18351 (java) S 18347 18347 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 7261 33554432000 4194304 4196468 140727031731024 139759453362704 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18352] ppid=18347 vsize=28227396 memory=140514627466880 CPUtime=0 cores=0-7 /proc/18349/task/18352/stat : 18352 (java) S 18347 18347 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 7261 33554432000 4194304 4196468 140727031731024 139759452310160 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18353] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18353/stat : 18353 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 7261 33554432000 4194304 4196468 140727031731024 139759451257104 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18354] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18354/stat : 18354 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 7261 33554432000 4194304 4196468 140727031731024 139759450204560 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18355] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18355/stat : 18355 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 7261 33554432000 4194304 4196468 140727031731024 139759449152528 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18356] ppid=18347 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18349/task/18356/stat : 18356 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 7261 33554432000 4194304 4196468 140727031731024 139759448099984 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18357] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18357/stat : 18357 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 7261 33554432000 4194304 4196468 140727031731024 139759447046928 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18358] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18358/stat : 18358 (java) S 18347 18347 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 7261 33554432000 4194304 4196468 140727031731024 139759445994384 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18359] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18359/stat : 18359 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107709 28904853504 7261 33554432000 4194304 4196468 140727031731024 139758966634736 139759533521538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18360] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18360/stat : 18360 (java) S 18347 18347 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476107709 28904853504 7261 33554432000 4194304 4196468 140727031731024 139758965580960 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18361] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18361/stat : 18361 (java) S 18347 18347 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476107709 28904853504 7261 33554432000 4194304 4196468 140727031731024 139758964527856 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18362] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18362/stat : 18362 (java) S 18347 18347 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476107712 28904853504 7261 33554432000 4194304 4196468 140727031731024 139758963476432 139759533528987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18363] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18363/stat : 18363 (java) S 18347 18347 15765 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 476107712 28904853504 7261 33554432000 4194304 4196468 140727031731024 139758962424560 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18364] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18364/stat : 18364 (java) S 18347 18347 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476107712 28904853504 7261 33554432000 4194304 4196468 140727031731024 139758961372016 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18365] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18365/stat : 18365 (java) S 18347 18347 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476107712 28904853504 7261 33554432000 4194304 4196468 140727031731024 139758960318960 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18366] ppid=18347 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/18349/task/18366/stat : 18366 (java) R 18347 18347 15765 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 20 0 476107712 28904853504 7261 33554432000 4194304 4196468 140727031731024 139758959266416 139759125004409 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18367] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18367/stat : 18367 (java) S 18347 18347 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476107712 28904853504 7261 33554432000 4194304 4196468 140727031731024 139758958213600 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18368] ppid=18347 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18349/task/18368/stat : 18368 (java) S 18347 18347 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476107712 28904853504 7261 33554432000 4194304 4196468 140727031731024 139758957161136 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30492 KiB [startup+0.209995 s]* /proc/loadavg: 8.06 8.33 8.31 4/213 18368 /proc/meminfo: memFree=22258180/32770624 swapFree=67001780/67108860 [pid=18347] ppid=18344 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18347/stat : 18347 (xcsp3-exec) S 18344 18347 15765 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476107706 115843072 362 33554432000 4194304 5098028 140722556669216 140722556667320 139651346408060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18735104 140722556670801 140722556671061 140722556671061 140722556673990 0 /proc/18347/statm: 28282 362 304 221 0 87 0 [pid=18349] ppid=18347 vsize=28227396 memory=41144 CPUtime=0.34 cores=0-7 /proc/18349/stat : 18349 (java) S 18347 18347 15765 0 -1 1077944320 9522 0 0 0 31 3 0 0 20 0 20 0 476107706 28904853504 10286 33554432000 4194304 4196468 140727031731024 140727031713568 139759533510391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 /proc/18349/statm: 7056849 10286 3304 1 0 7019032 0 [pid=18349/tid=18350] ppid=18347 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/18349/task/18350/stat : 18350 (java) R 18347 18347 15765 0 -1 4202560 6635 0 0 0 17 2 0 0 20 0 20 0 476107706 28904853504 10286 33554432000 4194304 4196468 140727031731024 139759537740112 139759517590878 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18351] ppid=18347 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/18349/task/18351/stat : 18351 (java) S 18347 18347 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 10286 33554432000 4194304 4196468 140727031731024 139759453362704 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18352] ppid=18347 vsize=28227396 memory=288370890779178624 CPUtime=0 cores=0-7 /proc/18349/task/18352/stat : 18352 (java) S 18347 18347 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 10286 33554432000 4194304 4196468 140727031731024 139759452310160 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18353] ppid=18347 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18349/task/18353/stat : 18353 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 10286 33554432000 4194304 4196468 140727031731024 139759451257104 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18354] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18354/stat : 18354 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 10286 33554432000 4194304 4196468 140727031731024 139759450204560 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18355] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18355/stat : 18355 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 10286 33554432000 4194304 4196468 140727031731024 139759449152528 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18356] ppid=18347 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18349/task/18356/stat : 18356 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 10286 33554432000 4194304 4196468 140727031731024 139759448099984 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18357] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18357/stat : 18357 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 10286 33554432000 4194304 4196468 140727031731024 139759447046928 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18358] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18358/stat : 18358 (java) S 18347 18347 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476107707 28904853504 10286 33554432000 4194304 4196468 140727031731024 139759445994384 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18359] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18359/stat : 18359 (java) S 18347 18347 15765 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476107709 28904853504 10286 33554432000 4194304 4196468 140727031731024 139758966634736 139759533521538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18360] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18360/stat : 18360 (java) S 18347 18347 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476107709 28904853504 10286 33554432000 4194304 4196468 140727031731024 139758965580960 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18361] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18361/stat : 18361 (java) S 18347 18347 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476107709 28904853504 10286 33554432000 4194304 4196468 140727031731024 139758964527856 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18362] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18362/stat : 18362 (java) S 18347 18347 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476107712 28904853504 10286 33554432000 4194304 4196468 140727031731024 139758963476432 139759533528987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18363] ppid=18347 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18349/task/18363/stat : 18363 (java) S 18347 18347 15765 0 -1 1077944384 665 0 0 0 1 0 0 0 20 0 20 0 476107712 28904853504 10286 33554432000 4194304 4196468 140727031731024 139758962424560 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18364] ppid=18347 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18349/task/18364/stat : 18364 (java) S 18347 18347 15765 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 20 0 476107712 28904853504 10286 33554432000 4194304 4196468 140727031731024 139758961372016 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18365] ppid=18347 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/18349/task/18365/stat : 18365 (java) S 18347 18347 15765 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 20 0 476107712 28904853504 10286 33554432000 4194304 4196468 140727031731024 139758960318960 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18366] ppid=18347 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/18349/task/18366/stat : 18366 (java) R 18347 18347 15765 0 -1 4202560 778 0 0 0 7 0 0 0 20 0 20 0 476107712 28904853504 10286 33554432000 4194304 4196468 140727031731024 139758959266416 139759517590878 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18367] ppid=18347 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18367/stat : 18367 (java) S 18347 18347 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476107712 28904853504 10286 33554432000 4194304 4196468 140727031731024 139758958213600 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18368] ppid=18347 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18349/task/18368/stat : 18368 (java) S 18347 18347 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476107712 28904853504 10286 33554432000 4194304 4196468 140727031731024 139758957161136 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42592 KiB [startup+0.309722 s]* /proc/loadavg: 8.06 8.33 8.31 4/213 18368 /proc/meminfo: memFree=22250732/32770624 swapFree=67001780/67108860 [pid=18347] ppid=18344 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18347/stat : 18347 (xcsp3-exec) S 18344 18347 15765 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476107706 115843072 362 33554432000 4194304 5098028 140722556669216 140722556667320 139651346408060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18735104 140722556670801 140722556671061 140722556671061 140722556673990 0 /proc/18347/statm: 28282 362 304 221 0 87 0 [pid=18349] ppid=18347 vsize=28231652 memory=49804 CPUtime=0.52 cores=0-7 /proc/18349/stat : 18349 (java) S 18347 18347 15765 0 -1 1077944320 10832 0 0 0 49 3 0 0 20 0 20 0 476107706 28909211648 12451 33554432000 4194304 4196468 140727031731024 140727031713568 139759533510391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 /proc/18349/statm: 7057913 12451 3346 1 0 7019032 0 [pid=18349/tid=18350] ppid=18347 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/18349/task/18350/stat : 18350 (java) R 18347 18347 15765 0 -1 4202560 7763 0 0 0 27 2 0 0 20 0 20 0 476107706 28909211648 12478 33554432000 4194304 4196468 140727031731024 139759537741504 139759533532317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18351] ppid=18347 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18351/stat : 18351 (java) S 18347 18347 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476107707 28909211648 12478 33554432000 4194304 4196468 140727031731024 139759453362704 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18352] ppid=18347 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18352/stat : 18352 (java) S 18347 18347 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476107707 28909211648 12478 33554432000 4194304 4196468 140727031731024 139759452310160 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18353] ppid=18347 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18353/stat : 18353 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28909211648 12478 33554432000 4194304 4196468 140727031731024 139759451257104 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18354] ppid=18347 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18354/stat : 18354 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28909211648 12478 33554432000 4194304 4196468 140727031731024 139759450204560 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18355] ppid=18347 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18355/stat : 18355 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28909211648 12478 33554432000 4194304 4196468 140727031731024 139759449152528 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18356] ppid=18347 vsize=28231652 memory=140514485693103 CPUtime=0 cores=0-7 /proc/18349/task/18356/stat : 18356 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28909211648 12478 33554432000 4194304 4196468 140727031731024 139759448099984 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18357] ppid=18347 vsize=28231652 memory=140514485695408 CPUtime=0 cores=0-7 /proc/18349/task/18357/stat : 18357 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28909211648 12478 33554432000 4194304 4196468 140727031731024 139759447046928 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18358] ppid=18347 vsize=28231652 memory=140514485697712 CPUtime=0 cores=0-7 /proc/18349/task/18358/stat : 18358 (java) S 18347 18347 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476107707 28909211648 12478 33554432000 4194304 4196468 140727031731024 139759445994384 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18359] ppid=18347 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18359/stat : 18359 (java) S 18347 18347 15765 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476107709 28909211648 12478 33554432000 4194304 4196468 140727031731024 139758966634736 139759533521538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18360] ppid=18347 vsize=28231652 memory=281028971409296 CPUtime=0 cores=0-7 /proc/18349/task/18360/stat : 18360 (java) S 18347 18347 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476107709 28909211648 12478 33554432000 4194304 4196468 140727031731024 139758965580960 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18361] ppid=18347 vsize=28231652 memory=281028971406992 CPUtime=0 cores=0-7 /proc/18349/task/18361/stat : 18361 (java) S 18347 18347 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476107709 28909211648 12478 33554432000 4194304 4196468 140727031731024 139758964527856 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18362] ppid=18347 vsize=28231652 memory=281028971413904 CPUtime=0 cores=0-7 /proc/18349/task/18362/stat : 18362 (java) S 18347 18347 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476107712 28909211648 12478 33554432000 4194304 4196468 140727031731024 139758963476432 139759533528987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18363] ppid=18347 vsize=28231652 memory=281028971355184 CPUtime=0.03 cores=0-7 /proc/18349/task/18363/stat : 18363 (java) R 18347 18347 15765 0 -1 4202560 754 0 0 0 3 0 0 0 20 0 20 0 476107712 28909211648 12478 33554432000 4194304 4196468 140727031731024 139758962416016 139759533524255 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18364] ppid=18347 vsize=28231652 memory=281028971427728 CPUtime=0.02 cores=0-7 /proc/18349/task/18364/stat : 18364 (java) S 18347 18347 15765 0 -1 1077944384 45 0 0 0 2 0 0 0 20 0 20 0 476107712 28909211648 12478 33554432000 4194304 4196468 140727031731024 139758961372016 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18365] ppid=18347 vsize=28231652 memory=281028971434640 CPUtime=0.03 cores=0-7 /proc/18349/task/18365/stat : 18365 (java) S 18347 18347 15765 0 -1 1077944384 117 0 0 0 3 0 0 0 20 0 20 0 476107712 28909211648 12478 33554432000 4194304 4196468 140727031731024 139758960318960 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18366] ppid=18347 vsize=28231652 memory=281028971432336 CPUtime=0.12 cores=0-7 /proc/18349/task/18366/stat : 18366 (java) S 18347 18347 15765 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 20 0 476107712 28909211648 12478 33554432000 4194304 4196468 140727031731024 139758959266416 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18367] ppid=18347 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18367/stat : 18367 (java) S 18347 18347 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476107712 28909211648 12478 33554432000 4194304 4196468 140727031731024 139758958213600 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18368] ppid=18347 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/18349/task/18368/stat : 18368 (java) S 18347 18347 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476107712 28909211648 12478 33554432000 4194304 4196468 140727031731024 139758957161136 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51252 KiB [startup+0.700895 s] /proc/loadavg: 8.06 8.33 8.31 5/213 18368 /proc/meminfo: memFree=22233416/32770624 swapFree=67001780/67108860 [pid=18347] ppid=18344 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18347/stat : 18347 (xcsp3-exec) S 18344 18347 15765 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476107706 115843072 362 33554432000 4194304 5098028 140722556669216 140722556667320 139651346408060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18735104 140722556670801 140722556671061 140722556671061 140722556673990 0 /proc/18347/statm: 28282 362 304 221 0 87 0 [pid=18349] ppid=18347 vsize=28233776 memory=88856 CPUtime=1.69 cores=0-7 /proc/18349/stat : 18349 (java) S 18347 18347 15765 0 -1 1077944320 15466 0 0 0 163 6 0 0 20 0 20 0 476107706 28911386624 22214 33554432000 4194304 4196468 140727031731024 140727031713568 139759533510391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 /proc/18349/statm: 7058444 22214 3454 1 0 7019544 0 [pid=18349/tid=18350] ppid=18347 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/18349/task/18350/stat : 18350 (java) R 18347 18347 15765 0 -1 4202560 9360 0 0 0 64 4 0 0 20 0 20 0 476107706 28911386624 22214 33554432000 4194304 4196468 140727031731024 139759537745440 139759128626270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18351] ppid=18347 vsize=28233776 memory=140514485904240 CPUtime=0 cores=0-7 /proc/18349/task/18351/stat : 18351 (java) S 18347 18347 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476107707 28911386624 22214 33554432000 4194304 4196468 140727031731024 139759453362704 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18352] ppid=18347 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18352/stat : 18352 (java) S 18347 18347 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476107707 28911386624 22214 33554432000 4194304 4196468 140727031731024 139759452310160 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18353] ppid=18347 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/18349/task/18353/stat : 18353 (java) S 18347 18347 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476107707 28911386624 22214 33554432000 4194304 4196468 140727031731024 139759451257104 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 ################ # More data... # ################ [pid=18349/tid=18475] ppid=18347 vsize=28769364 memory=7523936522686582888 CPUtime=7.4 cores=0-7 /proc/18349/task/18475/stat : 18475 (java) R 18347 18347 15765 0 -1 4202560 485 0 0 0 740 0 0 0 20 0 28 0 476108390 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758946083032 139759133318995 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18476] ppid=18347 vsize=28769364 memory=7234860531581480037 CPUtime=7.42 cores=0-7 /proc/18349/task/18476/stat : 18476 (java) R 18347 18347 15765 0 -1 4202560 545 0 0 0 742 0 0 0 20 0 28 0 476108390 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758945030664 139759133318500 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18477] ppid=18347 vsize=28769364 memory=7236269117964771923 CPUtime=7.45 cores=0-7 /proc/18349/task/18477/stat : 18477 (java) R 18347 18347 15765 0 -1 4202560 396 0 0 0 745 0 0 0 20 0 28 0 476108390 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758106033888 139759133450547 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18478] ppid=18347 vsize=28769364 memory=7236269117964771923 CPUtime=7.35 cores=0-7 /proc/18349/task/18478/stat : 18478 (java) R 18347 18347 15765 0 -1 4202560 205 0 0 0 735 0 0 0 20 0 28 0 476108390 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758104981496 139759133162763 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18479] ppid=18347 vsize=28769364 memory=7236269117964771923 CPUtime=7.35 cores=0-7 /proc/18349/task/18479/stat : 18479 (java) R 18347 18347 15765 0 -1 4202560 122 0 0 0 735 0 0 0 20 0 28 0 476108390 29459828736 67085 33554432000 4194304 4196468 140727031731024 139757900254888 139759131590099 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18480] ppid=18347 vsize=28769364 memory=7236269117964771923 CPUtime=7.39 cores=0-7 /proc/18349/task/18480/stat : 18480 (java) R 18347 18347 15765 0 -1 4202560 253 0 0 0 739 0 0 0 20 0 28 0 476108390 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758942924696 139759133319240 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 Current children cumulated CPU time: 109.67 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 269788 KiB [startup+15.2017 s] /proc/loadavg: 7.78 8.25 8.29 9/221 18480 /proc/meminfo: memFree=22032760/32770624 swapFree=67001780/67108860 [pid=18347] ppid=18344 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18347/stat : 18347 (xcsp3-exec) S 18344 18347 15765 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476107706 115843072 362 33554432000 4194304 5098028 140722556669216 140722556667320 139651346408060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18735104 140722556670801 140722556671061 140722556671061 140722556673990 0 /proc/18347/statm: 28282 362 304 221 0 87 0 [pid=18349] ppid=18347 vsize=28769364 memory=268340 CPUtime=116.05 cores=0-7 /proc/18349/stat : 18349 (java) S 18347 18347 15765 0 -1 1077944320 71682 0 0 0 11571 34 0 0 20 0 28 0 476107706 29459828736 67085 33554432000 4194304 4196468 140727031731024 140727031713568 139759533510391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 /proc/18349/statm: 7192341 67085 3535 1 0 7153441 0 [pid=18349/tid=18350] ppid=18347 vsize=28769364 memory=11044 CPUtime=0.83 cores=0-7 /proc/18349/task/18350/stat : 18350 (java) S 18347 18347 15765 0 -1 1077944384 9767 0 0 0 79 4 0 0 20 0 28 0 476107706 29459828736 67085 33554432000 4194304 4196468 140727031731024 139759537751168 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18351] ppid=18347 vsize=28769364 memory=13252 CPUtime=0.01 cores=0-7 /proc/18349/task/18351/stat : 18351 (java) S 18347 18347 15765 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 28 0 476107707 29459828736 67085 33554432000 4194304 4196468 140727031731024 139759453362704 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18352] ppid=18347 vsize=28769364 memory=15460 CPUtime=0 cores=0-7 /proc/18349/task/18352/stat : 18352 (java) S 18347 18347 15765 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 476107707 29459828736 67085 33554432000 4194304 4196468 140727031731024 139759452310160 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18353] ppid=18347 vsize=28769364 memory=17668 CPUtime=0.01 cores=0-7 /proc/18349/task/18353/stat : 18353 (java) S 18347 18347 15765 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 28 0 476107707 29459828736 67085 33554432000 4194304 4196468 140727031731024 139759451257104 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18354] ppid=18347 vsize=28769364 memory=19876 CPUtime=0 cores=0-7 /proc/18349/task/18354/stat : 18354 (java) S 18347 18347 15765 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 28 0 476107707 29459828736 67085 33554432000 4194304 4196468 140727031731024 139759450204560 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18355] ppid=18347 vsize=28769364 memory=22084 CPUtime=0 cores=0-7 /proc/18349/task/18355/stat : 18355 (java) S 18347 18347 15765 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 476107707 29459828736 67085 33554432000 4194304 4196468 140727031731024 139759449152528 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18356] ppid=18347 vsize=28769364 memory=24292 CPUtime=0 cores=0-7 /proc/18349/task/18356/stat : 18356 (java) S 18347 18347 15765 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 476107707 29459828736 67085 33554432000 4194304 4196468 140727031731024 139759448099984 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18357] ppid=18347 vsize=28769364 memory=26500 CPUtime=0.01 cores=0-7 /proc/18349/task/18357/stat : 18357 (java) S 18347 18347 15765 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 28 0 476107707 29459828736 67085 33554432000 4194304 4196468 140727031731024 139759447046928 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18358] ppid=18347 vsize=28769364 memory=28708 CPUtime=0.01 cores=0-7 /proc/18349/task/18358/stat : 18358 (java) S 18347 18347 15765 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 28 0 476107707 29459828736 67085 33554432000 4194304 4196468 140727031731024 139759445994384 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18359] ppid=18347 vsize=28769364 memory=30916 CPUtime=0.01 cores=0-7 /proc/18349/task/18359/stat : 18359 (java) S 18347 18347 15765 0 -1 1077944384 484 0 0 0 1 0 0 0 20 0 28 0 476107709 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758966634736 139759533521538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18360] ppid=18347 vsize=28769364 memory=248996 CPUtime=0 cores=0-7 /proc/18349/task/18360/stat : 18360 (java) S 18347 18347 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476107709 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758965581024 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18361] ppid=18347 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18361/stat : 18361 (java) S 18347 18347 15765 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 476107709 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758964527872 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18362] ppid=18347 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18362/stat : 18362 (java) S 18347 18347 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476107712 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758963476432 139759533528987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18363] ppid=18347 vsize=28769364 memory=0 CPUtime=2.87 cores=0-7 /proc/18349/task/18363/stat : 18363 (java) S 18347 18347 15765 0 -1 1077944384 13073 0 0 0 282 5 0 0 20 0 28 0 476107712 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758962424560 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18364] ppid=18347 vsize=28769364 memory=0 CPUtime=2.49 cores=0-7 /proc/18349/task/18364/stat : 18364 (java) S 18347 18347 15765 0 -1 1077944384 14414 0 0 0 244 5 0 0 20 0 28 0 476107712 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758961372016 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18365] ppid=18347 vsize=28769364 memory=0 CPUtime=2.76 cores=0-7 /proc/18349/task/18365/stat : 18365 (java) S 18347 18347 15765 0 -1 1077944384 15066 0 0 0 269 7 0 0 20 0 28 0 476107712 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758960318960 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18366] ppid=18347 vsize=28769364 memory=0 CPUtime=0.93 cores=0-7 /proc/18349/task/18366/stat : 18366 (java) S 18347 18347 15765 0 -1 1077944384 8311 0 0 0 91 2 0 0 20 0 28 0 476107712 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758959266416 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18367] ppid=18347 vsize=28769364 memory=140514485894017 CPUtime=0 cores=0-7 /proc/18349/task/18367/stat : 18367 (java) S 18347 18347 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476107712 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758958213600 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18368] ppid=18347 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18368/stat : 18368 (java) S 18347 18347 15765 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 28 0 476107712 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758957161136 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18473] ppid=18347 vsize=28769364 memory=0 CPUtime=8.12 cores=0-7 /proc/18349/task/18473/stat : 18473 (java) R 18347 18347 15765 0 -1 4202560 387 0 0 0 812 0 0 0 20 0 28 0 476108390 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758943975752 139759133631035 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18474] ppid=18347 vsize=28769364 memory=281028971800096 CPUtime=8.29 cores=0-7 /proc/18349/task/18474/stat : 18474 (java) R 18347 18347 15765 0 -1 4202560 136 0 0 0 829 0 0 0 20 0 28 0 476108390 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758102876424 139759132945361 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18475] ppid=18347 vsize=28769364 memory=3689770799891537862 CPUtime=8.2 cores=0-7 /proc/18349/task/18475/stat : 18475 (java) R 18347 18347 15765 0 -1 4202560 699 0 0 0 820 0 0 0 20 0 28 0 476108390 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758946083720 139759133452255 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18476] ppid=18347 vsize=28769364 memory=0 CPUtime=8.21 cores=0-7 /proc/18349/task/18476/stat : 18476 (java) R 18347 18347 15765 0 -1 4202560 768 0 0 0 821 0 0 0 20 0 28 0 476108390 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758945030408 139759132412826 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18477] ppid=18347 vsize=28769364 memory=0 CPUtime=8.23 cores=0-7 /proc/18349/task/18477/stat : 18477 (java) R 18347 18347 15765 0 -1 4202560 446 0 0 0 823 0 0 0 20 0 28 0 476108390 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758106034824 139759133002296 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18478] ppid=18347 vsize=28769364 memory=288230574492221466 CPUtime=8.15 cores=0-7 /proc/18349/task/18478/stat : 18478 (java) R 18347 18347 15765 0 -1 4202560 237 0 0 0 815 0 0 0 20 0 28 0 476108390 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758104982008 139759133560846 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18479] ppid=18347 vsize=28769364 memory=288230596050944315 CPUtime=8.15 cores=0-7 /proc/18349/task/18479/stat : 18479 (java) R 18347 18347 15765 0 -1 4202560 128 0 0 0 815 0 0 0 20 0 28 0 476108390 29459828736 67085 33554432000 4194304 4196468 140727031731024 139757900255256 139759133318912 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18480] ppid=18347 vsize=28769364 memory=15816698942984824 CPUtime=8.19 cores=0-7 /proc/18349/task/18480/stat : 18480 (java) R 18347 18347 15765 0 -1 4202560 282 0 0 0 819 0 0 0 20 0 28 0 476108390 29459828736 67085 33554432000 4194304 4196468 140727031731024 139758942925320 139759133452262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 Current children cumulated CPU time: 116.05 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 269788 KiB [startup+15.6017 s] /proc/loadavg: 7.78 8.25 8.29 9/221 18480 /proc/meminfo: memFree=22032760/32770624 swapFree=67001780/67108860 [pid=18347] ppid=18344 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18347/stat : 18347 (xcsp3-exec) S 18344 18347 15765 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476107706 115843072 362 33554432000 4194304 5098028 140722556669216 140722556667320 139651346408060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18735104 140722556670801 140722556671061 140722556671061 140722556673990 0 /proc/18347/statm: 28282 362 304 221 0 87 0 [pid=18349] ppid=18347 vsize=28769364 memory=270456 CPUtime=119.2 cores=0-7 /proc/18349/stat : 18349 (java) S 18347 18347 15765 0 -1 1077944320 73723 0 0 0 11884 36 0 0 20 0 28 0 476107706 29459828736 67614 33554432000 4194304 4196468 140727031731024 140727031713568 139759533510391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 /proc/18349/statm: 7192341 67614 3536 1 0 7153441 0 [pid=18349/tid=18350] ppid=18347 vsize=28769364 memory=6791534058613427641 CPUtime=0.83 cores=0-7 /proc/18349/task/18350/stat : 18350 (java) S 18347 18347 15765 0 -1 1077944384 9767 0 0 0 79 4 0 0 20 0 28 0 476107706 29459828736 67614 33554432000 4194304 4196468 140727031731024 139759537751168 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18351] ppid=18347 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/18349/task/18351/stat : 18351 (java) S 18347 18347 15765 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 476107707 29459828736 67614 33554432000 4194304 4196468 140727031731024 139759453362704 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18352] ppid=18347 vsize=28769364 memory=3472468810713442128 CPUtime=0.01 cores=0-7 /proc/18349/task/18352/stat : 18352 (java) S 18347 18347 15765 0 -1 1077944384 128 0 0 0 1 0 0 0 20 0 28 0 476107707 29459828736 67614 33554432000 4194304 4196468 140727031731024 139759452310160 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18353] ppid=18347 vsize=28769364 memory=8257237230706253920 CPUtime=0.01 cores=0-7 /proc/18349/task/18353/stat : 18353 (java) S 18347 18347 15765 0 -1 1077944384 202 0 0 0 1 0 0 0 20 0 28 0 476107707 29459828736 67614 33554432000 4194304 4196468 140727031731024 139759451257104 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18354] ppid=18347 vsize=28769364 memory=-8529969244802432967 CPUtime=0 cores=0-7 /proc/18349/task/18354/stat : 18354 (java) S 18347 18347 15765 0 -1 1077944384 1200 0 0 0 0 0 0 0 20 0 28 0 476107707 29459828736 67614 33554432000 4194304 4196468 140727031731024 139759450204560 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18355] ppid=18347 vsize=28769364 memory=281028972281360 CPUtime=0.01 cores=0-7 /proc/18349/task/18355/stat : 18355 (java) S 18347 18347 15765 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 28 0 476107707 29459828736 67614 33554432000 4194304 4196468 140727031731024 139759449152528 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18356] ppid=18347 vsize=28769364 memory=281028972232000 CPUtime=0 cores=0-7 /proc/18349/task/18356/stat : 18356 (java) S 18347 18347 15765 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 476107707 29459828736 67614 33554432000 4194304 4196468 140727031731024 139759448099984 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18357] ppid=18347 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/18349/task/18357/stat : 18357 (java) S 18347 18347 15765 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 28 0 476107707 29459828736 67614 33554432000 4194304 4196468 140727031731024 139759447046928 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18358] ppid=18347 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/18349/task/18358/stat : 18358 (java) S 18347 18347 15765 0 -1 1077944384 585 0 0 0 1 0 0 0 20 0 28 0 476107707 29459828736 67614 33554432000 4194304 4196468 140727031731024 139759445994384 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18359] ppid=18347 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/18349/task/18359/stat : 18359 (java) S 18347 18347 15765 0 -1 1077944384 670 0 0 0 1 0 0 0 20 0 28 0 476107709 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758966634736 139759533521538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18360] ppid=18347 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18360/stat : 18360 (java) S 18347 18347 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476107709 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758965581024 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18361] ppid=18347 vsize=28769364 memory=69009 CPUtime=0 cores=0-7 /proc/18349/task/18361/stat : 18361 (java) S 18347 18347 15765 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 476107709 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758964527872 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18362] ppid=18347 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18362/stat : 18362 (java) S 18347 18347 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476107712 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758963476432 139759533528987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18363] ppid=18347 vsize=28769364 memory=-3253322038155611931 CPUtime=2.87 cores=0-7 /proc/18349/task/18363/stat : 18363 (java) S 18347 18347 15765 0 -1 1077944384 13073 0 0 0 282 5 0 0 20 0 28 0 476107712 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758962424560 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18364] ppid=18347 vsize=28769364 memory=6944656592387989600 CPUtime=2.49 cores=0-7 /proc/18349/task/18364/stat : 18364 (java) S 18347 18347 15765 0 -1 1077944384 14414 0 0 0 244 5 0 0 20 0 28 0 476107712 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758961372016 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18365] ppid=18347 vsize=28769364 memory=6791534058613427641 CPUtime=2.76 cores=0-7 /proc/18349/task/18365/stat : 18365 (java) S 18347 18347 15765 0 -1 1077944384 15204 0 0 0 269 7 0 0 20 0 28 0 476107712 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758960318960 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18366] ppid=18347 vsize=28769364 memory=13 CPUtime=0.93 cores=0-7 /proc/18349/task/18366/stat : 18366 (java) S 18347 18347 15765 0 -1 1077944384 8311 0 0 0 91 2 0 0 20 0 28 0 476107712 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758959266416 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18367] ppid=18347 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/18349/task/18367/stat : 18367 (java) S 18347 18347 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476107712 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758958213600 139759533520597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18368] ppid=18347 vsize=28769364 memory=1557 CPUtime=0 cores=0-7 /proc/18349/task/18368/stat : 18368 (java) S 18347 18347 15765 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 28 0 476107712 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758957161136 139759533521538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18473] ppid=18347 vsize=28769364 memory=32350 CPUtime=8.5 cores=0-7 /proc/18349/task/18473/stat : 18473 (java) R 18347 18347 15765 0 -1 4202560 396 0 0 0 850 0 0 0 20 0 28 0 476108390 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758943975576 139759132894606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18474] ppid=18347 vsize=28769364 memory=0 CPUtime=8.68 cores=0-7 /proc/18349/task/18474/stat : 18474 (java) R 18347 18347 15765 0 -1 4202560 138 0 0 0 868 0 0 0 20 0 28 0 476108390 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758102875552 139759131025143 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18475] ppid=18347 vsize=28769364 memory=1 CPUtime=8.59 cores=0-7 /proc/18349/task/18475/stat : 18475 (java) R 18347 18347 15765 0 -1 4202560 701 0 0 0 859 0 0 0 20 0 28 0 476108390 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758946083064 139759133634297 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18476] ppid=18347 vsize=28769364 memory=0 CPUtime=8.61 cores=0-7 /proc/18349/task/18476/stat : 18476 (java) R 18347 18347 15765 0 -1 4202560 773 0 0 0 861 0 0 0 20 0 28 0 476108390 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758945032320 139759132945351 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18477] ppid=18347 vsize=28769364 memory=1242 CPUtime=8.61 cores=0-7 /proc/18349/task/18477/stat : 18477 (java) R 18347 18347 15765 0 -1 4202560 447 0 0 0 861 0 0 0 20 0 28 0 476108390 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758106034472 139759133628048 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18478] ppid=18347 vsize=28769364 memory=2557 CPUtime=8.55 cores=0-7 /proc/18349/task/18478/stat : 18478 (java) R 18347 18347 15765 0 -1 4202560 238 0 0 0 855 0 0 0 20 0 28 0 476108390 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758104981360 139759133451905 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18479] ppid=18347 vsize=28769364 memory=264 CPUtime=8.54 cores=0-7 /proc/18349/task/18479/stat : 18479 (java) R 18347 18347 15765 0 -1 4202560 129 0 0 0 854 0 0 0 20 0 28 0 476108390 29459828736 67614 33554432000 4194304 4196468 140727031731024 139757900254976 139759133627943 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 [pid=18349/tid=18480] ppid=18347 vsize=28769364 memory=56 CPUtime=8.56 cores=0-7 /proc/18349/task/18480/stat : 18480 (java) R 18347 18347 15765 0 -1 4202560 334 0 0 0 856 0 0 0 20 0 28 0 476108390 29459828736 67614 33554432000 4194304 4196468 140727031731024 139758942924384 139759133317355 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22343680 140727031735254 140727031735430 140727031735430 140727031738319 0 Current children cumulated CPU time: 119.2 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 271904 KiB [startup+16.001 s]* /proc/loadavg: 7.78 8.25 8.29 5/221 18480 /proc/meminfo: memFree=22030960/32770624 swapFree=67001780/67108860 [pid=18347] ppid=18344 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18347/stat : 18347 (xcsp3-exec) S 18344 18347 15765 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476107706 115843072 362 33554432000 4194304 5098028 140722556669216 140722556667320 139651346408060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18735104 140722556670801 140722556671061 140722556671061 140722556673990 0 /proc/18347/statm: 28282 362 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1448 KiB Child status: 0 Real time (s): 16.0146 CPU time (s): 122.384 CPU user time (s): 122.009 CPU system time (s): 0.374997 CPU usage (%): 764.204 Max. virtual memory (cumulated for all children) (KiB): 28884188 Max. memory (cumulated for all children) (KiB): 271908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 122.009 system time used= 0.374997 maximum resident set size= 270460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75027 page faults= 0 swaps= 0 block input operations= 0 block output operations= 168 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6089 involuntary context switches= 2378 # summary of solver processes directly reported to runsolver: # pid: 18347 # total CPU time (s): 122.384 # total CPU user time (s): 122.009 # total CPU system time (s): 0.374997 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.156348 second user time and 0.21135 second system time The end
Begin job on node146 at 2019-09-20 19:51:36 IDJOB=4404686 IDBENCH=128773 IDSOLVER=2865 FILE ID=node146/4404686-1569001937 RUNJOBID= node146-1568994486-15792 PBS_JOBID= 21704725 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j90/Rcpsp-j90-06-08.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404686-1569001937/watcher-4404686-1569001937 -o /var/tmp/evaluation-result-4404686-1569001937/solver-4404686-1569001937 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1568994486-15792 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1224376743 HOME/instance-4404686-1569001937.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8d7da43fda8420e04b4d8dcd0c7711ab RANDOM SEED=1224376743 node146.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 22288572 kB MemAvailable: 31850648 kB Buffers: 95240 kB Cached: 9508444 kB SwapCached: 3812 kB Active: 4774272 kB Inactive: 4834356 kB Active(anon): 1832 kB Inactive(anon): 50856 kB Active(file): 4772440 kB Inactive(file): 4783500 kB Unevictable: 110668 kB Mlocked: 110668 kB SwapTotal: 67108860 kB SwapFree: 67001780 kB Dirty: 26272 kB Writeback: 0 kB AnonPages: 130640 kB Mapped: 52044 kB Shmem: 38868 kB Slab: 463092 kB SReclaimable: 434596 kB SUnreclaim: 28496 kB KernelStack: 3760 kB PageTables: 6052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507600 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /var/tmp at the end= 13484 MiB End job on node146 at 2019-09-20 19:51:53