Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-06-14 | OPT | 96 | 84.5002 | 36.9579 |
| Name | Tal/ Tal-03_c18.xml |
| MD5SUM | fb5ba5d4d49d61a1ee3ee3c25fa47163 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 96 |
| Best CPU time to get the best result obtained on this benchmark | 32.9798 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 404 |
| Number of constraints | 286 |
| Number of domains | 10 |
| Minimum domain size | 1 |
| Maximum domain size | 42 |
| Distribution of domain sizes | [{"size":1,"count":63},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":43},{"size":7,"count":9},{"size":8,"count":28},{"size":42,"count":62}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 13 |
| Distribution of variable degrees | [{"degree":0,"count":177},{"degree":1,"count":63},{"degree":2,"count":47},{"degree":3,"count":8},{"degree":4,"count":9},{"degree":5,"count":25},{"degree":6,"count":17},{"degree":7,"count":12},{"degree":8,"count":12},{"degree":9,"count":17},{"degree":10,"count":8},{"degree":11,"count":5},{"degree":12,"count":3},{"degree":13,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 10 |
| Distribution of constraint arities | [{"arity":1,"count":88},{"arity":2,"count":90},{"arity":3,"count":30},{"arity":4,"count":10},{"arity":5,"count":16},{"arity":6,"count":15},{"arity":7,"count":14},{"arity":8,"count":12},{"arity":9,"count":9},{"arity":10,"count":2}] |
| Number of extensional constraints | 49 |
| Number of intensional constraints | 225 |
| Distribution of constraint types | [{"type":"extension","count":49},{"type":"intension","count":225},{"type":"count","count":12}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394169-1568348167.xml" -tl '2400s' -p 4 0.12/0.19 c Choco e747e1e 0.12/0.20 c [HOME/instance-4394169-1568348167.xml, -tl, 2400s, -p, 4] 0.34/0.24 c 4 solvers in parallel 0.34/0.31 c parse instance... 23.88/16.73 c solve instance... 24.60/16.92 o 140 24.60/16.98 o 128 28.18/17.90 o 120 32.49/19.13 o 116 36.42/20.23 o 112 39.55/21.08 o 108 49.89/26.12 o 104 63.09/29.94 o 100 69.41/32.30 o 96 84.43/36.94 s OPTIMUM FOUND 84.43/36.94 v <instantiation> 84.43/36.94 v <list>c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[0][6] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[1][6] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[2][6] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[3][6] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[4][6] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[5][6] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[6][6] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[7][6] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[8][6] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[9][6] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[10][6] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] c[11][6] c[12][0] c[12][1] c[12][2] c[12][3] c[12][4] c[12][5] c[12][6] c[13][0] c[13][1] c[13][2] c[13][3] c[13][4] c[13][5] c[13][6] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[0][6] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[1][6] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[2][6] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[3][5] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[4][5] l[5][0] l[5][1] l[5][2] l[5][3] l[5][4] l[6][0] l[6][1] l[6][2] l[6][3] l[6][4] l[7][0] l[7][1] l[7][2] l[7][3] l[8][0] l[8][1] l[8][2] l[8][3] l[9][0] l[9][1] l[9][2] l[10][0] l[10][1] l[10][2] l[11][0] l[11][1] l[12][0] l[12][1] l[13][0] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[7][0] a[7][1] a[7][2] a[7][3] a[9][0] a[9][1] a[9][2] a[11][0] a[11][1] a[13][0] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[2][6] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[4][5] i[6][0] i[6][1] i[6][2] i[6][3] i[6][4] i[8][0] i[8][1] i[8][2] i[8][3] i[10][0] i[10][1] i[10][2] i[12][0] i[12][1] cnt[0] cnt[1] cnt[2] cnt[3] cnt[4] cnt[5] cnt[6] cnt[7] cnt[8] cnt[9] cnt[10] cnt[11] </list> 84.43/36.94 v <values>0 0 0 0 0 0 0 0 16 0 0 4 16 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 16 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 10 12 13 4 16 8 9 7 0 13 5 4 8 9 7 13 5 4 8 0 7 7 13 8 0 8 7 7 13 8 8 0 7 7 13 3 3 7 7 13 3 3 7 7 2 0 7 7 2 0 4 4 3 4 4 3 6 0 6 0 6 1 2 0 1 1 1 1 1 1 1 2 0 1 1 1 1 1 1 1 1 3 0 1 1 1 3 0 1 0 1 3 4 5 6 6 0 1 2 3 5 5 0 1 2 3 4 0 1 2 3 0 1 2 0 1 1 1 1 1 0 0 1 1 0 0 1 1 </values> 84.43/36.94 v </instantiation>
OK 96
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16375 MiB (12490 MiB free)
memory of node 1: 16384 MiB (13546 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394169-1568348167/watcher-4394169-1568348167 -o /tmp/evaluation-result-4394169-1568348167/solver-4394169-1568348167 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17632 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 859907774 HOME/instance-4394169-1568348167.xml
running on 4 cores: 4-7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19422, runsolver pid=19419
[startup+0.100059 s]*
/proc/loadavg: 8.33 8.13 6.64 6/234 19438
/proc/meminfo: memFree=26645936/32770688 swapFree=66919992/67108860
[pid=19422] ppid=19419 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/19422/stat : 19422 (xcsp3-exec) S 19419 19422 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410823089 115843072 363 33554432000 4194304 5098028 140737087793056 140737087791160 139856855810684 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37011456 140737087796091 140737087796333 140737087796333 140737087799242 0
/proc/19422/statm: 28282 363 304 221 0 87 0
[pid=19424] ppid=19422 vsize=15144768 memory=28684 CPUtime=0.12 cores=4-7
/proc/19424/stat : 19424 (java) S 19422 19422 17600 0 -1 1077944320 5632 0 0 0 11 1 0 0 20 0 15 0 410823089 15508242432 7171 33554432000 4194304 4196468 140723710860096 140723710842640 139968006946551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
/proc/19424/statm: 3786192 7171 3123 1 0 3748377 0
[pid=19424/tid=19425] ppid=19422 vsize=15144768 memory=8108032331684915787 CPUtime=0.09 cores=4-7
/proc/19424/task/19425/stat : 19425 (java) R 19422 19422 17600 0 -1 4202560 3560 0 0 0 8 1 0 0 20 0 15 0 410823089 15508242432 7171 33554432000 4194304 4196468 140723710860096 139968011178880 139967988532071 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19426] ppid=19422 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=4-7
/proc/19424/task/19426/stat : 19426 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823090 15508242432 7171 33554432000 4194304 4196468 140723710860096 139967959567504 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19427] ppid=19422 vsize=15144768 memory=140542316025472 CPUtime=0 cores=4-7
/proc/19424/task/19427/stat : 19427 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823090 15508242432 7171 33554432000 4194304 4196468 140723710860096 139967958514704 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19428] ppid=19422 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/19424/task/19428/stat : 19428 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823090 15508242432 7171 33554432000 4194304 4196468 140723710860096 139967957461904 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19429] ppid=19422 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/19424/task/19429/stat : 19429 (java) S 19422 19422 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410823090 15508242432 7171 33554432000 4194304 4196468 140723710860096 139967956409104 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19430] ppid=19422 vsize=15144768 memory=140542316025472 CPUtime=0 cores=4-7
/proc/19424/task/19430/stat : 19430 (java) S 19422 19422 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410823092 15508242432 7171 33554432000 4194304 4196468 140723710860096 139966880385392 139968006957698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19431] ppid=19422 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/19424/task/19431/stat : 19431 (java) S 19422 19422 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410823092 15508242432 7171 33554432000 4194304 4196468 140723710860096 139966879331360 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19432] ppid=19422 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/19424/task/19432/stat : 19432 (java) S 19422 19422 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410823092 15508242432 7171 33554432000 4194304 4196468 140723710860096 139966810153840 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19433] ppid=19422 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/19424/task/19433/stat : 19433 (java) S 19422 19422 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410823095 15508242432 7171 33554432000 4194304 4196468 140723710860096 139966809102160 139968006965147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19434] ppid=19422 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/19424/task/19434/stat : 19434 (java) S 19422 19422 17600 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 410823095 15508242432 7171 33554432000 4194304 4196468 140723710860096 139966808050544 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19435] ppid=19422 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/19424/task/19435/stat : 19435 (java) S 19422 19422 17600 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 410823095 15508242432 7171 33554432000 4194304 4196468 140723710860096 139966806997744 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19436] ppid=19422 vsize=15144768 memory=140542316025472 CPUtime=0.01 cores=4-7
/proc/19424/task/19436/stat : 19436 (java) R 19422 19422 17600 0 -1 4202560 344 0 0 0 1 0 0 0 20 0 15 0 410823095 15508242432 7171 33554432000 4194304 4196468 140723710860096 139966805944944 139967986301665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19437] ppid=19422 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/19424/task/19437/stat : 19437 (java) S 19422 19422 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410823095 15508242432 7171 33554432000 4194304 4196468 140723710860096 139966804892384 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19438] ppid=19422 vsize=15144768 memory=140542316025472 CPUtime=0 cores=4-7
/proc/19424/task/19438/stat : 19438 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823095 15508242432 7171 33554432000 4194304 4196468 140723710860096 139966803839664 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30136 KiB
[startup+0.211793 s]*
/proc/loadavg: 8.33 8.13 6.64 6/234 19438
/proc/meminfo: memFree=26632972/32770688 swapFree=66919992/67108860
[pid=19422] ppid=19419 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/19422/stat : 19422 (xcsp3-exec) S 19419 19422 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410823089 115843072 363 33554432000 4194304 5098028 140737087793056 140737087791160 139856855810684 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37011456 140737087796091 140737087796333 140737087796333 140737087799242 0
/proc/19422/statm: 28282 363 304 221 0 87 0
[pid=19424] ppid=19422 vsize=15144768 memory=40912 CPUtime=0.34 cores=4-7
/proc/19424/stat : 19424 (java) S 19422 19422 17600 0 -1 1077944320 9397 0 0 0 31 3 0 0 20 0 15 0 410823089 15508242432 10228 33554432000 4194304 4196468 140723710860096 140723710842640 139968006946551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
/proc/19424/statm: 3786192 10228 3307 1 0 3748377 0
[pid=19424/tid=19425] ppid=19422 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=4-7
/proc/19424/task/19425/stat : 19425 (java) R 19422 19422 17600 0 -1 4202560 6569 0 0 0 18 2 0 0 20 0 15 0 410823089 15508242432 10228 33554432000 4194304 4196468 140723710860096 139968011181248 139967990297106 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19426] ppid=19422 vsize=15144768 memory=1915596 CPUtime=0 cores=4-7
/proc/19424/task/19426/stat : 19426 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823090 15508242432 10228 33554432000 4194304 4196468 140723710860096 139967959567504 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19427] ppid=19422 vsize=15144768 memory=3905383979873113760 CPUtime=0 cores=4-7
/proc/19424/task/19427/stat : 19427 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823090 15508242432 10228 33554432000 4194304 4196468 140723710860096 139967958514704 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19428] ppid=19422 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/19424/task/19428/stat : 19428 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823090 15508242432 10228 33554432000 4194304 4196468 140723710860096 139967957461904 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19429] ppid=19422 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/19424/task/19429/stat : 19429 (java) S 19422 19422 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410823090 15508242432 10228 33554432000 4194304 4196468 140723710860096 139967956409104 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19430] ppid=19422 vsize=15144768 memory=140542316025472 CPUtime=0 cores=4-7
/proc/19424/task/19430/stat : 19430 (java) S 19422 19422 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410823092 15508242432 10228 33554432000 4194304 4196468 140723710860096 139966880385392 139968006957698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19431] ppid=19422 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/19424/task/19431/stat : 19431 (java) S 19422 19422 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410823092 15508242432 10228 33554432000 4194304 4196468 140723710860096 139966879331360 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19432] ppid=19422 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/19424/task/19432/stat : 19432 (java) S 19422 19422 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410823092 15508242432 10228 33554432000 4194304 4196468 140723710860096 139966810153840 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19433] ppid=19422 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/19424/task/19433/stat : 19433 (java) S 19422 19422 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410823095 15508242432 10228 33554432000 4194304 4196468 140723710860096 139966809102160 139968006965147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19434] ppid=19422 vsize=15144768 memory=0 CPUtime=0.02 cores=4-7
/proc/19424/task/19434/stat : 19434 (java) S 19422 19422 17600 0 -1 1077944384 498 0 0 0 2 0 0 0 20 0 15 0 410823095 15508242432 10228 33554432000 4194304 4196468 140723710860096 139966808050544 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19435] ppid=19422 vsize=15144768 memory=-1 CPUtime=0.02 cores=4-7
/proc/19424/task/19435/stat : 19435 (java) S 19422 19422 17600 0 -1 1077944384 265 0 0 0 2 0 0 0 20 0 15 0 410823095 15508242432 10228 33554432000 4194304 4196468 140723710860096 139966806997744 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19436] ppid=19422 vsize=15144768 memory=140542316025472 CPUtime=0.08 cores=4-7
/proc/19424/task/19436/stat : 19436 (java) S 19422 19422 17600 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 15 0 410823095 15508242432 10228 33554432000 4194304 4196468 140723710860096 139966805944944 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19437] ppid=19422 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/19424/task/19437/stat : 19437 (java) S 19422 19422 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410823095 15508242432 10228 33554432000 4194304 4196468 140723710860096 139966804892384 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19438] ppid=19422 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/19424/task/19438/stat : 19438 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823095 15508242432 10228 33554432000 4194304 4196468 140723710860096 139966803839664 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42364 KiB
[startup+0.313712 s]*
/proc/loadavg: 8.33 8.13 6.64 6/234 19438
/proc/meminfo: memFree=26628340/32770688 swapFree=66919992/67108860
[pid=19422] ppid=19419 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/19422/stat : 19422 (xcsp3-exec) S 19419 19422 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410823089 115843072 363 33554432000 4194304 5098028 140737087793056 140737087791160 139856855810684 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37011456 140737087796091 140737087796333 140737087796333 140737087799242 0
/proc/19422/statm: 28282 363 304 221 0 87 0
[pid=19424] ppid=19422 vsize=15149024 memory=46936 CPUtime=0.52 cores=4-7
/proc/19424/stat : 19424 (java) S 19422 19422 17600 0 -1 1077944320 10535 0 0 0 48 4 0 0 20 0 15 0 410823089 15512600576 11734 33554432000 4194304 4196468 140723710860096 140723710842640 139968006946551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
/proc/19424/statm: 3787256 11734 3330 1 0 3748377 0
[pid=19424/tid=19425] ppid=19422 vsize=15149024 memory=1398722017469774279 CPUtime=0.31 cores=4-7
/proc/19424/task/19425/stat : 19425 (java) R 19422 19422 17600 0 -1 4202560 7604 0 0 0 28 3 0 0 20 0 15 0 410823089 15512600576 11734 33554432000 4194304 4196468 140723710860096 139968011178928 139967990990181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19426] ppid=19422 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=4-7
/proc/19424/task/19426/stat : 19426 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823090 15512600576 11734 33554432000 4194304 4196468 140723710860096 139967959567504 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19427] ppid=19422 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=4-7
/proc/19424/task/19427/stat : 19427 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823090 15512600576 11734 33554432000 4194304 4196468 140723710860096 139967958514704 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19428] ppid=19422 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=4-7
/proc/19424/task/19428/stat : 19428 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823090 15512600576 11734 33554432000 4194304 4196468 140723710860096 139967957461904 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19429] ppid=19422 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=4-7
/proc/19424/task/19429/stat : 19429 (java) S 19422 19422 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410823090 15512600576 11734 33554432000 4194304 4196468 140723710860096 139967956409104 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19430] ppid=19422 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=4-7
/proc/19424/task/19430/stat : 19430 (java) S 19422 19422 17600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410823092 15512600576 11734 33554432000 4194304 4196468 140723710860096 139966880385392 139968006957698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19431] ppid=19422 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=4-7
/proc/19424/task/19431/stat : 19431 (java) S 19422 19422 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410823092 15512600576 11734 33554432000 4194304 4196468 140723710860096 139966879331360 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19432] ppid=19422 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=4-7
/proc/19424/task/19432/stat : 19432 (java) S 19422 19422 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410823092 15512600576 11734 33554432000 4194304 4196468 140723710860096 139966810153840 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19433] ppid=19422 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=4-7
/proc/19424/task/19433/stat : 19433 (java) S 19422 19422 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410823095 15512600576 11734 33554432000 4194304 4196468 140723710860096 139966809102160 139968006965147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19434] ppid=19422 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=4-7
/proc/19424/task/19434/stat : 19434 (java) S 19422 19422 17600 0 -1 1077944384 510 0 0 0 4 0 0 0 20 0 15 0 410823095 15512600576 11734 33554432000 4194304 4196468 140723710860096 139966808050544 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19435] ppid=19422 vsize=15149024 memory=0 CPUtime=0.03 cores=4-7
/proc/19424/task/19435/stat : 19435 (java) S 19422 19422 17600 0 -1 1077944384 265 0 0 0 3 0 0 0 20 0 15 0 410823095 15512600576 11734 33554432000 4194304 4196468 140723710860096 139966806997744 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19436] ppid=19422 vsize=15149024 memory=0 CPUtime=0.12 cores=4-7
/proc/19424/task/19436/stat : 19436 (java) R 19422 19422 17600 0 -1 4202560 851 0 0 0 12 0 0 0 20 0 15 0 410823095 15512600576 11734 33554432000 4194304 4196468 140723710860096 139966805944944 139967985749688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19437] ppid=19422 vsize=15149024 memory=0 CPUtime=0 cores=4-7
/proc/19424/task/19437/stat : 19437 (java) S 19422 19422 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410823095 15512600576 11734 33554432000 4194304 4196468 140723710860096 139966804892384 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19438] ppid=19422 vsize=15149024 memory=0 CPUtime=0 cores=4-7
/proc/19424/task/19438/stat : 19438 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823095 15512600576 11734 33554432000 4194304 4196468 140723710860096 139966803839664 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 48388 KiB
[startup+0.700822 s]
/proc/loadavg: 8.33 8.13 6.64 9/234 19438
/proc/meminfo: memFree=26615124/32770688 swapFree=66919992/67108860
[pid=19422] ppid=19419 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/19422/stat : 19422 (xcsp3-exec) S 19419 19422 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410823089 115843072 363 33554432000 4194304 5098028 140737087793056 140737087791160 139856855810684 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37011456 140737087796091 140737087796333 140737087796333 140737087799242 0
/proc/19422/statm: 28282 363 304 221 0 87 0
[pid=19424] ppid=19422 vsize=15151148 memory=90372 CPUtime=1.63 cores=4-7
/proc/19424/stat : 19424 (java) S 19422 19422 17600 0 -1 1077944320 14909 0 0 0 157 6 0 0 20 0 15 0 410823089 15514775552 22593 33554432000 4194304 4196468 140723710860096 140723710842640 139968006946551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
/proc/19424/statm: 3787787 22593 3438 1 0 3748889 0
[pid=19424/tid=19425] ppid=19422 vsize=15151148 memory=0 CPUtime=0.68 cores=4-7
/proc/19424/task/19425/stat : 19425 (java) R 19422 19422 17600 0 -1 4202560 8791 0 0 0 64 4 0 0 20 0 15 0 410823089 15514775552 22593 33554432000 4194304 4196468 140723710860096 139968011183712 139967632321668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19426] ppid=19422 vsize=15151148 memory=45200 CPUtime=0 cores=4-7
/proc/19424/task/19426/stat : 19426 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823090 15514775552 22593 33554432000 4194304 4196468 140723710860096 139967959567504 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19427] ppid=19422 vsize=15151148 memory=984 CPUtime=0 cores=4-7
/proc/19424/task/19427/stat : 19427 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823090 15514775552 22593 33554432000 4194304 4196468 140723710860096 139967958514704 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19428] ppid=19422 vsize=15151148 memory=2020 CPUtime=0 cores=4-7
/proc/19424/task/19428/stat : 19428 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823090 15514775552 22593 33554432000 4194304 4196468 140723710860096 139967957461904 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19429] ppid=19422 vsize=15151148 memory=1432 CPUtime=0 cores=4-7
/proc/19424/task/19429/stat : 19429 (java) S 19422 19422 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410823090 15514775552 22593 33554432000 4194304 4196468 140723710860096 139967956409104 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19430] ppid=19422 vsize=15151148 memory=776 CPUtime=0 cores=4-7
/proc/19424/task/19430/stat : 19430 (java) S 19422 19422 17600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410823092 15514775552 22593 33554432000 4194304 4196468 140723710860096 139966880385392 139968006957698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19431] ppid=19422 vsize=15151148 memory=660 CPUtime=0 cores=4-7
/proc/19424/task/19431/stat : 19431 (java) S 19422 19422 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410823092 15514775552 22593 33554432000 4194304 4196468 140723710860096 139966879331360 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19432] ppid=19422 vsize=15151148 memory=1556 CPUtime=0 cores=4-7
/proc/19424/task/19432/stat : 19432 (java) S 19422 19422 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410823092 15514775552 22593 33554432000 4194304 4196468 140723710860096 139966810153840 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19433] ppid=19422 vsize=15151148 memory=9588 CPUtime=0 cores=4-7
/proc/19424/task/19433/stat : 19433 (java) S 19422 19422 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410823095 15514775552 22593 33554432000 4194304 4196468 140723710860096 139966809102160 139968006965147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19434] ppid=19422 vsize=15151148 memory=1712 CPUtime=0.28 cores=4-7
/proc/19424/task/19434/stat : 19434 (java) R 19422 19422 17600 0 -1 4202560 1454 0 0 0 28 0 0 0 20 0 15 0 410823095 15514775552 22593 33554432000 4194304 4196468 140723710860096 139966808040656 139967988490691 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19435] ppid=19422 vsize=15151148 memory=5972 CPUtime=0.29 cores=4-7
/proc/19424/task/19435/stat : 19435 (java) R 19422 19422 17600 0 -1 4202560 1413 0 0 0 28 1 0 0 20 0 15 0 410823095 15514775552 22593 33554432000 4194304 4196468 140723710860096 139966806986496 139968006967898 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19436] ppid=19422 vsize=15151148 memory=4164 CPUtime=0.36 cores=4-7
/proc/19424/task/19436/stat : 19436 (java) R 19422 19422 17600 0 -1 1077944384 1944 0 0 0 36 0 0 0 20 0 15 0 410823095 15514775552 22593 33554432000 4194304 4196468 140723710860096 139966805944128 139968006956757 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19437] ppid=19422 vsize=15151148 memory=1056 CPUtime=0 cores=4-7
/proc/19424/task/19437/stat : 19437 (java) S 19422 19422 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410823095 15514775552 22593 33554432000 4194304 4196468 140723710860096 139966804892384 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19438] ppid=19422 vsize=15151148 memory=2828 CPUtime=0 cores=4-7
/proc/19424/task/19438/stat : 19438 (java) S 19422 19422 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410823095 15514775552 22593 33554432000 4194304 4196468 140723710860096 139966803839664 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 91824 KiB
[startup+1.50092 s]
/proc/loadavg: 8.22 8.11 6.64 6/234 19438
/proc/meminfo: memFree=26550220/32770688 swapFree=66919992/67108860
[pid=19422] ppid=19419 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/19422/stat : 19422 (xcsp3-exec) S 19419 19422 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410823089 115843072 363 33554432000 4194304 5098028 140737087793056 140737087791160 139856855810684 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37011456 140737087796091 140737087796333 140737087796333 140737087799242 0
/proc/19422/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/19424/task/19438/stat : 19438 (java) S 19422 19422 17600 0 -1 1077944384 641 0 0 0 0 0 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966803839664 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19476] ppid=19422 vsize=15552580 memory=281084403122416 CPUtime=3.45 cores=4-7
/proc/19424/task/19476/stat : 19476 (java) S 19422 19422 17600 0 -1 1077944384 417 0 0 0 345 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966791720960 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19477] ppid=19422 vsize=15552580 memory=281084403122416 CPUtime=3.42 cores=4-7
/proc/19424/task/19477/stat : 19477 (java) S 19422 19422 17600 0 -1 1077944384 894 0 0 0 342 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966788564304 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19478] ppid=19422 vsize=15552580 memory=281084403126288 CPUtime=3.42 cores=4-7
/proc/19424/task/19478/stat : 19478 (java) S 19422 19422 17600 0 -1 1077944384 377 0 0 0 342 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966789616848 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19479] ppid=19422 vsize=15552580 memory=281084403122416 CPUtime=3.7 cores=4-7
/proc/19424/task/19479/stat : 19479 (java) R 19422 19422 17600 0 -1 4202560 164 0 0 0 370 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966787505896 139967642965182 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
Current children cumulated CPU time: 83.54 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 1748620 KiB
[startup+36.4009 s]
/proc/loadavg: 7.68 7.97 6.65 6/237 19479
/proc/meminfo: memFree=24924376/32770688 swapFree=66919992/67108860
[pid=19422] ppid=19419 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/19422/stat : 19422 (xcsp3-exec) S 19419 19422 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410823089 115843072 363 33554432000 4194304 5098028 140737087793056 140737087791160 139856855810684 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37011456 140737087796091 140737087796333 140737087796333 140737087799242 0
/proc/19422/statm: 28282 363 304 221 0 87 0
[pid=19424] ppid=19422 vsize=15552580 memory=1747168 CPUtime=83.93 cores=4-7
/proc/19424/stat : 19424 (java) S 19422 19422 17600 0 -1 1077944320 60099 0 0 0 8214 179 0 0 20 0 19 0 410823089 15925841920 436792 33554432000 4194304 4196468 140723710860096 140723710842640 139968006946551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
/proc/19424/statm: 3888145 436792 3540 1 0 3849247 0
[pid=19424/tid=19425] ppid=19422 vsize=15552580 memory=1747088 CPUtime=14.56 cores=4-7
/proc/19424/task/19425/stat : 19425 (java) S 19422 19422 17600 0 -1 1077944384 14391 0 0 0 1446 10 0 0 20 0 19 0 410823089 15925841920 436792 33554432000 4194304 4196468 140723710860096 139968011187328 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19426] ppid=19422 vsize=15552580 memory=6791534058613427641 CPUtime=1.48 cores=4-7
/proc/19424/task/19426/stat : 19426 (java) S 19422 19422 17600 0 -1 1077944384 1801 0 0 0 108 40 0 0 20 0 19 0 410823090 15925841920 436792 33554432000 4194304 4196468 140723710860096 139967959567504 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19427] ppid=19422 vsize=15552580 memory=1452 CPUtime=1.46 cores=4-7
/proc/19424/task/19427/stat : 19427 (java) S 19422 19422 17600 0 -1 1077944384 1716 0 0 0 107 39 0 0 20 0 19 0 410823090 15925841920 436792 33554432000 4194304 4196468 140723710860096 139967958514704 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19428] ppid=19422 vsize=15552580 memory=1747168 CPUtime=1.48 cores=4-7
/proc/19424/task/19428/stat : 19428 (java) S 19422 19422 17600 0 -1 1077944384 2016 0 0 0 108 40 0 0 20 0 19 0 410823090 15925841920 436792 33554432000 4194304 4196468 140723710860096 139967957461904 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19429] ppid=19422 vsize=15552580 memory=1724 CPUtime=1.48 cores=4-7
/proc/19424/task/19429/stat : 19429 (java) S 19422 19422 17600 0 -1 1077944384 1780 0 0 0 108 40 0 0 20 0 19 0 410823090 15925841920 436792 33554432000 4194304 4196468 140723710860096 139967956409104 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19430] ppid=19422 vsize=15552580 memory=1964 CPUtime=0.66 cores=4-7
/proc/19424/task/19430/stat : 19430 (java) S 19422 19422 17600 0 -1 1077944384 4451 0 0 0 66 0 0 0 20 0 19 0 410823092 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966880385392 139968006957698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19431] ppid=19422 vsize=15552580 memory=2776 CPUtime=0 cores=4-7
/proc/19424/task/19431/stat : 19431 (java) S 19422 19422 17600 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 410823092 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966879331424 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19432] ppid=19422 vsize=15552580 memory=924 CPUtime=0 cores=4-7
/proc/19424/task/19432/stat : 19432 (java) S 19422 19422 17600 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410823092 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966810153856 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19433] ppid=19422 vsize=15552580 memory=1444 CPUtime=0 cores=4-7
/proc/19424/task/19433/stat : 19433 (java) S 19422 19422 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966809102160 139968006965147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19434] ppid=19422 vsize=15552580 memory=1764 CPUtime=2.94 cores=4-7
/proc/19424/task/19434/stat : 19434 (java) S 19422 19422 17600 0 -1 1077944384 7434 0 0 0 293 1 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966808050544 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19435] ppid=19422 vsize=15552580 memory=111632 CPUtime=3.14 cores=4-7
/proc/19424/task/19435/stat : 19435 (java) S 19422 19422 17600 0 -1 1077944384 9071 0 0 0 313 1 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966806997744 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19436] ppid=19422 vsize=15552580 memory=800 CPUtime=1.07 cores=4-7
/proc/19424/task/19436/stat : 19436 (java) S 19422 19422 17600 0 -1 1077944384 8097 0 0 0 105 2 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966805944944 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19437] ppid=19422 vsize=15552580 memory=4104 CPUtime=0 cores=4-7
/proc/19424/task/19437/stat : 19437 (java) S 19422 19422 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966804892384 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19438] ppid=19422 vsize=15552580 memory=1808 CPUtime=0 cores=4-7
/proc/19424/task/19438/stat : 19438 (java) S 19422 19422 17600 0 -1 1077944384 641 0 0 0 0 0 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966803839664 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19476] ppid=19422 vsize=15552580 memory=924 CPUtime=3.45 cores=4-7
/proc/19424/task/19476/stat : 19476 (java) S 19422 19422 17600 0 -1 1077944384 417 0 0 0 345 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966791720960 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19477] ppid=19422 vsize=15552580 memory=3848 CPUtime=3.42 cores=4-7
/proc/19424/task/19477/stat : 19477 (java) S 19422 19422 17600 0 -1 1077944384 894 0 0 0 342 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966788564304 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19478] ppid=19422 vsize=15552580 memory=2596 CPUtime=3.42 cores=4-7
/proc/19424/task/19478/stat : 19478 (java) S 19422 19422 17600 0 -1 1077944384 377 0 0 0 342 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966789616848 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19479] ppid=19422 vsize=15552580 memory=2596 CPUtime=4.09 cores=4-7
/proc/19424/task/19479/stat : 19479 (java) R 19422 19422 17600 0 -1 4202560 164 0 0 0 409 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966787505896 139967642965194 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
Current children cumulated CPU time: 83.93 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 1748620 KiB
[startup+36.8009 s]
/proc/loadavg: 7.68 7.97 6.65 6/237 19479
/proc/meminfo: memFree=24924376/32770688 swapFree=66919992/67108860
[pid=19422] ppid=19419 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/19422/stat : 19422 (xcsp3-exec) S 19419 19422 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410823089 115843072 363 33554432000 4194304 5098028 140737087793056 140737087791160 139856855810684 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37011456 140737087796091 140737087796333 140737087796333 140737087799242 0
/proc/19422/statm: 28282 363 304 221 0 87 0
[pid=19424] ppid=19422 vsize=15552580 memory=1747168 CPUtime=84.33 cores=4-7
/proc/19424/stat : 19424 (java) S 19422 19422 17600 0 -1 1077944320 60099 0 0 0 8254 179 0 0 20 0 19 0 410823089 15925841920 436792 33554432000 4194304 4196468 140723710860096 140723710842640 139968006946551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
/proc/19424/statm: 3888145 436792 3540 1 0 3849247 0
[pid=19424/tid=19425] ppid=19422 vsize=15552580 memory=1452 CPUtime=14.56 cores=4-7
/proc/19424/task/19425/stat : 19425 (java) S 19422 19422 17600 0 -1 1077944384 14391 0 0 0 1446 10 0 0 20 0 19 0 410823089 15925841920 436792 33554432000 4194304 4196468 140723710860096 139968011187328 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19426] ppid=19422 vsize=15552580 memory=1452 CPUtime=1.48 cores=4-7
/proc/19424/task/19426/stat : 19426 (java) S 19422 19422 17600 0 -1 1077944384 1801 0 0 0 108 40 0 0 20 0 19 0 410823090 15925841920 436792 33554432000 4194304 4196468 140723710860096 139967959567504 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19427] ppid=19422 vsize=15552580 memory=1747164 CPUtime=1.46 cores=4-7
/proc/19424/task/19427/stat : 19427 (java) S 19422 19422 17600 0 -1 1077944384 1716 0 0 0 107 39 0 0 20 0 19 0 410823090 15925841920 436792 33554432000 4194304 4196468 140723710860096 139967958514704 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19428] ppid=19422 vsize=15552580 memory=6791534058613427641 CPUtime=1.48 cores=4-7
/proc/19424/task/19428/stat : 19428 (java) S 19422 19422 17600 0 -1 1077944384 2016 0 0 0 108 40 0 0 20 0 19 0 410823090 15925841920 436792 33554432000 4194304 4196468 140723710860096 139967957461904 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19429] ppid=19422 vsize=15552580 memory=281084403122416 CPUtime=1.48 cores=4-7
/proc/19424/task/19429/stat : 19429 (java) S 19422 19422 17600 0 -1 1077944384 1780 0 0 0 108 40 0 0 20 0 19 0 410823090 15925841920 436792 33554432000 4194304 4196468 140723710860096 139967956409104 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19430] ppid=19422 vsize=15552580 memory=281084403122416 CPUtime=0.66 cores=4-7
/proc/19424/task/19430/stat : 19430 (java) S 19422 19422 17600 0 -1 1077944384 4451 0 0 0 66 0 0 0 20 0 19 0 410823092 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966880385392 139968006957698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19431] ppid=19422 vsize=15552580 memory=281084403126256 CPUtime=0 cores=4-7
/proc/19424/task/19431/stat : 19431 (java) S 19422 19422 17600 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 410823092 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966879331424 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19432] ppid=19422 vsize=15552580 memory=281084403126256 CPUtime=0 cores=4-7
/proc/19424/task/19432/stat : 19432 (java) S 19422 19422 17600 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410823092 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966810153856 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19433] ppid=19422 vsize=15552580 memory=281084403126256 CPUtime=0 cores=4-7
/proc/19424/task/19433/stat : 19433 (java) S 19422 19422 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966809102160 139968006965147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19434] ppid=19422 vsize=15552580 memory=1176 CPUtime=2.94 cores=4-7
/proc/19424/task/19434/stat : 19434 (java) S 19422 19422 17600 0 -1 1077944384 7434 0 0 0 293 1 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966808050544 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19435] ppid=19422 vsize=15552580 memory=980 CPUtime=3.14 cores=4-7
/proc/19424/task/19435/stat : 19435 (java) S 19422 19422 17600 0 -1 1077944384 9071 0 0 0 313 1 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966806997744 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19436] ppid=19422 vsize=15552580 memory=14008 CPUtime=1.07 cores=4-7
/proc/19424/task/19436/stat : 19436 (java) S 19422 19422 17600 0 -1 1077944384 8097 0 0 0 105 2 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966805944944 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19437] ppid=19422 vsize=15552580 memory=12028 CPUtime=0 cores=4-7
/proc/19424/task/19437/stat : 19437 (java) S 19422 19422 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966804892384 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19438] ppid=19422 vsize=15552580 memory=24768 CPUtime=0 cores=4-7
/proc/19424/task/19438/stat : 19438 (java) S 19422 19422 17600 0 -1 1077944384 641 0 0 0 0 0 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966803839664 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19476] ppid=19422 vsize=15552580 memory=2120 CPUtime=3.45 cores=4-7
/proc/19424/task/19476/stat : 19476 (java) S 19422 19422 17600 0 -1 1077944384 417 0 0 0 345 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966791720960 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19477] ppid=19422 vsize=15552580 memory=496 CPUtime=3.42 cores=4-7
/proc/19424/task/19477/stat : 19477 (java) S 19422 19422 17600 0 -1 1077944384 894 0 0 0 342 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966788564304 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19478] ppid=19422 vsize=15552580 memory=6791534058613427641 CPUtime=3.42 cores=4-7
/proc/19424/task/19478/stat : 19478 (java) S 19422 19422 17600 0 -1 1077944384 377 0 0 0 342 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966789616848 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19479] ppid=19422 vsize=15552580 memory=288230591755977018 CPUtime=4.49 cores=4-7
/proc/19424/task/19479/stat : 19479 (java) R 19422 19422 17600 0 -1 4202560 164 0 0 0 449 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966787505896 139967642965033 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
Current children cumulated CPU time: 84.33 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 1748620 KiB
[startup+36.901 s]
/proc/loadavg: 7.68 7.97 6.65 6/237 19479
/proc/meminfo: memFree=24924376/32770688 swapFree=66919992/67108860
[pid=19422] ppid=19419 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/19422/stat : 19422 (xcsp3-exec) S 19419 19422 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410823089 115843072 363 33554432000 4194304 5098028 140737087793056 140737087791160 139856855810684 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37011456 140737087796091 140737087796333 140737087796333 140737087799242 0
/proc/19422/statm: 28282 363 304 221 0 87 0
[pid=19424] ppid=19422 vsize=15552580 memory=1747168 CPUtime=84.43 cores=4-7
/proc/19424/stat : 19424 (java) S 19422 19422 17600 0 -1 1077944320 60099 0 0 0 8264 179 0 0 20 0 19 0 410823089 15925841920 436792 33554432000 4194304 4196468 140723710860096 140723710842640 139968006946551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
/proc/19424/statm: 3888145 436792 3540 1 0 3849247 0
[pid=19424/tid=19425] ppid=19422 vsize=15552580 memory=1747168 CPUtime=14.56 cores=4-7
/proc/19424/task/19425/stat : 19425 (java) S 19422 19422 17600 0 -1 1077944384 14391 0 0 0 1446 10 0 0 20 0 19 0 410823089 15925841920 436792 33554432000 4194304 4196468 140723710860096 139968011187328 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19426] ppid=19422 vsize=15552580 memory=1747168 CPUtime=1.48 cores=4-7
/proc/19424/task/19426/stat : 19426 (java) S 19422 19422 17600 0 -1 1077944384 1801 0 0 0 108 40 0 0 20 0 19 0 410823090 15925841920 436792 33554432000 4194304 4196468 140723710860096 139967959567504 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19427] ppid=19422 vsize=15552580 memory=1452 CPUtime=1.46 cores=4-7
/proc/19424/task/19427/stat : 19427 (java) S 19422 19422 17600 0 -1 1077944384 1716 0 0 0 107 39 0 0 20 0 19 0 410823090 15925841920 436792 33554432000 4194304 4196468 140723710860096 139967958514704 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19428] ppid=19422 vsize=15552580 memory=1452 CPUtime=1.48 cores=4-7
/proc/19424/task/19428/stat : 19428 (java) S 19422 19422 17600 0 -1 1077944384 2016 0 0 0 108 40 0 0 20 0 19 0 410823090 15925841920 436792 33554432000 4194304 4196468 140723710860096 139967957461904 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19429] ppid=19422 vsize=15552580 memory=1747088 CPUtime=1.48 cores=4-7
/proc/19424/task/19429/stat : 19429 (java) S 19422 19422 17600 0 -1 1077944384 1780 0 0 0 108 40 0 0 20 0 19 0 410823090 15925841920 436792 33554432000 4194304 4196468 140723710860096 139967956409104 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19430] ppid=19422 vsize=15552580 memory=1452 CPUtime=0.66 cores=4-7
/proc/19424/task/19430/stat : 19430 (java) S 19422 19422 17600 0 -1 1077944384 4451 0 0 0 66 0 0 0 20 0 19 0 410823092 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966880385392 139968006957698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19431] ppid=19422 vsize=15552580 memory=1452 CPUtime=0 cores=4-7
/proc/19424/task/19431/stat : 19431 (java) S 19422 19422 17600 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 410823092 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966879331424 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19432] ppid=19422 vsize=15552580 memory=1746940 CPUtime=0 cores=4-7
/proc/19424/task/19432/stat : 19432 (java) S 19422 19422 17600 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410823092 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966810153856 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19433] ppid=19422 vsize=15552580 memory=1746640 CPUtime=0 cores=4-7
/proc/19424/task/19433/stat : 19433 (java) S 19422 19422 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966809102160 139968006965147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19434] ppid=19422 vsize=15552580 memory=1432 CPUtime=2.94 cores=4-7
/proc/19424/task/19434/stat : 19434 (java) S 19422 19422 17600 0 -1 1077944384 7434 0 0 0 293 1 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966808050544 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19435] ppid=19422 vsize=15552580 memory=1746584 CPUtime=3.14 cores=4-7
/proc/19424/task/19435/stat : 19435 (java) S 19422 19422 17600 0 -1 1077944384 9071 0 0 0 313 1 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966806997744 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19436] ppid=19422 vsize=15552580 memory=1452 CPUtime=1.07 cores=4-7
/proc/19424/task/19436/stat : 19436 (java) S 19422 19422 17600 0 -1 1077944384 8097 0 0 0 105 2 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966805944944 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19437] ppid=19422 vsize=15552580 memory=1452 CPUtime=0 cores=4-7
/proc/19424/task/19437/stat : 19437 (java) S 19422 19422 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966804892384 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19438] ppid=19422 vsize=15552580 memory=1747164 CPUtime=0 cores=4-7
/proc/19424/task/19438/stat : 19438 (java) S 19422 19422 17600 0 -1 1077944384 641 0 0 0 0 0 0 0 20 0 19 0 410823095 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966803839664 139968006957698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19476] ppid=19422 vsize=15552580 memory=6791534058613427641 CPUtime=3.45 cores=4-7
/proc/19424/task/19476/stat : 19476 (java) S 19422 19422 17600 0 -1 1077944384 417 0 0 0 345 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966791720960 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19477] ppid=19422 vsize=15552580 memory=1747140 CPUtime=3.42 cores=4-7
/proc/19424/task/19477/stat : 19477 (java) S 19422 19422 17600 0 -1 1077944384 894 0 0 0 342 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966788564304 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19478] ppid=19422 vsize=15552580 memory=1746940 CPUtime=3.42 cores=4-7
/proc/19424/task/19478/stat : 19478 (java) S 19422 19422 17600 0 -1 1077944384 377 0 0 0 342 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966789616848 139968006956757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
[pid=19424/tid=19479] ppid=19422 vsize=15552580 memory=1452 CPUtime=4.59 cores=4-7
/proc/19424/task/19479/stat : 19479 (java) R 19422 19422 17600 0 -1 4202560 164 0 0 0 459 0 0 0 20 0 19 0 410826319 15925841920 436792 33554432000 4194304 4196468 140723710860096 139966787505896 139967642965083 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19427328 140723710866415 140723710866586 140723710866586 140723710869455 0
Current children cumulated CPU time: 84.43 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 1748620 KiB
Child status: 0
Real time (s): 36.9579
CPU time (s): 84.5002
CPU user time (s): 82.6887
CPU system time (s): 1.81146
CPU usage (%): 228.639
Max. virtual memory (cumulated for all children) (KiB): 15665708
Max. memory (cumulated for all children) (KiB): 1753992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.6887
system time used= 1.81146
maximum resident set size= 1753588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62034
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4222
involuntary context switches= 1833
# summary of solver processes directly reported to runsolver:
# pid: 19422
# total CPU time (s): 84.5002
# total CPU user time (s): 82.6887
# total CPU system time (s): 1.81146
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.300124 second user time and 0.455118 second system time
The end
Begin job on node120 at 2011-12-14 12:36:30 IDJOB=4394169 IDBENCH=141106 IDSOLVER=2842 FILE ID=node120/4394169-1568348167 RUNJOBID= node120-1323860857-17632 PBS_JOBID= 21701167 Free space on /tmp= 59128 MiB SOLVER NAME= choco-solver 2019-06-14 BENCH NAME= XCSP18/Tal/Tal-03_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394169-1568348167/watcher-4394169-1568348167 -o /tmp/evaluation-result-4394169-1568348167/solver-4394169-1568348167 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17632 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 859907774 HOME/instance-4394169-1568348167.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fb5ba5d4d49d61a1ee3ee3c25fa47163 RANDOM SEED=859907774 node120.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 26662072 kB MemAvailable: 30732492 kB Buffers: 159256 kB Cached: 4204928 kB SwapCached: 77548 kB Active: 2376920 kB Inactive: 3150976 kB Active(anon): 1086640 kB Inactive(anon): 126960 kB Active(file): 1290280 kB Inactive(file): 3024016 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 26016 kB Writeback: 0 kB AnonPages: 1196172 kB Mapped: 60516 kB Shmem: 41008 kB Slab: 172892 kB SReclaimable: 143916 kB SUnreclaim: 28976 kB KernelStack: 3776 kB PageTables: 7544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 2906568 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1073152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 59100 MiB End job on node120 at 2011-12-14 12:37:07