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-09-24 | OPT | 96 | 75.1542 | 67.3538 |
| 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-4406429-1569405347.xml" -tl '2400s' -p 1 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4406429-1569405347.xml, -tl, 2400s, -p, 1] 0.34/0.22 c simple solver 0.34/0.29 c parse instance... 6.75/4.39 c solve instance... 7.02/4.47 o 148 7.99/4.78 o 140 7.99/4.78 o 136 7.99/4.78 o 132 7.99/4.78 o 128 7.99/4.78 o 124 8.31/4.88 o 120 8.94/5.01 o 108 8.94/5.02 o 104 8.94/5.03 o 100 8.94/5.03 o 96 75.09/67.34 s OPTIMUM FOUND 75.09/67.34 v <instantiation> 75.09/67.34 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> 75.09/67.34 v <values>0 0 0 0 0 0 0 0 16 0 0 4 16 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 16 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 9 7 13 8 0 3 9 7 13 8 3 0 9 7 13 3 3 9 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> 75.09/67.34 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: 16374 MiB (13660 MiB free)
memory of node 1: 16384 MiB (11178 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406429-1569405347/watcher-4406429-1569405347 -o /tmp/evaluation-result-4406429-1569405347/solver-4406429-1569405347 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569396629-28466 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1988558389 HOME/instance-4406429-1569405347.xml
running on 4 cores: 1,3,5,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
solver pid=30620, runsolver pid=30617
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 2.00 2.02 1.97 4/229 30636
/proc/meminfo: memFree=25420052/32770624 swapFree=66956584/67108860
[pid=30620] ppid=30617 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30620/stat : 30620 (xcsp3-exec) S 30617 30620 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516806042 115843072 362 33554432000 4194304 5098028 140732881695104 140732881693208 140428802302588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35627008 140732881699706 140732881699949 140732881699949 140732881702858 0
/proc/30620/statm: 28282 362 304 221 0 87 0
[pid=30622] ppid=30620 vsize=15144776 memory=28096 CPUtime=0.13 cores=1,3,5,7
/proc/30622/stat : 30622 (java) S 30620 30620 28434 0 -1 1077944320 5941 0 0 0 12 1 0 0 20 0 15 0 516806043 15508250624 7024 33554432000 4194304 4196468 140729152816112 140729152798656 140586119913207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
/proc/30622/statm: 3786194 7024 3153 1 0 3748377 0
[pid=30622/tid=30623] ppid=30620 vsize=15144776 memory=8514701219881124772 CPUtime=0.09 cores=1,3,5,7
/proc/30622/task/30623/stat : 30623 (java) S 30620 30620 28434 0 -1 1077944384 3791 0 0 0 8 1 0 0 20 0 15 0 516806043 15508250624 7024 33554432000 4194304 4196468 140729152816112 140586124145712 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30624] ppid=30620 vsize=15144776 memory=3472467760161621200 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30624/stat : 30624 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806044 15508250624 7024 33554432000 4194304 4196468 140729152816112 140585711798672 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30625] ppid=30620 vsize=15144776 memory=139631266469504 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30625/stat : 30625 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806044 15508250624 7024 33554432000 4194304 4196468 140729152816112 140585710745872 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30626] ppid=30620 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30626/stat : 30626 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806044 15508250624 7024 33554432000 4194304 4196468 140729152816112 140585709693584 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30627] ppid=30620 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30627/stat : 30627 (java) S 30620 30620 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516806044 15508250624 7024 33554432000 4194304 4196468 140729152816112 140585708640784 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30628] ppid=30620 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30628/stat : 30628 (java) S 30620 30620 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516806045 15508250624 7024 33554432000 4194304 4196468 140729152816112 140584993450608 140586119924354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30629] ppid=30620 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30629/stat : 30629 (java) S 30620 30620 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516806045 15508250624 7024 33554432000 4194304 4196468 140729152816112 140584992396576 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30630] ppid=30620 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30630/stat : 30630 (java) S 30620 30620 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516806046 15508250624 7024 33554432000 4194304 4196468 140729152816112 140584991344240 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30631] ppid=30620 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30631/stat : 30631 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15508250624 7024 33554432000 4194304 4196468 140729152816112 140584990292560 140586119931803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30632] ppid=30620 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30632/stat : 30632 (java) R 30620 30620 28434 0 -1 4202560 446 0 0 0 0 0 0 0 20 0 15 0 516806048 15508250624 7024 33554432000 4194304 4196468 140729152816112 140584989239408 140586105579360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30633] ppid=30620 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30633/stat : 30633 (java) R 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15508250624 7024 33554432000 4194304 4196468 140729152816112 140584988186608 140586119924354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30634] ppid=30620 vsize=15144776 memory=139631266469504 CPUtime=0.02 cores=1,3,5,7
/proc/30622/task/30634/stat : 30634 (java) R 30620 30620 28434 0 -1 4202560 402 0 0 0 2 0 0 0 20 0 15 0 516806048 15508250624 7024 33554432000 4194304 4196468 140729152816112 140584987134320 140586099346281 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30635] ppid=30620 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30635/stat : 30635 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15508250624 7024 33554432000 4194304 4196468 140729152816112 140584986081760 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30636] ppid=30620 vsize=15144776 memory=139631266469504 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30636/stat : 30636 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806049 15508250624 7024 33554432000 4194304 4196468 140729152816112 140584985029552 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29544 KiB
[startup+0.210761 s]*
/proc/loadavg: 2.00 2.02 1.97 3/229 30636
/proc/meminfo: memFree=25407648/32770624 swapFree=66956584/67108860
[pid=30620] ppid=30617 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30620/stat : 30620 (xcsp3-exec) S 30617 30620 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516806042 115843072 362 33554432000 4194304 5098028 140732881695104 140732881693208 140428802302588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35627008 140732881699706 140732881699949 140732881699949 140732881702858 0
/proc/30620/statm: 28282 362 304 221 0 87 0
[pid=30622] ppid=30620 vsize=15144776 memory=39664 CPUtime=0.34 cores=1,3,5,7
/proc/30622/stat : 30622 (java) S 30620 30620 28434 0 -1 1077944320 9685 0 0 0 31 3 0 0 20 0 15 0 516806043 15508250624 9916 33554432000 4194304 4196468 140729152816112 140729152798656 140586119913207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
/proc/30622/statm: 3786194 9916 3280 1 0 3748377 0
[pid=30622/tid=30623] ppid=30620 vsize=15144776 memory=5855082630903857826 CPUtime=0.2 cores=1,3,5,7
/proc/30622/task/30623/stat : 30623 (java) R 30620 30620 28434 0 -1 4202560 6669 0 0 0 18 2 0 0 20 0 15 0 516806043 15508250624 9916 33554432000 4194304 4196468 140729152816112 140586124147264 140586103993694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30624] ppid=30620 vsize=15144776 memory=3472467760161621200 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30624/stat : 30624 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806044 15508250624 9916 33554432000 4194304 4196468 140729152816112 140585711798672 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30625] ppid=30620 vsize=15144776 memory=139631266469504 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30625/stat : 30625 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806044 15508250624 9916 33554432000 4194304 4196468 140729152816112 140585710745872 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30626] ppid=30620 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30626/stat : 30626 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806044 15508250624 9916 33554432000 4194304 4196468 140729152816112 140585709693584 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30627] ppid=30620 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30627/stat : 30627 (java) S 30620 30620 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516806044 15508250624 9916 33554432000 4194304 4196468 140729152816112 140585708640784 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30628] ppid=30620 vsize=15144776 memory=139631266469504 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30628/stat : 30628 (java) S 30620 30620 28434 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516806045 15508250624 9916 33554432000 4194304 4196468 140729152816112 140584993450608 140586119924354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30629] ppid=30620 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30629/stat : 30629 (java) S 30620 30620 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516806045 15508250624 9916 33554432000 4194304 4196468 140729152816112 140584992396576 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30630] ppid=30620 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30630/stat : 30630 (java) S 30620 30620 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516806046 15508250624 9916 33554432000 4194304 4196468 140729152816112 140584991344240 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30631] ppid=30620 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30631/stat : 30631 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15508250624 9916 33554432000 4194304 4196468 140729152816112 140584990292560 140586119931803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30632] ppid=30620 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30622/task/30632/stat : 30632 (java) S 30620 30620 28434 0 -1 1077944384 583 0 0 0 3 0 0 0 20 0 15 0 516806048 15508250624 9916 33554432000 4194304 4196468 140729152816112 140584989239408 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30633] ppid=30620 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30622/task/30633/stat : 30633 (java) S 30620 30620 28434 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 15 0 516806048 15508250624 9916 33554432000 4194304 4196468 140729152816112 140584988186608 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30634] ppid=30620 vsize=15144776 memory=139631266469504 CPUtime=0.08 cores=1,3,5,7
/proc/30622/task/30634/stat : 30634 (java) R 30620 30620 28434 0 -1 4202560 876 0 0 0 8 0 0 0 20 0 15 0 516806048 15508250624 9916 33554432000 4194304 4196468 140729152816112 140584987134320 140586113010043 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30635] ppid=30620 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30635/stat : 30635 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15508250624 9916 33554432000 4194304 4196468 140729152816112 140584986081760 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30636] ppid=30620 vsize=15144776 memory=139631266469504 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30636/stat : 30636 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806049 15508250624 9916 33554432000 4194304 4196468 140729152816112 140584985029552 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41112 KiB
[startup+0.311238 s]*
/proc/loadavg: 2.00 2.02 1.97 5/229 30636
/proc/meminfo: memFree=25402536/32770624 swapFree=66956584/67108860
[pid=30620] ppid=30617 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30620/stat : 30620 (xcsp3-exec) S 30617 30620 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516806042 115843072 362 33554432000 4194304 5098028 140732881695104 140732881693208 140428802302588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35627008 140732881699706 140732881699949 140732881699949 140732881702858 0
/proc/30620/statm: 28282 362 304 221 0 87 0
[pid=30622] ppid=30620 vsize=15149032 memory=49204 CPUtime=0.53 cores=1,3,5,7
/proc/30622/stat : 30622 (java) S 30620 30620 28434 0 -1 1077944320 11150 0 0 0 49 4 0 0 20 0 15 0 516806043 15512608768 12301 33554432000 4194304 4196468 140729152816112 140729152798656 140586119913207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
/proc/30622/statm: 3787258 12301 3370 1 0 3748377 0
[pid=30622/tid=30623] ppid=30620 vsize=15149032 memory=8514701219880861597 CPUtime=0.3 cores=1,3,5,7
/proc/30622/task/30623/stat : 30623 (java) R 30620 30620 28434 0 -1 4202560 7809 0 0 0 27 3 0 0 20 0 15 0 516806043 15512608768 12301 33554432000 4194304 4196468 140729152816112 140586124144320 140585756832095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30624] ppid=30620 vsize=15149032 memory=3472467760161621200 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30624/stat : 30624 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806044 15512608768 12301 33554432000 4194304 4196468 140729152816112 140585711798672 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30625] ppid=30620 vsize=15149032 memory=139631266469504 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30625/stat : 30625 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806044 15512608768 12301 33554432000 4194304 4196468 140729152816112 140585710745872 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30626] ppid=30620 vsize=15149032 memory=5 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30626/stat : 30626 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806044 15512608768 12301 33554432000 4194304 4196468 140729152816112 140585709693584 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30627] ppid=30620 vsize=15149032 memory=139631131764767 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30627/stat : 30627 (java) S 30620 30620 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516806044 15512608768 12301 33554432000 4194304 4196468 140729152816112 140585708640784 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30628] ppid=30620 vsize=15149032 memory=279262263490304 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30628/stat : 30628 (java) S 30620 30620 28434 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516806045 15512608768 12301 33554432000 4194304 4196468 140729152816112 140584993450608 140586119924354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30629] ppid=30620 vsize=15149032 memory=139631131741711 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30629/stat : 30629 (java) S 30620 30620 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516806045 15512608768 12301 33554432000 4194304 4196468 140729152816112 140584992396576 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30630] ppid=30620 vsize=15149032 memory=279262398220384 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30630/stat : 30630 (java) S 30620 30620 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516806046 15512608768 12301 33554432000 4194304 4196468 140729152816112 140584991344240 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30631] ppid=30620 vsize=15149032 memory=139631131746319 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30631/stat : 30631 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15512608768 12301 33554432000 4194304 4196468 140729152816112 140584990292560 140586119931803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30632] ppid=30620 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30622/task/30632/stat : 30632 (java) S 30620 30620 28434 0 -1 1077944384 607 0 0 0 4 0 0 0 20 0 15 0 516806048 15512608768 12301 33554432000 4194304 4196468 140729152816112 140584989239408 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30633] ppid=30620 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/30622/task/30633/stat : 30633 (java) R 30620 30620 28434 0 -1 4202560 389 0 0 0 4 0 0 0 20 0 15 0 516806048 15512608768 12301 33554432000 4194304 4196468 140729152816112 140584988186608 140586101457721 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30634] ppid=30620 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30622/task/30634/stat : 30634 (java) S 30620 30620 28434 0 -1 1077944384 1042 0 0 0 12 0 0 0 20 0 15 0 516806048 15512608768 12301 33554432000 4194304 4196468 140729152816112 140584987134320 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30635] ppid=30620 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30635/stat : 30635 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15512608768 12301 33554432000 4194304 4196468 140729152816112 140584986081760 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30636] ppid=30620 vsize=15149032 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30636/stat : 30636 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806049 15512608768 12301 33554432000 4194304 4196468 140729152816112 140584985029552 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50652 KiB
[startup+0.700896 s]
/proc/loadavg: 2.00 2.02 1.97 6/229 30636
/proc/meminfo: memFree=25378776/32770624 swapFree=66956584/67108860
[pid=30620] ppid=30617 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30620/stat : 30620 (xcsp3-exec) S 30617 30620 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516806042 115843072 362 33554432000 4194304 5098028 140732881695104 140732881693208 140428802302588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35627008 140732881699706 140732881699949 140732881699949 140732881702858 0
/proc/30620/statm: 28282 362 304 221 0 87 0
[pid=30622] ppid=30620 vsize=15151156 memory=91656 CPUtime=1.67 cores=1,3,5,7
/proc/30622/stat : 30622 (java) S 30620 30620 28434 0 -1 1077944320 15413 0 0 0 162 5 0 0 20 0 15 0 516806043 15514783744 22914 33554432000 4194304 4196468 140729152816112 140729152798656 140586119913207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
/proc/30622/statm: 3787789 22914 3448 1 0 3748889 0
[pid=30622/tid=30623] ppid=30620 vsize=15151156 memory=7236547281622689387 CPUtime=0.67 cores=1,3,5,7
/proc/30622/task/30623/stat : 30623 (java) R 30620 30620 28434 0 -1 4202560 9154 0 0 0 64 3 0 0 20 0 15 0 516806043 15514783744 22914 33554432000 4194304 4196468 140729152816112 140586124150944 140585760951498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30624] ppid=30620 vsize=15151156 memory=7236547281622689387 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30624/stat : 30624 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806044 15514783744 22914 33554432000 4194304 4196468 140729152816112 140585711798672 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30625] ppid=30620 vsize=15151156 memory=6298373484264312913 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30625/stat : 30625 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806044 15514783744 22914 33554432000 4194304 4196468 140729152816112 140585710745872 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30626] ppid=30620 vsize=15151156 memory=7100839870071150693 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30626/stat : 30626 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806044 15514783744 22914 33554432000 4194304 4196468 140729152816112 140585709693584 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30627] ppid=30620 vsize=15151156 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30627/stat : 30627 (java) S 30620 30620 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516806044 15514783744 22914 33554432000 4194304 4196468 140729152816112 140585708640784 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30628] ppid=30620 vsize=15151156 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30628/stat : 30628 (java) S 30620 30620 28434 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516806045 15514783744 22914 33554432000 4194304 4196468 140729152816112 140584993450608 140586119924354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30629] ppid=30620 vsize=15151156 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30629/stat : 30629 (java) S 30620 30620 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516806045 15514783744 22914 33554432000 4194304 4196468 140729152816112 140584992396576 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30630] ppid=30620 vsize=15151156 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30630/stat : 30630 (java) S 30620 30620 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516806046 15514783744 22914 33554432000 4194304 4196468 140729152816112 140584991344240 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30631] ppid=30620 vsize=15151156 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30631/stat : 30631 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15514783744 22914 33554432000 4194304 4196468 140729152816112 140584990292560 140586119931803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30632] ppid=30620 vsize=15151156 memory=53724 CPUtime=0.3 cores=1,3,5,7
/proc/30622/task/30632/stat : 30632 (java) R 30620 30620 28434 0 -1 4202560 1591 0 0 0 30 0 0 0 20 0 15 0 516806048 15514783744 22914 33554432000 4194304 4196468 140729152816112 140584989239408 140586101436018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30633] ppid=30620 vsize=15151156 memory=984 CPUtime=0.29 cores=1,3,5,7
/proc/30622/task/30633/stat : 30633 (java) R 30620 30620 28434 0 -1 4202560 1168 0 0 0 29 0 0 0 20 0 15 0 516806048 15514783744 22914 33554432000 4194304 4196468 140729152816112 140584988171680 140586101457872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30634] ppid=30620 vsize=15151156 memory=2032 CPUtime=0.37 cores=1,3,5,7
/proc/30622/task/30634/stat : 30634 (java) S 30620 30620 28434 0 -1 1077944384 2194 0 0 0 37 0 0 0 20 0 15 0 516806048 15514783744 22914 33554432000 4194304 4196468 140729152816112 140584987134320 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30635] ppid=30620 vsize=15151156 memory=7090143983960547920 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30635/stat : 30635 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15514783744 22914 33554432000 4194304 4196468 140729152816112 140584986081760 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30636] ppid=30620 vsize=15151156 memory=7013346425477294192 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30636/stat : 30636 (java) S 30620 30620 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516806049 15514783744 22914 33554432000 4194304 4196468 140729152816112 140584985029552 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93104 KiB
[startup+1.50085 s]
/proc/loadavg: 2.00 2.02 1.97 3/229 30636
/proc/meminfo: memFree=25314552/32770624 swapFree=66956584/67108860
[pid=30620] ppid=30617 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30620/stat : 30620 (xcsp3-exec) S 30617 30620 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516806042 115843072 362 33554432000 4194304 5098028 140732881695104 140732881693208 140428802302588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35627008 140732881699706 140732881699949 140732881699949 140732881702858 0
/proc/30620/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/30620/stat : 30620 (xcsp3-exec) S 30617 30620 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516806042 115843072 362 33554432000 4194304 5098028 140732881695104 140732881693208 140428802302588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35627008 140732881699706 140732881699949 140732881699949 140732881702858 0
/proc/30620/statm: 28282 362 304 221 0 87 0
[pid=30622] ppid=30620 vsize=15153204 memory=648612 CPUtime=74.19 cores=1,3,5,7
/proc/30622/stat : 30622 (java) S 30620 30620 28434 0 -1 1077944320 50705 0 0 0 7369 50 0 0 20 0 15 0 516806043 15516880896 162153 33554432000 4194304 4196468 140729152816112 140729152798656 140586119913207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
/proc/30622/statm: 3788301 162153 3510 1 0 3749401 0
[pid=30622/tid=30623] ppid=30620 vsize=15153204 memory=8444 CPUtime=65.76 cores=1,3,5,7
/proc/30622/task/30623/stat : 30623 (java) R 30620 30620 28434 0 -1 4202560 13394 0 0 0 6569 7 0 0 20 0 15 0 516806043 15516880896 162153 33554432000 4194304 4196468 140729152816112 140586124151992 140585762657623 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30624] ppid=30620 vsize=15153204 memory=6184 CPUtime=0.33 cores=1,3,5,7
/proc/30622/task/30624/stat : 30624 (java) S 30620 30620 28434 0 -1 1077944384 410 0 0 0 24 9 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585711798672 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30625] ppid=30620 vsize=15153204 memory=1124 CPUtime=0.33 cores=1,3,5,7
/proc/30622/task/30625/stat : 30625 (java) S 30620 30620 28434 0 -1 1077944384 330 0 0 0 24 9 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585710745872 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30626] ppid=30620 vsize=15153204 memory=14008 CPUtime=0.33 cores=1,3,5,7
/proc/30622/task/30626/stat : 30626 (java) S 30620 30620 28434 0 -1 1077944384 847 0 0 0 24 9 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585709693584 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30627] ppid=30620 vsize=15153204 memory=648612 CPUtime=0.32 cores=1,3,5,7
/proc/30622/task/30627/stat : 30627 (java) S 30620 30620 28434 0 -1 1077944384 309 0 0 0 24 8 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585708640784 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30628] ppid=30620 vsize=15153204 memory=1420 CPUtime=0.26 cores=1,3,5,7
/proc/30622/task/30628/stat : 30628 (java) S 30620 30620 28434 0 -1 1077944384 3182 0 0 0 26 0 0 0 20 0 15 0 516806045 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584993450608 140586119924354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30629] ppid=30620 vsize=15153204 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30629/stat : 30629 (java) S 30620 30620 28434 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 516806045 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584992396640 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30630] ppid=30620 vsize=15153204 memory=2532 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30630/stat : 30630 (java) S 30620 30620 28434 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 516806046 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584991344256 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30631] ppid=30620 vsize=15153204 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30631/stat : 30631 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584990292560 140586119931803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30632] ppid=30620 vsize=15153204 memory=808 CPUtime=2.97 cores=1,3,5,7
/proc/30622/task/30632/stat : 30632 (java) S 30620 30620 28434 0 -1 1077944384 12913 0 0 0 296 1 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584989239408 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30633] ppid=30620 vsize=15153204 memory=6791534058613427641 CPUtime=3.08 cores=1,3,5,7
/proc/30622/task/30633/stat : 30633 (java) S 30620 30620 28434 0 -1 1077944384 11061 0 0 0 306 2 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584988186608 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30634] ppid=30620 vsize=15153204 memory=1328 CPUtime=0.7 cores=1,3,5,7
/proc/30622/task/30634/stat : 30634 (java) S 30620 30620 28434 0 -1 1077944384 5774 0 0 0 69 1 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584987134320 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30635] ppid=30620 vsize=15153204 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30635/stat : 30635 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584986081760 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30636] ppid=30620 vsize=15153204 memory=976 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30636/stat : 30636 (java) S 30620 30620 28434 0 -1 1077944384 1122 0 0 0 0 0 0 0 20 0 15 0 516806049 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584985029552 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
Current children cumulated CPU time: 74.19 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 650060 KiB
[startup+66.8007 s]
/proc/loadavg: 1.91 1.99 1.96 3/229 30642
/proc/meminfo: memFree=24824640/32770624 swapFree=66956584/67108860
[pid=30620] ppid=30617 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30620/stat : 30620 (xcsp3-exec) S 30617 30620 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516806042 115843072 362 33554432000 4194304 5098028 140732881695104 140732881693208 140428802302588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35627008 140732881699706 140732881699949 140732881699949 140732881702858 0
/proc/30620/statm: 28282 362 304 221 0 87 0
[pid=30622] ppid=30620 vsize=15153204 memory=648612 CPUtime=74.59 cores=1,3,5,7
/proc/30622/stat : 30622 (java) S 30620 30620 28434 0 -1 1077944320 50706 0 0 0 7409 50 0 0 20 0 15 0 516806043 15516880896 162153 33554432000 4194304 4196468 140729152816112 140729152798656 140586119913207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
/proc/30622/statm: 3788301 162153 3510 1 0 3749401 0
[pid=30622/tid=30623] ppid=30620 vsize=15153204 memory=1724 CPUtime=66.16 cores=1,3,5,7
/proc/30622/task/30623/stat : 30623 (java) R 30620 30620 28434 0 -1 4202560 13395 0 0 0 6609 7 0 0 20 0 15 0 516806043 15516880896 162153 33554432000 4194304 4196468 140729152816112 140586124151992 140585762679385 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30624] ppid=30620 vsize=15153204 memory=1808 CPUtime=0.33 cores=1,3,5,7
/proc/30622/task/30624/stat : 30624 (java) S 30620 30620 28434 0 -1 1077944384 410 0 0 0 24 9 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585711798672 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30625] ppid=30620 vsize=15153204 memory=920 CPUtime=0.33 cores=1,3,5,7
/proc/30622/task/30625/stat : 30625 (java) S 30620 30620 28434 0 -1 1077944384 330 0 0 0 24 9 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585710745872 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30626] ppid=30620 vsize=15153204 memory=3844 CPUtime=0.33 cores=1,3,5,7
/proc/30622/task/30626/stat : 30626 (java) S 30620 30620 28434 0 -1 1077944384 847 0 0 0 24 9 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585709693584 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30627] ppid=30620 vsize=15153204 memory=2728 CPUtime=0.32 cores=1,3,5,7
/proc/30622/task/30627/stat : 30627 (java) S 30620 30620 28434 0 -1 1077944384 309 0 0 0 24 8 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585708640784 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30628] ppid=30620 vsize=15153204 memory=2596 CPUtime=0.26 cores=1,3,5,7
/proc/30622/task/30628/stat : 30628 (java) S 30620 30620 28434 0 -1 1077944384 3182 0 0 0 26 0 0 0 20 0 15 0 516806045 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584993450608 140586119924354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30629] ppid=30620 vsize=15153204 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30629/stat : 30629 (java) S 30620 30620 28434 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 516806045 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584992396640 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30630] ppid=30620 vsize=15153204 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30630/stat : 30630 (java) S 30620 30620 28434 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 516806046 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584991344256 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30631] ppid=30620 vsize=15153204 memory=3204 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30631/stat : 30631 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584990292560 140586119931803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30632] ppid=30620 vsize=15153204 memory=1448 CPUtime=2.97 cores=1,3,5,7
/proc/30622/task/30632/stat : 30632 (java) S 30620 30620 28434 0 -1 1077944384 12913 0 0 0 296 1 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584989239408 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30633] ppid=30620 vsize=15153204 memory=154876 CPUtime=3.08 cores=1,3,5,7
/proc/30622/task/30633/stat : 30633 (java) S 30620 30620 28434 0 -1 1077944384 11061 0 0 0 306 2 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584988186608 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30634] ppid=30620 vsize=15153204 memory=648612 CPUtime=0.7 cores=1,3,5,7
/proc/30622/task/30634/stat : 30634 (java) S 30620 30620 28434 0 -1 1077944384 5774 0 0 0 69 1 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584987134320 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30635] ppid=30620 vsize=15153204 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30635/stat : 30635 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584986081760 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30636] ppid=30620 vsize=15153204 memory=290763857956438330 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30636/stat : 30636 (java) S 30620 30620 28434 0 -1 1077944384 1122 0 0 0 0 0 0 0 20 0 15 0 516806049 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584985029552 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
Current children cumulated CPU time: 74.59 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 650060 KiB
[startup+67.2007 s]
/proc/loadavg: 1.91 1.99 1.96 3/229 30642
/proc/meminfo: memFree=24826208/32770624 swapFree=66956584/67108860
[pid=30620] ppid=30617 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30620/stat : 30620 (xcsp3-exec) S 30617 30620 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516806042 115843072 362 33554432000 4194304 5098028 140732881695104 140732881693208 140428802302588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35627008 140732881699706 140732881699949 140732881699949 140732881702858 0
/proc/30620/statm: 28282 362 304 221 0 87 0
[pid=30622] ppid=30620 vsize=15153204 memory=648612 CPUtime=74.99 cores=1,3,5,7
/proc/30622/stat : 30622 (java) S 30620 30620 28434 0 -1 1077944320 50708 0 0 0 7449 50 0 0 20 0 15 0 516806043 15516880896 162153 33554432000 4194304 4196468 140729152816112 140729152798656 140586119913207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
/proc/30622/statm: 3788301 162153 3510 1 0 3749401 0
[pid=30622/tid=30623] ppid=30620 vsize=15153204 memory=6791534058613427641 CPUtime=66.56 cores=1,3,5,7
/proc/30622/task/30623/stat : 30623 (java) R 30620 30620 28434 0 -1 4202560 13397 0 0 0 6649 7 0 0 20 0 15 0 516806043 15516880896 162153 33554432000 4194304 4196468 140729152816112 140586124151992 140585764074780 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30624] ppid=30620 vsize=15153204 memory=976 CPUtime=0.33 cores=1,3,5,7
/proc/30622/task/30624/stat : 30624 (java) S 30620 30620 28434 0 -1 1077944384 410 0 0 0 24 9 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585711798672 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30625] ppid=30620 vsize=15153204 memory=772 CPUtime=0.33 cores=1,3,5,7
/proc/30622/task/30625/stat : 30625 (java) S 30620 30620 28434 0 -1 1077944384 330 0 0 0 24 9 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585710745872 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30626] ppid=30620 vsize=15153204 memory=6791534058613427641 CPUtime=0.33 cores=1,3,5,7
/proc/30622/task/30626/stat : 30626 (java) S 30620 30620 28434 0 -1 1077944384 847 0 0 0 24 9 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585709693584 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30627] ppid=30620 vsize=15153204 memory=6791534058613427641 CPUtime=0.32 cores=1,3,5,7
/proc/30622/task/30627/stat : 30627 (java) S 30620 30620 28434 0 -1 1077944384 309 0 0 0 24 8 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585708640784 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30628] ppid=30620 vsize=15153204 memory=920 CPUtime=0.26 cores=1,3,5,7
/proc/30622/task/30628/stat : 30628 (java) S 30620 30620 28434 0 -1 1077944384 3182 0 0 0 26 0 0 0 20 0 15 0 516806045 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584993450608 140586119924354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30629] ppid=30620 vsize=15153204 memory=3844 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30629/stat : 30629 (java) S 30620 30620 28434 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 516806045 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584992396640 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30630] ppid=30620 vsize=15153204 memory=53724 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30630/stat : 30630 (java) S 30620 30620 28434 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 516806046 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584991344256 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30631] ppid=30620 vsize=15153204 memory=984 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30631/stat : 30631 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584990292560 140586119931803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30632] ppid=30620 vsize=15153204 memory=2032 CPUtime=2.97 cores=1,3,5,7
/proc/30622/task/30632/stat : 30632 (java) S 30620 30620 28434 0 -1 1077944384 12913 0 0 0 296 1 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584989239408 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30633] ppid=30620 vsize=15153204 memory=1328 CPUtime=3.08 cores=1,3,5,7
/proc/30622/task/30633/stat : 30633 (java) S 30620 30620 28434 0 -1 1077944384 11061 0 0 0 306 2 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584988186608 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30634] ppid=30620 vsize=15153204 memory=1560 CPUtime=0.7 cores=1,3,5,7
/proc/30622/task/30634/stat : 30634 (java) S 30620 30620 28434 0 -1 1077944384 5774 0 0 0 69 1 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584987134320 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30635] ppid=30620 vsize=15153204 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30635/stat : 30635 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584986081760 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30636] ppid=30620 vsize=15153204 memory=648612 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30636/stat : 30636 (java) S 30620 30620 28434 0 -1 1077944384 1122 0 0 0 0 0 0 0 20 0 15 0 516806049 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584985029552 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
Current children cumulated CPU time: 74.99 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 650060 KiB
[startup+67.3007 s]
/proc/loadavg: 1.91 1.99 1.96 3/229 30642
/proc/meminfo: memFree=24826208/32770624 swapFree=66956584/67108860
[pid=30620] ppid=30617 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30620/stat : 30620 (xcsp3-exec) S 30617 30620 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516806042 115843072 362 33554432000 4194304 5098028 140732881695104 140732881693208 140428802302588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35627008 140732881699706 140732881699949 140732881699949 140732881702858 0
/proc/30620/statm: 28282 362 304 221 0 87 0
[pid=30622] ppid=30620 vsize=15153204 memory=648612 CPUtime=75.09 cores=1,3,5,7
/proc/30622/stat : 30622 (java) S 30620 30620 28434 0 -1 1077944320 50708 0 0 0 7459 50 0 0 20 0 15 0 516806043 15516880896 162153 33554432000 4194304 4196468 140729152816112 140729152798656 140586119913207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
/proc/30622/statm: 3788301 162153 3510 1 0 3749401 0
[pid=30622/tid=30623] ppid=30620 vsize=15153204 memory=1448 CPUtime=66.66 cores=1,3,5,7
/proc/30622/task/30623/stat : 30623 (java) R 30620 30620 28434 0 -1 4202560 13397 0 0 0 6659 7 0 0 20 0 15 0 516806043 15516880896 162153 33554432000 4194304 4196468 140729152816112 140586124151992 140585762391744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30624] ppid=30620 vsize=15153204 memory=648612 CPUtime=0.33 cores=1,3,5,7
/proc/30622/task/30624/stat : 30624 (java) S 30620 30620 28434 0 -1 1077944384 410 0 0 0 24 9 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585711798672 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30625] ppid=30620 vsize=15153204 memory=648612 CPUtime=0.33 cores=1,3,5,7
/proc/30622/task/30625/stat : 30625 (java) S 30620 30620 28434 0 -1 1077944384 330 0 0 0 24 9 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585710745872 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30626] ppid=30620 vsize=15153204 memory=1448 CPUtime=0.33 cores=1,3,5,7
/proc/30622/task/30626/stat : 30626 (java) S 30620 30620 28434 0 -1 1077944384 847 0 0 0 24 9 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585709693584 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30627] ppid=30620 vsize=15153204 memory=1448 CPUtime=0.32 cores=1,3,5,7
/proc/30622/task/30627/stat : 30627 (java) S 30620 30620 28434 0 -1 1077944384 309 0 0 0 24 8 0 0 20 0 15 0 516806044 15516880896 162153 33554432000 4194304 4196468 140729152816112 140585708640784 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30628] ppid=30620 vsize=15153204 memory=1448 CPUtime=0.26 cores=1,3,5,7
/proc/30622/task/30628/stat : 30628 (java) S 30620 30620 28434 0 -1 1077944384 3182 0 0 0 26 0 0 0 20 0 15 0 516806045 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584993450608 140586119924354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30629] ppid=30620 vsize=15153204 memory=648612 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30629/stat : 30629 (java) S 30620 30620 28434 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 516806045 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584992396640 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30630] ppid=30620 vsize=15153204 memory=648612 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30630/stat : 30630 (java) S 30620 30620 28434 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 516806046 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584991344256 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30631] ppid=30620 vsize=15153204 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30631/stat : 30631 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584990292560 140586119931803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30632] ppid=30620 vsize=15153204 memory=1448 CPUtime=2.97 cores=1,3,5,7
/proc/30622/task/30632/stat : 30632 (java) S 30620 30620 28434 0 -1 1077944384 12913 0 0 0 296 1 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584989239408 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30633] ppid=30620 vsize=15153204 memory=648612 CPUtime=3.08 cores=1,3,5,7
/proc/30622/task/30633/stat : 30633 (java) S 30620 30620 28434 0 -1 1077944384 11061 0 0 0 306 2 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584988186608 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30634] ppid=30620 vsize=15153204 memory=1448 CPUtime=0.7 cores=1,3,5,7
/proc/30622/task/30634/stat : 30634 (java) S 30620 30620 28434 0 -1 1077944384 5774 0 0 0 69 1 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584987134320 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30635] ppid=30620 vsize=15153204 memory=648612 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30635/stat : 30635 (java) S 30620 30620 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516806048 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584986081760 140586119923413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
[pid=30622/tid=30636] ppid=30620 vsize=15153204 memory=8881 CPUtime=0 cores=1,3,5,7
/proc/30622/task/30636/stat : 30636 (java) S 30620 30620 28434 0 -1 1077944384 1122 0 0 0 0 0 0 0 20 0 15 0 516806049 15516880896 162153 33554432000 4194304 4196468 140729152816112 140584985029552 140586119924354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17231872 140729152824303 140729152824474 140729152824474 140729152827343 0
Current children cumulated CPU time: 75.09 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 650060 KiB
Child status: 0
Real time (s): 67.3538
CPU time (s): 75.1542
CPU user time (s): 74.6375
CPU system time (s): 0.516643
CPU usage (%): 111.581
Max. virtual memory (cumulated for all children) (KiB): 15268324
Max. memory (cumulated for all children) (KiB): 657756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.6375
system time used= 0.516643
maximum resident set size= 656496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52197
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4229
involuntary context switches= 62
# summary of solver processes directly reported to runsolver:
# pid: 30620
# total CPU time (s): 75.1542
# total CPU user time (s): 74.6375
# total CPU system time (s): 0.516643
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.438598 second user time and 0.624282 second system time
The end
Begin job on node151 at 2019-09-25 11:55:07 IDJOB=4406429 IDBENCH=141106 IDSOLVER=2870 FILE ID=node151/4406429-1569405347 RUNJOBID= node151-1569396629-28466 PBS_JOBID= 21705674 Free space on /tmp= 12388 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP18/Tal/Tal-03_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406429-1569405347/watcher-4406429-1569405347 -o /tmp/evaluation-result-4406429-1569405347/solver-4406429-1569405347 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569396629-28466 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1988558389 HOME/instance-4406429-1569405347.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fb5ba5d4d49d61a1ee3ee3c25fa47163 RANDOM SEED=1988558389 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25435304 kB MemAvailable: 31628096 kB Buffers: 84252 kB Cached: 6296628 kB SwapCached: 50660 kB Active: 2865544 kB Inactive: 3739488 kB Active(anon): 172928 kB Inactive(anon): 105776 kB Active(file): 2692616 kB Inactive(file): 3633712 kB Unevictable: 108536 kB Mlocked: 108536 kB SwapTotal: 67108860 kB SwapFree: 66956584 kB Dirty: 26076 kB Writeback: 0 kB AnonPages: 314904 kB Mapped: 68612 kB Shmem: 46048 kB Slab: 323684 kB SReclaimable: 294924 kB SUnreclaim: 28760 kB KernelStack: 4032 kB PageTables: 6052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1455340 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 217088 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 12360 MiB End job on node151 at 2019-09-25 11:56:14