Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT | 91.283997 | 59.9627 |
Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-088.xml |
MD5SUM | 06ac67a393cf658bfe76e8457ea2374b |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.18564899 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 176 |
Number of constraints | 96 |
Number of domains | 2 |
Minimum domain size | 88 |
Maximum domain size | 7744 |
Distribution of domain sizes | [{"size":88,"count":88},{"size":7744,"count":88}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":88},{"degree":4,"count":87},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 88 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":88},{"arity":44,"count":6},{"arity":88,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 89 |
Distribution of constraint types | [{"type":"intension","count":89},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}] |
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-4271081-1502687412.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271081-1502687412.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 66.93/56.83 c solve instance... 91.19/59.91 s SATISFIABLE 91.19/59.91 v <instantiation> 91.19/59.91 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cx[24] cx[25] cx[26] cx[27] cx[28] cx[29] cx[30] cx[31] cx[32] cx[33] cx[34] cx[35] cx[36] cx[37] cx[38] cx[39] cx[40] cx[41] cx[42] cx[43] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] cy[24] cy[25] cy[26] cy[27] cy[28] cy[29] cy[30] cy[31] cy[32] cy[33] cy[34] cy[35] cy[36] cy[37] cy[38] cy[39] cy[40] cy[41] cy[42] cy[43] </list> 91.19/59.91 v <values>1 3 4 11 12 13 14 15 16 17 18 21 24 25 26 27 28 29 38 40 44 51 52 54 55 56 57 58 60 65 66 67 68 69 70 71 72 73 74 75 76 77 79 87 2 5 6 7 8 9 10 19 20 22 23 30 31 32 33 34 35 36 37 39 41 42 43 45 46 47 48 49 50 53 59 61 62 63 64 78 80 81 82 83 84 85 86 88 1 9 16 121 144 169 196 225 256 289 324 441 576 625 676 729 784 841 1444 1600 1936 2601 2704 2916 3025 3136 3249 3364 3600 4225 4356 4489 4624 4761 4900 5041 5184 5329 5476 5625 5776 5929 6241 7569 4 25 36 49 64 81 100 361 400 484 529 900 961 1024 1089 1156 1225 1296 1369 1521 1681 1764 1849 2025 2116 2209 2304 2401 2500 2809 3481 3721 3844 3969 4096 6084 6400 6561 6724 6889 7056 7225 7396 7744 </values> 91.19/59.91 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 (14064 MiB free) memory of node 1: 16384 MiB (12277 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271081-1502687412/watcher-4271081-1502687412 -o /tmp/evaluation-result-4271081-1502687412/solver-4271081-1502687412 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502686546-1558 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 428387491 HOME/instance-4271081-1502687412.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=1670, runsolver pid=1667 [startup+0.10011 s]* /proc/loadavg: 7.91 8.54 8.50 2/199 1691 /proc/meminfo: memFree=26958188/32770624 swapFree=67108860/67108860 [pid=1670] ppid=1667 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1670/stat : 1670 (xcsp3-exec) S 1667 1670 1531 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101829001 9740288 346 33554432000 4194304 5098028 140724785463856 140724785461960 139621268304508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27152384 140724785468517 140724785468727 140724785468727 140724785471467 0 /proc/1670/statm: 2378 346 289 221 0 87 0 [pid=1672] ppid=1670 vsize=25999808 memory=26352 CPUtime=0.11 cores=0-7 /proc/1672/stat : 1672 (java) S 1670 1670 1531 0 -1 1077944320 5475 0 0 0 10 1 0 0 20 0 20 0 101829002 26623803392 6588 33554432000 4194304 4196468 140731719620368 140731719602912 140640069570295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 /proc/1672/statm: 6499952 6588 2864 1 0 6488269 0 [pid=1672/tid=1673] ppid=1670 vsize=25999808 memory=1400242874264906928 CPUtime=0.09 cores=0-7 /proc/1672/task/1673/stat : 1673 (java) R 1670 1670 1531 0 -1 4202560 3476 0 0 0 8 1 0 0 20 0 20 0 101829002 26623803392 6588 33554432000 4194304 4196468 140731719620368 140640073803568 140640053650782 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1674] ppid=1670 vsize=25999808 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/1672/task/1674/stat : 1674 (java) S 1670 1670 1531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101829003 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639992151184 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1675] ppid=1670 vsize=25999808 memory=140320950437504 CPUtime=0 cores=0-7 /proc/1672/task/1675/stat : 1675 (java) S 1670 1670 1531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101829003 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639991098384 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1676] ppid=1670 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1676/stat : 1676 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829003 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639990045584 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1677] ppid=1670 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1677/stat : 1677 (java) S 1670 1670 1531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101829003 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639988992784 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1678] ppid=1670 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1678/stat : 1678 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829003 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639987939984 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1679] ppid=1670 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/1672/task/1679/stat : 1679 (java) S 1670 1670 1531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101829003 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639986887184 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1680] ppid=1670 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1680/stat : 1680 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829003 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639985834384 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1681] ppid=1670 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1681/stat : 1681 (java) S 1670 1670 1531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101829003 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639984781584 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1682] ppid=1670 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1682/stat : 1682 (java) S 1670 1670 1531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101829004 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639577586544 140640069581442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1683] ppid=1670 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1683/stat : 1683 (java) S 1670 1670 1531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101829005 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639195915808 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1684] ppid=1670 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1684/stat : 1684 (java) S 1670 1670 1531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101829005 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639194862960 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1685] ppid=1670 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1685/stat : 1685 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829007 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639193811280 140640069588891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1686] ppid=1670 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1686/stat : 1686 (java) S 1670 1670 1531 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 101829007 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639192758640 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1687] ppid=1670 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1687/stat : 1687 (java) S 1670 1670 1531 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 101829007 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639191705840 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1688] ppid=1670 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1688/stat : 1688 (java) R 1670 1670 1531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101829007 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639190653040 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1689] ppid=1670 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/1672/task/1689/stat : 1689 (java) R 1670 1670 1531 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 20 0 101829007 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639189600240 140640069581442 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1690] ppid=1670 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1690/stat : 1690 (java) S 1670 1670 1531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101829008 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639188548704 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1691] ppid=1670 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/1672/task/1691/stat : 1691 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829008 26623803392 6588 33554432000 4194304 4196468 140731719620368 140639187495984 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27736 KiB [startup+0.209664 s]* /proc/loadavg: 7.91 8.54 8.50 2/199 1691 /proc/meminfo: memFree=26946528/32770624 swapFree=67108860/67108860 [pid=1670] ppid=1667 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1670/stat : 1670 (xcsp3-exec) S 1667 1670 1531 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101829001 9740288 346 33554432000 4194304 5098028 140724785463856 140724785461960 139621268304508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27152384 140724785468517 140724785468727 140724785468727 140724785471467 0 /proc/1670/statm: 2378 346 289 221 0 87 0 [pid=1672] ppid=1670 vsize=26004064 memory=38800 CPUtime=0.33 cores=0-7 /proc/1672/stat : 1672 (java) S 1670 1670 1531 0 -1 1077944320 8300 0 0 0 31 2 0 0 20 0 20 0 101829002 26628161536 9700 33554432000 4194304 4196468 140731719620368 140731719602912 140640069570295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 /proc/1672/statm: 6501016 9700 3063 1 0 6488269 0 [pid=1672/tid=1673] ppid=1670 vsize=26004064 memory=8390339637985935414 CPUtime=0.19 cores=0-7 /proc/1672/task/1673/stat : 1673 (java) R 1670 1670 1531 0 -1 4202560 5381 0 0 0 18 1 0 0 20 0 20 0 101829002 26628161536 9700 33554432000 4194304 4196468 140731719620368 140640073784272 140640069592221 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1674] ppid=1670 vsize=26004064 memory=288230604707987479 CPUtime=0 cores=0-7 /proc/1672/task/1674/stat : 1674 (java) S 1670 1670 1531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639992151184 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1675] ppid=1670 vsize=26004064 memory=3473594517098841760 CPUtime=0 cores=0-7 /proc/1672/task/1675/stat : 1675 (java) S 1670 1670 1531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639991098384 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1676] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1676/stat : 1676 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639990045584 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1677] ppid=1670 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/1672/task/1677/stat : 1677 (java) S 1670 1670 1531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639988992784 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1678] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1678/stat : 1678 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639987939984 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1679] ppid=1670 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/1672/task/1679/stat : 1679 (java) S 1670 1670 1531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639986887184 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1680] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1680/stat : 1680 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639985834384 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1681] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1681/stat : 1681 (java) S 1670 1670 1531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639984781584 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1682] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1682/stat : 1682 (java) S 1670 1670 1531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101829004 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639577586544 140640069581442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1683] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1683/stat : 1683 (java) S 1670 1670 1531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101829005 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639195915808 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1684] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1684/stat : 1684 (java) S 1670 1670 1531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101829005 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639194862960 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1685] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1685/stat : 1685 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829007 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639193811280 140640069588891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1686] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1686/stat : 1686 (java) S 1670 1670 1531 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 20 0 101829007 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639192758640 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1687] ppid=1670 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/1672/task/1687/stat : 1687 (java) R 1670 1670 1531 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 20 0 101829007 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639191705840 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1688] ppid=1670 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/1672/task/1688/stat : 1688 (java) S 1670 1670 1531 0 -1 1077944384 252 0 0 0 2 0 0 0 20 0 20 0 101829007 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639190653040 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1689] ppid=1670 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/1672/task/1689/stat : 1689 (java) R 1670 1670 1531 0 -1 4202560 789 0 0 0 7 0 0 0 20 0 20 0 101829007 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639189600240 140640053650782 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1690] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1690/stat : 1690 (java) S 1670 1670 1531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101829008 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639188548704 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1691] ppid=1670 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/1672/task/1691/stat : 1691 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829008 26628161536 9700 33554432000 4194304 4196468 140731719620368 140639187495984 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40184 KiB [startup+0.309309 s]* /proc/loadavg: 7.91 8.54 8.50 3/199 1691 /proc/meminfo: memFree=26939828/32770624 swapFree=67108860/67108860 [pid=1670] ppid=1667 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1670/stat : 1670 (xcsp3-exec) S 1667 1670 1531 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101829001 9740288 346 33554432000 4194304 5098028 140724785463856 140724785461960 139621268304508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27152384 140724785468517 140724785468727 140724785468727 140724785471467 0 /proc/1670/statm: 2378 346 289 221 0 87 0 [pid=1672] ppid=1670 vsize=26004064 memory=46016 CPUtime=0.5 cores=0-7 /proc/1672/stat : 1672 (java) S 1670 1670 1531 0 -1 1077944320 9233 0 0 0 47 3 0 0 20 0 20 0 101829002 26628161536 11504 33554432000 4194304 4196468 140731719620368 140731719602912 140640069570295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 /proc/1672/statm: 6501016 11504 3095 1 0 6488269 0 [pid=1672/tid=1673] ppid=1670 vsize=26004064 memory=1399051139730258233 CPUtime=0.29 cores=0-7 /proc/1672/task/1673/stat : 1673 (java) R 1670 1670 1531 0 -1 4202560 6115 0 0 0 28 1 0 0 20 0 20 0 101829002 26628161536 11568 33554432000 4194304 4196468 140731719620368 140640073805344 140640053650782 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1674] ppid=1670 vsize=26004064 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1672/task/1674/stat : 1674 (java) S 1670 1670 1531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639992151184 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1675] ppid=1670 vsize=26004064 memory=1204 CPUtime=0 cores=0-7 /proc/1672/task/1675/stat : 1675 (java) S 1670 1670 1531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639991098384 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1676] ppid=1670 vsize=26004064 memory=15872 CPUtime=0 cores=0-7 /proc/1672/task/1676/stat : 1676 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639990045584 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1677] ppid=1670 vsize=26004064 memory=4100 CPUtime=0 cores=0-7 /proc/1672/task/1677/stat : 1677 (java) S 1670 1670 1531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639988992784 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1678] ppid=1670 vsize=26004064 memory=16444 CPUtime=0 cores=0-7 /proc/1672/task/1678/stat : 1678 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639987939984 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1679] ppid=1670 vsize=26004064 memory=4052 CPUtime=0 cores=0-7 /proc/1672/task/1679/stat : 1679 (java) S 1670 1670 1531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639986887184 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1680] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1680/stat : 1680 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639985834384 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1681] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1681/stat : 1681 (java) S 1670 1670 1531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101829003 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639984781584 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1682] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1682/stat : 1682 (java) S 1670 1670 1531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101829004 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639577586544 140640069581442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1683] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1683/stat : 1683 (java) S 1670 1670 1531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101829005 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639195915808 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1684] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1684/stat : 1684 (java) S 1670 1670 1531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101829005 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639194862960 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1685] ppid=1670 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/1672/task/1685/stat : 1685 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829007 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639193811280 140640069588891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1686] ppid=1670 vsize=26004064 memory=2244 CPUtime=0.01 cores=0-7 /proc/1672/task/1686/stat : 1686 (java) S 1670 1670 1531 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 20 0 101829007 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639192758640 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1687] ppid=1670 vsize=26004064 memory=2244 CPUtime=0.02 cores=0-7 /proc/1672/task/1687/stat : 1687 (java) S 1670 1670 1531 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 20 0 101829007 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639191705840 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1688] ppid=1670 vsize=26004064 memory=2244 CPUtime=0.03 cores=0-7 /proc/1672/task/1688/stat : 1688 (java) S 1670 1670 1531 0 -1 1077944384 304 0 0 0 3 0 0 0 20 0 20 0 101829007 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639190653040 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1689] ppid=1670 vsize=26004064 memory=2244 CPUtime=0.12 cores=0-7 /proc/1672/task/1689/stat : 1689 (java) S 1670 1670 1531 0 -1 1077944384 927 0 0 0 12 0 0 0 20 0 20 0 101829007 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639189600240 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1690] ppid=1670 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1690/stat : 1690 (java) S 1670 1670 1531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101829008 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639188548704 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1691] ppid=1670 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/1672/task/1691/stat : 1691 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829008 26628161536 11568 33554432000 4194304 4196468 140731719620368 140639187495984 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47400 KiB [startup+0.700923 s] /proc/loadavg: 7.91 8.54 8.50 5/199 1691 /proc/meminfo: memFree=26900304/32770624 swapFree=67108860/67108860 [pid=1670] ppid=1667 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1670/stat : 1670 (xcsp3-exec) S 1667 1670 1531 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101829001 9740288 346 33554432000 4194304 5098028 140724785463856 140724785461960 139621268304508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27152384 140724785468517 140724785468727 140724785468727 140724785471467 0 /proc/1670/statm: 2378 346 289 221 0 87 0 [pid=1672] ppid=1670 vsize=26006188 memory=187000 CPUtime=1.47 cores=0-7 /proc/1672/stat : 1672 (java) S 1670 1670 1531 0 -1 1077944320 11815 0 0 0 140 7 0 0 20 0 20 0 101829002 26630336512 46750 33554432000 4194304 4196468 140731719620368 140731719602912 140640069570295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 /proc/1672/statm: 6501547 46750 3221 1 0 6488781 0 [pid=1672/tid=1673] ppid=1670 vsize=26006188 memory=4580 CPUtime=0.66 cores=0-7 /proc/1672/task/1673/stat : 1673 (java) R 1670 1670 1531 0 -1 4202560 6729 0 0 0 63 3 0 0 20 0 20 0 101829002 26630336512 46750 33554432000 4194304 4196468 140731719620368 140640073808488 140639663446458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1674] ppid=1670 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1674/stat : 1674 (java) S 1670 1670 1531 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 101829003 26630336512 46750 33554432000 4194304 4196468 140731719620368 140639992151184 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1675] ppid=1670 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1675/stat : 1675 (java) S 1670 1670 1531 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 101829003 26630336512 46750 33554432000 4194304 4196468 140731719620368 140639991098384 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1676] ppid=1670 vsize=26006188 memory=7158869009862386282 CPUtime=0 cores=0-7 /proc/1672/task/1676/stat : 1676 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101829003 26630336512 46750 33554432000 4194304 4196468 140731719620368 140639990045584 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 ################ # More data... # ################ [pid=1672/tid=1689] ppid=1670 vsize=26538700 memory=6760 CPUtime=0.74 cores=0-7 /proc/1672/task/1689/stat : 1689 (java) S 1670 1670 1531 0 -1 1077944384 6210 0 0 0 73 1 0 0 20 0 28 0 101829007 27175628800 1824255 33554432000 4194304 4196468 140731719620368 140639189600240 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1690] ppid=1670 vsize=26538700 memory=840 CPUtime=0 cores=0-7 /proc/1672/task/1690/stat : 1690 (java) S 1670 1670 1531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101829008 27175628800 1824255 33554432000 4194304 4196468 140731719620368 140639188548704 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1691] ppid=1670 vsize=26538700 memory=1399051139730258233 CPUtime=0.01 cores=0-7 /proc/1672/task/1691/stat : 1691 (java) S 1670 1670 1531 0 -1 1077944384 81 0 0 0 0 1 0 0 20 0 28 0 101829008 27175628800 1824255 33554432000 4194304 4196468 140731719620368 140639187495984 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1692] ppid=1670 vsize=26538700 memory=4126316290023845779 CPUtime=2.29 cores=0-7 /proc/1672/task/1692/stat : 1692 (java) R 1670 1670 1531 0 -1 4202560 164 0 0 0 228 1 0 0 20 0 28 0 101834685 27175628800 1824255 33554432000 4194304 4196468 140731719620368 140639179484360 140639668266770 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1693] ppid=1670 vsize=26538700 memory=5428 CPUtime=2.29 cores=0-7 /proc/1672/task/1693/stat : 1693 (java) R 1670 1670 1531 0 -1 4202560 195 0 0 0 229 0 0 0 20 0 28 0 101834686 27175628800 1824255 33554432000 4194304 4196468 140731719620368 140639178432336 140639668265471 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1694] ppid=1670 vsize=26538700 memory=4624 CPUtime=2.13 cores=0-7 /proc/1672/task/1694/stat : 1694 (java) R 1670 1670 1531 0 -1 4202560 300 0 0 0 213 0 0 0 20 0 28 0 101834686 27175628800 1824255 33554432000 4194304 4196468 140731719620368 140639177380776 140639667059492 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1695] ppid=1670 vsize=26538700 memory=1424 CPUtime=2.3 cores=0-7 /proc/1672/task/1695/stat : 1695 (java) R 1670 1670 1531 0 -1 4202560 159 0 0 0 230 0 0 0 20 0 28 0 101834686 27175628800 1824255 33554432000 4194304 4196468 140731719620368 140639176327256 140639668265401 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1696] ppid=1670 vsize=26538700 memory=13056 CPUtime=2.21 cores=0-7 /proc/1672/task/1696/stat : 1696 (java) R 1670 1670 1531 0 -1 4202560 163 0 0 0 221 0 0 0 20 0 28 0 101834686 27175628800 1824255 33554432000 4194304 4196468 140731719620368 140639175273664 140639668268436 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1697] ppid=1670 vsize=26538700 memory=792 CPUtime=2.17 cores=0-7 /proc/1672/task/1697/stat : 1697 (java) R 1670 1670 1531 0 -1 4202560 514 0 0 0 217 0 0 0 20 0 28 0 101834686 27175628800 1824255 33554432000 4194304 4196468 140731719620368 140639106747784 140639666947222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1698] ppid=1670 vsize=26538700 memory=1008 CPUtime=2.38 cores=0-7 /proc/1672/task/1698/stat : 1698 (java) R 1670 1670 1531 0 -1 4202560 258 0 0 0 238 0 0 0 20 0 28 0 101834686 27175628800 1824255 33554432000 4194304 4196468 140731719620368 140639105695984 140639668226695 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1699] ppid=1670 vsize=26538700 memory=10588 CPUtime=2.5 cores=0-7 /proc/1672/task/1699/stat : 1699 (java) R 1670 1670 1531 0 -1 4202560 239 0 0 0 250 0 0 0 20 0 28 0 101834686 27175628800 1824255 33554432000 4194304 4196468 140731719620368 140639104643736 140639668266547 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 Current children cumulated CPU time: 88.79 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 7298404 KiB [startup+59.802 s] /proc/loadavg: 4.46 7.36 8.10 13/207 1699 /proc/meminfo: memFree=19679520/32770624 swapFree=67108860/67108860 [pid=1670] ppid=1667 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1670/stat : 1670 (xcsp3-exec) S 1667 1670 1531 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101829001 9740288 346 33554432000 4194304 5098028 140724785463856 140724785461960 139621268304508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27152384 140724785468517 140724785468727 140724785468727 140724785471467 0 /proc/1670/statm: 2378 346 289 221 0 87 0 [pid=1672] ppid=1670 vsize=26538700 memory=7297344 CPUtime=90.39 cores=0-7 /proc/1672/stat : 1672 (java) S 1670 1670 1531 0 -1 1077944320 62097 0 0 0 8804 235 0 0 20 0 28 0 101829002 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140731719602912 140640069570295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 /proc/1672/statm: 6634675 1824336 3284 1 0 6621909 0 [pid=1672/tid=1673] ppid=1670 vsize=26538700 memory=640 CPUtime=55.4 cores=0-7 /proc/1672/task/1673/stat : 1673 (java) S 1670 1670 1531 0 -1 1077944384 24726 0 0 0 5440 100 0 0 20 0 28 0 101829002 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140640073811072 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1674] ppid=1670 vsize=26538700 memory=956 CPUtime=1.22 cores=0-7 /proc/1672/task/1674/stat : 1674 (java) S 1670 1670 1531 0 -1 1077944384 980 0 0 0 108 14 0 0 20 0 28 0 101829003 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639992151184 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1675] ppid=1670 vsize=26538700 memory=1696 CPUtime=1.24 cores=0-7 /proc/1672/task/1675/stat : 1675 (java) S 1670 1670 1531 0 -1 1077944384 510 0 0 0 109 15 0 0 20 0 28 0 101829003 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639991098384 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1676] ppid=1670 vsize=26538700 memory=920 CPUtime=1.23 cores=0-7 /proc/1672/task/1676/stat : 1676 (java) S 1670 1670 1531 0 -1 1077944384 1020 0 0 0 108 15 0 0 20 0 28 0 101829003 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639990045584 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1677] ppid=1670 vsize=26538700 memory=4116 CPUtime=1.23 cores=0-7 /proc/1672/task/1677/stat : 1677 (java) S 1670 1670 1531 0 -1 1077944384 462 0 0 0 109 14 0 0 20 0 28 0 101829003 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639988992784 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1678] ppid=1670 vsize=26538700 memory=2344 CPUtime=1.25 cores=0-7 /proc/1672/task/1678/stat : 1678 (java) S 1670 1670 1531 0 -1 1077944384 405 0 0 0 111 14 0 0 20 0 28 0 101829003 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639987939984 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1679] ppid=1670 vsize=26538700 memory=1156 CPUtime=1.25 cores=0-7 /proc/1672/task/1679/stat : 1679 (java) S 1670 1670 1531 0 -1 1077944384 584 0 0 0 109 16 0 0 20 0 28 0 101829003 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639986887184 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1680] ppid=1670 vsize=26538700 memory=3040 CPUtime=1.24 cores=0-7 /proc/1672/task/1680/stat : 1680 (java) S 1670 1670 1531 0 -1 1077944384 1028 0 0 0 108 16 0 0 20 0 28 0 101829003 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639985834384 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1681] ppid=1670 vsize=26538700 memory=1384 CPUtime=1.26 cores=0-7 /proc/1672/task/1681/stat : 1681 (java) S 1670 1670 1531 0 -1 1077944384 784 0 0 0 111 15 0 0 20 0 28 0 101829003 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639984781584 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1682] ppid=1670 vsize=26538700 memory=280641620307248 CPUtime=0.08 cores=0-7 /proc/1672/task/1682/stat : 1682 (java) S 1670 1670 1531 0 -1 1077944384 4162 0 0 0 8 0 0 0 20 0 28 0 101829004 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639577586544 140640069581442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1683] ppid=1670 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/1672/task/1683/stat : 1683 (java) S 1670 1670 1531 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 101829005 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639195915872 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1684] ppid=1670 vsize=26538700 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/1672/task/1684/stat : 1684 (java) S 1670 1670 1531 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 101829005 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639194862976 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1685] ppid=1670 vsize=26538700 memory=4140 CPUtime=0 cores=0-7 /proc/1672/task/1685/stat : 1685 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101829007 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639193811280 140640069588891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1686] ppid=1670 vsize=26538700 memory=29124 CPUtime=1.52 cores=0-7 /proc/1672/task/1686/stat : 1686 (java) R 1670 1670 1531 0 -1 1077944384 8437 0 0 0 151 1 0 0 20 0 28 0 101829007 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639192758640 140640069581442 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1687] ppid=1670 vsize=26538700 memory=1292 CPUtime=1.51 cores=0-7 /proc/1672/task/1687/stat : 1687 (java) R 1670 1670 1531 0 -1 4202560 4961 0 0 0 150 1 0 0 20 0 28 0 101829007 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639191705840 140640051099809 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1688] ppid=1670 vsize=26538700 memory=2428 CPUtime=1.42 cores=0-7 /proc/1672/task/1688/stat : 1688 (java) R 1670 1670 1531 0 -1 4202560 4343 0 0 0 142 0 0 0 20 0 28 0 101829007 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639190646232 140640061804709 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1689] ppid=1670 vsize=26538700 memory=1732 CPUtime=0.75 cores=0-7 /proc/1672/task/1689/stat : 1689 (java) S 1670 1670 1531 0 -1 1077944384 6242 0 0 0 74 1 0 0 20 0 28 0 101829007 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639189600240 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1690] ppid=1670 vsize=26538700 memory=1944 CPUtime=0 cores=0-7 /proc/1672/task/1690/stat : 1690 (java) S 1670 1670 1531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101829008 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639188548704 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1691] ppid=1670 vsize=26538700 memory=1700 CPUtime=0.01 cores=0-7 /proc/1672/task/1691/stat : 1691 (java) S 1670 1670 1531 0 -1 1077944384 81 0 0 0 0 1 0 0 20 0 28 0 101829008 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639187495984 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1692] ppid=1670 vsize=26538700 memory=1228 CPUtime=2.43 cores=0-7 /proc/1672/task/1692/stat : 1692 (java) R 1670 1670 1531 0 -1 4202560 164 0 0 0 242 1 0 0 20 0 28 0 101834685 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639179484360 140639668409022 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1693] ppid=1670 vsize=26538700 memory=5428 CPUtime=2.47 cores=0-7 /proc/1672/task/1693/stat : 1693 (java) R 1670 1670 1531 0 -1 4202560 195 0 0 0 247 0 0 0 20 0 28 0 101834686 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639178435368 140639666149316 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1694] ppid=1670 vsize=26538700 memory=4624 CPUtime=2.24 cores=0-7 /proc/1672/task/1694/stat : 1694 (java) R 1670 1670 1531 0 -1 4202560 303 0 0 0 224 0 0 0 20 0 28 0 101834686 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639177380328 140639666149103 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1695] ppid=1670 vsize=26538700 memory=0 CPUtime=2.46 cores=0-7 /proc/1672/task/1695/stat : 1695 (java) R 1670 1670 1531 0 -1 4202560 159 0 0 0 246 0 0 0 20 0 28 0 101834686 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639176327352 140639668265292 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1696] ppid=1670 vsize=26538700 memory=24452 CPUtime=2.4 cores=0-7 /proc/1672/task/1696/stat : 1696 (java) R 1670 1670 1531 0 -1 4202560 163 0 0 0 240 0 0 0 20 0 28 0 101834686 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639175273664 140639668266863 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1697] ppid=1670 vsize=26538700 memory=280641619263616 CPUtime=2.35 cores=0-7 /proc/1672/task/1697/stat : 1697 (java) R 1670 1670 1531 0 -1 4202560 521 0 0 0 235 0 0 0 20 0 28 0 101834686 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639106748088 140639660747542 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1698] ppid=1670 vsize=26538700 memory=0 CPUtime=2.54 cores=0-7 /proc/1672/task/1698/stat : 1698 (java) R 1670 1670 1531 0 -1 4202560 258 0 0 0 254 0 0 0 20 0 28 0 101834686 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639105697080 140639668226411 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1699] ppid=1670 vsize=26538700 memory=0 CPUtime=2.64 cores=0-7 /proc/1672/task/1699/stat : 1699 (java) R 1670 1670 1531 0 -1 4202560 241 0 0 0 264 0 0 0 20 0 28 0 101834686 27175628800 1824336 33554432000 4194304 4196468 140731719620368 140639104644072 140639667015969 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 Current children cumulated CPU time: 90.39 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 7298728 KiB [startup+59.902 s] /proc/loadavg: 4.46 7.36 8.10 13/207 1699 /proc/meminfo: memFree=19679520/32770624 swapFree=67108860/67108860 [pid=1670] ppid=1667 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/1670/stat : 1670 (xcsp3-exec) S 1667 1670 1531 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101829001 9740288 346 33554432000 4194304 5098028 140724785463856 140724785461960 139621268304508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27152384 140724785468517 140724785468727 140724785468727 140724785471467 0 /proc/1670/statm: 2378 346 289 221 0 87 0 [pid=1672] ppid=1670 vsize=26538700 memory=7297376 CPUtime=91.19 cores=0-7 /proc/1672/stat : 1672 (java) S 1670 1670 1531 0 -1 1077944320 62146 0 0 0 8884 235 0 0 20 0 28 0 101829002 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140731719602912 140640069570295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 /proc/1672/statm: 6634675 1824344 3285 1 0 6621909 0 [pid=1672/tid=1673] ppid=1670 vsize=26538700 memory=1384 CPUtime=55.4 cores=0-7 /proc/1672/task/1673/stat : 1673 (java) S 1670 1670 1531 0 -1 1077944384 24726 0 0 0 5440 100 0 0 20 0 28 0 101829002 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140640073811072 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1674] ppid=1670 vsize=26538700 memory=7272144 CPUtime=1.22 cores=0-7 /proc/1672/task/1674/stat : 1674 (java) S 1670 1670 1531 0 -1 1077944384 980 0 0 0 108 14 0 0 20 0 28 0 101829003 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639992151184 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1675] ppid=1670 vsize=26538700 memory=140325245404799 CPUtime=1.24 cores=0-7 /proc/1672/task/1675/stat : 1675 (java) S 1670 1670 1531 0 -1 1077944384 510 0 0 0 109 15 0 0 20 0 28 0 101829003 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639991098384 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1676] ppid=1670 vsize=26538700 memory=164 CPUtime=1.23 cores=0-7 /proc/1672/task/1676/stat : 1676 (java) S 1670 1670 1531 0 -1 1077944384 1020 0 0 0 108 15 0 0 20 0 28 0 101829003 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639990045584 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1677] ppid=1670 vsize=26538700 memory=7233442278099283561 CPUtime=1.23 cores=0-7 /proc/1672/task/1677/stat : 1677 (java) S 1670 1670 1531 0 -1 1077944384 462 0 0 0 109 14 0 0 20 0 28 0 101829003 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639988992784 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1678] ppid=1670 vsize=26538700 memory=8112282956445269571 CPUtime=1.25 cores=0-7 /proc/1672/task/1678/stat : 1678 (java) S 1670 1670 1531 0 -1 1077944384 405 0 0 0 111 14 0 0 20 0 28 0 101829003 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639987939984 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1679] ppid=1670 vsize=26538700 memory=290763857956438329 CPUtime=1.25 cores=0-7 /proc/1672/task/1679/stat : 1679 (java) S 1670 1670 1531 0 -1 1077944384 584 0 0 0 109 16 0 0 20 0 28 0 101829003 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639986887184 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1680] ppid=1670 vsize=26538700 memory=164 CPUtime=1.24 cores=0-7 /proc/1672/task/1680/stat : 1680 (java) S 1670 1670 1531 0 -1 1077944384 1028 0 0 0 108 16 0 0 20 0 28 0 101829003 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639985834384 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1681] ppid=1670 vsize=26538700 memory=6656426216303648864 CPUtime=1.26 cores=0-7 /proc/1672/task/1681/stat : 1681 (java) S 1670 1670 1531 0 -1 1077944384 784 0 0 0 111 15 0 0 20 0 28 0 101829003 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639984781584 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1682] ppid=1670 vsize=26538700 memory=4140 CPUtime=0.08 cores=0-7 /proc/1672/task/1682/stat : 1682 (java) S 1670 1670 1531 0 -1 1077944384 4162 0 0 0 8 0 0 0 20 0 28 0 101829004 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639577586544 140640069581442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1683] ppid=1670 vsize=26538700 memory=29124 CPUtime=0 cores=0-7 /proc/1672/task/1683/stat : 1683 (java) S 1670 1670 1531 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 101829005 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639195915872 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1684] ppid=1670 vsize=26538700 memory=1292 CPUtime=0 cores=0-7 /proc/1672/task/1684/stat : 1684 (java) S 1670 1670 1531 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 101829005 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639194862976 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1685] ppid=1670 vsize=26538700 memory=1204 CPUtime=0 cores=0-7 /proc/1672/task/1685/stat : 1685 (java) S 1670 1670 1531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101829007 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639193811280 140640069588891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1686] ppid=1670 vsize=26538700 memory=15872 CPUtime=1.56 cores=0-7 /proc/1672/task/1686/stat : 1686 (java) R 1670 1670 1531 0 -1 4202560 8445 0 0 0 155 1 0 0 20 0 28 0 101829007 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639192758936 140640047592496 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1687] ppid=1670 vsize=26538700 memory=4100 CPUtime=1.59 cores=0-7 /proc/1672/task/1687/stat : 1687 (java) R 1670 1670 1531 0 -1 4202560 4973 0 0 0 158 1 0 0 20 0 28 0 101829007 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639191692704 140640052957013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1688] ppid=1670 vsize=26538700 memory=3472328296227679313 CPUtime=1.47 cores=0-7 /proc/1672/task/1688/stat : 1688 (java) R 1670 1670 1531 0 -1 4202560 4350 0 0 0 147 0 0 0 20 0 28 0 101829007 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639190653040 140640050270898 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1689] ppid=1670 vsize=26538700 memory=7593739040114344008 CPUtime=0.76 cores=0-7 /proc/1672/task/1689/stat : 1689 (java) R 1670 1670 1531 0 -1 1077944384 6252 0 0 0 75 1 0 0 20 0 28 0 101829007 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639189600240 140640069581442 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1690] ppid=1670 vsize=26538700 memory=288292168702535089 CPUtime=0 cores=0-7 /proc/1672/task/1690/stat : 1690 (java) S 1670 1670 1531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101829008 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639188548704 140640069580501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1691] ppid=1670 vsize=26538700 memory=1384 CPUtime=0.01 cores=0-7 /proc/1672/task/1691/stat : 1691 (java) S 1670 1670 1531 0 -1 1077944384 81 0 0 0 0 1 0 0 20 0 28 0 101829008 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639187495984 140640069581442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1692] ppid=1670 vsize=26538700 memory=7272144 CPUtime=2.46 cores=0-7 /proc/1672/task/1692/stat : 1692 (java) R 1670 1670 1531 0 -1 4202560 164 0 0 0 245 1 0 0 20 0 28 0 101834685 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639179484920 140639668265507 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1693] ppid=1670 vsize=26538700 memory=1384 CPUtime=2.56 cores=0-7 /proc/1672/task/1693/stat : 1693 (java) R 1670 1670 1531 0 -1 4202560 195 0 0 0 256 0 0 0 20 0 28 0 101834686 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639178435368 140639667598684 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1694] ppid=1670 vsize=26538700 memory=1384 CPUtime=2.29 cores=0-7 /proc/1672/task/1694/stat : 1694 (java) R 1670 1670 1531 0 -1 4202560 309 0 0 0 229 0 0 0 20 0 28 0 101834686 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639177376768 140640069582230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1695] ppid=1670 vsize=26538700 memory=7271436 CPUtime=2.56 cores=0-7 /proc/1672/task/1695/stat : 1695 (java) R 1670 1670 1531 0 -1 4202560 163 0 0 0 256 0 0 0 20 0 28 0 101834686 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639176327352 140639667428652 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1696] ppid=1670 vsize=26538700 memory=1384 CPUtime=2.5 cores=0-7 /proc/1672/task/1696/stat : 1696 (java) R 1670 1670 1531 0 -1 4202560 163 0 0 0 250 0 0 0 20 0 28 0 101834686 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639175273664 140639668267218 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1697] ppid=1670 vsize=26538700 memory=1384 CPUtime=2.45 cores=0-7 /proc/1672/task/1697/stat : 1697 (java) R 1670 1670 1531 0 -1 4202560 526 0 0 0 245 0 0 0 20 0 28 0 101834686 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639106749256 140639667684138 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1698] ppid=1670 vsize=26538700 memory=7293092 CPUtime=2.64 cores=0-7 /proc/1672/task/1698/stat : 1698 (java) R 1670 1670 1531 0 -1 4202560 258 0 0 0 264 0 0 0 20 0 28 0 101834686 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639105697080 140639668226351 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 [pid=1672/tid=1699] ppid=1670 vsize=26538700 memory=0 CPUtime=2.69 cores=0-7 /proc/1672/task/1699/stat : 1699 (java) R 1670 1670 1531 0 -1 4202560 243 0 0 0 269 0 0 0 20 0 28 0 101834686 27175628800 1824344 33554432000 4194304 4196468 140731719620368 140639104643488 140639667164500 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33820672 140731719623826 140731719624003 140731719624003 140731719626703 0 Current children cumulated CPU time: 91.19 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 7298760 KiB Child status: 0 Real time (s): 59.9627 CPU time (s): 91.284 CPU user time (s): 88.8871 CPU system time (s): 2.39697 CPU usage (%): 152.235 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 7298760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 88.8871 system time used= 2.39697 maximum resident set size= 7297736 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63387 page faults= 0 swaps= 0 block input operations= 0 block output operations= 200 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7096 involuntary context switches= 969 # summary of solver processes directly reported to runsolver: # pid: 1670 # total CPU time (s): 91.284 # total CPU user time (s): 88.8871 # total CPU system time (s): 2.39697 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.375383 second user time and 0.643259 second system time The end
Begin job on node114 at 2017-08-14 06:55:53 IDJOB=4271081 IDBENCH=122893 IDSOLVER=2662 FILE ID=node114/4271081-1502687412 RUNJOBID= node114-1502686546-1558 PBS_JOBID= 20628993 Free space on /tmp= 61700 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-088.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271081-1502687412/watcher-4271081-1502687412 -o /tmp/evaluation-result-4271081-1502687412/solver-4271081-1502687412 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502686546-1558 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 428387491 HOME/instance-4271081-1502687412.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 06ac67a393cf658bfe76e8457ea2374b RANDOM SEED=428387491 node114.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.98 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: 26974168 kB MemAvailable: 31987472 kB Buffers: 183652 kB Cached: 5118028 kB SwapCached: 0 kB Active: 456424 kB Inactive: 4900436 kB Active(anon): 57924 kB Inactive(anon): 25036 kB Active(file): 398500 kB Inactive(file): 4875400 kB Unevictable: 6520 kB Mlocked: 6520 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7852 kB Writeback: 0 kB AnonPages: 60932 kB Mapped: 44352 kB Shmem: 25224 kB Slab: 136384 kB SReclaimable: 110480 kB SUnreclaim: 25904 kB KernelStack: 3216 kB PageTables: 5088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323336 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: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61692 MiB End job on node114 at 2017-08-14 06:56:53