Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT | 55.386101 | 42.321999 |
Name | RadarSurveillance/RadarSurveillance-m1-s8-30/ RadarSurveillance-8-30-3-0-28.xml |
MD5SUM | fca7dc5663c287dc06adb4769da1d320 |
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.127432 |
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":151}] |
Minimum variable degree | 0 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":0,"count":29},{"degree":1,"count":13},{"degree":2,"count":10},{"degree":3,"count":17},{"degree":4,"count":10},{"degree":5,"count":18},{"degree":6,"count":83}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 19 |
Distribution of constraint arities | [{"arity":3,"count":1},{"arity":5,"count":1},{"arity":6,"count":4},{"arity":7,"count":5},{"arity":8,"count":8},{"arity":9,"count":4},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":4},{"arity":15,"count":6},{"arity":16,"count":2},{"arity":17,"count":2},{"arity":19,"count":3}] |
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-4271178-1502768616.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271178-1502768616.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 51.79/41.80 c solve instance... 54.71/42.29 s SATISFIABLE 54.71/42.29 v <instantiation> 54.71/42.29 v <list>x[0][1] x[0][2] x[0][3] x[1][1] x[1][2] x[1][3] x[1][4] x[2][1] x[2][2] x[2][3] x[2][4] x[3][1] x[3][2] x[3][3] x[3][4] x[4][1] x[4][2] x[4][3] x[4][4] x[5][1] x[5][2] x[5][3] x[5][4] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] 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][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][2] x[15][3] x[15][4] x[15][5] x[16][0] x[16][1] x[16][2] x[16][3] x[16][5] x[17][0] x[17][1] 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[18][4] x[18][5] 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][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][1] x[26][2] x[26][3] x[26][4] x[26][5] x[27][0] x[27][3] x[27][4] x[27][5] x[28][0] x[28][1] x[29][0] x[29][4] x[29][5] </list> 54.71/42.29 v <values>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 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 2 0 0 0 0 3 2 0 0 0 0 1 2 0 0 3 3 0 0 2 3 0 0 0 3 2 3 2 0 0 0 3 3 0 0 0 3 2 0 0 3 1 0 0 0 0 3 2 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 3 3 2 0 0 2 0 1 2 0 0 0 3 2 3 0 0 0 3 3 1 1 2 2 0 1 0 0 1 3 0 3 1 1 0 3 3 2 1 3 2 0 3 2 3 1 </values> 54.71/42.29 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 (15200 MiB free) memory of node 1: 16384 MiB (15531 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271178-1502768616/watcher-4271178-1502768616 -o /tmp/evaluation-result-4271178-1502768616/solver-4271178-1502768616 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502762644-18791 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 788770197 HOME/instance-4271178-1502768616.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=19302, runsolver pid=19299 [startup+0.100133 s]* /proc/loadavg: 3.39 6.92 8.10 2/199 19323 /proc/meminfo: memFree=31454508/32770624 swapFree=67108860/67108860 [pid=19302] ppid=19299 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19302/stat : 19302 (xcsp3-exec) S 19299 19302 18764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109949243 9740288 346 33554432000 4194304 5098028 140730905938496 140730905936600 139904752673404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14102528 140730905941093 140730905941303 140730905941303 140730905944043 0 /proc/19302/statm: 2378 346 289 221 0 87 0 [pid=19304] ppid=19302 vsize=25999808 memory=26480 CPUtime=0.12 cores=0-7 /proc/19304/stat : 19304 (java) S 19302 19302 18764 0 -1 1077944320 5485 0 0 0 11 1 0 0 20 0 20 0 109949243 26623803392 6620 33554432000 4194304 4196468 140733815119056 140733815101600 140350536990455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 /proc/19304/statm: 6499952 6620 2858 1 0 6488269 0 [pid=19304/tid=19305] ppid=19302 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/19304/task/19305/stat : 19305 (java) R 19302 19302 18764 0 -1 4202560 3484 0 0 0 8 0 0 0 20 0 20 0 109949243 26623803392 6620 33554432000 4194304 4196468 140733815119056 140350541222448 140350537012381 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19306] ppid=19302 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19304/task/19306/stat : 19306 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109949244 26623803392 6620 33554432000 4194304 4196468 140733815119056 140350489611408 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19307] ppid=19302 vsize=25999808 memory=140621140592256 CPUtime=0 cores=0-7 /proc/19304/task/19307/stat : 19307 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26623803392 6620 33554432000 4194304 4196468 140733815119056 140350488558608 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19308] ppid=19302 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19308/stat : 19308 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26623803392 6620 33554432000 4194304 4196468 140733815119056 140350487505808 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19309] ppid=19302 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19309/stat : 19309 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26623803392 6620 33554432000 4194304 4196468 140733815119056 140350486453008 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19310] ppid=19302 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19310/stat : 19310 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26623803392 6620 33554432000 4194304 4196468 140733815119056 140350485400208 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19311] ppid=19302 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/19304/task/19311/stat : 19311 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26623803392 6620 33554432000 4194304 4196468 140733815119056 140350484347408 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19312] ppid=19302 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19312/stat : 19312 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109949244 26623803392 6620 33554432000 4194304 4196468 140733815119056 140350483294608 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19313] ppid=19302 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19313/stat : 19313 (java) S 19302 19302 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109949244 26623803392 6620 33554432000 4194304 4196468 140733815119056 140350482241808 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19314] ppid=19302 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19314/stat : 19314 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949246 26623803392 6620 33554432000 4194304 4196468 140733815119056 140349279083376 140350537001602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19315] ppid=19302 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19315/stat : 19315 (java) S 19302 19302 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109949246 26623803392 6620 33554432000 4194304 4196468 140733815119056 140349278029344 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19316] ppid=19302 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19316/stat : 19316 (java) S 19302 19302 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109949246 26623803392 6620 33554432000 4194304 4196468 140733815119056 140349276976496 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19317] ppid=19302 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19317/stat : 19317 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109949249 26623803392 6620 33554432000 4194304 4196468 140733815119056 140349275924816 140350537009051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19318] ppid=19302 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19318/stat : 19318 (java) S 19302 19302 18764 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 109949249 26623803392 6620 33554432000 4194304 4196468 140733815119056 140349274872176 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19319] ppid=19302 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19319/stat : 19319 (java) S 19302 19302 18764 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 109949249 26623803392 6620 33554432000 4194304 4196468 140733815119056 140349273819376 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19320] ppid=19302 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19320/stat : 19320 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109949249 26623803392 6620 33554432000 4194304 4196468 140733815119056 140349272766576 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19321] ppid=19302 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/19304/task/19321/stat : 19321 (java) R 19302 19302 18764 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 20 0 109949249 26623803392 6620 33554432000 4194304 4196468 140733815119056 140349271713776 140350521070942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19322] ppid=19302 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19322/stat : 19322 (java) S 19302 19302 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109949249 26623803392 6620 33554432000 4194304 4196468 140733815119056 140349270662240 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19323] ppid=19302 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/19304/task/19323/stat : 19323 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109949249 26623803392 6620 33554432000 4194304 4196468 140733815119056 140349269609520 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27864 KiB [startup+0.210441 s]* /proc/loadavg: 3.39 6.92 8.10 3/199 19323 /proc/meminfo: memFree=31442888/32770624 swapFree=67108860/67108860 [pid=19302] ppid=19299 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19302/stat : 19302 (xcsp3-exec) S 19299 19302 18764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109949243 9740288 346 33554432000 4194304 5098028 140730905938496 140730905936600 139904752673404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14102528 140730905941093 140730905941303 140730905941303 140730905944043 0 /proc/19302/statm: 2378 346 289 221 0 87 0 [pid=19304] ppid=19302 vsize=26004064 memory=38536 CPUtime=0.33 cores=0-7 /proc/19304/stat : 19304 (java) S 19302 19302 18764 0 -1 1077944320 8239 0 0 0 31 2 0 0 20 0 20 0 109949243 26628161536 9634 33554432000 4194304 4196468 140733815119056 140733815101600 140350536990455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 /proc/19304/statm: 6501016 9634 3052 1 0 6488269 0 [pid=19304/tid=19305] ppid=19302 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/19304/task/19305/stat : 19305 (java) R 19302 19302 18764 0 -1 4202560 5384 0 0 0 18 1 0 0 20 0 20 0 109949243 26628161536 9634 33554432000 4194304 4196468 140733815119056 140350541212496 140350537012381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19306] ppid=19302 vsize=26004064 memory=328 CPUtime=0 cores=0-7 /proc/19304/task/19306/stat : 19306 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109949244 26628161536 9634 33554432000 4194304 4196468 140733815119056 140350489611408 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19307] ppid=19302 vsize=26004064 memory=140621141075488 CPUtime=0 cores=0-7 /proc/19304/task/19307/stat : 19307 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26628161536 9634 33554432000 4194304 4196468 140733815119056 140350488558608 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19308] ppid=19302 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19304/task/19308/stat : 19308 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26628161536 9634 33554432000 4194304 4196468 140733815119056 140350487505808 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19309] ppid=19302 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19309/stat : 19309 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26628161536 9634 33554432000 4194304 4196468 140733815119056 140350486453008 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19310] ppid=19302 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19310/stat : 19310 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26628161536 9634 33554432000 4194304 4196468 140733815119056 140350485400208 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19311] ppid=19302 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19304/task/19311/stat : 19311 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26628161536 9634 33554432000 4194304 4196468 140733815119056 140350484347408 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19312] ppid=19302 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19312/stat : 19312 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109949244 26628161536 9634 33554432000 4194304 4196468 140733815119056 140350483294608 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19313] ppid=19302 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19313/stat : 19313 (java) S 19302 19302 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109949244 26628161536 9634 33554432000 4194304 4196468 140733815119056 140350482241808 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19314] ppid=19302 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19314/stat : 19314 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949246 26628161536 9634 33554432000 4194304 4196468 140733815119056 140349279083376 140350537001602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19315] ppid=19302 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19315/stat : 19315 (java) S 19302 19302 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109949246 26628161536 9634 33554432000 4194304 4196468 140733815119056 140349278029344 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19316] ppid=19302 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19316/stat : 19316 (java) S 19302 19302 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109949246 26628161536 9634 33554432000 4194304 4196468 140733815119056 140349276976496 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19317] ppid=19302 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19317/stat : 19317 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109949249 26628161536 9634 33554432000 4194304 4196468 140733815119056 140349275924816 140350537009051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19318] ppid=19302 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19318/stat : 19318 (java) S 19302 19302 18764 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 109949249 26628161536 9634 33554432000 4194304 4196468 140733815119056 140349274872176 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19319] ppid=19302 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/19304/task/19319/stat : 19319 (java) S 19302 19302 18764 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 20 0 109949249 26628161536 9634 33554432000 4194304 4196468 140733815119056 140349273819376 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19320] ppid=19302 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/19304/task/19320/stat : 19320 (java) S 19302 19302 18764 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 20 0 109949249 26628161536 9634 33554432000 4194304 4196468 140733815119056 140349272766576 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19321] ppid=19302 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/19304/task/19321/stat : 19321 (java) R 19302 19302 18764 0 -1 4202560 791 0 0 0 7 0 0 0 20 0 20 0 109949249 26628161536 9634 33554432000 4194304 4196468 140733815119056 140349271712960 140350529227582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19322] ppid=19302 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19322/stat : 19322 (java) S 19302 19302 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109949249 26628161536 9634 33554432000 4194304 4196468 140733815119056 140349270662240 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19323] ppid=19302 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19304/task/19323/stat : 19323 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109949249 26628161536 9634 33554432000 4194304 4196468 140733815119056 140349269609520 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39920 KiB [startup+0.316076 s]* /proc/loadavg: 3.39 6.92 8.10 2/199 19323 /proc/meminfo: memFree=31435828/32770624 swapFree=67108860/67108860 [pid=19302] ppid=19299 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19302/stat : 19302 (xcsp3-exec) S 19299 19302 18764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109949243 9740288 346 33554432000 4194304 5098028 140730905938496 140730905936600 139904752673404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14102528 140730905941093 140730905941303 140730905941303 140730905944043 0 /proc/19302/statm: 2378 346 289 221 0 87 0 [pid=19304] ppid=19302 vsize=26004064 memory=46632 CPUtime=0.51 cores=0-7 /proc/19304/stat : 19304 (java) S 19302 19302 18764 0 -1 1077944320 9385 0 0 0 48 3 0 0 20 0 20 0 109949243 26628161536 11658 33554432000 4194304 4196468 140733815119056 140733815101600 140350536990455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 /proc/19304/statm: 6501016 11658 3106 1 0 6488269 0 [pid=19304/tid=19305] ppid=19302 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/19304/task/19305/stat : 19305 (java) D 19302 19302 18764 0 -1 1077944384 6143 0 0 0 28 2 0 0 20 0 20 0 109949243 26628161536 11658 33554432000 4194304 4196468 140733815119056 140350541222784 140350537014333 0 4 0 16800975 18446744072101629476 0 0 -1 1 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19306] ppid=19302 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19306/stat : 19306 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109949244 26628161536 11658 33554432000 4194304 4196468 140733815119056 140350489611408 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19307] ppid=19302 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19307/stat : 19307 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26628161536 11658 33554432000 4194304 4196468 140733815119056 140350488558608 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19308] ppid=19302 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19308/stat : 19308 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26628161536 11658 33554432000 4194304 4196468 140733815119056 140350487505808 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19309] ppid=19302 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19309/stat : 19309 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26628161536 11658 33554432000 4194304 4196468 140733815119056 140350486453008 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19310] ppid=19302 vsize=26004140 memory=2244 CPUtime=0 cores=0-7 /proc/19304/task/19310/stat : 19310 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26628239360 11658 33554432000 4194304 4196468 140733815119056 140350485400208 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19311] ppid=19302 vsize=26004140 memory=140620987462575 CPUtime=0 cores=0-7 /proc/19304/task/19311/stat : 19311 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26628239360 11658 33554432000 4194304 4196468 140733815119056 140350484347408 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19312] ppid=19302 vsize=26004140 memory=140620987464880 CPUtime=0 cores=0-7 /proc/19304/task/19312/stat : 19312 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109949244 26628239360 11658 33554432000 4194304 4196468 140733815119056 140350483294608 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19313] ppid=19302 vsize=26004140 memory=140620987467184 CPUtime=0 cores=0-7 /proc/19304/task/19313/stat : 19313 (java) S 19302 19302 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109949244 26628239360 11658 33554432000 4194304 4196468 140733815119056 140350482241808 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19314] ppid=19302 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19314/stat : 19314 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949246 26628239360 11658 33554432000 4194304 4196468 140733815119056 140349279083376 140350537001602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19315] ppid=19302 vsize=26004140 memory=281241974941328 CPUtime=0 cores=0-7 /proc/19304/task/19315/stat : 19315 (java) S 19302 19302 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109949246 26628239360 11658 33554432000 4194304 4196468 140733815119056 140349278029344 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19316] ppid=19302 vsize=26004140 memory=281241974948240 CPUtime=0 cores=0-7 /proc/19304/task/19316/stat : 19316 (java) S 19302 19302 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109949246 26628239360 11658 33554432000 4194304 4196468 140733815119056 140349276976496 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19317] ppid=19302 vsize=26004140 memory=281241974889520 CPUtime=0 cores=0-7 /proc/19304/task/19317/stat : 19317 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109949249 26628239360 11658 33554432000 4194304 4196468 140733815119056 140349275924816 140350537009051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19318] ppid=19302 vsize=26004140 memory=281241974962064 CPUtime=0.01 cores=0-7 /proc/19304/task/19318/stat : 19318 (java) S 19302 19302 18764 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 20 0 109949249 26628239360 11658 33554432000 4194304 4196468 140733815119056 140349274872176 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19319] ppid=19302 vsize=26004140 memory=281241974968976 CPUtime=0.02 cores=0-7 /proc/19304/task/19319/stat : 19319 (java) S 19302 19302 18764 0 -1 1077944384 332 0 0 0 2 0 0 0 20 0 20 0 109949249 26628239360 11658 33554432000 4194304 4196468 140733815119056 140349273819376 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19320] ppid=19302 vsize=26004140 memory=281241974966672 CPUtime=0.02 cores=0-7 /proc/19304/task/19320/stat : 19320 (java) S 19302 19302 18764 0 -1 1077944384 231 0 0 0 2 0 0 0 20 0 20 0 109949249 26628239360 11658 33554432000 4194304 4196468 140733815119056 140349272766576 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19321] ppid=19302 vsize=26004140 memory=281241974982832 CPUtime=0.13 cores=0-7 /proc/19304/task/19321/stat : 19321 (java) R 19302 19302 18764 0 -1 4202560 1010 0 0 0 13 0 0 0 20 0 20 0 109949249 26628239360 11658 33554432000 4194304 4196468 140733815119056 140349271713776 140350537011802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19322] ppid=19302 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19322/stat : 19322 (java) S 19302 19302 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109949249 26628239360 11658 33554432000 4194304 4196468 140733815119056 140349270662240 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19323] ppid=19302 vsize=26004140 memory=-1 CPUtime=0 cores=0-7 /proc/19304/task/19323/stat : 19323 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109949249 26628239360 11658 33554432000 4194304 4196468 140733815119056 140349269609520 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 48016 KiB [startup+0.701013 s] /proc/loadavg: 3.39 6.92 8.10 3/199 19323 /proc/meminfo: memFree=31402080/32770624 swapFree=67108860/67108860 [pid=19302] ppid=19299 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19302/stat : 19302 (xcsp3-exec) S 19299 19302 18764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109949243 9740288 346 33554432000 4194304 5098028 140730905938496 140730905936600 139904752673404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14102528 140730905941093 140730905941303 140730905941303 140730905944043 0 /proc/19302/statm: 2378 346 289 221 0 87 0 [pid=19304] ppid=19302 vsize=26006188 memory=138872 CPUtime=1.37 cores=0-7 /proc/19304/stat : 19304 (java) S 19302 19302 18764 0 -1 1077944320 12044 0 0 0 131 6 0 0 20 0 20 0 109949243 26630336512 34718 33554432000 4194304 4196468 140733815119056 140733815101600 140350536990455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 /proc/19304/statm: 6501547 34718 3198 1 0 6488781 0 [pid=19304/tid=19305] ppid=19302 vsize=26006188 memory=281241975340720 CPUtime=0.67 cores=0-7 /proc/19304/task/19305/stat : 19305 (java) R 19302 19302 18764 0 -1 4202560 6685 0 0 0 63 4 0 0 20 0 20 0 109949243 26630336512 34718 33554432000 4194304 4196468 140733815119056 140350541228496 140350155699512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19306] ppid=19302 vsize=26006188 memory=140620987671408 CPUtime=0 cores=0-7 /proc/19304/task/19306/stat : 19306 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109949244 26630336512 34718 33554432000 4194304 4196468 140733815119056 140350489611408 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19307] ppid=19302 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19307/stat : 19307 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26630336512 34718 33554432000 4194304 4196468 140733815119056 140350488558608 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19308] ppid=19302 vsize=26006188 memory=4612 CPUtime=0 cores=0-7 /proc/19304/task/19308/stat : 19308 (java) S 19302 19302 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109949244 26630336512 34718 33554432000 4194304 4196468 140733815119056 140350487505808 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 ################ # More data... # ################ [pid=19304/tid=19318] ppid=19302 vsize=26006188 memory=1384 CPUtime=0.62 cores=0-7 /proc/19304/task/19318/stat : 19318 (java) S 19302 19302 18764 0 -1 1077944384 5259 0 0 0 61 1 0 0 20 0 20 0 109949249 26630336512 1084517 33554432000 4194304 4196468 140733815119056 140349274872176 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19319] ppid=19302 vsize=26006188 memory=1384 CPUtime=0.34 cores=0-7 /proc/19304/task/19319/stat : 19319 (java) S 19302 19302 18764 0 -1 1077944384 1970 0 0 0 34 0 0 0 20 0 20 0 109949249 26630336512 1084517 33554432000 4194304 4196468 140733815119056 140349273819376 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19320] ppid=19302 vsize=26006188 memory=1384 CPUtime=0.51 cores=0-7 /proc/19304/task/19320/stat : 19320 (java) S 19302 19302 18764 0 -1 1077944384 2408 0 0 0 51 0 0 0 20 0 20 0 109949249 26630336512 1084517 33554432000 4194304 4196468 140733815119056 140349272766576 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19321] ppid=19302 vsize=26006188 memory=4100 CPUtime=0.42 cores=0-7 /proc/19304/task/19321/stat : 19321 (java) S 19302 19302 18764 0 -1 1077944384 3694 0 0 0 42 0 0 0 20 0 20 0 109949249 26630336512 1084517 33554432000 4194304 4196468 140733815119056 140349271713776 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19322] ppid=19302 vsize=26006188 memory=31044 CPUtime=0 cores=0-7 /proc/19304/task/19322/stat : 19322 (java) S 19302 19302 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109949249 26630336512 1084517 33554432000 4194304 4196468 140733815119056 140349270662240 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19323] ppid=19302 vsize=26006188 memory=1292 CPUtime=0 cores=0-7 /proc/19304/task/19323/stat : 19323 (java) S 19302 19302 18764 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 20 0 109949249 26630336512 1084517 33554432000 4194304 4196468 140733815119056 140349269609520 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 Current children cumulated CPU time: 51.57 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 4339452 KiB [startup+42.0017 s]* /proc/loadavg: 2.28 6.20 7.81 11/207 19331 /proc/meminfo: memFree=27133400/32770624 swapFree=67108860/67108860 [pid=19302] ppid=19299 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19302/stat : 19302 (xcsp3-exec) S 19299 19302 18764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109949243 9740288 346 33554432000 4194304 5098028 140730905938496 140730905936600 139904752673404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14102528 140730905941093 140730905941303 140730905941303 140730905944043 0 /proc/19302/statm: 2378 346 289 221 0 87 0 [pid=19304] ppid=19302 vsize=26538700 memory=4343436 CPUtime=53.18 cores=0-7 /proc/19304/stat : 19304 (java) S 19302 19302 18764 0 -1 1077944320 57574 0 0 0 4957 361 0 0 20 0 28 0 109949243 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140733815101600 140350536990455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 /proc/19304/statm: 6634675 1085859 3267 1 0 6621909 0 [pid=19304/tid=19305] ppid=19302 vsize=26538700 memory=6791534058613427641 CPUtime=40.08 cores=0-7 /proc/19304/task/19305/stat : 19305 (java) S 19302 19302 18764 0 -1 1077944384 15473 0 0 0 3960 48 0 0 20 0 28 0 109949243 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140350541231232 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19306] ppid=19302 vsize=26538700 memory=4872558044660077418 CPUtime=1.13 cores=0-7 /proc/19304/task/19306/stat : 19306 (java) S 19302 19302 18764 0 -1 1077944384 3407 0 0 0 76 37 0 0 20 0 28 0 109949244 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140350489611408 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19307] ppid=19302 vsize=26538700 memory=288312840463584207 CPUtime=1.16 cores=0-7 /proc/19304/task/19307/stat : 19307 (java) S 19302 19302 18764 0 -1 1077944384 2023 0 0 0 76 40 0 0 20 0 28 0 109949244 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140350488558608 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19308] ppid=19302 vsize=26538700 memory=13573695205561594 CPUtime=1.15 cores=0-7 /proc/19304/task/19308/stat : 19308 (java) S 19302 19302 18764 0 -1 1077944384 2358 0 0 0 79 36 0 0 20 0 28 0 109949244 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140350487505808 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19309] ppid=19302 vsize=26538700 memory=223518688057043 CPUtime=1.16 cores=0-7 /proc/19304/task/19309/stat : 19309 (java) S 19302 19302 18764 0 -1 1077944384 3128 0 0 0 77 39 0 0 20 0 28 0 109949244 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140350486453008 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19310] ppid=19302 vsize=26538700 memory=223518688057044 CPUtime=1.15 cores=0-7 /proc/19304/task/19310/stat : 19310 (java) S 19302 19302 18764 0 -1 1077944384 2631 0 0 0 75 40 0 0 20 0 28 0 109949244 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140350485400208 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19311] ppid=19302 vsize=26538700 memory=223518688057045 CPUtime=1.14 cores=0-7 /proc/19304/task/19311/stat : 19311 (java) S 19302 19302 18764 0 -1 1077944384 2130 0 0 0 80 34 0 0 20 0 28 0 109949244 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140350484347408 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19312] ppid=19302 vsize=26538700 memory=223518688057046 CPUtime=1.15 cores=0-7 /proc/19304/task/19312/stat : 19312 (java) S 19302 19302 18764 0 -1 1077944384 2155 0 0 0 76 39 0 0 20 0 28 0 109949244 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140350483294608 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19313] ppid=19302 vsize=26538700 memory=4124 CPUtime=1.14 cores=0-7 /proc/19304/task/19313/stat : 19313 (java) S 19302 19302 18764 0 -1 1077944384 2083 0 0 0 77 37 0 0 20 0 28 0 109949244 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140350482241808 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19314] ppid=19302 vsize=26538700 memory=2196 CPUtime=0.5 cores=0-7 /proc/19304/task/19314/stat : 19314 (java) S 19302 19302 18764 0 -1 1077944384 3123 0 0 0 49 1 0 0 20 0 28 0 109949246 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349279083376 140350537001602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19315] ppid=19302 vsize=26538700 memory=6764 CPUtime=0 cores=0-7 /proc/19304/task/19315/stat : 19315 (java) S 19302 19302 18764 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 109949246 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349278029408 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19316] ppid=19302 vsize=26538700 memory=840 CPUtime=0 cores=0-7 /proc/19304/task/19316/stat : 19316 (java) S 19302 19302 18764 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 109949246 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349276976512 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19317] ppid=19302 vsize=26538700 memory=1696 CPUtime=0 cores=0-7 /proc/19304/task/19317/stat : 19317 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109949249 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349275924816 140350537009051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19318] ppid=19302 vsize=26538700 memory=916 CPUtime=0.73 cores=0-7 /proc/19304/task/19318/stat : 19318 (java) R 19302 19302 18764 0 -1 4202560 6498 0 0 0 72 1 0 0 20 0 28 0 109949249 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349274853792 140350517692119 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19319] ppid=19302 vsize=26538700 memory=4404 CPUtime=0.43 cores=0-7 /proc/19304/task/19319/stat : 19319 (java) R 19302 19302 18764 0 -1 4202560 2221 0 0 0 42 1 0 0 20 0 28 0 109949249 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349273819504 140350529279837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19320] ppid=19302 vsize=26538700 memory=4104 CPUtime=0.59 cores=0-7 /proc/19304/task/19320/stat : 19320 (java) R 19302 19302 18764 0 -1 4202560 3289 0 0 0 59 0 0 0 20 0 28 0 109949249 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349272755728 140350517691428 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19321] ppid=19302 vsize=26538700 memory=1152 CPUtime=0.51 cores=0-7 /proc/19304/task/19321/stat : 19321 (java) R 19302 19302 18764 0 -1 1077944384 4898 0 0 0 50 1 0 0 20 0 28 0 109949249 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349271709536 140350537000661 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19322] ppid=19302 vsize=26538700 memory=2948 CPUtime=0 cores=0-7 /proc/19304/task/19322/stat : 19322 (java) S 19302 19302 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109949249 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349270662240 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19323] ppid=19302 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/19304/task/19323/stat : 19323 (java) S 19302 19302 18764 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 28 0 109949249 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349269609520 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19324] ppid=19302 vsize=26538700 memory=4338068 CPUtime=0.1 cores=0-7 /proc/19304/task/19324/stat : 19324 (java) R 19302 19302 18764 0 -1 4202560 107 0 0 0 10 0 0 0 20 0 28 0 109953425 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349194360248 140350152905396 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19325] ppid=19302 vsize=26538700 memory=6791534058613427641 CPUtime=0.16 cores=0-7 /proc/19304/task/19325/stat : 19325 (java) R 19302 19302 18764 0 -1 4202560 80 0 0 0 16 0 0 0 20 0 28 0 109953425 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349193308192 140350152894181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19326] ppid=19302 vsize=26538700 memory=4872558044660077418 CPUtime=0.13 cores=0-7 /proc/19304/task/19326/stat : 19326 (java) R 19302 19302 18764 0 -1 4202560 114 0 0 0 13 0 0 0 20 0 28 0 109953425 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349192234000 140350152868967 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19327] ppid=19302 vsize=26538700 memory=7649399388492740864 CPUtime=0.11 cores=0-7 /proc/19304/task/19327/stat : 19327 (java) R 19302 19302 18764 0 -1 4202560 54 0 0 0 11 0 0 0 20 0 28 0 109953425 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349191202552 140350152919712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19328] ppid=19302 vsize=26538700 memory=-7028383565733676694 CPUtime=0.11 cores=0-7 /proc/19304/task/19328/stat : 19328 (java) R 19302 19302 18764 0 -1 4202560 71 0 0 0 11 0 0 0 20 0 28 0 109953425 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349190148048 140350152880268 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19329] ppid=19302 vsize=26538700 memory=8996927245743126058 CPUtime=0.12 cores=0-7 /proc/19304/task/19329/stat : 19329 (java) R 19302 19302 18764 0 -1 4202560 62 0 0 0 12 0 0 0 20 0 28 0 109953425 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349189095448 140350155604743 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19330] ppid=19302 vsize=26538700 memory=8996927245810234922 CPUtime=0.16 cores=0-7 /proc/19304/task/19330/stat : 19330 (java) R 19302 19302 18764 0 -1 4202560 66 0 0 0 16 0 0 0 20 0 28 0 109953425 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349188042752 140350152880268 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19331] ppid=19302 vsize=26538700 memory=8326441112149131689 CPUtime=0.1 cores=0-7 /proc/19304/task/19331/stat : 19331 (java) R 19302 19302 18764 0 -1 1077944384 64 0 0 0 10 0 0 0 20 0 28 0 109953425 27175628800 1085859 33554432000 4194304 4196468 140733815119056 140349186992672 140350537000661 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 Current children cumulated CPU time: 53.18 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 4344820 KiB [startup+42.2057 s] /proc/loadavg: 2.28 6.20 7.81 11/207 19331 /proc/meminfo: memFree=27133400/32770624 swapFree=67108860/67108860 [pid=19302] ppid=19299 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19302/stat : 19302 (xcsp3-exec) S 19299 19302 18764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109949243 9740288 346 33554432000 4194304 5098028 140730905938496 140730905936600 139904752673404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14102528 140730905941093 140730905941303 140730905941303 140730905944043 0 /proc/19302/statm: 2378 346 289 221 0 87 0 [pid=19304] ppid=19302 vsize=26538700 memory=4345128 CPUtime=54.71 cores=0-7 /proc/19304/stat : 19304 (java) S 19302 19302 18764 0 -1 1077944320 58657 0 0 0 5110 361 0 0 20 0 28 0 109949243 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140733815101600 140350536990455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 /proc/19304/statm: 6634675 1086282 3275 1 0 6621909 0 [pid=19304/tid=19305] ppid=19302 vsize=26538700 memory=644 CPUtime=40.08 cores=0-7 /proc/19304/task/19305/stat : 19305 (java) S 19302 19302 18764 0 -1 1077944384 15473 0 0 0 3960 48 0 0 20 0 28 0 109949243 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140350541231232 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19306] ppid=19302 vsize=26538700 memory=960 CPUtime=1.13 cores=0-7 /proc/19304/task/19306/stat : 19306 (java) S 19302 19302 18764 0 -1 1077944384 3407 0 0 0 76 37 0 0 20 0 28 0 109949244 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140350489611408 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19307] ppid=19302 vsize=26538700 memory=4388 CPUtime=1.16 cores=0-7 /proc/19304/task/19307/stat : 19307 (java) S 19302 19302 18764 0 -1 1077944384 2023 0 0 0 76 40 0 0 20 0 28 0 109949244 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140350488558608 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19308] ppid=19302 vsize=26538700 memory=1236 CPUtime=1.15 cores=0-7 /proc/19304/task/19308/stat : 19308 (java) S 19302 19302 18764 0 -1 1077944384 2358 0 0 0 79 36 0 0 20 0 28 0 109949244 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140350487505808 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19309] ppid=19302 vsize=26538700 memory=1404238533807934838 CPUtime=1.16 cores=0-7 /proc/19304/task/19309/stat : 19309 (java) S 19302 19302 18764 0 -1 1077944384 3128 0 0 0 77 39 0 0 20 0 28 0 109949244 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140350486453008 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19310] ppid=19302 vsize=26538700 memory=-8033973737701895300 CPUtime=1.15 cores=0-7 /proc/19304/task/19310/stat : 19310 (java) S 19302 19302 18764 0 -1 1077944384 2631 0 0 0 75 40 0 0 20 0 28 0 109949244 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140350485400208 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19311] ppid=19302 vsize=26538700 memory=-7533522213388100735 CPUtime=1.14 cores=0-7 /proc/19304/task/19311/stat : 19311 (java) S 19302 19302 18764 0 -1 1077944384 2130 0 0 0 80 34 0 0 20 0 28 0 109949244 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140350484347408 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19312] ppid=19302 vsize=26538700 memory=1404238533740961398 CPUtime=1.15 cores=0-7 /proc/19304/task/19312/stat : 19312 (java) S 19302 19302 18764 0 -1 1077944384 2155 0 0 0 76 39 0 0 20 0 28 0 109949244 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140350483294608 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19313] ppid=19302 vsize=26538700 memory=8247907794334132811 CPUtime=1.14 cores=0-7 /proc/19304/task/19313/stat : 19313 (java) S 19302 19302 18764 0 -1 1077944384 2083 0 0 0 77 37 0 0 20 0 28 0 109949244 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140350482241808 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19314] ppid=19302 vsize=26538700 memory=-8253362664378450574 CPUtime=0.5 cores=0-7 /proc/19304/task/19314/stat : 19314 (java) S 19302 19302 18764 0 -1 1077944384 3123 0 0 0 49 1 0 0 20 0 28 0 109949246 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349279083376 140350537001602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19315] ppid=19302 vsize=26538700 memory=-8535035794383224771 CPUtime=0 cores=0-7 /proc/19304/task/19315/stat : 19315 (java) S 19302 19302 18764 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 109949246 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349278029408 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19316] ppid=19302 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19316/stat : 19316 (java) S 19302 19302 18764 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 109949246 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349276976512 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19317] ppid=19302 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/19304/task/19317/stat : 19317 (java) S 19302 19302 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109949249 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349275924816 140350537009051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19318] ppid=19302 vsize=26538700 memory=0 CPUtime=0.92 cores=0-7 /proc/19304/task/19318/stat : 19318 (java) R 19302 19302 18764 0 -1 4202560 7201 0 0 0 91 1 0 0 20 0 28 0 109949249 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349274857136 140350516247148 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19319] ppid=19302 vsize=26538700 memory=0 CPUtime=0.52 cores=0-7 /proc/19304/task/19319/stat : 19319 (java) R 19302 19302 18764 0 -1 4202560 2444 0 0 0 51 1 0 0 20 0 28 0 109949249 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349273805920 140350521746039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19320] ppid=19302 vsize=26538700 memory=0 CPUtime=0.69 cores=0-7 /proc/19304/task/19320/stat : 19320 (java) R 19302 19302 18764 0 -1 4202560 3342 0 0 0 69 0 0 0 20 0 28 0 109949249 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349272753144 140350514737900 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19321] ppid=19302 vsize=26538700 memory=0 CPUtime=0.54 cores=0-7 /proc/19304/task/19321/stat : 19321 (java) R 19302 19302 18764 0 -1 1077944384 4971 0 0 0 53 1 0 0 20 0 28 0 109949249 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349271713776 140350537001602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19322] ppid=19302 vsize=26538700 memory=3763238065867240247 CPUtime=0 cores=0-7 /proc/19304/task/19322/stat : 19322 (java) S 19302 19302 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109949249 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349270662240 140350537000661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19323] ppid=19302 vsize=26538700 memory=3473595848049406293 CPUtime=0 cores=0-7 /proc/19304/task/19323/stat : 19323 (java) S 19302 19302 18764 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 28 0 109949249 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349269609520 140350537001602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19324] ppid=19302 vsize=26538700 memory=3545935020059375472 CPUtime=0.3 cores=0-7 /proc/19304/task/19324/stat : 19324 (java) R 19302 19302 18764 0 -1 4202560 108 0 0 0 30 0 0 0 20 0 28 0 109953425 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349194361200 140350152890056 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19325] ppid=19302 vsize=26538700 memory=4049777423049470336 CPUtime=0.35 cores=0-7 /proc/19304/task/19325/stat : 19325 (java) R 19302 19302 18764 0 -1 4202560 94 0 0 0 35 0 0 0 20 0 28 0 109953425 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349193309520 140350152894181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19326] ppid=19302 vsize=26538700 memory=4049777423049470368 CPUtime=0.23 cores=0-7 /proc/19304/task/19326/stat : 19326 (java) R 19302 19302 18764 0 -1 4202560 115 0 0 0 23 0 0 0 20 0 28 0 109953425 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349192256856 140350152905396 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19327] ppid=19302 vsize=26538700 memory=4049777423049470400 CPUtime=0.19 cores=0-7 /proc/19304/task/19327/stat : 19327 (java) R 19302 19302 18764 0 -1 4202560 57 0 0 0 19 0 0 0 20 0 28 0 109953425 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349191202728 140350158699627 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19328] ppid=19302 vsize=26538700 memory=4049777423049470432 CPUtime=0.29 cores=0-7 /proc/19304/task/19328/stat : 19328 (java) R 19302 19302 18764 0 -1 4202560 75 0 0 0 29 0 0 0 20 0 28 0 109953425 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349190151120 140350152880260 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19329] ppid=19302 vsize=26538700 memory=7882537863498524241 CPUtime=0.21 cores=0-7 /proc/19304/task/19329/stat : 19329 (java) R 19302 19302 18764 0 -1 4202560 62 0 0 0 21 0 0 0 20 0 28 0 109953425 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349189098456 140350152911920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19330] ppid=19302 vsize=26538700 memory=7882537863498524241 CPUtime=0.35 cores=0-7 /proc/19304/task/19330/stat : 19330 (java) R 19302 19302 18764 0 -1 4202560 67 0 0 0 35 0 0 0 20 0 28 0 109953425 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349188045560 140350152880260 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 [pid=19304/tid=19331] ppid=19302 vsize=26538700 memory=7882537863498524241 CPUtime=0.19 cores=0-7 /proc/19304/task/19331/stat : 19331 (java) R 19302 19302 18764 0 -1 4202560 64 0 0 0 19 0 0 0 20 0 28 0 109953425 27175628800 1086282 33554432000 4194304 4196468 140733815119056 140349186990616 140350158403510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7012352 140733815125138 140733815125315 140733815125315 140733815128015 0 Current children cumulated CPU time: 54.71 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 4346512 KiB [startup+42.3012 s] /proc/loadavg: 2.28 6.20 7.81 11/207 19331 /proc/meminfo: memFree=27133400/32770624 swapFree=67108860/67108860 [pid=19302] ppid=19299 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19302/stat : 19302 (xcsp3-exec) S 19299 19302 18764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109949243 9740288 346 33554432000 4194304 5098028 140730905938496 140730905936600 139904752673404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14102528 140730905941093 140730905941303 140730905941303 140730905944043 0 /proc/19302/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1384 KiB Child status: 0 Real time (s): 42.322 CPU time (s): 55.3861 CPU user time (s): 51.7412 CPU system time (s): 3.64488 CPU usage (%): 130.868 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 4346512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 51.7412 system time used= 3.64488 maximum resident set size= 4346560 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59596 page faults= 0 swaps= 0 block input operations= 0 block output operations= 176 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5954 involuntary context switches= 258 # summary of solver processes directly reported to runsolver: # pid: 19302 # total CPU time (s): 55.3861 # total CPU user time (s): 51.7412 # total CPU system time (s): 3.64488 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.326584 second user time and 0.489877 second system time The end
Begin job on node113 at 2017-08-15 05:29:18 IDJOB=4271178 IDBENCH=134397 IDSOLVER=2662 FILE ID=node113/4271178-1502768616 RUNJOBID= node113-1502762644-18791 PBS_JOBID= 20629091 Free space on /tmp= 61788 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/RadarSurveillance/RadarSurveillance-m1-s8-30/RadarSurveillance-8-30-3-0-28.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-4271178-1502768616/watcher-4271178-1502768616 -o /tmp/evaluation-result-4271178-1502768616/solver-4271178-1502768616 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502762644-18791 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 788770197 HOME/instance-4271178-1502768616.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fca7dc5663c287dc06adb4769da1d320 RANDOM SEED=788770197 node113.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.89 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.89 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.89 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.89 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: 31470000 kB MemAvailable: 31974348 kB Buffers: 189192 kB Cached: 590308 kB SwapCached: 0 kB Active: 594880 kB Inactive: 239756 kB Active(anon): 5284 kB Inactive(anon): 77668 kB Active(file): 589596 kB Inactive(file): 162088 kB Unevictable: 6588 kB Mlocked: 6588 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7512 kB Writeback: 0 kB AnonPages: 160108 kB Mapped: 45832 kB Shmem: 25224 kB Slab: 163480 kB SReclaimable: 137000 kB SUnreclaim: 26480 kB KernelStack: 3568 kB PageTables: 4516 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324020 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 104448 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61780 MiB End job on node113 at 2017-08-15 05:30:00