Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | OPT | 771 | 169.914 | 21.9508 |
Name | Mario/ Mario-n-medium-5_c18.xml |
MD5SUM | 36a1aa2a38358c951443c34d8d302d49 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 771 |
Best CPU time to get the best result obtained on this benchmark | 169.914 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 61 |
Number of domains | 56 |
Minimum domain size | 1 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":28},{"size":29,"count":5},{"size":30,"count":55}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":59},{"degree":3,"count":29}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":58},{"arity":30,"count":2}] |
Number of extensional constraints | 30 |
Number of intensional constraints | 29 |
Distribution of constraint types | [{"type":"extension","count":30},{"type":"intension","count":29},{"type":"sum","count":1},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297600-1532724263.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4297600-1532724263.xml, -tl, 20160s, -p, 8] 0.13/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.29/0.83 c solve instance... 2.90/0.95 o 74 2.90/0.97 o 255 3.69/1.06 o 276 3.69/1.06 o 288 3.69/1.08 o 296 4.40/1.12 o 302 4.40/1.14 o 319 5.11/1.26 o 335 5.11/1.26 o 336 5.11/1.28 o 417 5.11/1.29 o 420 5.11/1.29 o 450 5.11/1.29 o 467 5.80/1.33 o 538 5.80/1.35 o 575 5.80/1.38 o 582 11.42/2.10 o 595 14.55/2.41 o 598 15.26/2.54 o 606 16.88/2.72 o 626 16.88/2.72 o 646 18.49/2.91 o 705 27.21/4.09 o 717 31.13/4.56 o 740 31.83/4.61 o 745 43.11/6.08 o 771 169.60/21.93 s OPTIMUM FOUND 169.60/21.93 v <instantiation> 169.60/21.93 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] </list> 169.60/21.93 v <values>2 0 23 6 4 5 18 15 8 29 11 26 12 10 14 20 1 17 7 13 27 21 22 19 24 25 9 16 28 3 46 0 180 194 0 0 273 574 0 1 58 26 0 43 0 45 178 0 41 40 73 0 0 1 0 0 70 61 0 89 0 0 74 24 0 0 54 91 0 21 31 3 0 60 0 90 78 0 17 17 8 0 0 56 0 0 80 47 0 20 </values> 169.60/21.93 v </instantiation>
OK 771
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 (13291 MiB free) memory of node 1: 16384 MiB (14235 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297600-1532724263/watcher-4297600-1532724263 -o /tmp/evaluation-result-4297600-1532724263/solver-4297600-1532724263 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532721509-28173 --watchdog 2580 HOME/xcsp3-exec -seed 14840576 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297600-1532724263.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=31869, runsolver pid=31866 [startup+0.106725 s]* /proc/loadavg: 6.95 7.88 8.08 3/204 31890 /proc/meminfo: memFree=28172936/32770624 swapFree=67108744/67108860 [pid=31869] ppid=31866 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31869/stat : 31869 (xcsp3-exec) S 31866 31869 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89989517 115843072 363 33554432000 4194304 5098028 140725929730096 140725929728200 139946652115580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9666560 140725929735223 140725929735424 140725929735424 140725929738186 0 /proc/31869/statm: 28282 363 305 221 0 87 0 [pid=31871] ppid=31869 vsize=26104152 memory=27944 CPUtime=0.13 cores=0-7 /proc/31871/stat : 31871 (java) S 31869 31869 28146 0 -1 1077944320 5753 0 0 0 11 2 0 0 20 0 20 0 89989517 26730651648 6986 33554432000 4194304 4196468 140733047948560 140733047931104 140419715690231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 /proc/31871/statm: 6526038 6986 3066 1 0 6488315 0 [pid=31871/tid=31872] ppid=31869 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/31871/task/31872/stat : 31872 (java) R 31869 31869 28146 0 -1 4202560 3688 0 0 0 8 1 0 0 20 0 20 0 89989517 26730651648 6986 33554432000 4194304 4196468 140733047948560 140419719916192 140419715702166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31873] ppid=31869 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/31871/task/31873/stat : 31873 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 6986 33554432000 4194304 4196468 140733047948560 140419668310288 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31874] ppid=31869 vsize=26104152 memory=140703668700800 CPUtime=0 cores=0-7 /proc/31871/task/31874/stat : 31874 (java) S 31869 31869 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 6986 33554432000 4194304 4196468 140733047948560 140419667257744 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31875] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31875/stat : 31875 (java) S 31869 31869 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 6986 33554432000 4194304 4196468 140733047948560 140419666205200 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31876] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31876/stat : 31876 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 6986 33554432000 4194304 4196468 140733047948560 140419665152656 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31877] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31877/stat : 31877 (java) S 31869 31869 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 6986 33554432000 4194304 4196468 140733047948560 140419664100112 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31878] ppid=31869 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/31871/task/31878/stat : 31878 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 6986 33554432000 4194304 4196468 140733047948560 140419663047568 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31879] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31879/stat : 31879 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 6986 33554432000 4194304 4196468 140733047948560 140419661995024 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31880] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31880/stat : 31880 (java) S 31869 31869 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 6986 33554432000 4194304 4196468 140733047948560 140419266903184 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31881] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31881/stat : 31881 (java) S 31869 31869 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89989520 26730651648 6986 33554432000 4194304 4196468 140733047948560 140417987717104 140419715701378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31882] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31882/stat : 31882 (java) S 31869 31869 28146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89989520 26730651648 6986 33554432000 4194304 4196468 140733047948560 140417986663328 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31883] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31883/stat : 31883 (java) S 31869 31869 28146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89989520 26730651648 6986 33554432000 4194304 4196468 140733047948560 140417985610736 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31884] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31884/stat : 31884 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989523 26730651648 6986 33554432000 4194304 4196468 140733047948560 140417984559312 140419715708827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31885] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31885/stat : 31885 (java) S 31869 31869 28146 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 89989523 26730651648 6986 33554432000 4194304 4196468 140733047948560 140417541429744 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31886] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31886/stat : 31886 (java) S 31869 31869 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89989523 26730651648 6986 33554432000 4194304 4196468 140733047948560 140417540377200 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31887] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31887/stat : 31887 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989523 26730651648 6986 33554432000 4194304 4196468 140733047948560 140417539324656 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31888] ppid=31869 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/31871/task/31888/stat : 31888 (java) R 31869 31869 28146 0 -1 4202560 338 0 0 0 1 0 0 0 20 0 20 0 89989523 26730651648 6986 33554432000 4194304 4196468 140733047948560 140417538272112 140419699770718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31889] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31889/stat : 31889 (java) S 31869 31869 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89989523 26730651648 6986 33554432000 4194304 4196468 140733047948560 140417537218784 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31890] ppid=31869 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/31871/task/31890/stat : 31890 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989523 26730651648 6986 33554432000 4194304 4196468 140733047948560 140417536166320 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 29396 KiB [startup+0.210744 s]* /proc/loadavg: 6.95 7.88 8.08 3/204 31890 /proc/meminfo: memFree=28161344/32770624 swapFree=67108744/67108860 [pid=31869] ppid=31866 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31869/stat : 31869 (xcsp3-exec) S 31866 31869 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89989517 115843072 363 33554432000 4194304 5098028 140725929730096 140725929728200 139946652115580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9666560 140725929735223 140725929735424 140725929735424 140725929738186 0 /proc/31869/statm: 28282 363 305 221 0 87 0 [pid=31871] ppid=31869 vsize=26104152 memory=39492 CPUtime=0.33 cores=0-7 /proc/31871/stat : 31871 (java) S 31869 31869 28146 0 -1 1077944320 8515 0 0 0 30 3 0 0 20 0 20 0 89989517 26730651648 9873 33554432000 4194304 4196468 140733047948560 140733047931104 140419715690231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 /proc/31871/statm: 6526038 9873 3190 1 0 6488315 0 [pid=31871/tid=31872] ppid=31869 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/31871/task/31872/stat : 31872 (java) R 31869 31869 28146 0 -1 4202560 5577 0 0 0 18 2 0 0 20 0 20 0 89989517 26730651648 9873 33554432000 4194304 4196468 140733047948560 140419719920768 140419715712061 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31873] ppid=31869 vsize=26104152 memory=340 CPUtime=0 cores=0-7 /proc/31871/task/31873/stat : 31873 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 9873 33554432000 4194304 4196468 140733047948560 140419668310288 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31874] ppid=31869 vsize=26104152 memory=140703669233474 CPUtime=0 cores=0-7 /proc/31871/task/31874/stat : 31874 (java) S 31869 31869 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 9873 33554432000 4194304 4196468 140733047948560 140419667257744 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31875] ppid=31869 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/31871/task/31875/stat : 31875 (java) S 31869 31869 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 9873 33554432000 4194304 4196468 140733047948560 140419666205200 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31876] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31876/stat : 31876 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 9873 33554432000 4194304 4196468 140733047948560 140419665152656 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31877] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31877/stat : 31877 (java) S 31869 31869 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 9873 33554432000 4194304 4196468 140733047948560 140419664100112 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31878] ppid=31869 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/31871/task/31878/stat : 31878 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 9873 33554432000 4194304 4196468 140733047948560 140419663047568 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31879] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31879/stat : 31879 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 9873 33554432000 4194304 4196468 140733047948560 140419661995024 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31880] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31880/stat : 31880 (java) S 31869 31869 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89989518 26730651648 9873 33554432000 4194304 4196468 140733047948560 140419266903184 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31881] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31881/stat : 31881 (java) S 31869 31869 28146 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 89989520 26730651648 9873 33554432000 4194304 4196468 140733047948560 140417987717104 140419715701378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31882] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31882/stat : 31882 (java) S 31869 31869 28146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89989520 26730651648 9873 33554432000 4194304 4196468 140733047948560 140417986663328 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31883] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31883/stat : 31883 (java) S 31869 31869 28146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89989520 26730651648 9873 33554432000 4194304 4196468 140733047948560 140417985610736 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31884] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31884/stat : 31884 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989523 26730651648 9873 33554432000 4194304 4196468 140733047948560 140417984559312 140419715708827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31885] ppid=31869 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/31871/task/31885/stat : 31885 (java) S 31869 31869 28146 0 -1 1077944384 716 0 0 0 1 0 0 0 20 0 20 0 89989523 26730651648 9873 33554432000 4194304 4196468 140733047948560 140417541429744 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31886] ppid=31869 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/31871/task/31886/stat : 31886 (java) S 31869 31869 28146 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 89989523 26730651648 9873 33554432000 4194304 4196468 140733047948560 140417540377200 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31887] ppid=31869 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/31871/task/31887/stat : 31887 (java) S 31869 31869 28146 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 89989523 26730651648 9873 33554432000 4194304 4196468 140733047948560 140417539324656 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31888] ppid=31869 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7 /proc/31871/task/31888/stat : 31888 (java) S 31869 31869 28146 0 -1 1077944384 769 0 0 0 7 0 0 0 20 0 20 0 89989523 26730651648 9873 33554432000 4194304 4196468 140733047948560 140417538272112 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31889] ppid=31869 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31889/stat : 31889 (java) S 31869 31869 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89989523 26730651648 9873 33554432000 4194304 4196468 140733047948560 140417537218784 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31890] ppid=31869 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/31871/task/31890/stat : 31890 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989523 26730651648 9873 33554432000 4194304 4196468 140733047948560 140417536166320 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40944 KiB [startup+0.31053 s]* /proc/loadavg: 6.95 7.88 8.08 4/204 31890 /proc/meminfo: memFree=28154768/32770624 swapFree=67108744/67108860 [pid=31869] ppid=31866 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31869/stat : 31869 (xcsp3-exec) S 31866 31869 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89989517 115843072 363 33554432000 4194304 5098028 140725929730096 140725929728200 139946652115580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9666560 140725929735223 140725929735424 140725929735424 140725929738186 0 /proc/31869/statm: 28282 363 305 221 0 87 0 [pid=31871] ppid=31869 vsize=26108408 memory=46696 CPUtime=0.51 cores=0-7 /proc/31871/stat : 31871 (java) S 31869 31869 28146 0 -1 1077944320 9426 0 0 0 47 4 0 0 20 0 20 0 89989517 26735009792 11674 33554432000 4194304 4196468 140733047948560 140733047931104 140419715690231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 /proc/31871/statm: 6527102 11674 3241 1 0 6488315 0 [pid=31871/tid=31872] ppid=31869 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/31871/task/31872/stat : 31872 (java) R 31869 31869 28146 0 -1 4202560 6296 0 0 0 27 2 0 0 20 0 20 0 89989517 26735009792 11674 33554432000 4194304 4196468 140733047948560 140419719924016 140419699770718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31873] ppid=31869 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31873/stat : 31873 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989518 26735009792 11674 33554432000 4194304 4196468 140733047948560 140419668310288 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31874] ppid=31869 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31874/stat : 31874 (java) S 31869 31869 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89989518 26735009792 11674 33554432000 4194304 4196468 140733047948560 140419667257744 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31875] ppid=31869 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31875/stat : 31875 (java) S 31869 31869 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89989518 26735009792 11674 33554432000 4194304 4196468 140733047948560 140419666205200 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31876] ppid=31869 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31876/stat : 31876 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989518 26735009792 11674 33554432000 4194304 4196468 140733047948560 140419665152656 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31877] ppid=31869 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/31871/task/31877/stat : 31877 (java) S 31869 31869 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89989518 26735009792 11674 33554432000 4194304 4196468 140733047948560 140419664100112 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31878] ppid=31869 vsize=26108408 memory=140703531365295 CPUtime=0 cores=0-7 /proc/31871/task/31878/stat : 31878 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989518 26735009792 11674 33554432000 4194304 4196468 140733047948560 140419663047568 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31879] ppid=31869 vsize=26108408 memory=140703531367600 CPUtime=0 cores=0-7 /proc/31871/task/31879/stat : 31879 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989518 26735009792 11674 33554432000 4194304 4196468 140733047948560 140419661995024 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31880] ppid=31869 vsize=26108408 memory=140703531369904 CPUtime=0 cores=0-7 /proc/31871/task/31880/stat : 31880 (java) S 31869 31869 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89989518 26735009792 11674 33554432000 4194304 4196468 140733047948560 140419266903184 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31881] ppid=31869 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31881/stat : 31881 (java) S 31869 31869 28146 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 89989520 26735009792 11674 33554432000 4194304 4196468 140733047948560 140417987717104 140419715701378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31882] ppid=31869 vsize=26108408 memory=281407062746768 CPUtime=0 cores=0-7 /proc/31871/task/31882/stat : 31882 (java) S 31869 31869 28146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89989520 26735009792 11674 33554432000 4194304 4196468 140733047948560 140417986663328 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31883] ppid=31869 vsize=26108408 memory=281407062753680 CPUtime=0 cores=0-7 /proc/31871/task/31883/stat : 31883 (java) S 31869 31869 28146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89989520 26735009792 11674 33554432000 4194304 4196468 140733047948560 140417985610736 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31884] ppid=31869 vsize=26108408 memory=281407062694960 CPUtime=0 cores=0-7 /proc/31871/task/31884/stat : 31884 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989523 26735009792 11674 33554432000 4194304 4196468 140733047948560 140417984559312 140419715708827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31885] ppid=31869 vsize=26108408 memory=281407062767504 CPUtime=0.04 cores=0-7 /proc/31871/task/31885/stat : 31885 (java) S 31869 31869 28146 0 -1 1077944384 828 0 0 0 4 0 0 0 20 0 20 0 89989523 26735009792 11674 33554432000 4194304 4196468 140733047948560 140417541429744 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31886] ppid=31869 vsize=26108408 memory=281407062774416 CPUtime=0.01 cores=0-7 /proc/31871/task/31886/stat : 31886 (java) S 31869 31869 28146 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 89989523 26735009792 11674 33554432000 4194304 4196468 140733047948560 140417540377200 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31887] ppid=31869 vsize=26108408 memory=281407062772112 CPUtime=0.02 cores=0-7 /proc/31871/task/31887/stat : 31887 (java) S 31869 31869 28146 0 -1 1077944384 54 0 0 0 2 0 0 0 20 0 20 0 89989523 26735009792 11674 33554432000 4194304 4196468 140733047948560 140417539324656 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31888] ppid=31869 vsize=26108408 memory=281407062788272 CPUtime=0.11 cores=0-7 /proc/31871/task/31888/stat : 31888 (java) S 31869 31869 28146 0 -1 1077944384 835 0 0 0 11 0 0 0 20 0 20 0 89989523 26735009792 11674 33554432000 4194304 4196468 140733047948560 140417538272112 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31889] ppid=31869 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31889/stat : 31889 (java) S 31869 31869 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89989523 26735009792 11674 33554432000 4194304 4196468 140733047948560 140417537218784 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31890] ppid=31869 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/31871/task/31890/stat : 31890 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989523 26735009792 11674 33554432000 4194304 4196468 140733047948560 140417536166320 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48148 KiB [startup+0.700981 s] /proc/loadavg: 6.95 7.88 8.08 3/204 31890 /proc/meminfo: memFree=28127832/32770624 swapFree=67108744/67108860 [pid=31869] ppid=31866 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31869/stat : 31869 (xcsp3-exec) S 31866 31869 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89989517 115843072 363 33554432000 4194304 5098028 140725929730096 140725929728200 139946652115580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9666560 140725929735223 140725929735424 140725929735424 140725929738186 0 /proc/31869/statm: 28282 363 305 221 0 87 0 [pid=31871] ppid=31869 vsize=26110532 memory=98400 CPUtime=1.81 cores=0-7 /proc/31871/stat : 31871 (java) S 31869 31869 28146 0 -1 1077944320 13761 0 0 0 173 8 0 0 20 0 20 0 89989517 26737184768 24600 33554432000 4194304 4196468 140733047948560 140733047931104 140419715690231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 /proc/31871/statm: 6527633 24600 3362 1 0 6488827 0 [pid=31871/tid=31872] ppid=31869 vsize=26110532 memory=281407063146160 CPUtime=0.67 cores=0-7 /proc/31871/task/31872/stat : 31872 (java) R 31869 31869 28146 0 -1 4202560 7279 0 0 0 63 4 0 0 20 0 20 0 89989517 26737184768 24600 33554432000 4194304 4196468 140733047948560 140419719927216 140419344744207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31873] ppid=31869 vsize=26110532 memory=140703531574128 CPUtime=0 cores=0-7 /proc/31871/task/31873/stat : 31873 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89989518 26737184768 24600 33554432000 4194304 4196468 140733047948560 140419668310288 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31874] ppid=31869 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/31871/task/31874/stat : 31874 (java) S 31869 31869 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89989518 26737184768 24600 33554432000 4194304 4196468 140733047948560 140419667257744 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31875] ppid=31869 vsize=26110532 memory=1704 CPUtime=0 cores=0-7 /proc/31871/task/31875/stat : 31875 (java) S 31869 31869 28146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89989518 26737184768 24600 33554432000 4194304 4196468 140733047948560 140419666205200 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 ################ # More data... # ################ [pid=31871/tid=31888] ppid=31869 vsize=26712684 memory=1452 CPUtime=0.95 cores=0-7 /proc/31871/task/31888/stat : 31888 (java) S 31869 31869 28146 0 -1 1077944384 5272 0 0 0 93 2 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417538272112 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31889] ppid=31869 vsize=26712684 memory=398460 CPUtime=0 cores=0-7 /proc/31871/task/31889/stat : 31889 (java) S 31869 31869 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417537218784 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31890] ppid=31869 vsize=26712684 memory=1452 CPUtime=0 cores=0-7 /proc/31871/task/31890/stat : 31890 (java) S 31869 31869 28146 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417536166320 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32099] ppid=31869 vsize=26712684 memory=421160 CPUtime=15.21 cores=0-7 /proc/31871/task/32099/stat : 32099 (java) R 31869 31869 28146 0 -1 4202560 311 0 0 0 1521 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417519155760 140419348551112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32100] ppid=31869 vsize=26712684 memory=11044 CPUtime=15.41 cores=0-7 /proc/31871/task/32100/stat : 32100 (java) R 31869 31869 28146 0 -1 4202560 327 0 0 0 1541 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417520210024 140419349919948 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32101] ppid=31869 vsize=26712684 memory=13252 CPUtime=15.32 cores=0-7 /proc/31871/task/32101/stat : 32101 (java) R 31869 31869 28146 0 -1 4202560 369 0 0 0 1532 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417518104648 140419350201855 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32102] ppid=31869 vsize=26712684 memory=15460 CPUtime=15.39 cores=0-7 /proc/31871/task/32102/stat : 32102 (java) R 31869 31869 28146 0 -1 4202560 1183 0 0 0 1538 1 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417522315528 140419350201559 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32103] ppid=31869 vsize=26712684 memory=17668 CPUtime=15.38 cores=0-7 /proc/31871/task/32103/stat : 32103 (java) R 31869 31869 28146 0 -1 4202560 1073 0 0 0 1538 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417521262872 140419345667067 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32104] ppid=31869 vsize=26712684 memory=19876 CPUtime=15.35 cores=0-7 /proc/31871/task/32104/stat : 32104 (java) R 31869 31869 28146 0 -1 4202560 306 0 0 0 1535 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417515999704 140419349722876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32105] ppid=31869 vsize=26712684 memory=22084 CPUtime=15.35 cores=0-7 /proc/31871/task/32105/stat : 32105 (java) R 31869 31869 28146 0 -1 4202560 898 0 0 0 1535 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417523367976 140419350489856 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32106] ppid=31869 vsize=26712684 memory=24292 CPUtime=15.39 cores=0-7 /proc/31871/task/32106/stat : 32106 (java) R 31869 31869 28146 0 -1 4202560 432 0 0 0 1539 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417524420392 140419350069550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 Current children cumulated CPU time: 167.21 s Current children cumulated vsize: 26825812 KiB Current children cumulated memory: 422612 KiB [startup+21.8017 s] /proc/loadavg: 7.25 7.89 8.08 9/213 32107 /proc/meminfo: memFree=27780008/32770624 swapFree=67108744/67108860 [pid=31869] ppid=31866 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31869/stat : 31869 (xcsp3-exec) S 31866 31869 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89989517 115843072 363 33554432000 4194304 5098028 140725929730096 140725929728200 139946652115580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9666560 140725929735223 140725929735424 140725929735424 140725929738186 0 /proc/31869/statm: 28282 363 305 221 0 87 0 [pid=31871] ppid=31869 vsize=26712684 memory=421160 CPUtime=168.81 cores=0-7 /proc/31871/stat : 31871 (java) S 31869 31869 28146 0 -1 1077944320 54595 0 0 0 16827 54 0 0 20 0 28 0 89989517 27353788416 105290 33554432000 4194304 4196468 140733047948560 140733047931104 140419715690231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 /proc/31871/statm: 6678171 105290 3438 1 0 6639365 0 [pid=31871/tid=31872] ppid=31869 vsize=26712684 memory=6791534058613427641 CPUtime=0.83 cores=0-7 /proc/31871/task/31872/stat : 31872 (java) S 31869 31869 28146 0 -1 1077944384 7578 0 0 0 78 5 0 0 20 0 28 0 89989517 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419719931008 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31873] ppid=31869 vsize=26712684 memory=1292 CPUtime=0.06 cores=0-7 /proc/31871/task/31873/stat : 31873 (java) S 31869 31869 28146 0 -1 1077944384 65 0 0 0 4 2 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419668310288 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31874] ppid=31869 vsize=26712684 memory=1844 CPUtime=0.07 cores=0-7 /proc/31871/task/31874/stat : 31874 (java) S 31869 31869 28146 0 -1 1077944384 305 0 0 0 4 3 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419667257744 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31875] ppid=31869 vsize=26712684 memory=1008 CPUtime=0.07 cores=0-7 /proc/31871/task/31875/stat : 31875 (java) S 31869 31869 28146 0 -1 1077944384 1153 0 0 0 4 3 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419666205200 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31876] ppid=31869 vsize=26712684 memory=5404 CPUtime=0.07 cores=0-7 /proc/31871/task/31876/stat : 31876 (java) S 31869 31869 28146 0 -1 1077944384 189 0 0 0 4 3 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419665152656 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31877] ppid=31869 vsize=26712684 memory=796 CPUtime=0.07 cores=0-7 /proc/31871/task/31877/stat : 31877 (java) S 31869 31869 28146 0 -1 1077944384 165 0 0 0 4 3 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419664100112 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31878] ppid=31869 vsize=26712684 memory=4616 CPUtime=0.07 cores=0-7 /proc/31871/task/31878/stat : 31878 (java) S 31869 31869 28146 0 -1 1077944384 91 0 0 0 4 3 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419663047568 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31879] ppid=31869 vsize=26712684 memory=1424 CPUtime=0.05 cores=0-7 /proc/31871/task/31879/stat : 31879 (java) S 31869 31869 28146 0 -1 1077944384 81 0 0 0 3 2 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419661995024 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31880] ppid=31869 vsize=26712684 memory=11116 CPUtime=0.07 cores=0-7 /proc/31871/task/31880/stat : 31880 (java) S 31869 31869 28146 0 -1 1077944384 333 0 0 0 5 2 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419266903184 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31881] ppid=31869 vsize=26712684 memory=1200 CPUtime=0.01 cores=0-7 /proc/31871/task/31881/stat : 31881 (java) S 31869 31869 28146 0 -1 1077944384 1111 0 0 0 1 0 0 0 20 0 28 0 89989520 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417987717104 140419715701378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31882] ppid=31869 vsize=26712684 memory=1228 CPUtime=0 cores=0-7 /proc/31871/task/31882/stat : 31882 (java) S 31869 31869 28146 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 89989520 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417986663392 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31883] ppid=31869 vsize=26712684 memory=1704 CPUtime=0 cores=0-7 /proc/31871/task/31883/stat : 31883 (java) S 31869 31869 28146 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 89989520 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417985610752 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31884] ppid=31869 vsize=26712684 memory=1952 CPUtime=0 cores=0-7 /proc/31871/task/31884/stat : 31884 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417984559312 140419715708827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31885] ppid=31869 vsize=26712684 memory=6791534058613427641 CPUtime=2.79 cores=0-7 /proc/31871/task/31885/stat : 31885 (java) S 31869 31869 28146 0 -1 1077944384 11387 0 0 0 277 2 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417541429744 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31886] ppid=31869 vsize=26712684 memory=4052 CPUtime=2.48 cores=0-7 /proc/31871/task/31886/stat : 31886 (java) S 31869 31869 28146 0 -1 1077944384 6256 0 0 0 246 2 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417540377200 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31887] ppid=31869 vsize=26712684 memory=1452 CPUtime=2.6 cores=0-7 /proc/31871/task/31887/stat : 31887 (java) S 31869 31869 28146 0 -1 1077944384 8631 0 0 0 258 2 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417539324656 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31888] ppid=31869 vsize=26712684 memory=0 CPUtime=0.95 cores=0-7 /proc/31871/task/31888/stat : 31888 (java) S 31869 31869 28146 0 -1 1077944384 5272 0 0 0 93 2 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417538272112 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31889] ppid=31869 vsize=26712684 memory=281407063360480 CPUtime=0 cores=0-7 /proc/31871/task/31889/stat : 31889 (java) S 31869 31869 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417537218784 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31890] ppid=31869 vsize=26712684 memory=140703532160860 CPUtime=0 cores=0-7 /proc/31871/task/31890/stat : 31890 (java) S 31869 31869 28146 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417536166320 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32099] ppid=31869 vsize=26712684 memory=928 CPUtime=15.41 cores=0-7 /proc/31871/task/32099/stat : 32099 (java) R 31869 31869 28146 0 -1 4202560 311 0 0 0 1541 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417519155760 140419350487991 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32100] ppid=31869 vsize=26712684 memory=1568 CPUtime=15.61 cores=0-7 /proc/31871/task/32100/stat : 32100 (java) R 31869 31869 28146 0 -1 4202560 327 0 0 0 1561 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417520210024 140419351690720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32101] ppid=31869 vsize=26712684 memory=2240 CPUtime=15.52 cores=0-7 /proc/31871/task/32101/stat : 32101 (java) R 31869 31869 28146 0 -1 4202560 369 0 0 0 1552 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417518104648 140419350037526 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32102] ppid=31869 vsize=26712684 memory=4124 CPUtime=15.59 cores=0-7 /proc/31871/task/32102/stat : 32102 (java) R 31869 31869 28146 0 -1 4202560 1188 0 0 0 1558 1 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417522315528 140419351915441 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32103] ppid=31869 vsize=26712684 memory=2196 CPUtime=15.58 cores=0-7 /proc/31871/task/32103/stat : 32103 (java) R 31869 31869 28146 0 -1 4202560 1078 0 0 0 1558 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417521262872 140419348878942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32104] ppid=31869 vsize=26712684 memory=7636 CPUtime=15.55 cores=0-7 /proc/31871/task/32104/stat : 32104 (java) R 31869 31869 28146 0 -1 4202560 307 0 0 0 1555 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417515999704 140419349722697 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32105] ppid=31869 vsize=26712684 memory=836 CPUtime=15.55 cores=0-7 /proc/31871/task/32105/stat : 32105 (java) R 31869 31869 28146 0 -1 4202560 899 0 0 0 1555 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417523367976 140419348848232 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32106] ppid=31869 vsize=26712684 memory=4104 CPUtime=15.59 cores=0-7 /proc/31871/task/32106/stat : 32106 (java) R 31869 31869 28146 0 -1 4202560 440 0 0 0 1559 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417524420392 140419351396376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 Current children cumulated CPU time: 168.81 s Current children cumulated vsize: 26825812 KiB Current children cumulated memory: 422612 KiB [startup+21.9017 s] /proc/loadavg: 7.25 7.89 8.08 9/213 32107 /proc/meminfo: memFree=27780008/32770624 swapFree=67108744/67108860 [pid=31869] ppid=31866 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31869/stat : 31869 (xcsp3-exec) S 31866 31869 28146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89989517 115843072 363 33554432000 4194304 5098028 140725929730096 140725929728200 139946652115580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9666560 140725929735223 140725929735424 140725929735424 140725929738186 0 /proc/31869/statm: 28282 363 305 221 0 87 0 [pid=31871] ppid=31869 vsize=26712684 memory=421160 CPUtime=169.6 cores=0-7 /proc/31871/stat : 31871 (java) S 31869 31869 28146 0 -1 1077944320 54616 0 0 0 16906 54 0 0 20 0 28 0 89989517 27353788416 105290 33554432000 4194304 4196468 140733047948560 140733047931104 140419715690231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 /proc/31871/statm: 6678171 105290 3438 1 0 6639365 0 [pid=31871/tid=31872] ppid=31869 vsize=26712684 memory=421160 CPUtime=0.83 cores=0-7 /proc/31871/task/31872/stat : 31872 (java) S 31869 31869 28146 0 -1 1077944384 7578 0 0 0 78 5 0 0 20 0 28 0 89989517 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419719931008 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31873] ppid=31869 vsize=26712684 memory=1452 CPUtime=0.06 cores=0-7 /proc/31871/task/31873/stat : 31873 (java) S 31869 31869 28146 0 -1 1077944384 65 0 0 0 4 2 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419668310288 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31874] ppid=31869 vsize=26712684 memory=421144 CPUtime=0.07 cores=0-7 /proc/31871/task/31874/stat : 31874 (java) S 31869 31869 28146 0 -1 1077944384 305 0 0 0 4 3 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419667257744 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31875] ppid=31869 vsize=26712684 memory=644 CPUtime=0.07 cores=0-7 /proc/31871/task/31875/stat : 31875 (java) S 31869 31869 28146 0 -1 1077944384 1153 0 0 0 4 3 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419666205200 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31876] ppid=31869 vsize=26712684 memory=1800 CPUtime=0.07 cores=0-7 /proc/31871/task/31876/stat : 31876 (java) S 31869 31869 28146 0 -1 1077944384 189 0 0 0 4 3 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419665152656 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31877] ppid=31869 vsize=26712684 memory=0 CPUtime=0.07 cores=0-7 /proc/31871/task/31877/stat : 31877 (java) S 31869 31869 28146 0 -1 1077944384 165 0 0 0 4 3 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419664100112 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31878] ppid=31869 vsize=26712684 memory=2244 CPUtime=0.07 cores=0-7 /proc/31871/task/31878/stat : 31878 (java) S 31869 31869 28146 0 -1 1077944384 91 0 0 0 4 3 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419663047568 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31879] ppid=31869 vsize=26712684 memory=1452 CPUtime=0.05 cores=0-7 /proc/31871/task/31879/stat : 31879 (java) S 31869 31869 28146 0 -1 1077944384 81 0 0 0 3 2 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419661995024 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31880] ppid=31869 vsize=26712684 memory=398460 CPUtime=0.07 cores=0-7 /proc/31871/task/31880/stat : 31880 (java) S 31869 31869 28146 0 -1 1077944384 333 0 0 0 5 2 0 0 20 0 28 0 89989518 27353788416 105290 33554432000 4194304 4196468 140733047948560 140419266903184 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31881] ppid=31869 vsize=26712684 memory=395596 CPUtime=0.01 cores=0-7 /proc/31871/task/31881/stat : 31881 (java) S 31869 31869 28146 0 -1 1077944384 1111 0 0 0 1 0 0 0 20 0 28 0 89989520 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417987717104 140419715701378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31882] ppid=31869 vsize=26712684 memory=388916 CPUtime=0 cores=0-7 /proc/31871/task/31882/stat : 31882 (java) S 31869 31869 28146 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 89989520 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417986663392 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31883] ppid=31869 vsize=26712684 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/31871/task/31883/stat : 31883 (java) S 31869 31869 28146 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 89989520 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417985610752 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31884] ppid=31869 vsize=26712684 memory=281407064443520 CPUtime=0 cores=0-7 /proc/31871/task/31884/stat : 31884 (java) S 31869 31869 28146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417984559312 140419715708827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31885] ppid=31869 vsize=26712684 memory=1452 CPUtime=2.79 cores=0-7 /proc/31871/task/31885/stat : 31885 (java) S 31869 31869 28146 0 -1 1077944384 11387 0 0 0 277 2 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417541429744 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31886] ppid=31869 vsize=26712684 memory=421160 CPUtime=2.48 cores=0-7 /proc/31871/task/31886/stat : 31886 (java) S 31869 31869 28146 0 -1 1077944384 6256 0 0 0 246 2 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417540377200 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31887] ppid=31869 vsize=26712684 memory=275754080336586 CPUtime=2.6 cores=0-7 /proc/31871/task/31887/stat : 31887 (java) S 31869 31869 28146 0 -1 1077944384 8631 0 0 0 258 2 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417539324656 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31888] ppid=31869 vsize=26712684 memory=8658346417246137943 CPUtime=0.95 cores=0-7 /proc/31871/task/31888/stat : 31888 (java) S 31869 31869 28146 0 -1 1077944384 5272 0 0 0 93 2 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417538272112 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31889] ppid=31869 vsize=26712684 memory=395640 CPUtime=0 cores=0-7 /proc/31871/task/31889/stat : 31889 (java) S 31869 31869 28146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417537218784 140419715700437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=31890] ppid=31869 vsize=26712684 memory=7737557256726210923 CPUtime=0 cores=0-7 /proc/31871/task/31890/stat : 31890 (java) S 31869 31869 28146 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 28 0 89989523 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417536166320 140419715701378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32099] ppid=31869 vsize=26712684 memory=26500 CPUtime=15.51 cores=0-7 /proc/31871/task/32099/stat : 32099 (java) R 31869 31869 28146 0 -1 4202560 314 0 0 0 1551 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417519155760 140419348878783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32100] ppid=31869 vsize=26712684 memory=28708 CPUtime=15.71 cores=0-7 /proc/31871/task/32100/stat : 32100 (java) R 31869 31869 28146 0 -1 4202560 329 0 0 0 1571 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417520210024 140419349722910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32101] ppid=31869 vsize=26712684 memory=33 CPUtime=15.62 cores=0-7 /proc/31871/task/32101/stat : 32101 (java) R 31869 31869 28146 0 -1 4202560 370 0 0 0 1562 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417518104648 140419350901036 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32102] ppid=31869 vsize=26712684 memory=6944656592455097440 CPUtime=15.69 cores=0-7 /proc/31871/task/32102/stat : 32102 (java) R 31869 31869 28146 0 -1 4202560 1190 0 0 0 1568 1 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417522315528 140419348551708 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32103] ppid=31869 vsize=26712684 memory=0 CPUtime=15.68 cores=0-7 /proc/31871/task/32103/stat : 32103 (java) R 31869 31869 28146 0 -1 4202560 1082 0 0 0 1568 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417521262872 140419350069440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32104] ppid=31869 vsize=26712684 memory=1264 CPUtime=15.65 cores=0-7 /proc/31871/task/32104/stat : 32104 (java) R 31869 31869 28146 0 -1 4202560 309 0 0 0 1565 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417515999704 140419350488325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32105] ppid=31869 vsize=26712684 memory=1272 CPUtime=15.64 cores=0-7 /proc/31871/task/32105/stat : 32105 (java) R 31869 31869 28146 0 -1 4202560 902 0 0 0 1564 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417523367976 140419348551419 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 [pid=31871/tid=32106] ppid=31869 vsize=26712684 memory=1268 CPUtime=15.69 cores=0-7 /proc/31871/task/32106/stat : 32106 (java) R 31869 31869 28146 0 -1 4202560 443 0 0 0 1569 0 0 0 20 0 28 0 89990125 27353788416 105290 33554432000 4194304 4196468 140733047948560 140417524420392 140419349658622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30777344 140733047956609 140733047956781 140733047956781 140733047959503 0 Current children cumulated CPU time: 169.6 s Current children cumulated vsize: 26825812 KiB Current children cumulated memory: 422612 KiB Child status: 0 Real time (s): 21.9508 CPU time (s): 169.914 CPU user time (s): 169.356 CPU system time (s): 0.55747 CPU usage (%): 774.065 Max. virtual memory (cumulated for all children) (KiB): 26825812 Max. memory (cumulated for all children) (KiB): 422612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 169.356 system time used= 0.55747 maximum resident set size= 421160 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56894 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6666 involuntary context switches= 2914 # summary of solver processes directly reported to runsolver: # pid: 31869 # total CPU time (s): 169.914 # total CPU user time (s): 169.356 # total CPU system time (s): 0.55747 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.173577 second user time and 0.299953 second system time The end
Begin job on node134 at 2018-07-27 22:44:23 IDJOB=4297600 IDBENCH=141526 IDSOLVER=2760 FILE ID=node134/4297600-1532724263 RUNJOBID= node134-1532721509-28173 PBS_JOBID= 21022333 Free space on /tmp= 55560 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Mario/Mario-n-medium-5_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-4297600-1532724263/watcher-4297600-1532724263 -o /tmp/evaluation-result-4297600-1532724263/solver-4297600-1532724263 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532721509-28173 --watchdog 2580 HOME/xcsp3-exec -seed 14840576 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297600-1532724263.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 36a1aa2a38358c951443c34d8d302d49 RANDOM SEED=14840576 node134.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.68 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.68 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.68 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.68 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: 28187960 kB MemAvailable: 31957380 kB Buffers: 163972 kB Cached: 3868940 kB SwapCached: 0 kB Active: 1771472 kB Inactive: 2316640 kB Active(anon): 4432 kB Inactive(anon): 78552 kB Active(file): 1767040 kB Inactive(file): 2238088 kB Unevictable: 7360 kB Mlocked: 7360 kB SwapTotal: 67108860 kB SwapFree: 67108744 kB Dirty: 22208 kB Writeback: 0 kB AnonPages: 74580 kB Mapped: 42348 kB Shmem: 25132 kB Slab: 188356 kB SReclaimable: 160256 kB SUnreclaim: 28100 kB KernelStack: 3600 kB PageTables: 5184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324464 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55540 MiB End job on node134 at 2018-07-27 22:44:45