Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT | 16.3538 | 2.61501 |
Name | Eternity/ Eternity-10-04_c18.xml |
MD5SUM | f6e7bfb75851ce9d6d95540719dd30c6 |
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 | 11.9033 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 134 |
Number of constraints | 69 |
Number of domains | 2 |
Minimum domain size | 9 |
Maximum domain size | 40 |
Distribution of domain sizes | [{"size":9,"count":94},{"size":40,"count":40}] |
Minimum variable degree | 1 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":1,"count":9},{"degree":2,"count":124},{"degree":11,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 40 |
Distribution of constraint arities | [{"arity":1,"count":28},{"arity":5,"count":40},{"arity":40,"count":1}] |
Number of extensional constraints | 40 |
Number of intensional constraints | 28 |
Distribution of constraint types | [{"type":"extension","count":40},{"type":"intension","count":28},{"type":"allDifferent","count":1}] |
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-4297699-1532735845.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297699-1532735845.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.48/0.84 c solve instance... 15.63/2.59 s SATISFIABLE 15.63/2.59 v <instantiation> 15.63/2.59 v <list>id[0][0] id[0][1] id[0][2] id[0][3] id[1][0] id[1][1] id[1][2] id[1][3] id[2][0] id[2][1] id[2][2] id[2][3] id[3][0] id[3][1] id[3][2] id[3][3] id[4][0] id[4][1] id[4][2] id[4][3] id[5][0] id[5][1] id[5][2] id[5][3] id[6][0] id[6][1] id[6][2] id[6][3] id[7][0] id[7][1] id[7][2] id[7][3] id[8][0] id[8][1] id[8][2] id[8][3] id[9][0] id[9][1] id[9][2] id[9][3] top[0][0] top[0][1] top[0][2] top[0][3] top[1][0] top[1][1] top[1][2] top[1][3] top[2][0] top[2][1] top[2][2] top[2][3] top[3][0] top[3][1] top[3][2] top[3][3] top[4][0] top[4][1] top[4][2] top[4][3] top[5][0] top[5][1] top[5][2] top[5][3] top[6][0] top[6][1] top[6][2] top[6][3] top[7][0] top[7][1] top[7][2] top[7][3] top[8][0] top[8][1] top[8][2] top[8][3] top[9][0] top[9][1] top[9][2] top[9][3] left[0][0] left[0][1] left[0][2] left[0][3] left[1][0] left[1][1] left[1][2] left[1][3] left[2][0] left[2][1] left[2][2] left[2][3] left[3][0] left[3][1] left[3][2] left[3][3] left[4][0] left[4][1] left[4][2] left[4][3] left[5][0] left[5][1] left[5][2] left[5][3] left[6][0] left[6][1] left[6][2] left[6][3] left[7][0] left[7][1] left[7][2] left[7][3] left[8][0] left[8][1] left[8][2] left[8][3] left[9][0] left[9][1] left[9][2] left[9][3] bot[0] bot[1] bot[2] bot[3] right[0] right[1] right[2] right[3] right[4] right[5] right[6] right[7] right[8] right[9] </list> 15.63/2.59 v <values>0 20 19 3 11 33 27 16 5 25 24 12 23 32 35 14 8 36 34 6 7 29 26 13 18 30 31 22 15 38 39 9 10 37 28 21 2 17 4 1 0 0 0 0 1 5 4 3 1 6 4 2 3 4 5 2 1 8 5 2 1 5 8 1 3 7 4 2 2 6 8 3 1 5 8 1 3 8 4 3 0 2 3 3 0 8 5 7 0 4 7 4 0 8 8 6 0 6 6 5 0 5 4 5 0 4 6 7 0 7 7 6 0 7 6 7 0 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 15.63/2.59 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 (14374 MiB free) memory of node 1: 16384 MiB (13289 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297699-1532735845/watcher-4297699-1532735845 -o /tmp/evaluation-result-4297699-1532735845/solver-4297699-1532735845 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532728282-3715 --watchdog 2580 HOME/xcsp3-exec -seed 928911119 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297699-1532735845.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 solver pid=4365, runsolver pid=4362 Current StackSize limit: 8192 KiB [startup+0.101767 s]* /proc/loadavg: 8.01 8.13 8.22 2/199 4386 /proc/meminfo: memFree=28310660/32770624 swapFree=67108860/67108860 [pid=4365] ppid=4362 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4365/stat : 4365 (xcsp3-exec) S 4362 4365 3687 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91147710 115843072 364 33554432000 4194304 5098028 140730792561712 140730792559816 139951937421948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12627968 140730792567862 140730792568064 140730792568064 140730792570826 0 /proc/4365/statm: 28282 364 306 221 0 87 0 [pid=4367] ppid=4365 vsize=26104152 memory=28656 CPUtime=0.11 cores=0-7 /proc/4367/stat : 4367 (java) S 4365 4365 3687 0 -1 1077944320 5591 0 0 0 11 0 0 0 20 0 20 0 91147711 26730651648 7164 33554432000 4194304 4196468 140729932580672 140729932563216 140164174499575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 /proc/4367/statm: 6526038 7164 2994 1 0 6488315 0 [pid=4367/tid=4368] ppid=4365 vsize=26104152 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/4367/task/4368/stat : 4368 (java) R 4365 4365 3687 0 -1 4202560 3600 0 0 0 8 0 0 0 20 0 20 0 91147711 26730651648 7164 33554432000 4194304 4196468 140729932580672 140164178732848 140164174521501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4369] ppid=4365 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/4367/task/4369/stat : 4369 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 7164 33554432000 4194304 4196468 140729932580672 140164127119632 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4370] ppid=4365 vsize=26104152 memory=140354038781568 CPUtime=0 cores=0-7 /proc/4367/task/4370/stat : 4370 (java) S 4365 4365 3687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 7164 33554432000 4194304 4196468 140729932580672 140164126067088 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4371] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4371/stat : 4371 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 7164 33554432000 4194304 4196468 140729932580672 140164125014544 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4372] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4372/stat : 4372 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 7164 33554432000 4194304 4196468 140729932580672 140164123962000 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4373] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4373/stat : 4373 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 7164 33554432000 4194304 4196468 140729932580672 140164122909456 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4374] ppid=4365 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/4367/task/4374/stat : 4374 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 7164 33554432000 4194304 4196468 140729932580672 140164121856912 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4375] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4375/stat : 4375 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 7164 33554432000 4194304 4196468 140729932580672 140164120804368 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4376] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4376/stat : 4376 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 7164 33554432000 4194304 4196468 140729932580672 140164119751824 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4377] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4377/stat : 4377 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147713 26730651648 7164 33554432000 4194304 4196468 140729932580672 140162625398768 140164174510722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4378] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4378/stat : 4378 (java) S 4365 4365 3687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91147714 26730651648 7164 33554432000 4194304 4196468 140729932580672 140162624344992 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4379] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4379/stat : 4379 (java) S 4365 4365 3687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91147714 26730651648 7164 33554432000 4194304 4196468 140729932580672 140162623292400 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4380] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4380/stat : 4380 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91147716 26730651648 7164 33554432000 4194304 4196468 140729932580672 140162622240976 140164174518171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4381] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4381/stat : 4381 (java) S 4365 4365 3687 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 91147716 26730651648 7164 33554432000 4194304 4196468 140729932580672 140162621188592 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4382] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4382/stat : 4382 (java) S 4365 4365 3687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91147716 26730651648 7164 33554432000 4194304 4196468 140729932580672 140162620136048 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4383] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4383/stat : 4383 (java) S 4365 4365 3687 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 91147716 26730651648 7164 33554432000 4194304 4196468 140729932580672 140162619083504 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4384] ppid=4365 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/4367/task/4384/stat : 4384 (java) S 4365 4365 3687 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 20 0 91147716 26730651648 7164 33554432000 4194304 4196468 140729932580672 140162618030960 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4385] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4385/stat : 4385 (java) S 4365 4365 3687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91147717 26730651648 7164 33554432000 4194304 4196468 140729932580672 140162616977632 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4386] ppid=4365 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/4367/task/4386/stat : 4386 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91147717 26730651648 7164 33554432000 4194304 4196468 140729932580672 140162615925168 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 30112 KiB [startup+0.210365 s]* /proc/loadavg: 7.61 8.05 8.19 3/199 4386 /proc/meminfo: memFree=28299108/32770624 swapFree=67108860/67108860 [pid=4365] ppid=4362 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4365/stat : 4365 (xcsp3-exec) S 4362 4365 3687 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91147710 115843072 364 33554432000 4194304 5098028 140730792561712 140730792559816 139951937421948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12627968 140730792567862 140730792568064 140730792568064 140730792570826 0 /proc/4365/statm: 28282 364 306 221 0 87 0 [pid=4367] ppid=4365 vsize=26104152 memory=41672 CPUtime=0.33 cores=0-7 /proc/4367/stat : 4367 (java) S 4365 4365 3687 0 -1 1077944320 8397 0 0 0 31 2 0 0 20 0 20 0 91147711 26730651648 10418 33554432000 4194304 4196468 140729932580672 140729932563216 140164174499575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 /proc/4367/statm: 6526038 10418 3218 1 0 6488315 0 [pid=4367/tid=4368] ppid=4365 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/4367/task/4368/stat : 4368 (java) R 4365 4365 3687 0 -1 4202560 5463 0 0 0 18 1 0 0 20 0 20 0 91147711 26730651648 10418 33554432000 4194304 4196468 140729932580672 140164178737392 140164174511510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4369] ppid=4365 vsize=26104152 memory=339 CPUtime=0 cores=0-7 /proc/4367/task/4369/stat : 4369 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 10418 33554432000 4194304 4196468 140729932580672 140164127119632 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4370] ppid=4365 vsize=26104152 memory=140354038786192 CPUtime=0 cores=0-7 /proc/4367/task/4370/stat : 4370 (java) S 4365 4365 3687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 10418 33554432000 4194304 4196468 140729932580672 140164126067088 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4371] ppid=4365 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/4367/task/4371/stat : 4371 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 10418 33554432000 4194304 4196468 140729932580672 140164125014544 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4372] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4372/stat : 4372 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 10418 33554432000 4194304 4196468 140729932580672 140164123962000 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4373] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4373/stat : 4373 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 10418 33554432000 4194304 4196468 140729932580672 140164122909456 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4374] ppid=4365 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/4367/task/4374/stat : 4374 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 10418 33554432000 4194304 4196468 140729932580672 140164121856912 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4375] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4375/stat : 4375 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 10418 33554432000 4194304 4196468 140729932580672 140164120804368 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4376] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4376/stat : 4376 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26730651648 10418 33554432000 4194304 4196468 140729932580672 140164119751824 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4377] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4377/stat : 4377 (java) S 4365 4365 3687 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 91147713 26730651648 10418 33554432000 4194304 4196468 140729932580672 140162625398768 140164174510722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4378] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4378/stat : 4378 (java) S 4365 4365 3687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91147714 26730651648 10418 33554432000 4194304 4196468 140729932580672 140162624344992 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4379] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4379/stat : 4379 (java) S 4365 4365 3687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91147714 26730651648 10418 33554432000 4194304 4196468 140729932580672 140162623292400 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4380] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4380/stat : 4380 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91147716 26730651648 10418 33554432000 4194304 4196468 140729932580672 140162622240976 140164174518171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4381] ppid=4365 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/4367/task/4381/stat : 4381 (java) R 4365 4365 3687 0 -1 4202560 548 0 0 0 1 0 0 0 20 0 20 0 91147716 26730651648 10418 33554432000 4194304 4196468 140729932580672 140162621188592 140164167484617 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4382] ppid=4365 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/4367/task/4382/stat : 4382 (java) R 4365 4365 3687 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 20 0 91147716 26730651648 10418 33554432000 4194304 4196468 140729932580672 140162620136048 140164174510722 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4383] ppid=4365 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/4367/task/4383/stat : 4383 (java) S 4365 4365 3687 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 20 0 91147716 26730651648 10418 33554432000 4194304 4196468 140729932580672 140162619083504 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4384] ppid=4365 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7 /proc/4367/task/4384/stat : 4384 (java) S 4365 4365 3687 0 -1 1077944384 726 0 0 0 8 0 0 0 20 0 20 0 91147716 26730651648 10418 33554432000 4194304 4196468 140729932580672 140162618030960 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4385] ppid=4365 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4385/stat : 4385 (java) S 4365 4365 3687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91147717 26730651648 10418 33554432000 4194304 4196468 140729932580672 140162616977632 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4386] ppid=4365 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/4367/task/4386/stat : 4386 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91147717 26730651648 10418 33554432000 4194304 4196468 140729932580672 140162615925168 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 43128 KiB [startup+0.31047 s]* /proc/loadavg: 7.61 8.05 8.19 3/199 4386 /proc/meminfo: memFree=28292920/32770624 swapFree=67108860/67108860 [pid=4365] ppid=4362 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4365/stat : 4365 (xcsp3-exec) S 4362 4365 3687 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91147710 115843072 364 33554432000 4194304 5098028 140730792561712 140730792559816 139951937421948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12627968 140730792567862 140730792568064 140730792568064 140730792570826 0 /proc/4365/statm: 28282 364 306 221 0 87 0 [pid=4367] ppid=4365 vsize=26108408 memory=48192 CPUtime=0.51 cores=0-7 /proc/4367/stat : 4367 (java) S 4365 4365 3687 0 -1 1077944320 9265 0 0 0 49 2 0 0 20 0 20 0 91147711 26735009792 12048 33554432000 4194304 4196468 140729932580672 140729932563216 140164174499575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 /proc/4367/statm: 6527102 12048 3256 1 0 6488315 0 [pid=4367/tid=4368] ppid=4365 vsize=26108408 memory=8112282956445269571 CPUtime=0.28 cores=0-7 /proc/4367/task/4368/stat : 4368 (java) R 4365 4365 3687 0 -1 4202560 6141 0 0 0 27 1 0 0 20 0 20 0 91147711 26735009792 12103 33554432000 4194304 4196468 140729932580672 140164178736736 140164174521501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4369] ppid=4365 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4369/stat : 4369 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26735009792 12103 33554432000 4194304 4196468 140729932580672 140164127119632 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4370] ppid=4365 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4370/stat : 4370 (java) S 4365 4365 3687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91147712 26735009792 12103 33554432000 4194304 4196468 140729932580672 140164126067088 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4371] ppid=4365 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4371/stat : 4371 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91147712 26735009792 12103 33554432000 4194304 4196468 140729932580672 140164125014544 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4372] ppid=4365 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4372/stat : 4372 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26735009792 12103 33554432000 4194304 4196468 140729932580672 140164123962000 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4373] ppid=4365 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/4367/task/4373/stat : 4373 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26735009792 12103 33554432000 4194304 4196468 140729932580672 140164122909456 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4374] ppid=4365 vsize=26108408 memory=140353894183855 CPUtime=0 cores=0-7 /proc/4367/task/4374/stat : 4374 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26735009792 12103 33554432000 4194304 4196468 140729932580672 140164121856912 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4375] ppid=4365 vsize=26108408 memory=140353894186160 CPUtime=0 cores=0-7 /proc/4367/task/4375/stat : 4375 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91147712 26735009792 12103 33554432000 4194304 4196468 140729932580672 140164120804368 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4376] ppid=4365 vsize=26108408 memory=140353894188464 CPUtime=0 cores=0-7 /proc/4367/task/4376/stat : 4376 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26735009792 12103 33554432000 4194304 4196468 140729932580672 140164119751824 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4377] ppid=4365 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4377/stat : 4377 (java) S 4365 4365 3687 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 91147713 26735009792 12103 33554432000 4194304 4196468 140729932580672 140162625398768 140164174510722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4378] ppid=4365 vsize=26108408 memory=280707788383888 CPUtime=0 cores=0-7 /proc/4367/task/4378/stat : 4378 (java) S 4365 4365 3687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91147714 26735009792 12103 33554432000 4194304 4196468 140729932580672 140162624344992 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4379] ppid=4365 vsize=26108408 memory=280707788390800 CPUtime=0 cores=0-7 /proc/4367/task/4379/stat : 4379 (java) S 4365 4365 3687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91147714 26735009792 12103 33554432000 4194304 4196468 140729932580672 140162623292400 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4380] ppid=4365 vsize=26108408 memory=280707788332080 CPUtime=0 cores=0-7 /proc/4367/task/4380/stat : 4380 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91147716 26735009792 12103 33554432000 4194304 4196468 140729932580672 140162622240976 140164174518171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4381] ppid=4365 vsize=26108408 memory=280707788404624 CPUtime=0.02 cores=0-7 /proc/4367/task/4381/stat : 4381 (java) R 4365 4365 3687 0 -1 4202560 650 0 0 0 2 0 0 0 20 0 20 0 91147716 26735009792 12103 33554432000 4194304 4196468 140729932580672 140162621178976 140164159625756 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4382] ppid=4365 vsize=26108408 memory=280707788411536 CPUtime=0.03 cores=0-7 /proc/4367/task/4382/stat : 4382 (java) S 4365 4365 3687 0 -1 1077944384 140 0 0 0 3 0 0 0 20 0 20 0 91147716 26735009792 12103 33554432000 4194304 4196468 140729932580672 140162620136048 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4383] ppid=4365 vsize=26108408 memory=280707788409232 CPUtime=0.02 cores=0-7 /proc/4367/task/4383/stat : 4383 (java) S 4365 4365 3687 0 -1 1077944384 224 0 0 0 2 0 0 0 20 0 20 0 91147716 26735009792 12103 33554432000 4194304 4196468 140729932580672 140162619083504 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4384] ppid=4365 vsize=26108408 memory=280707788425392 CPUtime=0.12 cores=0-7 /proc/4367/task/4384/stat : 4384 (java) S 4365 4365 3687 0 -1 1077944384 806 0 0 0 12 0 0 0 20 0 20 0 91147716 26735009792 12103 33554432000 4194304 4196468 140729932580672 140162618030960 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4385] ppid=4365 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4385/stat : 4385 (java) S 4365 4365 3687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91147717 26735009792 12103 33554432000 4194304 4196468 140729932580672 140162616977632 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4386] ppid=4365 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/4367/task/4386/stat : 4386 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91147717 26735009792 12103 33554432000 4194304 4196468 140729932580672 140162615925168 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 49648 KiB [startup+0.701017 s] /proc/loadavg: 7.61 8.05 8.19 5/199 4386 /proc/meminfo: memFree=28267444/32770624 swapFree=67108860/67108860 [pid=4365] ppid=4362 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4365/stat : 4365 (xcsp3-exec) S 4362 4365 3687 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91147710 115843072 364 33554432000 4194304 5098028 140730792561712 140730792559816 139951937421948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12627968 140730792567862 140730792568064 140730792568064 140730792570826 0 /proc/4365/statm: 28282 364 306 221 0 87 0 [pid=4367] ppid=4365 vsize=26110532 memory=111448 CPUtime=2.03 cores=0-7 /proc/4367/stat : 4367 (java) S 4365 4365 3687 0 -1 1077944320 14397 0 0 0 198 5 0 0 20 0 20 0 91147711 26737184768 27862 33554432000 4194304 4196468 140729932580672 140729932563216 140164174499575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 /proc/4367/statm: 6527633 27862 3363 1 0 6488827 0 [pid=4367/tid=4368] ppid=4365 vsize=26110532 memory=280707788783280 CPUtime=0.67 cores=0-7 /proc/4367/task/4368/stat : 4368 (java) R 4365 4365 3687 0 -1 4202560 7058 0 0 0 64 3 0 0 20 0 20 0 91147711 26737184768 27862 33554432000 4194304 4196468 140729932580672 140164178735936 140164167177589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4369] ppid=4365 vsize=26110532 memory=140353894392688 CPUtime=0 cores=0-7 /proc/4367/task/4369/stat : 4369 (java) S 4365 4365 3687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91147712 26737184768 27862 33554432000 4194304 4196468 140729932580672 140164127119632 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4370] ppid=4365 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4370/stat : 4370 (java) S 4365 4365 3687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91147712 26737184768 27862 33554432000 4194304 4196468 140729932580672 140164126067088 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4371] ppid=4365 vsize=26110532 memory=8496 CPUtime=0 cores=0-7 /proc/4367/task/4371/stat : 4371 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91147712 26737184768 27862 33554432000 4194304 4196468 140729932580672 140164125014544 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 ################ # More data... # ################ [pid=4367/tid=4375] ppid=4365 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4375/stat : 4375 (java) S 4365 4365 3687 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 91147712 27282477056 53550 33554432000 4194304 4196468 140729932580672 140164120804368 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4376] ppid=4365 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4376/stat : 4376 (java) S 4365 4365 3687 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 91147712 27282477056 53550 33554432000 4194304 4196468 140729932580672 140164119751824 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4377] ppid=4365 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4377/stat : 4377 (java) S 4365 4365 3687 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 91147713 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162625398768 140164174510722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4378] ppid=4365 vsize=26643044 memory=1944 CPUtime=0 cores=0-7 /proc/4367/task/4378/stat : 4378 (java) S 4365 4365 3687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 91147714 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162624344992 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4379] ppid=4365 vsize=26643044 memory=1416 CPUtime=0 cores=0-7 /proc/4367/task/4379/stat : 4379 (java) S 4365 4365 3687 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 91147714 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162623292400 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4380] ppid=4365 vsize=26643044 memory=4612 CPUtime=0 cores=0-7 /proc/4367/task/4380/stat : 4380 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91147716 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162622240976 140164174518171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4381] ppid=4365 vsize=26643044 memory=8496 CPUtime=0.89 cores=0-7 /proc/4367/task/4381/stat : 4381 (java) R 4365 4365 3687 0 -1 4202560 2130 0 0 0 89 0 0 0 20 0 28 0 91147716 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162621174816 140164156043298 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4382] ppid=4365 vsize=26643044 memory=1624 CPUtime=0.88 cores=0-7 /proc/4367/task/4382/stat : 4382 (java) R 4365 4365 3687 0 -1 4202560 1902 0 0 0 88 0 0 0 20 0 28 0 91147716 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162620117064 140164155199872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4383] ppid=4365 vsize=26643044 memory=1200 CPUtime=0.93 cores=0-7 /proc/4367/task/4383/stat : 4383 (java) R 4365 4365 3687 0 -1 4202560 3103 0 0 0 93 0 0 0 20 0 28 0 91147716 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162619070288 140164152633137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4384] ppid=4365 vsize=26643044 memory=15872 CPUtime=0.64 cores=0-7 /proc/4367/task/4384/stat : 4384 (java) R 4365 4365 3687 0 -1 1077944384 2908 0 0 0 63 1 0 0 20 0 28 0 91147716 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162618030960 140164174510722 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4385] ppid=4365 vsize=26643044 memory=15948 CPUtime=0 cores=0-7 /proc/4367/task/4385/stat : 4385 (java) S 4365 4365 3687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91147717 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162616977632 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4386] ppid=4365 vsize=26643044 memory=4052 CPUtime=0 cores=0-7 /proc/4367/task/4386/stat : 4386 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91147717 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162615925168 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4387] ppid=4365 vsize=26643044 memory=18248 CPUtime=0.53 cores=0-7 /proc/4367/task/4387/stat : 4387 (java) R 4365 4365 3687 0 -1 4202560 59 0 0 0 53 0 0 0 20 0 28 0 91147795 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162607326320 140163798492226 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4388] ppid=4365 vsize=26643044 memory=640 CPUtime=0.56 cores=0-7 /proc/4367/task/4388/stat : 4388 (java) R 4365 4365 3687 0 -1 4202560 54 0 0 0 56 0 0 0 20 0 28 0 91147795 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162606279200 140163798090792 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4389] ppid=4365 vsize=26643044 memory=6425271076031 CPUtime=0.46 cores=0-7 /proc/4367/task/4389/stat : 4389 (java) R 4365 4365 3687 0 -1 4202560 57 0 0 0 46 0 0 0 20 0 28 0 91147795 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162605225472 140163797340429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4390] ppid=4365 vsize=26643044 memory=288230583166042426 CPUtime=0.65 cores=0-7 /proc/4367/task/4390/stat : 4390 (java) S 4365 4365 3687 0 -1 1077944384 80 0 0 0 65 0 0 0 20 0 28 0 91147795 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162604172928 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4391] ppid=4365 vsize=26643044 memory=15252670952770799 CPUtime=0.61 cores=0-7 /proc/4367/task/4391/stat : 4391 (java) R 4365 4365 3687 0 -1 4202560 50 0 0 0 61 0 0 0 20 0 28 0 91147796 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162603117368 140163797301659 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4392] ppid=4365 vsize=26643044 memory=0 CPUtime=0.43 cores=0-7 /proc/4367/task/4392/stat : 4392 (java) R 4365 4365 3687 0 -1 1077944384 39 0 0 0 43 0 0 0 20 0 28 0 91147796 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162602069024 140164174509781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4393] ppid=4365 vsize=26643044 memory=0 CPUtime=0.48 cores=0-7 /proc/4367/task/4393/stat : 4393 (java) R 4365 4365 3687 0 -1 4202560 41 0 0 0 48 0 0 0 20 0 28 0 91147796 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162601013856 140163797296422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4394] ppid=4365 vsize=26643044 memory=6944656575208382560 CPUtime=0.52 cores=0-7 /proc/4367/task/4394/stat : 4394 (java) S 4365 4365 3687 0 -1 1077944384 59 0 0 0 52 0 0 0 20 0 28 0 91147797 27282477056 53550 33554432000 4194304 4196468 140729932580672 140162599961680 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 Current children cumulated CPU time: 8.54 s Current children cumulated vsize: 26756172 KiB Current children cumulated memory: 215392 KiB [startup+2.40108 s] /proc/loadavg: 7.61 8.05 8.19 11/207 4394 /proc/meminfo: memFree=28122928/32770624 swapFree=67108860/67108860 [pid=4365] ppid=4362 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4365/stat : 4365 (xcsp3-exec) S 4362 4365 3687 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91147710 115843072 364 33554432000 4194304 5098028 140730792561712 140730792559816 139951937421948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12627968 140730792567862 140730792568064 140730792568064 140730792570826 0 /proc/4365/statm: 28282 364 306 221 0 87 0 [pid=4367] ppid=4365 vsize=26645092 memory=215444 CPUtime=14.81 cores=0-7 /proc/4367/stat : 4367 (java) S 4365 4365 3687 0 -1 1077944320 21159 0 0 0 1471 10 0 0 20 0 28 0 91147711 27284574208 53861 33554432000 4194304 4196468 140729932580672 140729932563216 140164174499575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 /proc/4367/statm: 6661273 53861 3399 1 0 6622467 0 [pid=4367/tid=4368] ppid=4365 vsize=26645092 memory=6370158485403096930 CPUtime=0.82 cores=0-7 /proc/4367/task/4368/stat : 4368 (java) S 4365 4365 3687 0 -1 1077944384 7150 0 0 0 78 4 0 0 20 0 28 0 91147711 27284574208 53861 33554432000 4194304 4196468 140729932580672 140164178740352 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4369] ppid=4365 vsize=26645092 memory=7518304759772177493 CPUtime=0 cores=0-7 /proc/4367/task/4369/stat : 4369 (java) S 4365 4365 3687 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 91147712 27284574208 53861 33554432000 4194304 4196468 140729932580672 140164127119632 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4370] ppid=4365 vsize=26645092 memory=7518304759772177493 CPUtime=0 cores=0-7 /proc/4367/task/4370/stat : 4370 (java) S 4365 4365 3687 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 91147712 27284574208 53861 33554432000 4194304 4196468 140729932580672 140164126067088 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4371] ppid=4365 vsize=26645092 memory=5793975901002094948 CPUtime=0 cores=0-7 /proc/4367/task/4371/stat : 4371 (java) S 4365 4365 3687 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 91147712 27284574208 53861 33554432000 4194304 4196468 140729932580672 140164125014544 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4372] ppid=4365 vsize=26645092 memory=7307442670377920370 CPUtime=0 cores=0-7 /proc/4367/task/4372/stat : 4372 (java) S 4365 4365 3687 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 91147712 27284574208 53861 33554432000 4194304 4196468 140729932580672 140164123962000 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4373] ppid=4365 vsize=26645092 memory=7157183445635917929 CPUtime=0 cores=0-7 /proc/4367/task/4373/stat : 4373 (java) S 4365 4365 3687 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 91147712 27284574208 53861 33554432000 4194304 4196468 140729932580672 140164122909456 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4374] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4374/stat : 4374 (java) S 4365 4365 3687 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 91147712 27284574208 53861 33554432000 4194304 4196468 140729932580672 140164121856912 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4375] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4375/stat : 4375 (java) S 4365 4365 3687 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 91147712 27284574208 53861 33554432000 4194304 4196468 140729932580672 140164120804368 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4376] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4376/stat : 4376 (java) S 4365 4365 3687 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 91147712 27284574208 53861 33554432000 4194304 4196468 140729932580672 140164119751824 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4377] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4377/stat : 4377 (java) S 4365 4365 3687 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 91147713 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162625398768 140164174510722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4378] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4378/stat : 4378 (java) S 4365 4365 3687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 91147714 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162624344992 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4379] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4379/stat : 4379 (java) S 4365 4365 3687 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 91147714 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162623292400 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4380] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4380/stat : 4380 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91147716 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162622240976 140164174518171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4381] ppid=4365 vsize=26645092 memory=0 CPUtime=1.49 cores=0-7 /proc/4367/task/4381/stat : 4381 (java) S 4365 4365 3687 0 -1 1077944384 2928 0 0 0 148 1 0 0 20 0 28 0 91147716 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162621188592 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4382] ppid=4365 vsize=26645092 memory=0 CPUtime=1.47 cores=0-7 /proc/4367/task/4382/stat : 4382 (java) R 4365 4365 3687 0 -1 4202560 3007 0 0 0 147 0 0 0 20 0 28 0 91147716 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162620136048 140164153927068 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4383] ppid=4365 vsize=26645092 memory=0 CPUtime=1.64 cores=0-7 /proc/4367/task/4383/stat : 4383 (java) R 4365 4365 3687 0 -1 4202560 3188 0 0 0 164 0 0 0 20 0 28 0 91147716 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162619070016 140164159624676 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4384] ppid=4365 vsize=26645092 memory=0 CPUtime=0.68 cores=0-7 /proc/4367/task/4384/stat : 4384 (java) R 4365 4365 3687 0 -1 1077944384 2961 0 0 0 67 1 0 0 20 0 28 0 91147716 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162618030960 140164174510722 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4385] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4385/stat : 4385 (java) S 4365 4365 3687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91147717 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162616977632 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4386] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4386/stat : 4386 (java) S 4365 4365 3687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91147717 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162615925168 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4387] ppid=4365 vsize=26645092 memory=0 CPUtime=1.09 cores=0-7 /proc/4367/task/4387/stat : 4387 (java) R 4365 4365 3687 0 -1 4202560 59 0 0 0 109 0 0 0 20 0 28 0 91147795 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162607328376 140163797724242 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4388] ppid=4365 vsize=26645092 memory=0 CPUtime=1.12 cores=0-7 /proc/4367/task/4388/stat : 4388 (java) R 4365 4365 3687 0 -1 1077944384 55 0 0 0 112 0 0 0 20 0 28 0 91147795 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162606275696 140164174509781 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4389] ppid=4365 vsize=26645092 memory=0 CPUtime=0.89 cores=0-7 /proc/4367/task/4389/stat : 4389 (java) R 4365 4365 3687 0 -1 4202560 58 0 0 0 89 0 0 0 20 0 28 0 91147795 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162605226976 140163797724495 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4390] ppid=4365 vsize=26645092 memory=0 CPUtime=1.13 cores=0-7 /proc/4367/task/4390/stat : 4390 (java) R 4365 4365 3687 0 -1 4202560 82 0 0 0 113 0 0 0 20 0 28 0 91147795 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162604170608 140163797724309 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4391] ppid=4365 vsize=26645092 memory=0 CPUtime=1.08 cores=0-7 /proc/4367/task/4391/stat : 4391 (java) R 4365 4365 3687 0 -1 4202560 52 0 0 0 108 0 0 0 20 0 28 0 91147796 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162603116480 140163798003936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4392] ppid=4365 vsize=26645092 memory=0 CPUtime=1.03 cores=0-7 /proc/4367/task/4392/stat : 4392 (java) R 4365 4365 3687 0 -1 4202560 40 0 0 0 103 0 0 0 20 0 28 0 91147796 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162602065520 140163797724317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4393] ppid=4365 vsize=26645092 memory=0 CPUtime=1.08 cores=0-7 /proc/4367/task/4393/stat : 4393 (java) R 4365 4365 3687 0 -1 4202560 43 0 0 0 108 0 0 0 20 0 28 0 91147796 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162601015912 140163798003943 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4394] ppid=4365 vsize=26645092 memory=5937503940876124257 CPUtime=1.15 cores=0-7 /proc/4367/task/4394/stat : 4394 (java) R 4365 4365 3687 0 -1 4202560 61 0 0 0 115 0 0 0 20 0 28 0 91147797 27284574208 53861 33554432000 4194304 4196468 140729932580672 140162599959544 140163797725484 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 Current children cumulated CPU time: 14.81 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 216900 KiB [startup+2.60111 s] /proc/loadavg: 7.61 8.05 8.19 11/207 4394 /proc/meminfo: memFree=28122928/32770624 swapFree=67108860/67108860 [pid=4365] ppid=4362 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4365/stat : 4365 (xcsp3-exec) S 4362 4365 3687 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91147710 115843072 364 33554432000 4194304 5098028 140730792561712 140730792559816 139951937421948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12627968 140730792567862 140730792568064 140730792568064 140730792570826 0 /proc/4365/statm: 28282 364 306 221 0 87 0 [pid=4367] ppid=4365 vsize=26645092 memory=217800 CPUtime=16.33 cores=0-7 /proc/4367/stat : 4367 (java) S 4365 4365 3687 0 -1 1077944320 21572 0 0 0 1623 10 0 0 20 0 19 0 91147711 27284574208 54450 33554432000 4194304 4196468 140729932580672 140729932563216 140164174499575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 /proc/4367/statm: 6661273 54450 3410 1 0 6622467 0 [pid=4367/tid=4368] ppid=4365 vsize=26645092 memory=792 CPUtime=0.82 cores=0-7 /proc/4367/task/4368/stat : 4368 (java) S 4365 4365 3687 0 -1 1077944384 7155 0 0 0 78 4 0 0 20 0 19 0 91147711 27284574208 54450 33554432000 4194304 4196468 140729932580672 140164178742416 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4369] ppid=4365 vsize=26645092 memory=1228 CPUtime=0 cores=0-7 /proc/4367/task/4369/stat : 4369 (java) S 4365 4365 3687 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 91147712 27284574208 54450 33554432000 4194304 4196468 140729932580672 140164127119632 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4370] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4370/stat : 4370 (java) S 4365 4365 3687 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 91147712 27284574208 54450 33554432000 4194304 4196468 140729932580672 140164126067088 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4371] ppid=4365 vsize=26645092 memory=2241 CPUtime=0 cores=0-7 /proc/4367/task/4371/stat : 4371 (java) S 4365 4365 3687 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 91147712 27284574208 54450 33554432000 4194304 4196468 140729932580672 140164125014544 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4372] ppid=4365 vsize=26645092 memory=2244 CPUtime=0 cores=0-7 /proc/4367/task/4372/stat : 4372 (java) S 4365 4365 3687 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 91147712 27284574208 54450 33554432000 4194304 4196468 140729932580672 140164123962000 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4373] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4373/stat : 4373 (java) S 4365 4365 3687 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 91147712 27284574208 54450 33554432000 4194304 4196468 140729932580672 140164122909456 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4374] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4374/stat : 4374 (java) S 4365 4365 3687 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 91147712 27284574208 54450 33554432000 4194304 4196468 140729932580672 140164121856912 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4375] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4375/stat : 4375 (java) S 4365 4365 3687 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 91147712 27284574208 54450 33554432000 4194304 4196468 140729932580672 140164120804368 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4376] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4376/stat : 4376 (java) S 4365 4365 3687 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 91147712 27284574208 54450 33554432000 4194304 4196468 140729932580672 140164119751824 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4377] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4377/stat : 4377 (java) S 4365 4365 3687 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 91147713 27284574208 54450 33554432000 4194304 4196468 140729932580672 140162625398976 140164174510722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4378] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4378/stat : 4378 (java) S 4365 4365 3687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 91147714 27284574208 54450 33554432000 4194304 4196468 140729932580672 140162624344992 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4379] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4379/stat : 4379 (java) S 4365 4365 3687 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 91147714 27284574208 54450 33554432000 4194304 4196468 140729932580672 140162623292400 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4380] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4380/stat : 4380 (java) S 4365 4365 3687 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 91147716 27284574208 54450 33554432000 4194304 4196468 140729932580672 140162622239744 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4381] ppid=4365 vsize=26645092 memory=0 CPUtime=1.62 cores=0-7 /proc/4367/task/4381/stat : 4381 (java) S 4365 4365 3687 0 -1 1077944384 3224 0 0 0 161 1 0 0 20 0 19 0 91147716 27284574208 54450 33554432000 4194304 4196468 140729932580672 140162621188592 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4382] ppid=4365 vsize=26645092 memory=0 CPUtime=1.56 cores=0-7 /proc/4367/task/4382/stat : 4382 (java) S 4365 4365 3687 0 -1 1077944384 3027 0 0 0 156 0 0 0 20 0 19 0 91147716 27284574208 54450 33554432000 4194304 4196468 140729932580672 140162620136048 140164174510722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4383] ppid=4365 vsize=26645092 memory=0 CPUtime=1.76 cores=0-7 /proc/4367/task/4383/stat : 4383 (java) S 4365 4365 3687 0 -1 1077944384 3215 0 0 0 176 0 0 0 20 0 19 0 91147716 27284574208 54450 33554432000 4194304 4196468 140729932580672 140162619068016 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4384] ppid=4365 vsize=26645092 memory=0 CPUtime=0.7 cores=0-7 /proc/4367/task/4384/stat : 4384 (java) S 4365 4365 3687 0 -1 1077944384 2991 0 0 0 69 1 0 0 20 0 19 0 91147716 27284574208 54450 33554432000 4194304 4196468 140729932580672 140162618025936 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 [pid=4367/tid=4385] ppid=4365 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/4367/task/4385/stat : 4385 (java) S 4365 4365 3687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 91147717 27284574208 54450 33554432000 4194304 4196468 140729932580672 140162616977632 140164174509781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140729932588161 140729932588333 140729932588333 140729932591055 0 Current children cumulated CPU time: 16.33 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 219256 KiB Child status: 0 Real time (s): 2.61501 CPU time (s): 16.3538 CPU user time (s): 16.2359 CPU system time (s): 0.117908 CPU usage (%): 625.383 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 220520 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.2359 system time used= 0.117908 maximum resident set size= 219996 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22126 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3210 involuntary context switches= 437 # summary of solver processes directly reported to runsolver: # pid: 4365 # total CPU time (s): 16.3538 # total CPU user time (s): 16.2359 # total CPU system time (s): 0.117908 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.042768 second user time and 0.070506 second system time The end
Begin job on node151 at 2018-07-28 01:57:25 IDJOB=4297699 IDBENCH=141655 IDSOLVER=2760 FILE ID=node151/4297699-1532735845 RUNJOBID= node151-1532728282-3715 PBS_JOBID= 21022344 Free space on /tmp= 54928 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Eternity/Eternity-10-04_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297699-1532735845/watcher-4297699-1532735845 -o /tmp/evaluation-result-4297699-1532735845/solver-4297699-1532735845 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532728282-3715 --watchdog 2580 HOME/xcsp3-exec -seed 928911119 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297699-1532735845.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f6e7bfb75851ce9d6d95540719dd30c6 RANDOM SEED=928911119 node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 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.87 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.87 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.87 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: 28328548 kB MemAvailable: 31967144 kB Buffers: 163272 kB Cached: 3745396 kB SwapCached: 0 kB Active: 1427260 kB Inactive: 2535824 kB Active(anon): 3840 kB Inactive(anon): 78200 kB Active(file): 1423420 kB Inactive(file): 2457624 kB Unevictable: 7796 kB Mlocked: 7796 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 21800 kB Writeback: 24 kB AnonPages: 62116 kB Mapped: 42200 kB Shmem: 25224 kB Slab: 174144 kB SReclaimable: 146776 kB SUnreclaim: 27368 kB KernelStack: 3184 kB PageTables: 5100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324648 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 54908 MiB End job on node151 at 2018-07-28 01:57:28