Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7b seq (e747e1e) | OPT | 96 | 241.604 | 234.587 |
| 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 | 98.6036 |
| 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 -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4301330-1532879044.xml" -tl '252s' -p 1 0.12/0.17 c Choco e747e1e 0.12/0.18 c [HOME/instance-4301330-1532879044.xml, -tl, 252s, -p, 1] 0.12/0.21 c simple solver 0.34/0.28 c parse instance... 8.54/6.22 c solve instance... 8.88/6.30 o 148 9.21/6.46 o 144 9.21/6.46 o 140 9.21/6.47 o 136 10.76/6.95 o 116 13.40/8.03 o 112 15.06/9.31 o 106 15.06/9.33 o 104 54.93/48.20 o 102 55.03/48.39 o 100 191.81/184.96 o 96 241.51/234.57 s OPTIMUM FOUND 241.51/234.57 v <instantiation> 241.51/234.57 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> 241.51/234.57 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 0 0 0 0 0 0 0 0 0 0 0 0 4 4 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 8 9 7 13 8 8 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> 241.51/234.57 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 (10089 MiB free)
memory of node 1: 16384 MiB (12674 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301330-1532879044/watcher-4301330-1532879044 -o /tmp/evaluation-result-4301330-1532879044/solver-4301330-1532879044 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6428 --watchdog 312 HOME/xcsp3-exec -seed 318120786 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301330-1532879044.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=6966, runsolver pid=6963
[startup+0.100136 s]*
/proc/loadavg: 2.08 1.99 1.75 3/218 6982
/proc/meminfo: memFree=23293404/32770624 swapFree=67108860/67108860
[pid=6966] ppid=6963 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6966/stat : 6966 (xcsp3-exec) S 6963 6966 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105467583 115843072 364 33554432000 4194304 5098028 140732838802752 140732838800856 140681097826940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34263040 140732838806593 140732838806793 140732838806793 140732838809546 0
/proc/6966/statm: 28282 364 306 221 0 87 0
[pid=6968] ppid=6966 vsize=14082940 memory=28252 CPUtime=0.12 cores=1,3,5,7
/proc/6968/stat : 6968 (java) S 6966 6966 6396 0 -1 1077944320 5481 0 0 0 11 1 0 0 20 0 15 0 105467583 14420930560 7063 33554432000 4194304 4196468 140736037211216 140736037193760 139625087745783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
/proc/6968/statm: 3520735 7063 2995 1 0 3483012 0
[pid=6968/tid=6969] ppid=6966 vsize=14082940 memory=8187726226515006299 CPUtime=0.09 cores=1,3,5,7
/proc/6968/task/6969/stat : 6969 (java) R 6966 6966 6396 0 -1 4202560 3503 0 0 0 8 1 0 0 20 0 15 0 105467583 14420930560 7063 33554432000 4194304 4196468 140736037211216 139625091972128 139625087757718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6970] ppid=6966 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6970/stat : 6970 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467584 14420930560 7063 33554432000 4194304 4196468 140736037211216 139624683412624 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6971] ppid=6966 vsize=14082940 memory=140487452456576 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6971/stat : 6971 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467584 14420930560 7063 33554432000 4194304 4196468 140736037211216 139624682359824 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6972] ppid=6966 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6972/stat : 6972 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467584 14420930560 7063 33554432000 4194304 4196468 140736037211216 139624681307024 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6973] ppid=6966 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6973/stat : 6973 (java) S 6966 6966 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105467584 14420930560 7063 33554432000 4194304 4196468 140736037211216 139624680254224 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6974] ppid=6966 vsize=14082940 memory=140487452456576 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6974/stat : 6974 (java) S 6966 6966 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105467585 14420930560 7063 33554432000 4194304 4196468 140736037211216 139624629074288 139625087756930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6975] ppid=6966 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6975/stat : 6975 (java) S 6966 6966 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105467586 14420930560 7063 33554432000 4194304 4196468 140736037211216 139624628020256 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6976] ppid=6966 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6976/stat : 6976 (java) S 6966 6966 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105467586 14420930560 7063 33554432000 4194304 4196468 140736037211216 139624626967408 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6977] ppid=6966 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6977/stat : 6977 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467588 14420930560 7063 33554432000 4194304 4196468 140736037211216 139624625915728 139625087764379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6978] ppid=6966 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6978/stat : 6978 (java) S 6966 6966 6396 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 105467588 14420930560 7063 33554432000 4194304 4196468 140736037211216 139624624864112 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6979] ppid=6966 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6979/stat : 6979 (java) S 6966 6966 6396 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 105467589 14420930560 7063 33554432000 4194304 4196468 140736037211216 139624623811312 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6980] ppid=6966 vsize=14082940 memory=140487452456576 CPUtime=0.01 cores=1,3,5,7
/proc/6968/task/6980/stat : 6980 (java) R 6966 6966 6396 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 15 0 105467589 14420930560 7063 33554432000 4194304 4196468 140736037211216 139624554949232 139625068983344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6981] ppid=6966 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6981/stat : 6981 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467589 14420930560 7063 33554432000 4194304 4196468 140736037211216 139624553896672 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6982] ppid=6966 vsize=14082940 memory=140487452456576 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6982/stat : 6982 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467589 14420930560 7063 33554432000 4194304 4196468 140736037211216 139624552843952 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29708 KiB
[startup+0.210669 s]*
/proc/loadavg: 2.08 1.99 1.75 4/218 6982
/proc/meminfo: memFree=23281372/32770624 swapFree=67108860/67108860
[pid=6966] ppid=6963 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6966/stat : 6966 (xcsp3-exec) S 6963 6966 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105467583 115843072 364 33554432000 4194304 5098028 140732838802752 140732838800856 140681097826940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34263040 140732838806593 140732838806793 140732838806793 140732838809546 0
/proc/6966/statm: 28282 364 306 221 0 87 0
[pid=6968] ppid=6966 vsize=14082940 memory=41144 CPUtime=0.34 cores=1,3,5,7
/proc/6968/stat : 6968 (java) S 6966 6966 6396 0 -1 1077944320 8313 0 0 0 32 2 0 0 20 0 15 0 105467583 14420930560 10286 33554432000 4194304 4196468 140736037211216 140736037193760 139625087745783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
/proc/6968/statm: 3520735 10286 3204 1 0 3483012 0
[pid=6968/tid=6969] ppid=6966 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/6968/task/6969/stat : 6969 (java) R 6966 6966 6396 0 -1 4202560 5428 0 0 0 18 1 0 0 20 0 15 0 105467583 14420930560 10286 33554432000 4194304 4196468 140736037211216 139625091980768 139625071826270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6970] ppid=6966 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6970/stat : 6970 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467584 14420930560 10286 33554432000 4194304 4196468 140736037211216 139624683412624 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6971] ppid=6966 vsize=14082940 memory=140487452915448 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6971/stat : 6971 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467584 14420930560 10286 33554432000 4194304 4196468 140736037211216 139624682359824 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6972] ppid=6966 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6972/stat : 6972 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467584 14420930560 10286 33554432000 4194304 4196468 140736037211216 139624681307024 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6973] ppid=6966 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6973/stat : 6973 (java) S 6966 6966 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105467584 14420930560 10286 33554432000 4194304 4196468 140736037211216 139624680254224 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6974] ppid=6966 vsize=14082940 memory=140487452456576 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6974/stat : 6974 (java) S 6966 6966 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105467585 14420930560 10286 33554432000 4194304 4196468 140736037211216 139624629074288 139625087756930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6975] ppid=6966 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6975/stat : 6975 (java) S 6966 6966 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105467586 14420930560 10286 33554432000 4194304 4196468 140736037211216 139624628020256 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6976] ppid=6966 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6976/stat : 6976 (java) S 6966 6966 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105467586 14420930560 10286 33554432000 4194304 4196468 140736037211216 139624626967408 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6977] ppid=6966 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6977/stat : 6977 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467588 14420930560 10286 33554432000 4194304 4196468 140736037211216 139624625915728 139625087764379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6978] ppid=6966 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6968/task/6978/stat : 6978 (java) S 6966 6966 6396 0 -1 1077944384 629 0 0 0 2 0 0 0 20 0 15 0 105467588 14420930560 10286 33554432000 4194304 4196468 140736037211216 139624624864112 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6979] ppid=6966 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6968/task/6979/stat : 6979 (java) S 6966 6966 6396 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 15 0 105467589 14420930560 10286 33554432000 4194304 4196468 140736037211216 139624623811312 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6980] ppid=6966 vsize=14082940 memory=140487452456576 CPUtime=0.08 cores=1,3,5,7
/proc/6968/task/6980/stat : 6980 (java) S 6966 6966 6396 0 -1 1077944384 802 0 0 0 8 0 0 0 20 0 15 0 105467589 14420930560 10286 33554432000 4194304 4196468 140736037211216 139624554949232 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6981] ppid=6966 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6981/stat : 6981 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467589 14420930560 10350 33554432000 4194304 4196468 140736037211216 139624553896672 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6982] ppid=6966 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6982/stat : 6982 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467589 14420930560 10350 33554432000 4194304 4196468 140736037211216 139624552843952 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42600 KiB
[startup+0.31055 s]*
/proc/loadavg: 2.08 1.99 1.75 4/218 6982
/proc/meminfo: memFree=23275044/32770624 swapFree=67108860/67108860
[pid=6966] ppid=6963 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6966/stat : 6966 (xcsp3-exec) S 6963 6966 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105467583 115843072 364 33554432000 4194304 5098028 140732838802752 140732838800856 140681097826940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34263040 140732838806593 140732838806793 140732838806793 140732838809546 0
/proc/6966/statm: 28282 364 306 221 0 87 0
[pid=6968] ppid=6966 vsize=14087196 memory=47984 CPUtime=0.52 cores=1,3,5,7
/proc/6968/stat : 6968 (java) S 6966 6966 6396 0 -1 1077944320 9202 0 0 0 49 3 0 0 20 0 15 0 105467583 14425288704 11996 33554432000 4194304 4196468 140736037211216 140736037193760 139625087745783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
/proc/6968/statm: 3521799 11996 3261 1 0 3483012 0
[pid=6968/tid=6969] ppid=6966 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/6968/task/6969/stat : 6969 (java) R 6966 6966 6396 0 -1 4202560 6140 0 0 0 27 2 0 0 20 0 15 0 105467583 14425288704 11996 33554432000 4194304 4196468 140736037211216 139625091976896 139625071826270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6970] ppid=6966 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6970/stat : 6970 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467584 14425288704 11996 33554432000 4194304 4196468 140736037211216 139624683412624 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6971] ppid=6966 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6971/stat : 6971 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467584 14425288704 11996 33554432000 4194304 4196468 140736037211216 139624682359824 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6972] ppid=6966 vsize=14087196 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6972/stat : 6972 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467584 14425288704 11996 33554432000 4194304 4196468 140736037211216 139624681307024 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6973] ppid=6966 vsize=14087196 memory=7089317150647820184 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6973/stat : 6973 (java) S 6966 6966 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105467584 14425288704 11996 33554432000 4194304 4196468 140736037211216 139624680254224 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6974] ppid=6966 vsize=14087196 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6974/stat : 6974 (java) S 6966 6966 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105467585 14425288704 11996 33554432000 4194304 4196468 140736037211216 139624629074288 139625087756930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6975] ppid=6966 vsize=14087196 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6975/stat : 6975 (java) S 6966 6966 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105467586 14425288704 11996 33554432000 4194304 4196468 140736037211216 139624628020256 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6976] ppid=6966 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6976/stat : 6976 (java) S 6966 6966 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105467586 14425288704 11996 33554432000 4194304 4196468 140736037211216 139624626967408 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6977] ppid=6966 vsize=14087196 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6977/stat : 6977 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467588 14425288704 11996 33554432000 4194304 4196468 140736037211216 139624625915728 139625087764379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6978] ppid=6966 vsize=14087196 memory=8325818968683490714 CPUtime=0.05 cores=1,3,5,7
/proc/6968/task/6978/stat : 6978 (java) S 6966 6966 6396 0 -1 1077944384 710 0 0 0 5 0 0 0 20 0 15 0 105467588 14425288704 11996 33554432000 4194304 4196468 140736037211216 139624624864112 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6979] ppid=6966 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6968/task/6979/stat : 6979 (java) S 6966 6966 6396 0 -1 1077944384 175 0 0 0 3 0 0 0 20 0 15 0 105467589 14425288704 11996 33554432000 4194304 4196468 140736037211216 139624623811312 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6980] ppid=6966 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6968/task/6980/stat : 6980 (java) S 6966 6966 6396 0 -1 1077944384 884 0 0 0 12 0 0 0 20 0 15 0 105467589 14425288704 11996 33554432000 4194304 4196468 140736037211216 139624554949232 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6981] ppid=6966 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6981/stat : 6981 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467589 14425288704 11996 33554432000 4194304 4196468 140736037211216 139624553896672 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6982] ppid=6966 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6982/stat : 6982 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467589 14425288704 11996 33554432000 4194304 4196468 140736037211216 139624552843952 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49440 KiB
[startup+0.700829 s]
/proc/loadavg: 2.08 1.99 1.75 6/218 6982
/proc/meminfo: memFree=23249856/32770624 swapFree=67108860/67108860
[pid=6966] ppid=6963 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6966/stat : 6966 (xcsp3-exec) S 6963 6966 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105467583 115843072 364 33554432000 4194304 5098028 140732838802752 140732838800856 140681097826940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34263040 140732838806593 140732838806793 140732838806793 140732838809546 0
/proc/6966/statm: 28282 364 306 221 0 87 0
[pid=6968] ppid=6966 vsize=14089320 memory=90308 CPUtime=1.67 cores=1,3,5,7
/proc/6968/stat : 6968 (java) S 6966 6966 6396 0 -1 1077944320 13177 0 0 0 162 5 0 0 20 0 15 0 105467583 14427463680 22577 33554432000 4194304 4196468 140736037211216 140736037193760 139625087745783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
/proc/6968/statm: 3522330 22577 3356 1 0 3483524 0
[pid=6968/tid=6969] ppid=6966 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/6968/task/6969/stat : 6969 (java) R 6966 6966 6396 0 -1 4202560 6940 0 0 0 64 3 0 0 20 0 15 0 105467583 14427463680 22577 33554432000 4194304 4196468 140736037211216 139625091981952 139625080423797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6970] ppid=6966 vsize=14089320 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6970/stat : 6970 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467584 14427463680 22577 33554432000 4194304 4196468 140736037211216 139624683412624 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6971] ppid=6966 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6971/stat : 6971 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467584 14427463680 22577 33554432000 4194304 4196468 140736037211216 139624682359824 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6972] ppid=6966 vsize=14089320 memory=30032 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6972/stat : 6972 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467584 14427463680 22577 33554432000 4194304 4196468 140736037211216 139624681307024 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6973] ppid=6966 vsize=14089320 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6973/stat : 6973 (java) S 6966 6966 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105467584 14427463680 22577 33554432000 4194304 4196468 140736037211216 139624680254224 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6974] ppid=6966 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6974/stat : 6974 (java) S 6966 6966 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105467585 14427463680 22577 33554432000 4194304 4196468 140736037211216 139624629074288 139625087756930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6975] ppid=6966 vsize=14089320 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6975/stat : 6975 (java) S 6966 6966 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105467586 14427463680 22577 33554432000 4194304 4196468 140736037211216 139624628020256 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6976] ppid=6966 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6976/stat : 6976 (java) S 6966 6966 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105467586 14427463680 22577 33554432000 4194304 4196468 140736037211216 139624626967408 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6977] ppid=6966 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6977/stat : 6977 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467588 14427463680 22577 33554432000 4194304 4196468 140736037211216 139624625915728 139625087764379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6978] ppid=6966 vsize=14089320 memory=5408 CPUtime=0.31 cores=1,3,5,7
/proc/6968/task/6978/stat : 6978 (java) R 6966 6966 6396 0 -1 4202560 1682 0 0 0 31 0 0 0 20 0 15 0 105467588 14427463680 22577 33554432000 4194304 4196468 140736037211216 139624624855568 139625067462919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6979] ppid=6966 vsize=14089320 memory=1008 CPUtime=0.29 cores=1,3,5,7
/proc/6968/task/6979/stat : 6979 (java) R 6966 6966 6396 0 -1 4202560 1087 0 0 0 29 0 0 0 20 0 15 0 105467589 14427463680 22577 33554432000 4194304 4196468 140736037211216 139624623800912 139625065634305 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6980] ppid=6966 vsize=14089320 memory=9992 CPUtime=0.37 cores=1,3,5,7
/proc/6968/task/6980/stat : 6980 (java) S 6966 6966 6396 0 -1 1077944384 2160 0 0 0 37 0 0 0 20 0 15 0 105467589 14427463680 22577 33554432000 4194304 4196468 140736037211216 139624554949232 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6981] ppid=6966 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6981/stat : 6981 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467589 14427463680 22577 33554432000 4194304 4196468 140736037211216 139624553896672 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6982] ppid=6966 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6982/stat : 6982 (java) S 6966 6966 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105467589 14427463680 22577 33554432000 4194304 4196468 140736037211216 139624552843952 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 91764 KiB
[startup+1.50095 s]
/proc/loadavg: 2.08 1.99 1.75 3/218 6982
/proc/meminfo: memFree=23187688/32770624 swapFree=67108860/67108860
[pid=6966] ppid=6963 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6966/stat : 6966 (xcsp3-exec) S 6963 6966 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105467583 115843072 364 33554432000 4194304 5098028 140732838802752 140732838800856 140681097826940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34263040 140732838806593 140732838806793 140732838806793 140732838809546 0
/proc/6966/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/6966/stat : 6966 (xcsp3-exec) S 6963 6966 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105467583 115843072 364 33554432000 4194304 5098028 140732838802752 140732838800856 140681097826940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34263040 140732838806593 140732838806793 140732838806793 140732838809546 0
/proc/6966/statm: 28282 364 306 221 0 87 0
[pid=6968] ppid=6966 vsize=14091368 memory=660112 CPUtime=240.61 cores=1,3,5,7
/proc/6968/stat : 6968 (java) S 6966 6966 6396 0 -1 1077944320 61296 0 0 0 24004 57 0 0 20 0 15 0 105467583 14429560832 165028 33554432000 4194304 4196468 140736037211216 140736037193760 139625087745783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
/proc/6968/statm: 3522842 165028 3428 1 0 3484036 0
[pid=6968/tid=6969] ppid=6966 vsize=14091368 memory=8112282956445269571 CPUtime=232.57 cores=1,3,5,7
/proc/6968/task/6969/stat : 6969 (java) R 6966 6966 6396 0 -1 4202560 14142 0 0 0 23250 7 0 0 20 0 15 0 105467583 14429560832 165028 33554432000 4194304 4196468 140736037211216 139625091982336 139624712296956 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6970] ppid=6966 vsize=14091368 memory=1952 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6970/stat : 6970 (java) S 6966 6966 6396 0 -1 1077944384 1680 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624683412624 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6971] ppid=6966 vsize=14091368 memory=1200 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6971/stat : 6971 (java) S 6966 6966 6396 0 -1 1077944384 472 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624682359824 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6972] ppid=6966 vsize=14091368 memory=660112 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6972/stat : 6972 (java) S 6966 6966 6396 0 -1 1077944384 575 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624681307024 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6973] ppid=6966 vsize=14091368 memory=8112282956445269571 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6973/stat : 6973 (java) S 6966 6966 6396 0 -1 1077944384 1909 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624680254224 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6974] ppid=6966 vsize=14091368 memory=660108 CPUtime=0.27 cores=1,3,5,7
/proc/6968/task/6974/stat : 6974 (java) S 6966 6966 6396 0 -1 1077944384 2419 0 0 0 27 0 0 0 20 0 15 0 105467585 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624629074288 139625087756930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6975] ppid=6966 vsize=14091368 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6975/stat : 6975 (java) S 6966 6966 6396 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 105467586 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624628020320 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6976] ppid=6966 vsize=14091368 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6976/stat : 6976 (java) S 6966 6966 6396 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 105467586 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624626967424 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6977] ppid=6966 vsize=14091368 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6977/stat : 6977 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467588 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624625915728 139625087764379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6978] ppid=6966 vsize=14091368 memory=960 CPUtime=2.78 cores=1,3,5,7
/proc/6968/task/6978/stat : 6978 (java) S 6966 6966 6396 0 -1 1077944384 15215 0 0 0 275 3 0 0 20 0 15 0 105467588 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624624864112 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6979] ppid=6966 vsize=14091368 memory=1232 CPUtime=2.51 cores=1,3,5,7
/proc/6968/task/6979/stat : 6979 (java) S 6966 6966 6396 0 -1 1077944384 14005 0 0 0 250 1 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624623811312 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6980] ppid=6966 vsize=14091368 memory=2344 CPUtime=0.74 cores=1,3,5,7
/proc/6968/task/6980/stat : 6980 (java) S 6966 6966 6396 0 -1 1077944384 8563 0 0 0 73 1 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624554949232 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6981] ppid=6966 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6981/stat : 6981 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624553896672 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6982] ppid=6966 vsize=14091368 memory=1456 CPUtime=0.04 cores=1,3,5,7
/proc/6968/task/6982/stat : 6982 (java) S 6966 6966 6396 0 -1 1077944384 915 0 0 0 1 3 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624552843952 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
Current children cumulated CPU time: 240.61 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 661568 KiB
[startup+234.001 s]*
/proc/loadavg: 2.01 2.01 1.81 3/217 7063
/proc/meminfo: memFree=22764040/32770624 swapFree=67108860/67108860
[pid=6966] ppid=6963 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6966/stat : 6966 (xcsp3-exec) S 6963 6966 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105467583 115843072 364 33554432000 4194304 5098028 140732838802752 140732838800856 140681097826940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34263040 140732838806593 140732838806793 140732838806793 140732838809546 0
/proc/6966/statm: 28282 364 306 221 0 87 0
[pid=6968] ppid=6966 vsize=14091368 memory=660112 CPUtime=241.01 cores=1,3,5,7
/proc/6968/stat : 6968 (java) S 6966 6966 6396 0 -1 1077944320 61298 0 0 0 24044 57 0 0 20 0 15 0 105467583 14429560832 165028 33554432000 4194304 4196468 140736037211216 140736037193760 139625087745783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
/proc/6968/statm: 3522842 165028 3428 1 0 3484036 0
[pid=6968/tid=6969] ppid=6966 vsize=14091368 memory=6009050292776167016 CPUtime=232.98 cores=1,3,5,7
/proc/6968/task/6969/stat : 6969 (java) R 6966 6966 6396 0 -1 4202560 14144 0 0 0 23291 7 0 0 20 0 15 0 105467583 14429560832 165028 33554432000 4194304 4196468 140736037211216 139625091982336 139624712299555 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6970] ppid=6966 vsize=14091368 memory=4872558044660077418 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6970/stat : 6970 (java) S 6966 6966 6396 0 -1 1077944384 1680 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624683412624 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6971] ppid=6966 vsize=14091368 memory=4100 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6971/stat : 6971 (java) S 6966 6966 6396 0 -1 1077944384 472 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624682359824 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6972] ppid=6966 vsize=14091368 memory=1796 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6972/stat : 6972 (java) S 6966 6966 6396 0 -1 1077944384 575 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624681307024 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6973] ppid=6966 vsize=14091368 memory=916 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6973/stat : 6973 (java) S 6966 6966 6396 0 -1 1077944384 1909 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624680254224 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6974] ppid=6966 vsize=14091368 memory=3848 CPUtime=0.27 cores=1,3,5,7
/proc/6968/task/6974/stat : 6974 (java) S 6966 6966 6396 0 -1 1077944384 2419 0 0 0 27 0 0 0 20 0 15 0 105467585 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624629074288 139625087756930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6975] ppid=6966 vsize=14091368 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6975/stat : 6975 (java) S 6966 6966 6396 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 105467586 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624628020320 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6976] ppid=6966 vsize=14091368 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6976/stat : 6976 (java) S 6966 6966 6396 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 105467586 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624626967424 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6977] ppid=6966 vsize=14091368 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6977/stat : 6977 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467588 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624625915728 139625087764379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6978] ppid=6966 vsize=14091368 memory=3052 CPUtime=2.78 cores=1,3,5,7
/proc/6968/task/6978/stat : 6978 (java) S 6966 6966 6396 0 -1 1077944384 15215 0 0 0 275 3 0 0 20 0 15 0 105467588 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624624864112 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6979] ppid=6966 vsize=14091368 memory=1456 CPUtime=2.51 cores=1,3,5,7
/proc/6968/task/6979/stat : 6979 (java) S 6966 6966 6396 0 -1 1077944384 14005 0 0 0 250 1 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624623811312 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6980] ppid=6966 vsize=14091368 memory=660112 CPUtime=0.74 cores=1,3,5,7
/proc/6968/task/6980/stat : 6980 (java) S 6966 6966 6396 0 -1 1077944384 8563 0 0 0 73 1 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624554949232 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6981] ppid=6966 vsize=14091368 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6981/stat : 6981 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624553896672 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6982] ppid=6966 vsize=14091368 memory=3116 CPUtime=0.04 cores=1,3,5,7
/proc/6968/task/6982/stat : 6982 (java) S 6966 6966 6396 0 -1 1077944384 915 0 0 0 1 3 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624552843952 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
Current children cumulated CPU time: 241.01 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 661568 KiB
[startup+234.401 s]
/proc/loadavg: 2.01 2.01 1.81 3/217 7063
/proc/meminfo: memFree=22764040/32770624 swapFree=67108860/67108860
[pid=6966] ppid=6963 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6966/stat : 6966 (xcsp3-exec) S 6963 6966 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105467583 115843072 364 33554432000 4194304 5098028 140732838802752 140732838800856 140681097826940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34263040 140732838806593 140732838806793 140732838806793 140732838809546 0
/proc/6966/statm: 28282 364 306 221 0 87 0
[pid=6968] ppid=6966 vsize=14091368 memory=660112 CPUtime=241.41 cores=1,3,5,7
/proc/6968/stat : 6968 (java) S 6966 6966 6396 0 -1 1077944320 61300 0 0 0 24084 57 0 0 20 0 15 0 105467583 14429560832 165028 33554432000 4194304 4196468 140736037211216 140736037193760 139625087745783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
/proc/6968/statm: 3522842 165028 3428 1 0 3484036 0
[pid=6968/tid=6969] ppid=6966 vsize=14091368 memory=840 CPUtime=233.37 cores=1,3,5,7
/proc/6968/task/6969/stat : 6969 (java) R 6966 6966 6396 0 -1 4202560 14146 0 0 0 23330 7 0 0 20 0 15 0 105467583 14429560832 165028 33554432000 4194304 4196468 140736037211216 139625091982336 139624711872408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6970] ppid=6966 vsize=14091368 memory=4100 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6970/stat : 6970 (java) S 6966 6966 6396 0 -1 1077944384 1680 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624683412624 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6971] ppid=6966 vsize=14091368 memory=1456 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6971/stat : 6971 (java) S 6966 6966 6396 0 -1 1077944384 472 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624682359824 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6972] ppid=6966 vsize=14091368 memory=660112 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6972/stat : 6972 (java) S 6966 6966 6396 0 -1 1077944384 575 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624681307024 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6973] ppid=6966 vsize=14091368 memory=1456 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6973/stat : 6973 (java) S 6966 6966 6396 0 -1 1077944384 1909 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624680254224 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6974] ppid=6966 vsize=14091368 memory=8112282956445269571 CPUtime=0.27 cores=1,3,5,7
/proc/6968/task/6974/stat : 6974 (java) S 6966 6966 6396 0 -1 1077944384 2419 0 0 0 27 0 0 0 20 0 15 0 105467585 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624629074288 139625087756930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6975] ppid=6966 vsize=14091368 memory=796 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6975/stat : 6975 (java) S 6966 6966 6396 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 105467586 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624628020320 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6976] ppid=6966 vsize=14091368 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6976/stat : 6976 (java) S 6966 6966 6396 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 105467586 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624626967424 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6977] ppid=6966 vsize=14091368 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6977/stat : 6977 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467588 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624625915728 139625087764379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6978] ppid=6966 vsize=14091368 memory=9992 CPUtime=2.78 cores=1,3,5,7
/proc/6968/task/6978/stat : 6978 (java) S 6966 6966 6396 0 -1 1077944384 15215 0 0 0 275 3 0 0 20 0 15 0 105467588 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624624864112 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6979] ppid=6966 vsize=14091368 memory=1228 CPUtime=2.51 cores=1,3,5,7
/proc/6968/task/6979/stat : 6979 (java) S 6966 6966 6396 0 -1 1077944384 14005 0 0 0 250 1 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624623811312 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6980] ppid=6966 vsize=14091368 memory=1952 CPUtime=0.74 cores=1,3,5,7
/proc/6968/task/6980/stat : 6980 (java) S 6966 6966 6396 0 -1 1077944384 8563 0 0 0 73 1 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624554949232 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6981] ppid=6966 vsize=14091368 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6981/stat : 6981 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624553896672 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6982] ppid=6966 vsize=14091368 memory=288230621803970871 CPUtime=0.04 cores=1,3,5,7
/proc/6968/task/6982/stat : 6982 (java) S 6966 6966 6396 0 -1 1077944384 915 0 0 0 1 3 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624552843952 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
Current children cumulated CPU time: 241.41 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 661568 KiB
[startup+234.501 s]
/proc/loadavg: 2.01 2.01 1.81 3/217 7063
/proc/meminfo: memFree=22764040/32770624 swapFree=67108860/67108860
[pid=6966] ppid=6963 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6966/stat : 6966 (xcsp3-exec) S 6963 6966 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105467583 115843072 364 33554432000 4194304 5098028 140732838802752 140732838800856 140681097826940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34263040 140732838806593 140732838806793 140732838806793 140732838809546 0
/proc/6966/statm: 28282 364 306 221 0 87 0
[pid=6968] ppid=6966 vsize=14091368 memory=660112 CPUtime=241.51 cores=1,3,5,7
/proc/6968/stat : 6968 (java) S 6966 6966 6396 0 -1 1077944320 61300 0 0 0 24094 57 0 0 20 0 15 0 105467583 14429560832 165028 33554432000 4194304 4196468 140736037211216 140736037193760 139625087745783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
/proc/6968/statm: 3522842 165028 3428 1 0 3484036 0
[pid=6968/tid=6969] ppid=6966 vsize=14091368 memory=660112 CPUtime=233.47 cores=1,3,5,7
/proc/6968/task/6969/stat : 6969 (java) R 6966 6966 6396 0 -1 4202560 14146 0 0 0 23340 7 0 0 20 0 15 0 105467583 14429560832 165028 33554432000 4194304 4196468 140736037211216 139625091982336 139624707083820 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6970] ppid=6966 vsize=14091368 memory=1456 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6970/stat : 6970 (java) S 6966 6966 6396 0 -1 1077944384 1680 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624683412624 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6971] ppid=6966 vsize=14091368 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6971/stat : 6971 (java) S 6966 6966 6396 0 -1 1077944384 472 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624682359824 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6972] ppid=6966 vsize=14091368 memory=660064 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6972/stat : 6972 (java) S 6966 6966 6396 0 -1 1077944384 575 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624681307024 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6973] ppid=6966 vsize=14091368 memory=280974613170568 CPUtime=0.4 cores=1,3,5,7
/proc/6968/task/6973/stat : 6973 (java) S 6966 6966 6396 0 -1 1077944384 1909 0 0 0 31 9 0 0 20 0 15 0 105467584 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624680254224 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6974] ppid=6966 vsize=14091368 memory=-7665254566837754913 CPUtime=0.27 cores=1,3,5,7
/proc/6968/task/6974/stat : 6974 (java) S 6966 6966 6396 0 -1 1077944384 2419 0 0 0 27 0 0 0 20 0 15 0 105467585 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624629074288 139625087756930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6975] ppid=6966 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6975/stat : 6975 (java) S 6966 6966 6396 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 105467586 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624628020320 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6976] ppid=6966 vsize=14091368 memory=660112 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6976/stat : 6976 (java) S 6966 6966 6396 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 105467586 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624626967424 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6977] ppid=6966 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6977/stat : 6977 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467588 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624625915728 139625087764379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6978] ppid=6966 vsize=14091368 memory=660112 CPUtime=2.78 cores=1,3,5,7
/proc/6968/task/6978/stat : 6978 (java) S 6966 6966 6396 0 -1 1077944384 15215 0 0 0 275 3 0 0 20 0 15 0 105467588 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624624864112 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6979] ppid=6966 vsize=14091368 memory=1456 CPUtime=2.51 cores=1,3,5,7
/proc/6968/task/6979/stat : 6979 (java) S 6966 6966 6396 0 -1 1077944384 14005 0 0 0 250 1 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624623811312 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6980] ppid=6966 vsize=14091368 memory=660112 CPUtime=0.74 cores=1,3,5,7
/proc/6968/task/6980/stat : 6980 (java) S 6966 6966 6396 0 -1 1077944384 8563 0 0 0 73 1 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624554949232 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6981] ppid=6966 vsize=14091368 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6968/task/6981/stat : 6981 (java) S 6966 6966 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624553896672 139625087755989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
[pid=6968/tid=6982] ppid=6966 vsize=14091368 memory=4048 CPUtime=0.04 cores=1,3,5,7
/proc/6968/task/6982/stat : 6982 (java) S 6966 6966 6396 0 -1 1077944384 915 0 0 0 1 3 0 0 20 0 15 0 105467589 14429560832 165028 33554432000 4194304 4196468 140736037211216 139624552843952 139625087756930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 23511040 140736037213324 140736037213494 140736037213494 140736037216207 0
Current children cumulated CPU time: 241.51 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 661568 KiB
Child status: 0
Real time (s): 234.587
CPU time (s): 241.604
CPU user time (s): 241.02
CPU system time (s): 0.584422
CPU usage (%): 102.992
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 661568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 241.02
system time used= 0.584422
maximum resident set size= 660560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7990
involuntary context switches= 171
# summary of solver processes directly reported to runsolver:
# pid: 6966
# total CPU time (s): 241.604
# total CPU user time (s): 241.02
# total CPU system time (s): 0.584422
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26937 second user time and 2.1744 second system time
The end
Begin job on node139 at 2018-07-29 17:44:04 IDJOB=4301330 IDBENCH=141106 IDSOLVER=2772 FILE ID=node139/4301330-1532879044 RUNJOBID= node139-1532878307-6428 PBS_JOBID= 21022510 Free space on /tmp= 45024 MiB SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e) BENCH NAME= XCSP18/Tal/Tal-03_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301330-1532879044/watcher-4301330-1532879044 -o /tmp/evaluation-result-4301330-1532879044/solver-4301330-1532879044 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6428 --watchdog 312 HOME/xcsp3-exec -seed 318120786 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301330-1532879044.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fb5ba5d4d49d61a1ee3ee3c25fa47163 RANDOM SEED=318120786 node139.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.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23310084 kB MemAvailable: 31304676 kB Buffers: 248456 kB Cached: 7860356 kB SwapCached: 0 kB Active: 3661688 kB Inactive: 5125956 kB Active(anon): 632836 kB Inactive(anon): 73544 kB Active(file): 3028852 kB Inactive(file): 5052412 kB Unevictable: 7308 kB Mlocked: 7308 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 21764 kB Writeback: 0 kB AnonPages: 685508 kB Mapped: 57556 kB Shmem: 25228 kB Slab: 370628 kB SReclaimable: 341788 kB SUnreclaim: 28840 kB KernelStack: 3520 kB PageTables: 6576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1865860 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 555008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 45004 MiB End job on node139 at 2018-07-29 17:47:59