Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT | 88.214401 | 61.361698 |
Name | RadarSurveillance/RadarSurveillance-m1-s8-30/ RadarSurveillance-8-30-3-0-10.xml |
MD5SUM | c800df9d4cb0f0da3a570e7ebd01bbed |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.126243 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 180 |
Number of constraints | 64 |
Number of domains | 1 |
Minimum domain size | 4 |
Maximum domain size | 4 |
Distribution of domain sizes | [{"size":4,"count":156}] |
Minimum variable degree | 0 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":0,"count":24},{"degree":1,"count":16},{"degree":2,"count":13},{"degree":3,"count":16},{"degree":4,"count":10},{"degree":5,"count":23},{"degree":6,"count":78}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 19 |
Distribution of constraint arities | [{"arity":3,"count":1},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":5},{"arity":8,"count":4},{"arity":9,"count":11},{"arity":10,"count":7},{"arity":11,"count":7},{"arity":12,"count":6},{"arity":13,"count":5},{"arity":14,"count":3},{"arity":15,"count":4},{"arity":16,"count":2},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 64 |
Distribution of constraint types | [{"type":"intension","count":64}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280987-1503156008.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4280987-1503156008.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 82.55/60.55 c solve instance... 87.51/61.28 s SATISFIABLE 87.51/61.28 v <instantiation> 87.51/61.28 v <list>x[0][1] x[0][2] x[0][3] x[0][4] x[1][1] x[1][2] x[1][3] x[1][4] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[6][0] x[6][1] x[6][2] x[6][3] x[6][5] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[12][0] x[12][1] x[12][2] x[12][3] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[17][0] x[17][2] x[17][3] x[17][4] x[17][5] x[18][0] x[18][1] x[18][2] x[18][3] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[26][0] x[26][3] x[26][4] x[26][5] x[27][0] x[27][1] x[28][0] x[28][1] x[28][4] x[28][5] x[29][0] x[29][1] x[29][4] x[29][5] </list> 87.51/61.28 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 3 2 1 0 0 3 3 3 3 0 0 3 0 0 0 0 2 3 2 0 0 0 3 0 2 0 0 0 0 3 2 0 1 0 0 3 1 3 1 3 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 3 0 0 0 0 0 3 3 0 0 0 3 2 2 2 0 3 2 2 3 3 1 0 2 3 3 2 1 0 1 2 1 0 0 2 3 1 2 1 2 1 3 3 0 </values> 87.51/61.28 v </instantiation>
OK
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 (11933 MiB free) memory of node 1: 16384 MiB (12147 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280987-1503156008/watcher-4280987-1503156008 -o /tmp/evaluation-result-4280987-1503156008/solver-4280987-1503156008 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503152458-770 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1758732008 HOME/instance-4280987-1503156008.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=1244, runsolver pid=1241 [startup+0.100109 s]* /proc/loadavg: 2.28 6.11 7.50 2/200 1265 /proc/meminfo: memFree=24644424/32770624 swapFree=67108860/67108860 [pid=1244] ppid=1241 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1244/stat : 1244 (xcsp3-exec) S 1241 1244 743 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148681518 9740288 346 33554432000 4194304 5098028 140729900185376 140729900183480 139725178344060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34611200 140729900192868 140729900193079 140729900193079 140729900195819 0 /proc/1244/statm: 2378 346 289 221 0 87 0 [pid=1246] ppid=1244 vsize=25999808 memory=27064 CPUtime=0.11 cores=0-7 /proc/1246/stat : 1246 (java) S 1244 1244 743 0 -1 1077944320 5628 0 0 0 10 1 0 0 20 0 20 0 148681518 26623803392 6766 33554432000 4194304 4196468 140735864872128 140735864854672 139647298612983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 /proc/1246/statm: 6499952 6766 2877 1 0 6488269 0 [pid=1246/tid=1247] ppid=1244 vsize=25999808 memory=8390339637985935414 CPUtime=0.08 cores=0-7 /proc/1246/task/1247/stat : 1247 (java) R 1244 1244 743 0 -1 4202560 3644 0 0 0 8 0 0 0 20 0 20 0 148681519 26623803392 6766 33554432000 4194304 4196468 140735864872128 139647302844896 139647282693470 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1248] ppid=1244 vsize=25999808 memory=288230600429797399 CPUtime=0 cores=0-7 /proc/1246/task/1248/stat : 1248 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26623803392 6766 33554432000 4194304 4196468 140735864872128 139647251233168 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1249] ppid=1244 vsize=25999808 memory=139828324051295 CPUtime=0 cores=0-7 /proc/1246/task/1249/stat : 1249 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148681520 26623803392 6766 33554432000 4194304 4196468 140735864872128 139647250180368 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1250] ppid=1244 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1250/stat : 1250 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148681520 26623803392 6766 33554432000 4194304 4196468 140735864872128 139647249128080 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1251] ppid=1244 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/1246/task/1251/stat : 1251 (java) S 1244 1244 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148681520 26623803392 6766 33554432000 4194304 4196468 140735864872128 139647248075280 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1252] ppid=1244 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1252/stat : 1252 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26623803392 6766 33554432000 4194304 4196468 140735864872128 139647247022992 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1253] ppid=1244 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/1246/task/1253/stat : 1253 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26623803392 6766 33554432000 4194304 4196468 140735864872128 139647245970192 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1254] ppid=1244 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1254/stat : 1254 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26623803392 6766 33554432000 4194304 4196468 140735864872128 139647244917904 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1255] ppid=1244 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1255/stat : 1255 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26623803392 6766 33554432000 4194304 4196468 140735864872128 139647243865104 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1256] ppid=1244 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1256/stat : 1256 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681521 26623803392 6766 33554432000 4194304 4196468 140735864872128 139645502847088 139647298624130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1257] ppid=1244 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1257/stat : 1257 (java) S 1244 1244 743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148681522 26623803392 6766 33554432000 4194304 4196468 140735864872128 139645501793056 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1258] ppid=1244 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1258/stat : 1258 (java) S 1244 1244 743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148681522 26623803392 6766 33554432000 4194304 4196468 140735864872128 139645500740720 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1259] ppid=1244 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1259/stat : 1259 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148681524 26623803392 6766 33554432000 4194304 4196468 140735864872128 139645499689040 139647298631579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1260] ppid=1244 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1260/stat : 1260 (java) S 1244 1244 743 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 148681524 26623803392 6766 33554432000 4194304 4196468 140735864872128 139645498636912 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1261] ppid=1244 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1261/stat : 1261 (java) R 1244 1244 743 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 148681524 26623803392 6766 33554432000 4194304 4196468 140735864872128 139645497584112 139647298624918 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1262] ppid=1244 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/1246/task/1262/stat : 1262 (java) R 1244 1244 743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 148681524 26623803392 6766 33554432000 4194304 4196468 140735864872128 139645496531824 139647298624918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1263] ppid=1244 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/1246/task/1263/stat : 1263 (java) S 1244 1244 743 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 20 0 148681524 26623803392 6766 33554432000 4194304 4196468 140735864872128 139645495479024 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1264] ppid=1244 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1264/stat : 1264 (java) S 1244 1244 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148681524 26623803392 6766 33554432000 4194304 4196468 140735864872128 139645494425952 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1265] ppid=1244 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/1246/task/1265/stat : 1265 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148681525 26623803392 6766 33554432000 4194304 4196468 140735864872128 139644888934704 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28448 KiB [startup+0.210218 s]* /proc/loadavg: 2.28 6.11 7.50 2/200 1265 /proc/meminfo: memFree=24633276/32770624 swapFree=67108860/67108860 [pid=1244] ppid=1241 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1244/stat : 1244 (xcsp3-exec) S 1241 1244 743 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148681518 9740288 346 33554432000 4194304 5098028 140729900185376 140729900183480 139725178344060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34611200 140729900192868 140729900193079 140729900193079 140729900195819 0 /proc/1244/statm: 2378 346 289 221 0 87 0 [pid=1246] ppid=1244 vsize=26004064 memory=38984 CPUtime=0.33 cores=0-7 /proc/1246/stat : 1246 (java) S 1244 1244 743 0 -1 1077944320 8343 0 0 0 31 2 0 0 20 0 20 0 148681518 26628161536 9746 33554432000 4194304 4196468 140735864872128 140735864854672 139647298612983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 /proc/1246/statm: 6501016 9746 3055 1 0 6488269 0 [pid=1246/tid=1247] ppid=1244 vsize=26004096 memory=8390339637985935414 CPUtime=0.2 cores=0-7 /proc/1246/task/1247/stat : 1247 (java) R 1244 1244 743 0 -1 4202560 5461 0 0 0 19 1 0 0 20 0 20 0 148681519 26628194304 9767 33554432000 4194304 4196468 140735864872128 139647302823792 139647291292701 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1248] ppid=1244 vsize=26004096 memory=288230600429797399 CPUtime=0 cores=0-7 /proc/1246/task/1248/stat : 1248 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26628194304 9767 33554432000 4194304 4196468 140735864872128 139647251233168 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1249] ppid=1244 vsize=26004096 memory=139828324051295 CPUtime=0 cores=0-7 /proc/1246/task/1249/stat : 1249 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148681520 26628194304 9767 33554432000 4194304 4196468 140735864872128 139647250180368 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1250] ppid=1244 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1250/stat : 1250 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148681520 26628161536 9767 33554432000 4194304 4196468 140735864872128 139647249128080 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1251] ppid=1244 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/1246/task/1251/stat : 1251 (java) S 1244 1244 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148681520 26628161536 9767 33554432000 4194304 4196468 140735864872128 139647248075280 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1252] ppid=1244 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1252/stat : 1252 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26628161536 9767 33554432000 4194304 4196468 140735864872128 139647247022992 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1253] ppid=1244 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/1246/task/1253/stat : 1253 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26628161536 9767 33554432000 4194304 4196468 140735864872128 139647245970192 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1254] ppid=1244 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1254/stat : 1254 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26628161536 9767 33554432000 4194304 4196468 140735864872128 139647244917904 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1255] ppid=1244 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1255/stat : 1255 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26628161536 9767 33554432000 4194304 4196468 140735864872128 139647243865104 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1256] ppid=1244 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1256/stat : 1256 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681521 26628161536 9767 33554432000 4194304 4196468 140735864872128 139645502847088 139647298624130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1257] ppid=1244 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1257/stat : 1257 (java) S 1244 1244 743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148681522 26628161536 9767 33554432000 4194304 4196468 140735864872128 139645501793056 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1258] ppid=1244 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1258/stat : 1258 (java) S 1244 1244 743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148681522 26628194304 9767 33554432000 4194304 4196468 140735864872128 139645500740720 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1259] ppid=1244 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1259/stat : 1259 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148681524 26628194304 9767 33554432000 4194304 4196468 140735864872128 139645499689040 139647298631579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1260] ppid=1244 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7 /proc/1246/task/1260/stat : 1260 (java) S 1244 1244 743 0 -1 1077944384 484 0 0 0 1 0 0 0 20 0 20 0 148681524 26628194304 9767 33554432000 4194304 4196468 140735864872128 139645498636912 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1261] ppid=1244 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/1246/task/1261/stat : 1261 (java) S 1244 1244 743 0 -1 1077944384 172 0 0 0 2 0 0 0 20 0 20 0 148681524 26628161536 9767 33554432000 4194304 4196468 140735864872128 139645497584112 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1262] ppid=1244 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/1246/task/1262/stat : 1262 (java) S 1244 1244 743 0 -1 1077944384 234 0 0 0 1 0 0 0 20 0 20 0 148681524 26628161536 9767 33554432000 4194304 4196468 140735864872128 139645496531824 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1263] ppid=1244 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/1246/task/1263/stat : 1263 (java) S 1244 1244 743 0 -1 1077944384 708 0 0 0 7 0 0 0 20 0 20 0 148681524 26628161536 9767 33554432000 4194304 4196468 140735864872128 139645495479024 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1264] ppid=1244 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1264/stat : 1264 (java) S 1244 1244 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148681524 26628161536 9767 33554432000 4194304 4196468 140735864872128 139645494425952 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1265] ppid=1244 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/1246/task/1265/stat : 1265 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148681525 26628161536 9767 33554432000 4194304 4196468 140735864872128 139644888934704 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40368 KiB [startup+0.3096 s]* /proc/loadavg: 2.28 6.11 7.50 5/200 1265 /proc/meminfo: memFree=24626328/32770624 swapFree=67108860/67108860 [pid=1244] ppid=1241 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1244/stat : 1244 (xcsp3-exec) S 1241 1244 743 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148681518 9740288 346 33554432000 4194304 5098028 140729900185376 140729900183480 139725178344060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34611200 140729900192868 140729900193079 140729900193079 140729900195819 0 /proc/1244/statm: 2378 346 289 221 0 87 0 [pid=1246] ppid=1244 vsize=26004064 memory=46196 CPUtime=0.5 cores=0-7 /proc/1246/stat : 1246 (java) S 1244 1244 743 0 -1 1077944320 9307 0 0 0 47 3 0 0 20 0 20 0 148681518 26628161536 11549 33554432000 4194304 4196468 140735864872128 140735864854672 139647298612983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 /proc/1246/statm: 6501016 11549 3087 1 0 6488269 0 [pid=1246/tid=1247] ppid=1244 vsize=26004064 memory=51204 CPUtime=0.29 cores=0-7 /proc/1246/task/1247/stat : 1247 (java) R 1244 1244 743 0 -1 4202560 6164 0 0 0 28 1 0 0 20 0 20 0 148681519 26628161536 11613 33554432000 4194304 4196468 140735864872128 139647302844384 139647298634909 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1248] ppid=1244 vsize=26004064 memory=35 CPUtime=0 cores=0-7 /proc/1246/task/1248/stat : 1248 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26628161536 11613 33554432000 4194304 4196468 140735864872128 139647251233168 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1249] ppid=1244 vsize=26004064 memory=139828324094016 CPUtime=0 cores=0-7 /proc/1246/task/1249/stat : 1249 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148681520 26628161536 11613 33554432000 4194304 4196468 140735864872128 139647250180368 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1250] ppid=1244 vsize=26004064 memory=58116 CPUtime=0 cores=0-7 /proc/1246/task/1250/stat : 1250 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148681520 26628161536 11613 33554432000 4194304 4196468 140735864872128 139647249128080 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1251] ppid=1244 vsize=26004064 memory=67 CPUtime=0 cores=0-7 /proc/1246/task/1251/stat : 1251 (java) S 1244 1244 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148681520 26628161536 11613 33554432000 4194304 4196468 140735864872128 139647248075280 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1252] ppid=1244 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1252/stat : 1252 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26628161536 11613 33554432000 4194304 4196468 140735864872128 139647247022992 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1253] ppid=1244 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1253/stat : 1253 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26628161536 11613 33554432000 4194304 4196468 140735864872128 139647245970192 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1254] ppid=1244 vsize=26004064 memory=3761686779913318876 CPUtime=0 cores=0-7 /proc/1246/task/1254/stat : 1254 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26628161536 11613 33554432000 4194304 4196468 140735864872128 139647244917904 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1255] ppid=1244 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1255/stat : 1255 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26628161536 11613 33554432000 4194304 4196468 140735864872128 139647243865104 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1256] ppid=1244 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1256/stat : 1256 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681521 26628161536 11613 33554432000 4194304 4196468 140735864872128 139645502847088 139647298624130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1257] ppid=1244 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1257/stat : 1257 (java) S 1244 1244 743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148681522 26628161536 11613 33554432000 4194304 4196468 140735864872128 139645501793056 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1258] ppid=1244 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1258/stat : 1258 (java) S 1244 1244 743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148681522 26628161536 11613 33554432000 4194304 4196468 140735864872128 139645500740720 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1259] ppid=1244 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1259/stat : 1259 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148681524 26628161536 11613 33554432000 4194304 4196468 140735864872128 139645499689040 139647298631579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1260] ppid=1244 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/1246/task/1260/stat : 1260 (java) S 1244 1244 743 0 -1 1077944384 567 0 0 0 1 0 0 0 20 0 20 0 148681524 26628161536 11613 33554432000 4194304 4196468 140735864872128 139645498636912 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1261] ppid=1244 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/1246/task/1261/stat : 1261 (java) S 1244 1244 743 0 -1 1077944384 180 0 0 0 2 0 0 0 20 0 20 0 148681524 26628161536 11613 33554432000 4194304 4196468 140735864872128 139645497584112 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1262] ppid=1244 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/1246/task/1262/stat : 1262 (java) S 1244 1244 743 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 20 0 148681524 26628161536 11613 33554432000 4194304 4196468 140735864872128 139645496531824 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1263] ppid=1244 vsize=26004064 memory=0 CPUtime=0.12 cores=0-7 /proc/1246/task/1263/stat : 1263 (java) R 1244 1244 743 0 -1 4202560 840 0 0 0 12 0 0 0 20 0 20 0 148681524 26628161536 11613 33554432000 4194304 4196468 140735864872128 139645495476560 139647298624918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1264] ppid=1244 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1264/stat : 1264 (java) S 1244 1244 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148681524 26628161536 11613 33554432000 4194304 4196468 140735864872128 139645494425952 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1265] ppid=1244 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/1246/task/1265/stat : 1265 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148681525 26628161536 11613 33554432000 4194304 4196468 140735864872128 139644888934704 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47580 KiB [startup+0.700894 s] /proc/loadavg: 2.28 6.11 7.50 5/200 1265 /proc/meminfo: memFree=24592872/32770624 swapFree=67108860/67108860 [pid=1244] ppid=1241 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1244/stat : 1244 (xcsp3-exec) S 1241 1244 743 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148681518 9740288 346 33554432000 4194304 5098028 140729900185376 140729900183480 139725178344060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34611200 140729900192868 140729900193079 140729900193079 140729900195819 0 /proc/1244/statm: 2378 346 289 221 0 87 0 [pid=1246] ppid=1244 vsize=26004140 memory=153168 CPUtime=1.45 cores=0-7 /proc/1246/stat : 1246 (java) S 1244 1244 743 0 -1 1077944320 12422 0 0 0 139 6 0 0 20 0 20 0 148681518 26628239360 38292 33554432000 4194304 4196468 140735864872128 140735864854672 139647298612983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 /proc/1246/statm: 6501035 38292 3192 1 0 6488269 0 [pid=1246/tid=1247] ppid=1244 vsize=26004140 memory=4638778428784005456 CPUtime=0.68 cores=0-7 /proc/1246/task/1247/stat : 1247 (java) R 1244 1244 743 0 -1 4202560 6581 0 0 0 64 4 0 0 20 0 20 0 148681519 26628239360 38292 33554432000 4194304 4196468 140735864872128 139647302851464 139646922016443 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1248] ppid=1244 vsize=26004140 memory=41384 CPUtime=0 cores=0-7 /proc/1246/task/1248/stat : 1248 (java) S 1244 1244 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148681520 26628239360 38292 33554432000 4194304 4196468 140735864872128 139647251233168 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1249] ppid=1244 vsize=26004140 memory=7518026621751089001 CPUtime=0 cores=0-7 /proc/1246/task/1249/stat : 1249 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148681520 26628239360 38292 33554432000 4194304 4196468 140735864872128 139647250180368 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1250] ppid=1244 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/1246/task/1250/stat : 1250 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148681520 26628239360 38292 33554432000 4194304 4196468 140735864872128 139647249128080 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 ################ # More data... # ################ /proc/1246/stat : 1246 (java) S 1244 1244 743 0 -1 1077944320 86635 0 0 0 7852 581 0 0 20 0 28 0 148681518 27175628800 1612413 33554432000 4194304 4196468 140735864872128 140735864854672 139647298612983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 /proc/1246/statm: 6634675 1612413 3267 1 0 6621909 0 [pid=1246/tid=1247] ppid=1244 vsize=26538700 memory=6944656592455359580 CPUtime=56.25 cores=0-7 /proc/1246/task/1247/stat : 1247 (java) S 1244 1244 743 0 -1 1077944384 17756 0 0 0 5561 64 0 0 20 0 28 0 148681519 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139647302853760 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1248] ppid=1244 vsize=26538700 memory=8112282956445269571 CPUtime=2.85 cores=0-7 /proc/1246/task/1248/stat : 1248 (java) S 1244 1244 743 0 -1 1077944384 6592 0 0 0 228 57 0 0 20 0 28 0 148681520 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139647251233168 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1249] ppid=1244 vsize=26538700 memory=1008 CPUtime=2.91 cores=0-7 /proc/1246/task/1249/stat : 1249 (java) S 1244 1244 743 0 -1 1077944384 3341 0 0 0 226 65 0 0 20 0 28 0 148681520 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139647250180368 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1250] ppid=1244 vsize=26538700 memory=1944 CPUtime=2.88 cores=0-7 /proc/1246/task/1250/stat : 1250 (java) S 1244 1244 743 0 -1 1077944384 3611 0 0 0 224 64 0 0 20 0 28 0 148681520 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139647249128080 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1251] ppid=1244 vsize=26538700 memory=1200 CPUtime=2.87 cores=0-7 /proc/1246/task/1251/stat : 1251 (java) S 1244 1244 743 0 -1 1077944384 11202 0 0 0 223 64 0 0 20 0 28 0 148681520 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139647248075280 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1252] ppid=1244 vsize=26538700 memory=1424 CPUtime=2.84 cores=0-7 /proc/1246/task/1252/stat : 1252 (java) S 1244 1244 743 0 -1 1077944384 4521 0 0 0 222 62 0 0 20 0 28 0 148681520 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139647247022992 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1253] ppid=1244 vsize=26538700 memory=8596 CPUtime=2.86 cores=0-7 /proc/1246/task/1253/stat : 1253 (java) S 1244 1244 743 0 -1 1077944384 6609 0 0 0 224 62 0 0 20 0 28 0 148681520 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139647245970192 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1254] ppid=1244 vsize=26538700 memory=15876 CPUtime=2.91 cores=0-7 /proc/1246/task/1254/stat : 1254 (java) S 1244 1244 743 0 -1 1077944384 4867 0 0 0 223 68 0 0 20 0 28 0 148681520 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139647244917904 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1255] ppid=1244 vsize=26538700 memory=4108 CPUtime=2.88 cores=0-7 /proc/1246/task/1255/stat : 1255 (java) S 1244 1244 743 0 -1 1077944384 5732 0 0 0 225 63 0 0 20 0 28 0 148681520 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139647243865104 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1256] ppid=1244 vsize=26538700 memory=1692 CPUtime=1.31 cores=0-7 /proc/1246/task/1256/stat : 1256 (java) S 1244 1244 743 0 -1 1077944384 6416 0 0 0 130 1 0 0 20 0 28 0 148681521 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139645502847088 139647298624130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1257] ppid=1244 vsize=26538700 memory=912 CPUtime=0 cores=0-7 /proc/1246/task/1257/stat : 1257 (java) S 1244 1244 743 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 148681522 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139645501793120 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1258] ppid=1244 vsize=26538700 memory=4416 CPUtime=0 cores=0-7 /proc/1246/task/1258/stat : 1258 (java) S 1244 1244 743 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 148681522 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139645500740736 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1259] ppid=1244 vsize=26538700 memory=4052 CPUtime=0 cores=0-7 /proc/1246/task/1259/stat : 1259 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148681524 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139645499689040 139647298631579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1260] ppid=1244 vsize=26538700 memory=23960 CPUtime=0.82 cores=0-7 /proc/1246/task/1260/stat : 1260 (java) R 1244 1244 743 0 -1 4202560 4754 0 0 0 81 1 0 0 20 0 28 0 148681524 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139645498623008 139647298626892 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1261] ppid=1244 vsize=26538700 memory=8112282956445269571 CPUtime=0.49 cores=0-7 /proc/1246/task/1261/stat : 1261 (java) R 1244 1244 743 0 -1 4202560 2608 0 0 0 49 0 0 0 20 0 28 0 148681524 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139645497573584 139647291718705 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1262] ppid=1244 vsize=26538700 memory=18472 CPUtime=0.42 cores=0-7 /proc/1246/task/1262/stat : 1262 (java) R 1244 1244 743 0 -1 4202560 2547 0 0 0 41 1 0 0 20 0 28 0 148681524 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139645496519376 139647283034489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1263] ppid=1244 vsize=26538700 memory=640 CPUtime=0.52 cores=0-7 /proc/1246/task/1263/stat : 1263 (java) R 1244 1244 743 0 -1 1077944384 3992 0 0 0 51 1 0 0 20 0 28 0 148681524 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139645495474096 139647298623189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1264] ppid=1244 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/1246/task/1264/stat : 1264 (java) S 1244 1244 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148681524 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139645494425952 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1265] ppid=1244 vsize=26538700 memory=5176032 CPUtime=0.02 cores=0-7 /proc/1246/task/1265/stat : 1265 (java) S 1244 1244 743 0 -1 1077944384 387 0 0 0 1 1 0 0 20 0 28 0 148681525 27175628800 1612413 33554432000 4194304 4196468 140735864872128 139644888934704 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 Current children cumulated CPU time: 84.33 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 6451036 KiB [startup+61.202 s] /proc/loadavg: 1.50 5.19 7.09 10/207 1273 /proc/meminfo: memFree=18208608/32770624 swapFree=67108860/67108860 [pid=1244] ppid=1241 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1244/stat : 1244 (xcsp3-exec) S 1241 1244 743 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148681518 9740288 346 33554432000 4194304 5098028 140729900185376 140729900183480 139725178344060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34611200 140729900192868 140729900193079 140729900193079 140729900195819 0 /proc/1244/statm: 2378 346 289 221 0 87 0 [pid=1246] ppid=1244 vsize=26538700 memory=6458148 CPUtime=87.51 cores=0-7 /proc/1246/stat : 1246 (java) S 1244 1244 743 0 -1 1077944320 89078 0 0 0 8170 581 0 0 20 0 28 0 148681518 27175628800 1614537 33554432000 4194304 4196468 140735864872128 140735864854672 139647298612983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 /proc/1246/statm: 6634675 1614537 3276 1 0 6621909 0 [pid=1246/tid=1247] ppid=1244 vsize=26538700 memory=1692 CPUtime=56.25 cores=0-7 /proc/1246/task/1247/stat : 1247 (java) S 1244 1244 743 0 -1 1077944384 17756 0 0 0 5561 64 0 0 20 0 28 0 148681519 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139647302853760 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1248] ppid=1244 vsize=26538700 memory=912 CPUtime=2.85 cores=0-7 /proc/1246/task/1248/stat : 1248 (java) S 1244 1244 743 0 -1 1077944384 6592 0 0 0 228 57 0 0 20 0 28 0 148681520 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139647251233168 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1249] ppid=1244 vsize=26538700 memory=4416 CPUtime=2.91 cores=0-7 /proc/1246/task/1249/stat : 1249 (java) S 1244 1244 743 0 -1 1077944384 3341 0 0 0 226 65 0 0 20 0 28 0 148681520 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139647250180368 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1250] ppid=1244 vsize=26538700 memory=4052 CPUtime=2.88 cores=0-7 /proc/1246/task/1250/stat : 1250 (java) S 1244 1244 743 0 -1 1077944384 3611 0 0 0 224 64 0 0 20 0 28 0 148681520 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139647249128080 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1251] ppid=1244 vsize=26538700 memory=23960 CPUtime=2.87 cores=0-7 /proc/1246/task/1251/stat : 1251 (java) S 1244 1244 743 0 -1 1077944384 11202 0 0 0 223 64 0 0 20 0 28 0 148681520 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139647248075280 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1252] ppid=1244 vsize=26538700 memory=18472 CPUtime=2.84 cores=0-7 /proc/1246/task/1252/stat : 1252 (java) S 1244 1244 743 0 -1 1077944384 4521 0 0 0 222 62 0 0 20 0 28 0 148681520 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139647247022992 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1253] ppid=1244 vsize=26538700 memory=640 CPUtime=2.86 cores=0-7 /proc/1246/task/1253/stat : 1253 (java) S 1244 1244 743 0 -1 1077944384 6609 0 0 0 224 62 0 0 20 0 28 0 148681520 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139647245970192 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1254] ppid=1244 vsize=26538700 memory=288230574492221466 CPUtime=2.91 cores=0-7 /proc/1246/task/1254/stat : 1254 (java) S 1244 1244 743 0 -1 1077944384 4867 0 0 0 223 68 0 0 20 0 28 0 148681520 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139647244917904 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1255] ppid=1244 vsize=26538700 memory=288230596050944315 CPUtime=2.88 cores=0-7 /proc/1246/task/1255/stat : 1255 (java) S 1244 1244 743 0 -1 1077944384 5732 0 0 0 225 63 0 0 20 0 28 0 148681520 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139647243865104 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1256] ppid=1244 vsize=26538700 memory=1384 CPUtime=1.31 cores=0-7 /proc/1246/task/1256/stat : 1256 (java) S 1244 1244 743 0 -1 1077944384 6416 0 0 0 130 1 0 0 20 0 28 0 148681521 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139645502847088 139647298624130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1257] ppid=1244 vsize=26538700 memory=6448876 CPUtime=0 cores=0-7 /proc/1246/task/1257/stat : 1257 (java) S 1244 1244 743 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 148681522 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139645501793120 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1258] ppid=1244 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/1246/task/1258/stat : 1258 (java) S 1244 1244 743 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 148681522 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139645500740736 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1259] ppid=1244 vsize=26538700 memory=6024356 CPUtime=0 cores=0-7 /proc/1246/task/1259/stat : 1259 (java) S 1244 1244 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148681524 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139645499689040 139647298631579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1260] ppid=1244 vsize=26538700 memory=2428 CPUtime=0.94 cores=0-7 /proc/1246/task/1260/stat : 1260 (java) R 1244 1244 743 0 -1 4202560 5121 0 0 0 93 1 0 0 20 0 28 0 148681524 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139645498623888 139647283720488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1261] ppid=1244 vsize=26538700 memory=932 CPUtime=0.57 cores=0-7 /proc/1246/task/1261/stat : 1261 (java) R 1244 1244 743 0 -1 4202560 3275 0 0 0 57 0 0 0 20 0 28 0 148681524 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139645497569992 139647283365664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1262] ppid=1244 vsize=26538700 memory=1580 CPUtime=0.53 cores=0-7 /proc/1246/task/1262/stat : 1262 (java) R 1244 1244 743 0 -1 4202560 3710 0 0 0 52 1 0 0 20 0 28 0 148681524 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139645496518000 139647276629975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1263] ppid=1244 vsize=26538700 memory=2244 CPUtime=0.56 cores=0-7 /proc/1246/task/1263/stat : 1263 (java) S 1244 1244 743 0 -1 1077944384 4175 0 0 0 55 1 0 0 20 0 28 0 148681524 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139645495479024 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1264] ppid=1244 vsize=26538700 memory=4132 CPUtime=0 cores=0-7 /proc/1246/task/1264/stat : 1264 (java) S 1244 1244 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148681524 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139645494425952 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1265] ppid=1244 vsize=26538700 memory=2204 CPUtime=0.02 cores=0-7 /proc/1246/task/1265/stat : 1265 (java) S 1244 1244 743 0 -1 1077944384 387 0 0 0 1 1 0 0 20 0 28 0 148681525 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139644888934704 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1266] ppid=1244 vsize=26538700 memory=7792 CPUtime=0.45 cores=0-7 /proc/1246/task/1266/stat : 1266 (java) R 1244 1244 743 0 -1 4202560 83 0 0 0 45 0 0 0 20 0 28 0 148687575 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139644881422248 139646919123192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1267] ppid=1244 vsize=26538700 memory=844 CPUtime=0.56 cores=0-7 /proc/1246/task/1267/stat : 1267 (java) R 1244 1244 743 0 -1 4202560 42 0 0 0 56 0 0 0 20 0 28 0 148687575 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139644880369576 139646919108325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1268] ppid=1244 vsize=26538700 memory=288230574492221466 CPUtime=0.53 cores=0-7 /proc/1246/task/1268/stat : 1268 (java) R 1244 1244 743 0 -1 4202560 54 0 0 0 53 0 0 0 20 0 28 0 148687575 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139644879316800 139646919126064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1269] ppid=1244 vsize=26538700 memory=288230596050944315 CPUtime=0.54 cores=0-7 /proc/1246/task/1269/stat : 1269 (java) R 1244 1244 743 0 -1 4202560 49 0 0 0 54 0 0 0 20 0 28 0 148687575 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139644878265152 139646919108341 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1270] ppid=1244 vsize=26538700 memory=15260328862680398 CPUtime=0.5 cores=0-7 /proc/1246/task/1270/stat : 1270 (java) R 1244 1244 743 0 -1 4202560 33 0 0 0 50 0 0 0 20 0 28 0 148687575 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139644877212344 139646921348118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1271] ppid=1244 vsize=26538700 memory=5329 CPUtime=0.46 cores=0-7 /proc/1246/task/1271/stat : 1271 (java) R 1244 1244 743 0 -1 4202560 69 0 0 0 46 0 0 0 20 0 28 0 148687575 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139644876159800 139646919126064 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1272] ppid=1244 vsize=26538700 memory=173 CPUtime=0.54 cores=0-7 /proc/1246/task/1272/stat : 1272 (java) R 1244 1244 743 0 -1 4202560 32 0 0 0 54 0 0 0 20 0 28 0 148687575 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139644875105712 139646919094404 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1273] ppid=1244 vsize=26538700 memory=177 CPUtime=0.58 cores=0-7 /proc/1246/task/1273/stat : 1273 (java) R 1244 1244 743 0 -1 4202560 32 0 0 0 58 0 0 0 20 0 28 0 148687576 27175628800 1614537 33554432000 4194304 4196468 140735864872128 139644874054376 139646919126352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 Current children cumulated CPU time: 87.51 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 6459532 KiB [startup+61.3012 s] /proc/loadavg: 1.50 5.19 7.09 10/207 1273 /proc/meminfo: memFree=18208608/32770624 swapFree=67108860/67108860 [pid=1244] ppid=1241 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1244/stat : 1244 (xcsp3-exec) S 1241 1244 743 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148681518 9740288 346 33554432000 4194304 5098028 140729900185376 140729900183480 139725178344060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34611200 140729900192868 140729900193079 140729900193079 140729900195819 0 /proc/1244/statm: 2378 346 289 221 0 87 0 [pid=1246] ppid=1244 vsize=26538700 memory=6459860 CPUtime=88.15 cores=0-7 /proc/1246/stat : 1246 (java) S 1244 1244 743 0 -1 1077944320 89502 0 0 0 8233 582 0 0 20 0 19 0 148681518 27175628800 1614965 33554432000 4194304 4196468 140735864872128 140735864854672 139647298612983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 /proc/1246/statm: 6634675 1614965 3280 1 0 6621909 0 [pid=1246/tid=1247] ppid=1244 vsize=26538700 memory=6448876 CPUtime=56.25 cores=0-7 /proc/1246/task/1247/stat : 1247 (java) S 1244 1244 743 0 -1 1077944384 17770 0 0 0 5561 64 0 0 20 0 19 0 148681519 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139647302855824 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1248] ppid=1244 vsize=26538700 memory=1384 CPUtime=2.85 cores=0-7 /proc/1246/task/1248/stat : 1248 (java) S 1244 1244 743 0 -1 1077944384 6592 0 0 0 228 57 0 0 20 0 19 0 148681520 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139647251233168 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1249] ppid=1244 vsize=26538700 memory=6357436 CPUtime=2.91 cores=0-7 /proc/1246/task/1249/stat : 1249 (java) S 1244 1244 743 0 -1 1077944384 3341 0 0 0 226 65 0 0 20 0 19 0 148681520 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139647250180368 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1250] ppid=1244 vsize=26538700 memory=15876 CPUtime=2.88 cores=0-7 /proc/1246/task/1250/stat : 1250 (java) S 1244 1244 743 0 -1 1077944384 3611 0 0 0 224 64 0 0 20 0 19 0 148681520 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139647249128080 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1251] ppid=1244 vsize=26538700 memory=1384 CPUtime=2.87 cores=0-7 /proc/1246/task/1251/stat : 1251 (java) S 1244 1244 743 0 -1 1077944384 11202 0 0 0 223 64 0 0 20 0 19 0 148681520 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139647248075280 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1252] ppid=1244 vsize=26538700 memory=5176140 CPUtime=2.84 cores=0-7 /proc/1246/task/1252/stat : 1252 (java) S 1244 1244 743 0 -1 1077944384 4521 0 0 0 222 62 0 0 20 0 19 0 148681520 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139647247022992 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1253] ppid=1244 vsize=26538700 memory=1384 CPUtime=2.86 cores=0-7 /proc/1246/task/1253/stat : 1253 (java) S 1244 1244 743 0 -1 1077944384 6609 0 0 0 224 62 0 0 20 0 19 0 148681520 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139647245970192 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1254] ppid=1244 vsize=26538700 memory=5176140 CPUtime=2.91 cores=0-7 /proc/1246/task/1254/stat : 1254 (java) S 1244 1244 743 0 -1 1077944384 4867 0 0 0 223 68 0 0 20 0 19 0 148681520 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139647244917904 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1255] ppid=1244 vsize=26538700 memory=1384 CPUtime=2.88 cores=0-7 /proc/1246/task/1255/stat : 1255 (java) S 1244 1244 743 0 -1 1077944384 5732 0 0 0 225 63 0 0 20 0 19 0 148681520 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139647243865104 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1256] ppid=1244 vsize=26538700 memory=1292 CPUtime=1.31 cores=0-7 /proc/1246/task/1256/stat : 1256 (java) S 1244 1244 743 0 -1 1077944384 6416 0 0 0 130 1 0 0 20 0 19 0 148681521 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139645502847296 139647298624130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1257] ppid=1244 vsize=26538700 memory=2428 CPUtime=0 cores=0-7 /proc/1246/task/1257/stat : 1257 (java) S 1244 1244 743 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 148681522 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139645501793120 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1258] ppid=1244 vsize=26538700 memory=1728 CPUtime=0 cores=0-7 /proc/1246/task/1258/stat : 1258 (java) S 1244 1244 743 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 148681522 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139645500740736 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1259] ppid=1244 vsize=26538700 memory=792 CPUtime=0 cores=0-7 /proc/1246/task/1259/stat : 1259 (java) S 1244 1244 743 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 148681524 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139645499687808 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1260] ppid=1244 vsize=26538700 memory=279656327878320 CPUtime=1 cores=0-7 /proc/1246/task/1260/stat : 1260 (java) S 1244 1244 743 0 -1 1077944384 5134 0 0 0 99 1 0 0 20 0 19 0 148681524 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139645498636912 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1261] ppid=1244 vsize=26538700 memory=7525990664682 CPUtime=0.62 cores=0-7 /proc/1246/task/1261/stat : 1261 (java) S 1244 1244 743 0 -1 1077944384 3408 0 0 0 62 0 0 0 20 0 19 0 148681524 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139645497564512 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1262] ppid=1244 vsize=26538700 memory=7525990664682 CPUtime=0.6 cores=0-7 /proc/1246/task/1262/stat : 1262 (java) R 1244 1244 743 0 -1 4202560 3931 0 0 0 59 1 0 0 20 0 19 0 148681524 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139645496517848 139647276209150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1263] ppid=1244 vsize=26538700 memory=7525990664426 CPUtime=0.57 cores=0-7 /proc/1246/task/1263/stat : 1263 (java) S 1244 1244 743 0 -1 1077944384 4178 0 0 0 56 1 0 0 20 0 19 0 148681524 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139645495479024 139647298624130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 [pid=1246/tid=1264] ppid=1244 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/1246/task/1264/stat : 1264 (java) S 1244 1244 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 148681524 27175628800 1614965 33554432000 4194304 4196468 140735864872128 139645494425952 139647298623189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140735864878226 140735864878403 140735864878403 140735864881103 0 Current children cumulated CPU time: 88.15 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 6461244 KiB Child status: 0 Real time (s): 61.3617 CPU time (s): 88.2144 CPU user time (s): 82.3572 CPU system time (s): 5.85715 CPU usage (%): 143.761 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 6461244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 82.3572 system time used= 5.85715 maximum resident set size= 6461608 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 90265 page faults= 0 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7300 involuntary context switches= 589 # summary of solver processes directly reported to runsolver: # pid: 1244 # total CPU time (s): 88.2144 # total CPU user time (s): 82.3572 # total CPU system time (s): 5.85715 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.347387 second user time and 0.712518 second system time The end
Begin job on node151 at 2017-08-19 17:05:48 IDJOB=4280987 IDBENCH=134421 IDSOLVER=2675 FILE ID=node151/4280987-1503156008 RUNJOBID= node151-1503152458-770 PBS_JOBID= 20630814 Free space on /tmp= 61804 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/RadarSurveillance/RadarSurveillance-m1-s8-30/RadarSurveillance-8-30-3-0-10.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280987-1503156008/watcher-4280987-1503156008 -o /tmp/evaluation-result-4280987-1503156008/solver-4280987-1503156008 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503152458-770 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1758732008 HOME/instance-4280987-1503156008.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c800df9d4cb0f0da3a570e7ebd01bbed RANDOM SEED=1758732008 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 : 5332.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.95 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: 24660100 kB MemAvailable: 31974360 kB Buffers: 323952 kB Cached: 7282176 kB SwapCached: 0 kB Active: 1794956 kB Inactive: 5864356 kB Active(anon): 44828 kB Inactive(anon): 44332 kB Active(file): 1750128 kB Inactive(file): 5820024 kB Unevictable: 7576 kB Mlocked: 7576 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7612 kB Writeback: 0 kB AnonPages: 71536 kB Mapped: 51148 kB Shmem: 33416 kB Slab: 146328 kB SReclaimable: 119884 kB SUnreclaim: 26444 kB KernelStack: 3536 kB PageTables: 5148 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333244 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61796 MiB End job on node151 at 2017-08-19 17:06:49