Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 68 | 138.02 | 17.9808 |
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-4399886-1568708112.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399886-1568708112.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 2.12/0.83 c solve instance... 2.69/0.99 o 500 2.69/1.00 o 82 3.47/1.03 o 80 3.47/1.06 o 79 3.47/1.07 o 77 3.47/1.10 o 75 4.08/1.12 o 74 4.08/1.16 o 73 19.07/3.02 o 72 19.07/3.09 o 71 25.25/3.80 o 70 26.85/4.04 o 69 40.25/5.70 o 68 137.48/17.96 s OPTIMUM FOUND 137.48/17.96 v <instantiation> 137.48/17.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> 137.48/17.96 v <values>0 0 0 0 6 4 6 16 9 16 6 32 17 23 8 7 15 26 13 17 43 25 13 19 8 46 25 11 29 13 32 23 14 12 14 20 27 18 60 23 26 36 35 43 43 9 37 11 20 33 26 32 19 53 29 44 33 23 16 9 31 36 39 39 32 37 40 35 45 36 34 46 44 44 54 54 36 48 43 47 47 56 46 55 49 57 51 59 64 65 62 68 </values> 137.48/17.96 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 (15275 MiB free) memory of node 1: 16384 MiB (15686 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399886-1568708112/watcher-4399886-1568708112 -o /tmp/evaluation-result-4399886-1568708112/solver-4399886-1568708112 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1053653606 HOME/instance-4399886-1568708112.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=1463, runsolver pid=1460 [startup+0.100113 s]* /proc/loadavg: 7.96 7.94 7.68 2/212 1484 /proc/meminfo: memFree=31688252/32770624 swapFree=66977240/67108860 [pid=1463] ppid=1460 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1463/stat : 1463 (xcsp3-exec) S 1460 1463 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447073888 115843072 364 33554432000 4194304 5098028 140737021925648 140737021923752 140355588682364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20697088 140737021932405 140737021932649 140737021932649 140737021935562 0 /proc/1463/statm: 28282 364 305 221 0 87 0 [pid=1465] ppid=1463 vsize=28227396 memory=28836 CPUtime=0.12 cores=0-7 /proc/1465/stat : 1465 (java) S 1463 1463 29062 0 -1 1077944320 5700 0 0 0 11 1 0 0 20 0 20 0 447073888 28904853504 7209 33554432000 4194304 4196468 140732386048640 140732386031184 140579192098551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 /proc/1465/statm: 7056849 7209 3122 1 0 7019032 0 [pid=1465/tid=1466] ppid=1463 vsize=28227396 memory=-7096649868621430206 CPUtime=0.09 cores=0-7 /proc/1465/task/1466/stat : 1466 (java) R 1463 1463 29062 0 -1 4202560 3604 0 0 0 8 1 0 0 20 0 20 0 447073889 28904853504 7209 33554432000 4194304 4196468 140732386048640 140579196325024 140579173493757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1467] ppid=1463 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/1465/task/1467/stat : 1467 (java) S 1463 1463 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578743507984 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1468] ppid=1463 vsize=28227396 memory=139800446989952 CPUtime=0 cores=0-7 /proc/1465/task/1468/stat : 1468 (java) S 1463 1463 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578742455440 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1469] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1469/stat : 1469 (java) S 1463 1463 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578741402384 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1470] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1470/stat : 1470 (java) S 1463 1463 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578740349840 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1471] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1471/stat : 1471 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578739296784 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1472] ppid=1463 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1465/task/1472/stat : 1472 (java) S 1463 1463 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578738244240 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1473] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1473/stat : 1473 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578737191184 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1474] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1474/stat : 1474 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578736138640 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1475] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1475/stat : 1475 (java) S 1463 1463 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447073891 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578576726768 140579192109698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1476] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1476/stat : 1476 (java) S 1463 1463 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447073892 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578575672992 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1477] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1477/stat : 1477 (java) S 1463 1463 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447073892 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578373231856 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1478] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1478/stat : 1478 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447073894 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578372180432 140579192117147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1479] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1479/stat : 1479 (java) S 1463 1463 29062 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 447073894 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578371127536 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1480] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1480/stat : 1480 (java) R 1463 1463 29062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 447073894 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578370074992 140579192109698 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1481] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1481/stat : 1481 (java) S 1463 1463 29062 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 447073894 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578369021936 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1482] ppid=1463 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/1465/task/1482/stat : 1482 (java) R 1463 1463 29062 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 20 0 447073894 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578367969392 140579192119898 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1483] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1483/stat : 1483 (java) S 1463 1463 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447073894 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578366917600 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1484] ppid=1463 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1465/task/1484/stat : 1484 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447073895 28904853504 7209 33554432000 4194304 4196468 140732386048640 140578365865136 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30292 KiB [startup+0.209909 s]* /proc/loadavg: 7.96 7.94 7.68 2/212 1484 /proc/meminfo: memFree=31674536/32770624 swapFree=66977240/67108860 [pid=1463] ppid=1460 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1463/stat : 1463 (xcsp3-exec) S 1460 1463 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447073888 115843072 364 33554432000 4194304 5098028 140737021925648 140737021923752 140355588682364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20697088 140737021932405 140737021932649 140737021932649 140737021935562 0 /proc/1463/statm: 28282 364 305 221 0 87 0 [pid=1465] ppid=1463 vsize=28227396 memory=41080 CPUtime=0.33 cores=0-7 /proc/1465/stat : 1465 (java) S 1463 1463 29062 0 -1 1077944320 9498 0 0 0 30 3 0 0 20 0 20 0 447073888 28904853504 10270 33554432000 4194304 4196468 140732386048640 140732386031184 140579192098551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 /proc/1465/statm: 7056849 10270 3304 1 0 7019032 0 [pid=1465/tid=1466] ppid=1463 vsize=28227396 memory=8390339637985935414 CPUtime=0.2 cores=0-7 /proc/1465/task/1466/stat : 1466 (java) R 1463 1463 29062 0 -1 4202560 6627 0 0 0 18 2 0 0 20 0 20 0 447073889 28904853504 10270 33554432000 4194304 4196468 140732386048640 140579196328272 140579184776565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1467] ppid=1463 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7 /proc/1465/task/1467/stat : 1467 (java) S 1463 1463 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578743507984 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1468] ppid=1463 vsize=28227396 memory=288370176598701696 CPUtime=0 cores=0-7 /proc/1465/task/1468/stat : 1468 (java) S 1463 1463 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578742455440 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1469] ppid=1463 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1465/task/1469/stat : 1469 (java) S 1463 1463 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578741402384 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1470] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1470/stat : 1470 (java) S 1463 1463 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578740349840 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1471] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1471/stat : 1471 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578739296784 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1472] ppid=1463 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1465/task/1472/stat : 1472 (java) S 1463 1463 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578738244240 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1473] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1473/stat : 1473 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578737191184 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1474] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1474/stat : 1474 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447073890 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578736138640 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1475] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1475/stat : 1475 (java) S 1463 1463 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447073891 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578576726768 140579192109698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1476] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1476/stat : 1476 (java) S 1463 1463 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447073892 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578575672992 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1477] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1477/stat : 1477 (java) S 1463 1463 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447073892 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578373231856 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1478] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1478/stat : 1478 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447073894 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578372180432 140579192117147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1479] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1479/stat : 1479 (java) S 1463 1463 29062 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 447073894 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578371127536 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1480] ppid=1463 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1465/task/1480/stat : 1480 (java) S 1463 1463 29062 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 20 0 447073894 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578370074992 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1481] ppid=1463 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/1465/task/1481/stat : 1481 (java) S 1463 1463 29062 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 20 0 447073894 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578369021936 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1482] ppid=1463 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/1465/task/1482/stat : 1482 (java) S 1463 1463 29062 0 -1 1077944384 744 0 0 0 8 0 0 0 20 0 20 0 447073894 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578367969392 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1483] ppid=1463 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1483/stat : 1483 (java) S 1463 1463 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447073894 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578366917600 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1484] ppid=1463 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1465/task/1484/stat : 1484 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447073895 28904853504 10270 33554432000 4194304 4196468 140732386048640 140578365865136 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42536 KiB [startup+0.309495 s]* /proc/loadavg: 7.96 7.94 7.68 4/212 1484 /proc/meminfo: memFree=31668952/32770624 swapFree=66977240/67108860 [pid=1463] ppid=1460 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1463/stat : 1463 (xcsp3-exec) S 1460 1463 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447073888 115843072 364 33554432000 4194304 5098028 140737021925648 140737021923752 140355588682364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20697088 140737021932405 140737021932649 140737021932649 140737021935562 0 /proc/1463/statm: 28282 364 305 221 0 87 0 [pid=1465] ppid=1463 vsize=28231652 memory=49524 CPUtime=0.52 cores=0-7 /proc/1465/stat : 1465 (java) S 1463 1463 29062 0 -1 1077944320 10745 0 0 0 48 4 0 0 20 0 20 0 447073888 28909211648 12381 33554432000 4194304 4196468 140732386048640 140732386031184 140579192098551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 /proc/1465/statm: 7057913 12381 3342 1 0 7019032 0 [pid=1465/tid=1466] ppid=1463 vsize=28231652 memory=1398720917958146503 CPUtime=0.29 cores=0-7 /proc/1465/task/1466/stat : 1466 (java) R 1463 1463 29062 0 -1 4202560 7730 0 0 0 27 2 0 0 20 0 20 0 447073889 28909211648 12471 33554432000 4194304 4196468 140732386048640 140579196329664 140579176179038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1467] ppid=1463 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1465/task/1467/stat : 1467 (java) S 1463 1463 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447073890 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578743507984 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1468] ppid=1463 vsize=28231652 memory=1060 CPUtime=0 cores=0-7 /proc/1465/task/1468/stat : 1468 (java) S 1463 1463 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447073890 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578742455440 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1469] ppid=1463 vsize=28231652 memory=2828 CPUtime=0 cores=0-7 /proc/1465/task/1469/stat : 1469 (java) S 1463 1463 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447073890 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578741402384 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1470] ppid=1463 vsize=28231652 memory=756 CPUtime=0 cores=0-7 /proc/1465/task/1470/stat : 1470 (java) S 1463 1463 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447073890 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578740349840 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1471] ppid=1463 vsize=28231652 memory=1548 CPUtime=0 cores=0-7 /proc/1465/task/1471/stat : 1471 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447073890 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578739296784 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1472] ppid=1463 vsize=28231652 memory=7872 CPUtime=0 cores=0-7 /proc/1465/task/1472/stat : 1472 (java) S 1463 1463 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447073890 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578738244240 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1473] ppid=1463 vsize=28231652 memory=1164 CPUtime=0 cores=0-7 /proc/1465/task/1473/stat : 1473 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447073890 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578737191184 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1474] ppid=1463 vsize=28231652 memory=9448 CPUtime=0 cores=0-7 /proc/1465/task/1474/stat : 1474 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447073890 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578736138640 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1475] ppid=1463 vsize=28231652 memory=14008 CPUtime=0 cores=0-7 /proc/1465/task/1475/stat : 1475 (java) S 1463 1463 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447073891 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578576726768 140579192109698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1476] ppid=1463 vsize=28231652 memory=2120 CPUtime=0 cores=0-7 /proc/1465/task/1476/stat : 1476 (java) S 1463 1463 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447073892 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578575672992 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1477] ppid=1463 vsize=28231652 memory=11976 CPUtime=0 cores=0-7 /proc/1465/task/1477/stat : 1477 (java) S 1463 1463 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447073892 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578373231856 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1478] ppid=1463 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1478/stat : 1478 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447073894 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578372180432 140579192117147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1479] ppid=1463 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/1465/task/1479/stat : 1479 (java) R 1463 1463 29062 0 -1 4202560 440 0 0 0 2 0 0 0 20 0 20 0 447073894 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578371108552 140579172798848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1480] ppid=1463 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/1465/task/1480/stat : 1480 (java) S 1463 1463 29062 0 -1 1077944384 299 0 0 0 2 0 0 0 20 0 20 0 447073894 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578370074992 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1481] ppid=1463 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/1465/task/1481/stat : 1481 (java) S 1463 1463 29062 0 -1 1077944384 236 0 0 0 3 0 0 0 20 0 20 0 447073894 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578369021936 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1482] ppid=1463 vsize=28231652 memory=0 CPUtime=0.13 cores=0-7 /proc/1465/task/1482/stat : 1482 (java) S 1463 1463 29062 0 -1 1077944384 842 0 0 0 13 0 0 0 20 0 20 0 447073894 28909211648 12471 33554432000 4194304 4196468 140732386048640 140578367969392 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1483] ppid=1463 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1483/stat : 1483 (java) S 1463 1463 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447073894 28909211648 12510 33554432000 4194304 4196468 140732386048640 140578366917600 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1484] ppid=1463 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1484/stat : 1484 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447073895 28909211648 12510 33554432000 4194304 4196468 140732386048640 140578365865136 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50980 KiB [startup+0.700886 s] /proc/loadavg: 7.96 7.94 7.68 5/212 1484 /proc/meminfo: memFree=31651800/32770624 swapFree=66977240/67108860 [pid=1463] ppid=1460 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1463/stat : 1463 (xcsp3-exec) S 1460 1463 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447073888 115843072 364 33554432000 4194304 5098028 140737021925648 140737021923752 140355588682364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20697088 140737021932405 140737021932649 140737021932649 140737021935562 0 /proc/1463/statm: 28282 364 305 221 0 87 0 [pid=1465] ppid=1463 vsize=28233776 memory=88912 CPUtime=1.67 cores=0-7 /proc/1465/stat : 1465 (java) S 1463 1463 29062 0 -1 1077944320 15529 0 0 0 161 6 0 0 20 0 20 0 447073888 28911386624 22228 33554432000 4194304 4196468 140732386048640 140732386031184 140579192098551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 /proc/1465/statm: 7058444 22228 3453 1 0 7019544 0 [pid=1465/tid=1466] ppid=1463 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7 /proc/1465/task/1466/stat : 1466 (java) R 1463 1463 29062 0 -1 4202560 9337 0 0 0 64 3 0 0 20 0 20 0 447073889 28911386624 22228 33554432000 4194304 4196468 140732386048640 140579196334048 140579177336048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1467] ppid=1463 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1467/stat : 1467 (java) S 1463 1463 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447073890 28911386624 22228 33554432000 4194304 4196468 140732386048640 140578743507984 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1468] ppid=1463 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1468/stat : 1468 (java) S 1463 1463 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447073890 28911386624 22228 33554432000 4194304 4196468 140732386048640 140578742455440 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1469] ppid=1463 vsize=28233776 memory=3620 CPUtime=0 cores=0-7 /proc/1465/task/1469/stat : 1469 (java) S 1463 1463 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447073890 28911386624 22228 33554432000 4194304 4196468 140732386048640 140578741402384 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 ################ # More data... # ################ [pid=1465/tid=1482] ppid=1463 vsize=28769364 memory=1324 CPUtime=0.96 cores=0-7 /proc/1465/task/1482/stat : 1482 (java) S 1463 1463 29062 0 -1 1077944384 8418 0 0 0 93 3 0 0 20 0 28 0 447073894 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578367969392 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1483] ppid=1463 vsize=28769364 memory=780 CPUtime=0 cores=0-7 /proc/1465/task/1483/stat : 1483 (java) S 1463 1463 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447073894 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578366917600 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1484] ppid=1463 vsize=28769364 memory=4088 CPUtime=0 cores=0-7 /proc/1465/task/1484/stat : 1484 (java) S 1463 1463 29062 0 -1 1077944384 1656 0 0 0 0 0 0 0 20 0 28 0 447073895 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578365865136 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1590] ppid=1463 vsize=28769364 memory=1580 CPUtime=11.81 cores=0-7 /proc/1465/task/1590/stat : 1590 (java) R 1463 1463 29062 0 -1 4202560 295 0 0 0 1181 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578354547408 140578800612451 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1591] ppid=1463 vsize=28769364 memory=1028 CPUtime=11.86 cores=0-7 /proc/1465/task/1591/stat : 1591 (java) R 1463 1463 29062 0 -1 4202560 139 0 0 0 1186 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578353496120 140578799676198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1592] ppid=1463 vsize=28769364 memory=1060 CPUtime=11.76 cores=0-7 /proc/1465/task/1592/stat : 1592 (java) R 1463 1463 29062 0 -1 4202560 622 0 0 0 1176 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578347179664 140578796783028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1593] ppid=1463 vsize=28769364 memory=2828 CPUtime=11.69 cores=0-7 /proc/1465/task/1593/stat : 1593 (java) R 1463 1463 29062 0 -1 4202560 502 0 0 0 1169 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578352443040 140578800698504 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1594] ppid=1463 vsize=28769364 memory=756 CPUtime=11.77 cores=0-7 /proc/1465/task/1594/stat : 1594 (java) R 1463 1463 29062 0 -1 4202560 418 0 0 0 1177 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578349287616 140578800696905 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1595] ppid=1463 vsize=28769364 memory=1548 CPUtime=11.81 cores=0-7 /proc/1465/task/1595/stat : 1595 (java) R 1463 1463 29062 0 -1 4202560 501 0 0 0 1181 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578350337408 140578800726089 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1596] ppid=1463 vsize=28769364 memory=7872 CPUtime=11.72 cores=0-7 /proc/1465/task/1596/stat : 1596 (java) R 1463 1463 29062 0 -1 4202560 423 0 0 0 1172 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578346127624 140578800726223 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1597] ppid=1463 vsize=28769364 memory=1164 CPUtime=11.75 cores=0-7 /proc/1465/task/1597/stat : 1597 (java) R 1463 1463 29062 0 -1 4202560 365 0 0 0 1175 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578351390888 140578800420785 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 Current children cumulated CPU time: 135.09 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 275972 KiB [startup+17.808 s] /proc/loadavg: 8.18 7.99 7.70 9/220 1597 /proc/meminfo: memFree=31452872/32770624 swapFree=66977240/67108860 [pid=1463] ppid=1460 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1463/stat : 1463 (xcsp3-exec) S 1460 1463 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447073888 115843072 364 33554432000 4194304 5098028 140737021925648 140737021923752 140355588682364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20697088 140737021932405 140737021932649 140737021932649 140737021935562 0 /proc/1463/statm: 28282 364 305 221 0 87 0 [pid=1465] ppid=1463 vsize=28769364 memory=274516 CPUtime=136.73 cores=0-7 /proc/1465/stat : 1465 (java) S 1463 1463 29062 0 -1 1077944320 58285 0 0 0 13639 34 0 0 20 0 28 0 447073888 29459828736 68629 33554432000 4194304 4196468 140732386048640 140732386031184 140579192098551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 /proc/1465/statm: 7192341 68629 3536 1 0 7153441 0 [pid=1465/tid=1466] ppid=1463 vsize=28769364 memory=265268 CPUtime=0.83 cores=0-7 /proc/1465/task/1466/stat : 1466 (java) S 1463 1463 29062 0 -1 1077944384 9539 0 0 0 79 4 0 0 20 0 28 0 447073889 29459828736 68629 33554432000 4194304 4196468 140732386048640 140579196339328 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1467] ppid=1463 vsize=28769364 memory=1764 CPUtime=0.02 cores=0-7 /proc/1465/task/1467/stat : 1467 (java) S 1463 1463 29062 0 -1 1077944384 753 0 0 0 1 1 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578743507984 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1468] ppid=1463 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/1465/task/1468/stat : 1468 (java) S 1463 1463 29062 0 -1 1077944384 331 0 0 0 1 1 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578742455440 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1469] ppid=1463 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/1465/task/1469/stat : 1469 (java) S 1463 1463 29062 0 -1 1077944384 701 0 0 0 1 1 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578741402384 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1470] ppid=1463 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/1465/task/1470/stat : 1470 (java) S 1463 1463 29062 0 -1 1077944384 222 0 0 0 1 1 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578740349840 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1471] ppid=1463 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/1465/task/1471/stat : 1471 (java) S 1463 1463 29062 0 -1 1077944384 127 0 0 0 1 1 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578739296784 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1472] ppid=1463 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/1465/task/1472/stat : 1472 (java) S 1463 1463 29062 0 -1 1077944384 194 0 0 0 1 0 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578738244240 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1473] ppid=1463 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/1465/task/1473/stat : 1473 (java) S 1463 1463 29062 0 -1 1077944384 695 0 0 0 1 1 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578737191184 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1474] ppid=1463 vsize=28769364 memory=139800313588720 CPUtime=0 cores=0-7 /proc/1465/task/1474/stat : 1474 (java) S 1463 1463 29062 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578736138640 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1475] ppid=1463 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/1465/task/1475/stat : 1475 (java) S 1463 1463 29062 0 -1 1077944384 902 0 0 0 1 0 0 0 20 0 28 0 447073891 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578576726768 140579192109698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1476] ppid=1463 vsize=28769364 memory=11568 CPUtime=0 cores=0-7 /proc/1465/task/1476/stat : 1476 (java) S 1463 1463 29062 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 447073892 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578575673056 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1477] ppid=1463 vsize=28769364 memory=512 CPUtime=0 cores=0-7 /proc/1465/task/1477/stat : 1477 (java) S 1463 1463 29062 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 447073892 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578373231872 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1478] ppid=1463 vsize=28769364 memory=1564 CPUtime=0 cores=0-7 /proc/1465/task/1478/stat : 1478 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447073894 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578372180432 140579192117147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1479] ppid=1463 vsize=28769364 memory=928 CPUtime=2.61 cores=0-7 /proc/1465/task/1479/stat : 1479 (java) S 1463 1463 29062 0 -1 1077944384 7862 0 0 0 259 2 0 0 20 0 28 0 447073894 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578371127536 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1480] ppid=1463 vsize=28769364 memory=1412 CPUtime=2.41 cores=0-7 /proc/1465/task/1480/stat : 1480 (java) S 1463 1463 29062 0 -1 1077944384 7486 0 0 0 239 2 0 0 20 0 28 0 447073894 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578370074992 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1481] ppid=1463 vsize=28769364 memory=3028 CPUtime=2.73 cores=0-7 /proc/1465/task/1481/stat : 1481 (java) S 1463 1463 29062 0 -1 1077944384 10755 0 0 0 271 2 0 0 20 0 28 0 447073894 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578369021936 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1482] ppid=1463 vsize=28769364 memory=1456 CPUtime=0.96 cores=0-7 /proc/1465/task/1482/stat : 1482 (java) S 1463 1463 29062 0 -1 1077944384 8426 0 0 0 93 3 0 0 20 0 28 0 447073894 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578367969392 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1483] ppid=1463 vsize=28769364 memory=265268 CPUtime=0 cores=0-7 /proc/1465/task/1483/stat : 1483 (java) S 1463 1463 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447073894 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578366917600 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1484] ppid=1463 vsize=28769364 memory=3784 CPUtime=0 cores=0-7 /proc/1465/task/1484/stat : 1484 (java) S 1463 1463 29062 0 -1 1077944384 1656 0 0 0 0 0 0 0 20 0 28 0 447073895 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578365865136 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1590] ppid=1463 vsize=28769364 memory=1440 CPUtime=12.02 cores=0-7 /proc/1465/task/1590/stat : 1590 (java) R 1463 1463 29062 0 -1 4202560 295 0 0 0 1202 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578354547544 140578801129280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1591] ppid=1463 vsize=28769364 memory=904 CPUtime=12.07 cores=0-7 /proc/1465/task/1591/stat : 1591 (java) R 1463 1463 29062 0 -1 4202560 139 0 0 0 1207 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578353496120 140578800698414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1592] ppid=1463 vsize=28769364 memory=1984 CPUtime=11.97 cores=0-7 /proc/1465/task/1592/stat : 1592 (java) R 1463 1463 29062 0 -1 4202560 622 0 0 0 1197 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578347179800 140578800613119 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1593] ppid=1463 vsize=28769364 memory=2528 CPUtime=11.89 cores=0-7 /proc/1465/task/1593/stat : 1593 (java) R 1463 1463 29062 0 -1 4202560 502 0 0 0 1189 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578352445896 140578799676194 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1594] ppid=1463 vsize=28769364 memory=1764 CPUtime=11.98 cores=0-7 /proc/1465/task/1594/stat : 1594 (java) R 1463 1463 29062 0 -1 4202560 418 0 0 0 1198 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578349287616 140578799676820 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1595] ppid=1463 vsize=28769364 memory=111632 CPUtime=12.02 cores=0-7 /proc/1465/task/1595/stat : 1595 (java) R 1463 1463 29062 0 -1 4202560 501 0 0 0 1202 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578350337408 140578800726165 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1596] ppid=1463 vsize=28769364 memory=984 CPUtime=11.93 cores=0-7 /proc/1465/task/1596/stat : 1596 (java) R 1463 1463 29062 0 -1 4202560 423 0 0 0 1193 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578346127624 140578801129331 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1597] ppid=1463 vsize=28769364 memory=1324 CPUtime=11.95 cores=0-7 /proc/1465/task/1597/stat : 1597 (java) R 1463 1463 29062 0 -1 4202560 365 0 0 0 1195 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578351390888 140578793822123 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 Current children cumulated CPU time: 136.73 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 275972 KiB [startup+17.902 s] /proc/loadavg: 8.18 7.99 7.70 9/220 1597 /proc/meminfo: memFree=31452872/32770624 swapFree=66977240/67108860 [pid=1463] ppid=1460 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1463/stat : 1463 (xcsp3-exec) S 1460 1463 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447073888 115843072 364 33554432000 4194304 5098028 140737021925648 140737021923752 140355588682364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20697088 140737021932405 140737021932649 140737021932649 140737021935562 0 /proc/1463/statm: 28282 364 305 221 0 87 0 [pid=1465] ppid=1463 vsize=28769364 memory=274516 CPUtime=137.48 cores=0-7 /proc/1465/stat : 1465 (java) S 1463 1463 29062 0 -1 1077944320 58285 0 0 0 13714 34 0 0 20 0 28 0 447073888 29459828736 68629 33554432000 4194304 4196468 140732386048640 140732386031184 140579192098551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 /proc/1465/statm: 7192341 68629 3536 1 0 7153441 0 [pid=1465/tid=1466] ppid=1463 vsize=28769364 memory=274516 CPUtime=0.83 cores=0-7 /proc/1465/task/1466/stat : 1466 (java) S 1463 1463 29062 0 -1 1077944384 9539 0 0 0 79 4 0 0 20 0 28 0 447073889 29459828736 68629 33554432000 4194304 4196468 140732386048640 140579196339328 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1467] ppid=1463 vsize=28769364 memory=269100 CPUtime=0.02 cores=0-7 /proc/1465/task/1467/stat : 1467 (java) S 1463 1463 29062 0 -1 1077944384 753 0 0 0 1 1 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578743507984 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1468] ppid=1463 vsize=28769364 memory=1456 CPUtime=0.02 cores=0-7 /proc/1465/task/1468/stat : 1468 (java) S 1463 1463 29062 0 -1 1077944384 331 0 0 0 1 1 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578742455440 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1469] ppid=1463 vsize=28769364 memory=268556 CPUtime=0.02 cores=0-7 /proc/1465/task/1469/stat : 1469 (java) S 1463 1463 29062 0 -1 1077944384 701 0 0 0 1 1 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578741402384 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1470] ppid=1463 vsize=28769364 memory=265268 CPUtime=0.02 cores=0-7 /proc/1465/task/1470/stat : 1470 (java) S 1463 1463 29062 0 -1 1077944384 222 0 0 0 1 1 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578740349840 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1471] ppid=1463 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/1465/task/1471/stat : 1471 (java) S 1463 1463 29062 0 -1 1077944384 127 0 0 0 1 1 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578739296784 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1472] ppid=1463 vsize=28769364 memory=1808 CPUtime=0.01 cores=0-7 /proc/1465/task/1472/stat : 1472 (java) S 1463 1463 29062 0 -1 1077944384 194 0 0 0 1 0 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578738244240 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1473] ppid=1463 vsize=28769364 memory=924 CPUtime=0.02 cores=0-7 /proc/1465/task/1473/stat : 1473 (java) S 1463 1463 29062 0 -1 1077944384 695 0 0 0 1 1 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578737191184 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1474] ppid=1463 vsize=28769364 memory=4460 CPUtime=0 cores=0-7 /proc/1465/task/1474/stat : 1474 (java) S 1463 1463 29062 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 28 0 447073890 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578736138640 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1475] ppid=1463 vsize=28769364 memory=279600626972800 CPUtime=0.01 cores=0-7 /proc/1465/task/1475/stat : 1475 (java) S 1463 1463 29062 0 -1 1077944384 902 0 0 0 1 0 0 0 20 0 28 0 447073891 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578576726768 140579192109698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1476] ppid=1463 vsize=28769364 memory=279600626417376 CPUtime=0 cores=0-7 /proc/1465/task/1476/stat : 1476 (java) S 1463 1463 29062 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 447073892 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578575673056 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1477] ppid=1463 vsize=28769364 memory=139800313313424 CPUtime=0 cores=0-7 /proc/1465/task/1477/stat : 1477 (java) S 1463 1463 29062 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 447073892 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578373231872 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1478] ppid=1463 vsize=28769364 memory=1456 CPUtime=0 cores=0-7 /proc/1465/task/1478/stat : 1478 (java) S 1463 1463 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447073894 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578372180432 140579192117147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1479] ppid=1463 vsize=28769364 memory=265268 CPUtime=2.61 cores=0-7 /proc/1465/task/1479/stat : 1479 (java) S 1463 1463 29062 0 -1 1077944384 7862 0 0 0 259 2 0 0 20 0 28 0 447073894 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578371127536 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1480] ppid=1463 vsize=28769364 memory=984 CPUtime=2.41 cores=0-7 /proc/1465/task/1480/stat : 1480 (java) S 1463 1463 29062 0 -1 1077944384 7486 0 0 0 239 2 0 0 20 0 28 0 447073894 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578370074992 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1481] ppid=1463 vsize=28769364 memory=0 CPUtime=2.73 cores=0-7 /proc/1465/task/1481/stat : 1481 (java) S 1463 1463 29062 0 -1 1077944384 10755 0 0 0 271 2 0 0 20 0 28 0 447073894 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578369021936 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1482] ppid=1463 vsize=28769364 memory=0 CPUtime=0.96 cores=0-7 /proc/1465/task/1482/stat : 1482 (java) S 1463 1463 29062 0 -1 1077944384 8426 0 0 0 93 3 0 0 20 0 28 0 447073894 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578367969392 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1483] ppid=1463 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1483/stat : 1483 (java) S 1463 1463 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447073894 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578366917600 140579192108757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1484] ppid=1463 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/1465/task/1484/stat : 1484 (java) S 1463 1463 29062 0 -1 1077944384 1656 0 0 0 0 0 0 0 20 0 28 0 447073895 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578365865136 140579192109698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1590] ppid=1463 vsize=28769364 memory=1456 CPUtime=12.11 cores=0-7 /proc/1465/task/1590/stat : 1590 (java) R 1463 1463 29062 0 -1 4202560 295 0 0 0 1211 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578354547544 140578800421786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1591] ppid=1463 vsize=28769364 memory=265268 CPUtime=12.16 cores=0-7 /proc/1465/task/1591/stat : 1591 (java) R 1463 1463 29062 0 -1 4202560 139 0 0 0 1216 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578353496120 140578801129947 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1592] ppid=1463 vsize=28769364 memory=0 CPUtime=12.06 cores=0-7 /proc/1465/task/1592/stat : 1592 (java) R 1463 1463 29062 0 -1 4202560 622 0 0 0 1206 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578347179800 140578795982494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1593] ppid=1463 vsize=28769364 memory=0 CPUtime=11.98 cores=0-7 /proc/1465/task/1593/stat : 1593 (java) R 1463 1463 29062 0 -1 4202560 502 0 0 0 1198 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578352445896 140578800991228 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1594] ppid=1463 vsize=28769364 memory=279600627904352 CPUtime=12.07 cores=0-7 /proc/1465/task/1594/stat : 1594 (java) R 1463 1463 29062 0 -1 4202560 418 0 0 0 1207 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578349287616 140578800642097 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1595] ppid=1463 vsize=28769364 memory=8112282956445269571 CPUtime=12.11 cores=0-7 /proc/1465/task/1595/stat : 1595 (java) R 1463 1463 29062 0 -1 4202560 501 0 0 0 1211 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578350337544 140578800697783 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1596] ppid=1463 vsize=28769364 memory=4088 CPUtime=12.02 cores=0-7 /proc/1465/task/1596/stat : 1596 (java) R 1463 1463 29062 0 -1 4202560 423 0 0 0 1202 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578346127624 140578800306145 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 [pid=1465/tid=1597] ppid=1463 vsize=28769364 memory=1580 CPUtime=12.05 cores=0-7 /proc/1465/task/1597/stat : 1597 (java) R 1463 1463 29062 0 -1 4202560 365 0 0 0 1205 0 0 0 20 0 28 0 447074459 29459828736 68629 33554432000 4194304 4196468 140732386048640 140578351390888 140578799281872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140732386051050 140732386051222 140732386051222 140732386054095 0 Current children cumulated CPU time: 137.48 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 275972 KiB Child status: 0 Real time (s): 17.9808 CPU time (s): 138.02 CPU user time (s): 137.658 CPU system time (s): 0.361443 CPU usage (%): 767.592 Max. virtual memory (cumulated for all children) (KiB): 28885932 Max. memory (cumulated for all children) (KiB): 275972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 137.658 system time used= 0.361443 maximum resident set size= 275564 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59431 page faults= 0 swaps= 0 block input operations= 0 block output operations= 120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6587 involuntary context switches= 2749 # summary of solver processes directly reported to runsolver: # pid: 1463 # total CPU time (s): 138.02 # total CPU user time (s): 137.658 # total CPU system time (s): 0.361443 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.162014 second user time and 0.2294 second system time The end
Begin job on node121 at 2019-09-17 10:14:30 IDJOB=4399886 IDBENCH=128773 IDSOLVER=2854 FILE ID=node121/4399886-1568708112 RUNJOBID= node121-1568700707-29089 PBS_JOBID= 21703902 Free space on /tmp= 61408 MiB SOLVER NAME= choco-solver 2019-09-16 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 /tmp/evaluation-result-4399886-1568708112/watcher-4399886-1568708112 -o /tmp/evaluation-result-4399886-1568708112/solver-4399886-1568708112 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1053653606 HOME/instance-4399886-1568708112.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8d7da43fda8420e04b4d8dcd0c7711ab RANDOM SEED=1053653606 node121.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.75 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.75 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.75 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.75 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: 31705128 kB MemAvailable: 31920092 kB Buffers: 69000 kB Cached: 443900 kB SwapCached: 10792 kB Active: 208092 kB Inactive: 318844 kB Active(anon): 4100 kB Inactive(anon): 42468 kB Active(file): 203992 kB Inactive(file): 276376 kB Unevictable: 109160 kB Mlocked: 109160 kB SwapTotal: 67108860 kB SwapFree: 66977240 kB Dirty: 26096 kB Writeback: 4 kB AnonPages: 112740 kB Mapped: 42028 kB Shmem: 24044 kB Slab: 130236 kB SReclaimable: 100864 kB SUnreclaim: 29372 kB KernelStack: 3424 kB PageTables: 5300 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506832 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61380 MiB End job on node121 at 2019-09-17 10:14:48