Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 7 | 160.708 | 52.2648 |
Name | PeacableArmies/ PeacableArmies-m1-07_c18.xml |
MD5SUM | 93689e7972bcd89c8c0248fcf1fc8ef9 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 22.5888 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 98 |
Number of constraints | 1002 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":98}] |
Minimum variable degree | 20 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":20,"count":24},{"degree":21,"count":24},{"degree":22,"count":16},{"degree":23,"count":16},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":26,"count":1},{"degree":27,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 98 |
Distribution of constraint arities | [{"arity":2,"count":1001},{"arity":98,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1001 |
Distribution of constraint types | [{"type":"intension","count":1001},{"type":"sum","count":1}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393883-1568448776.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4393883-1568448776.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 4.75/1.42 c solve instance... 4.75/1.47 o 0 4.75/1.48 o 1 4.75/1.48 o 4 4.75/1.49 o 5 5.32/1.52 o 6 6.09/1.69 o 7 160.59/52.23 s OPTIMUM FOUND 160.59/52.23 v <instantiation> 160.59/52.23 v <list>b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] </list> 160.59/52.23 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 160.59/52.23 v </instantiation>
OK 7
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 (14941 MiB free) memory of node 1: 16384 MiB (15382 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393883-1568448776/watcher-4393883-1568448776 -o /tmp/evaluation-result-4393883-1568448776/solver-4393883-1568448776 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568445045-26280 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1003805134 HOME/instance-4393883-1568448776.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=26661, runsolver pid=26658 [startup+0.10011 s]* /proc/loadavg: 6.12 6.48 6.97 2/211 26682 /proc/meminfo: memFree=31036840/32770624 swapFree=66923244/67108860 [pid=26661] ppid=26658 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26661/stat : 26661 (xcsp3-exec) S 26658 26661 26253 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421133587 115843072 363 33554432000 4194304 5098028 140735800308496 140735800306600 140175816229500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25804800 140735800312693 140735800312937 140735800312937 140735800315850 0 /proc/26661/statm: 28282 363 304 221 0 87 0 [pid=26663] ppid=26661 vsize=28227388 memory=28568 CPUtime=0.13 cores=0-7 /proc/26663/stat : 26663 (java) S 26661 26661 26253 0 -1 1077944320 5634 0 0 0 11 2 0 0 20 0 20 0 421133587 28904845312 7142 33554432000 4194304 4196468 140725046677696 140725046660240 140490465103607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 /proc/26663/statm: 7056847 7142 3120 1 0 7019032 0 [pid=26663/tid=26664] ppid=26661 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/26663/task/26664/stat : 26664 (java) R 26661 26661 26253 0 -1 4202560 3573 0 0 0 8 1 0 0 20 0 20 0 421133588 28904845312 7142 33554432000 4194304 4196468 140725046677696 140490469338784 140490075962992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26665] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26665/stat : 26665 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 7142 33554432000 4194304 4196468 140725046677696 140490417723664 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26666] ppid=26661 vsize=28227388 memory=3978002685992887968 CPUtime=0 cores=0-7 /proc/26663/task/26666/stat : 26666 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 7142 33554432000 4194304 4196468 140725046677696 140490416671120 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26667] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26667/stat : 26667 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 7142 33554432000 4194304 4196468 140725046677696 140490415618576 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26668] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26668/stat : 26668 (java) S 26661 26661 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 7142 33554432000 4194304 4196468 140725046677696 140490414566032 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26669] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26669/stat : 26669 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 7142 33554432000 4194304 4196468 140725046677696 140490413513488 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26670] ppid=26661 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/26663/task/26670/stat : 26670 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 7142 33554432000 4194304 4196468 140725046677696 140490412460944 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26671] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26671/stat : 26671 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 7142 33554432000 4194304 4196468 140725046677696 140490411408400 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26672] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26672/stat : 26672 (java) S 26661 26661 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 7142 33554432000 4194304 4196468 140725046677696 140490410355856 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26673] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26673/stat : 26673 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133590 28904845312 7142 33554432000 4194304 4196468 140725046677696 140489062696944 140490465114754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26674] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26674/stat : 26674 (java) S 26661 26661 26253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421133591 28904845312 7142 33554432000 4194304 4196468 140725046677696 140489061643168 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26675] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26675/stat : 26675 (java) S 26661 26661 26253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421133591 28904845312 7142 33554432000 4194304 4196468 140725046677696 140489060590576 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26676] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26676/stat : 26676 (java) S 26661 26661 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421133593 28904845312 7142 33554432000 4194304 4196468 140725046677696 140489059539152 140490465122203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26677] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26677/stat : 26677 (java) S 26661 26661 26253 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 421133593 28904845312 7142 33554432000 4194304 4196468 140725046677696 140489058486768 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26678] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26678/stat : 26678 (java) S 26661 26661 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421133593 28904845312 7142 33554432000 4194304 4196468 140725046677696 140489057434224 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26679] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26679/stat : 26679 (java) R 26661 26661 26253 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 421133593 28904845312 7142 33554432000 4194304 4196468 140725046677696 140489056381680 140490465114754 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26680] ppid=26661 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/26663/task/26680/stat : 26680 (java) S 26661 26661 26253 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 20 0 421133593 28904845312 7142 33554432000 4194304 4196468 140725046677696 140489055329136 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26681] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26681/stat : 26681 (java) S 26661 26661 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421133593 28904845312 7142 33554432000 4194304 4196468 140725046677696 140489054275808 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26682] ppid=26661 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/26663/task/26682/stat : 26682 (java) S 26661 26661 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421133594 28904845312 7142 33554432000 4194304 4196468 140725046677696 140489053223344 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30020 KiB [startup+0.210041 s]* /proc/loadavg: 6.12 6.48 6.97 2/211 26682 /proc/meminfo: memFree=31022720/32770624 swapFree=66923244/67108860 [pid=26661] ppid=26658 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26661/stat : 26661 (xcsp3-exec) S 26658 26661 26253 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421133587 115843072 363 33554432000 4194304 5098028 140735800308496 140735800306600 140175816229500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25804800 140735800312693 140735800312937 140735800312937 140735800315850 0 /proc/26661/statm: 28282 363 304 221 0 87 0 [pid=26663] ppid=26661 vsize=28227388 memory=40696 CPUtime=0.33 cores=0-7 /proc/26663/stat : 26663 (java) S 26661 26661 26253 0 -1 1077944320 9511 0 0 0 30 3 0 0 20 0 20 0 421133587 28904845312 10174 33554432000 4194304 4196468 140725046677696 140725046660240 140490465103607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 /proc/26663/statm: 7056847 10174 3259 1 0 7019032 0 [pid=26663/tid=26664] ppid=26661 vsize=28227388 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/26663/task/26664/stat : 26664 (java) R 26661 26661 26253 0 -1 4202560 6614 0 0 0 17 2 0 0 20 0 20 0 421133588 28904845312 10174 33554432000 4194304 4196468 140725046677696 140490469339744 140490465115542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26665] ppid=26661 vsize=28227388 memory=10923 CPUtime=0 cores=0-7 /proc/26663/task/26665/stat : 26665 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 10174 33554432000 4194304 4196468 140725046677696 140490417723664 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26666] ppid=26661 vsize=28227388 memory=139816827195939 CPUtime=0 cores=0-7 /proc/26663/task/26666/stat : 26666 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 10174 33554432000 4194304 4196468 140725046677696 140490416671120 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26667] ppid=26661 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/26663/task/26667/stat : 26667 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 10174 33554432000 4194304 4196468 140725046677696 140490415618576 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26668] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26668/stat : 26668 (java) S 26661 26661 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 10174 33554432000 4194304 4196468 140725046677696 140490414566032 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26669] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26669/stat : 26669 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 10174 33554432000 4194304 4196468 140725046677696 140490413513488 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26670] ppid=26661 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/26663/task/26670/stat : 26670 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 10174 33554432000 4194304 4196468 140725046677696 140490412460944 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26671] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26671/stat : 26671 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 10174 33554432000 4194304 4196468 140725046677696 140490411408400 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26672] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26672/stat : 26672 (java) S 26661 26661 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421133589 28904845312 10174 33554432000 4194304 4196468 140725046677696 140490410355856 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26673] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26673/stat : 26673 (java) S 26661 26661 26253 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 421133590 28904845312 10174 33554432000 4194304 4196468 140725046677696 140489062696944 140490465114754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26674] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26674/stat : 26674 (java) S 26661 26661 26253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421133591 28904845312 10174 33554432000 4194304 4196468 140725046677696 140489061643168 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26675] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26675/stat : 26675 (java) S 26661 26661 26253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421133591 28904845312 10174 33554432000 4194304 4196468 140725046677696 140489060590576 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26676] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26676/stat : 26676 (java) S 26661 26661 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421133593 28904845312 10174 33554432000 4194304 4196468 140725046677696 140489059539152 140490465122203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26677] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26677/stat : 26677 (java) S 26661 26661 26253 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 421133593 28904845312 10174 33554432000 4194304 4196468 140725046677696 140489058486768 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26678] ppid=26661 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/26663/task/26678/stat : 26678 (java) S 26661 26661 26253 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 20 0 421133593 28904845312 10174 33554432000 4194304 4196468 140725046677696 140489057434224 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26679] ppid=26661 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/26663/task/26679/stat : 26679 (java) S 26661 26661 26253 0 -1 1077944384 377 0 0 0 1 0 0 0 20 0 20 0 421133593 28904845312 10174 33554432000 4194304 4196468 140725046677696 140489056381680 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26680] ppid=26661 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/26663/task/26680/stat : 26680 (java) R 26661 26661 26253 0 -1 4202560 780 0 0 0 8 0 0 0 20 0 20 0 421133593 28904845312 10174 33554432000 4194304 4196468 140725046677696 140489055329136 140490465124954 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26681] ppid=26661 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26681/stat : 26681 (java) S 26661 26661 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421133593 28904845312 10174 33554432000 4194304 4196468 140725046677696 140489054275808 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26682] ppid=26661 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/26663/task/26682/stat : 26682 (java) S 26661 26661 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421133594 28904845312 10174 33554432000 4194304 4196468 140725046677696 140489053223344 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42148 KiB [startup+0.309429 s]* /proc/loadavg: 6.12 6.48 6.97 4/211 26682 /proc/meminfo: memFree=31015320/32770624 swapFree=66923244/67108860 [pid=26661] ppid=26658 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26661/stat : 26661 (xcsp3-exec) S 26658 26661 26253 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421133587 115843072 363 33554432000 4194304 5098028 140735800308496 140735800306600 140175816229500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25804800 140735800312693 140735800312937 140735800312937 140735800315850 0 /proc/26661/statm: 28282 363 304 221 0 87 0 [pid=26663] ppid=26661 vsize=28231644 memory=49752 CPUtime=0.53 cores=0-7 /proc/26663/stat : 26663 (java) S 26661 26661 26253 0 -1 1077944320 10874 0 0 0 48 5 0 0 20 0 20 0 421133587 28909203456 12438 33554432000 4194304 4196468 140725046677696 140725046660240 140490465103607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 /proc/26663/statm: 7057911 12438 3312 1 0 7019032 0 [pid=26663/tid=26664] ppid=26661 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/26663/task/26664/stat : 26664 (java) R 26661 26661 26253 0 -1 4202560 7744 0 0 0 26 3 0 0 20 0 20 0 421133588 28909203456 12470 33554432000 4194304 4196468 140725046677696 140490469338720 140490457820570 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26665] ppid=26661 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26665/stat : 26665 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28909203456 12470 33554432000 4194304 4196468 140725046677696 140490417723664 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26666] ppid=26661 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26666/stat : 26666 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28909203456 12470 33554432000 4194304 4196468 140725046677696 140490416671120 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26667] ppid=26661 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26667/stat : 26667 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28909203456 12470 33554432000 4194304 4196468 140725046677696 140490415618576 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26668] ppid=26661 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26668/stat : 26668 (java) S 26661 26661 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421133589 28909203456 12470 33554432000 4194304 4196468 140725046677696 140490414566032 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26669] ppid=26661 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26669/stat : 26669 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28909203456 12470 33554432000 4194304 4196468 140725046677696 140490413513488 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26670] ppid=26661 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26670/stat : 26670 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28909203456 12470 33554432000 4194304 4196468 140725046677696 140490412460944 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26671] ppid=26661 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26671/stat : 26671 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28909203456 12470 33554432000 4194304 4196468 140725046677696 140490411408400 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26672] ppid=26661 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26672/stat : 26672 (java) S 26661 26661 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421133589 28909203456 12470 33554432000 4194304 4196468 140725046677696 140490410355856 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26673] ppid=26661 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26673/stat : 26673 (java) S 26661 26661 26253 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 421133590 28909203456 12470 33554432000 4194304 4196468 140725046677696 140489062696944 140490465114754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26674] ppid=26661 vsize=28231644 memory=279633375468928 CPUtime=0 cores=0-7 /proc/26663/task/26674/stat : 26674 (java) S 26661 26661 26253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421133591 28909203456 12470 33554432000 4194304 4196468 140725046677696 140489061643168 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26675] ppid=26661 vsize=28231644 memory=279633375473536 CPUtime=0 cores=0-7 /proc/26663/task/26675/stat : 26675 (java) S 26661 26661 26253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421133591 28909203456 12470 33554432000 4194304 4196468 140725046677696 140489060590576 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26676] ppid=26661 vsize=28231644 memory=279633375478144 CPUtime=0 cores=0-7 /proc/26663/task/26676/stat : 26676 (java) S 26661 26661 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421133593 28909203456 12470 33554432000 4194304 4196468 140725046677696 140489059539152 140490465122203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26677] ppid=26661 vsize=28231644 memory=279633375482752 CPUtime=0.02 cores=0-7 /proc/26663/task/26677/stat : 26677 (java) R 26661 26661 26253 0 -1 4202560 454 0 0 0 2 0 0 0 20 0 20 0 421133593 28909203456 12470 33554432000 4194304 4196468 140725046677696 140489058486768 140490446624398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26678] ppid=26661 vsize=28231644 memory=279633375487360 CPUtime=0.03 cores=0-7 /proc/26663/task/26678/stat : 26678 (java) S 26661 26661 26253 0 -1 1077944384 116 0 0 0 3 0 0 0 20 0 20 0 421133593 28909203456 12470 33554432000 4194304 4196468 140725046677696 140489057434224 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26679] ppid=26661 vsize=28231644 memory=279633375491968 CPUtime=0.03 cores=0-7 /proc/26663/task/26679/stat : 26679 (java) S 26661 26661 26253 0 -1 1077944384 383 0 0 0 3 0 0 0 20 0 20 0 421133593 28909203456 12470 33554432000 4194304 4196468 140725046677696 140489056381680 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26680] ppid=26661 vsize=28231644 memory=279633375496576 CPUtime=0.12 cores=0-7 /proc/26663/task/26680/stat : 26680 (java) S 26661 26661 26253 0 -1 1077944384 863 0 0 0 12 0 0 0 20 0 20 0 421133593 28909203456 12470 33554432000 4194304 4196468 140725046677696 140489055329136 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26681] ppid=26661 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26681/stat : 26681 (java) S 26661 26661 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421133593 28909203456 12470 33554432000 4194304 4196468 140725046677696 140489054275808 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26682] ppid=26661 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/26663/task/26682/stat : 26682 (java) S 26661 26661 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421133594 28909203456 12470 33554432000 4194304 4196468 140725046677696 140489053223344 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51204 KiB [startup+0.700917 s] /proc/loadavg: 6.12 6.48 6.97 4/211 26682 /proc/meminfo: memFree=30999948/32770624 swapFree=66923244/67108860 [pid=26661] ppid=26658 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26661/stat : 26661 (xcsp3-exec) S 26658 26661 26253 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421133587 115843072 363 33554432000 4194304 5098028 140735800308496 140735800306600 140175816229500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25804800 140735800312693 140735800312937 140735800312937 140735800315850 0 /proc/26661/statm: 28282 363 304 221 0 87 0 [pid=26663] ppid=26661 vsize=28233768 memory=98724 CPUtime=1.84 cores=0-7 /proc/26663/stat : 26663 (java) S 26661 26661 26253 0 -1 1077944320 16942 0 0 0 177 7 0 0 20 0 20 0 421133587 28911378432 24681 33554432000 4194304 4196468 140725046677696 140725046660240 140490465103607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 /proc/26663/statm: 7058442 24681 3454 1 0 7019544 0 [pid=26663/tid=26664] ppid=26661 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7 /proc/26663/task/26664/stat : 26664 (java) R 26661 26661 26253 0 -1 4202560 8643 0 0 0 64 4 0 0 20 0 20 0 421133588 28911378432 24681 33554432000 4194304 4196468 140725046677696 140490469339296 140490079548696 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26665] ppid=26661 vsize=28233768 memory=139816687936384 CPUtime=0 cores=0-7 /proc/26663/task/26665/stat : 26665 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28911378432 24681 33554432000 4194304 4196468 140725046677696 140490417723664 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26666] ppid=26661 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26666/stat : 26666 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28911378432 24681 33554432000 4194304 4196468 140725046677696 140490416671120 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26667] ppid=26661 vsize=28233768 memory=9364 CPUtime=0 cores=0-7 /proc/26663/task/26667/stat : 26667 (java) S 26661 26661 26253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421133589 28911378432 24681 33554432000 4194304 4196468 140725046677696 140490415618576 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 ################ # More data... # ################ [pid=26663/tid=26680] ppid=26661 vsize=28768328 memory=8029753657285760358 CPUtime=1.17 cores=0-7 /proc/26663/task/26680/stat : 26680 (java) S 26661 26661 26253 0 -1 1077944384 6471 0 0 0 115 2 0 0 20 0 28 0 421133593 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489055329136 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26681] ppid=26661 vsize=28768328 memory=7740113685752337766 CPUtime=0 cores=0-7 /proc/26663/task/26681/stat : 26681 (java) S 26661 26661 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421133593 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489054275808 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26682] ppid=26661 vsize=28768328 memory=6949457081831745365 CPUtime=0.01 cores=0-7 /proc/26663/task/26682/stat : 26682 (java) S 26661 26661 26253 0 -1 1077944384 911 0 0 0 0 1 0 0 20 0 28 0 421133594 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489053223344 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26731] ppid=26661 vsize=28768328 memory=7380389807876695637 CPUtime=13.36 cores=0-7 /proc/26663/task/26731/stat : 26731 (java) S 26661 26661 26253 0 -1 1077944384 427 0 0 0 1335 1 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488967896576 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26732] ppid=26661 vsize=28768328 memory=7595151881994266992 CPUtime=13.44 cores=0-7 /proc/26663/task/26732/stat : 26732 (java) S 26661 26661 26253 0 -1 1077944384 287 0 0 0 1344 0 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488974214224 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26733] ppid=26661 vsize=28768328 memory=7378115979360560994 CPUtime=48 cores=0-7 /proc/26663/task/26733/stat : 26733 (java) R 26661 26661 26253 0 -1 4202560 3998 0 0 0 4784 16 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488972103752 140490075088036 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26734] ppid=26661 vsize=28768328 memory=1452 CPUtime=13.43 cores=0-7 /proc/26663/task/26734/stat : 26734 (java) S 26661 26661 26253 0 -1 1077944384 1195 0 0 0 1331 12 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488973161808 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26735] ppid=26661 vsize=28768328 memory=1958668 CPUtime=13.56 cores=0-7 /proc/26663/task/26735/stat : 26735 (java) S 26661 26661 26253 0 -1 1077944384 553 0 0 0 1354 2 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488971056592 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26736] ppid=26661 vsize=28768328 memory=1044 CPUtime=13.27 cores=0-7 /proc/26663/task/26736/stat : 26736 (java) S 26661 26661 26253 0 -1 1077944384 624 0 0 0 1326 1 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488968951376 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26737] ppid=26661 vsize=28768328 memory=708 CPUtime=13.77 cores=0-7 /proc/26663/task/26737/stat : 26737 (java) S 26661 26661 26253 0 -1 1077944384 529 0 0 0 1374 3 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488966845136 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26738] ppid=26661 vsize=28768328 memory=9364 CPUtime=13.97 cores=0-7 /proc/26663/task/26738/stat : 26738 (java) S 26661 26661 26253 0 -1 1077944384 767 0 0 0 1390 7 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488970003280 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 Current children cumulated CPU time: 159.59 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1960120 KiB [startup+52.0011 s]* /proc/loadavg: 4.09 5.93 6.75 2/219 26741 /proc/meminfo: memFree=29102660/32770624 swapFree=66923244/67108860 [pid=26661] ppid=26658 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26661/stat : 26661 (xcsp3-exec) S 26658 26661 26253 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421133587 115843072 363 33554432000 4194304 5098028 140735800308496 140735800306600 140175816229500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25804800 140735800312693 140735800312937 140735800312937 140735800315850 0 /proc/26661/statm: 28282 363 304 221 0 87 0 [pid=26663] ppid=26661 vsize=28768328 memory=1958668 CPUtime=160.4 cores=0-7 /proc/26663/stat : 26663 (java) S 26661 26661 26253 0 -1 1077944320 78746 0 0 0 15902 138 0 0 20 0 28 0 421133587 29458767872 489667 33554432000 4194304 4196468 140725046677696 140725046660240 140490465103607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 /proc/26663/statm: 7192082 489667 3530 1 0 7153184 0 [pid=26663/tid=26664] ppid=26661 vsize=28768328 memory=8317482817917895235 CPUtime=1.41 cores=0-7 /proc/26663/task/26664/stat : 26664 (java) S 26661 26661 26253 0 -1 1077944384 9800 0 0 0 135 6 0 0 20 0 28 0 421133588 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490469344384 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26665] ppid=26661 vsize=28768328 memory=3028364 CPUtime=0.2 cores=0-7 /proc/26663/task/26665/stat : 26665 (java) S 26661 26661 26253 0 -1 1077944384 981 0 0 0 12 8 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490417723664 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26666] ppid=26661 vsize=28768328 memory=-3704326594973231466 CPUtime=0.2 cores=0-7 /proc/26663/task/26666/stat : 26666 (java) S 26661 26661 26253 0 -1 1077944384 311 0 0 0 12 8 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490416671120 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26667] ppid=26661 vsize=28768328 memory=-3123010188551861097 CPUtime=0.19 cores=0-7 /proc/26663/task/26667/stat : 26667 (java) S 26661 26661 26253 0 -1 1077944384 256 0 0 0 11 8 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490415618576 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26668] ppid=26661 vsize=28768328 memory=7684433386921362234 CPUtime=0.2 cores=0-7 /proc/26663/task/26668/stat : 26668 (java) S 26661 26661 26253 0 -1 1077944384 990 0 0 0 12 8 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490414566032 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26669] ppid=26661 vsize=28768328 memory=-7025448733113094249 CPUtime=0.18 cores=0-7 /proc/26663/task/26669/stat : 26669 (java) S 26661 26661 26253 0 -1 1077944384 271 0 0 0 10 8 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490413513488 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26670] ppid=26661 vsize=28768328 memory=-9033795734659767669 CPUtime=0.18 cores=0-7 /proc/26663/task/26670/stat : 26670 (java) S 26661 26661 26253 0 -1 1077944384 366 0 0 0 10 8 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490412460944 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26671] ppid=26661 vsize=28768328 memory=5495740422247797458 CPUtime=0.21 cores=0-7 /proc/26663/task/26671/stat : 26671 (java) S 26661 26661 26253 0 -1 1077944384 356 0 0 0 12 9 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490411408400 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26672] ppid=26661 vsize=28768328 memory=-3284643825843719562 CPUtime=0.2 cores=0-7 /proc/26663/task/26672/stat : 26672 (java) S 26661 26661 26253 0 -1 1077944384 258 0 0 0 12 8 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490410355856 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26673] ppid=26661 vsize=28768328 memory=-3833726747341067623 CPUtime=0.03 cores=0-7 /proc/26663/task/26673/stat : 26673 (java) S 26661 26661 26253 0 -1 1077944384 1991 0 0 0 2 1 0 0 20 0 28 0 421133590 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489062696944 140490465114754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26674] ppid=26661 vsize=28768328 memory=-2605811476043407915 CPUtime=0 cores=0-7 /proc/26663/task/26674/stat : 26674 (java) S 26661 26661 26253 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 421133591 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489061643232 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26675] ppid=26661 vsize=28768328 memory=-2748367524519556131 CPUtime=0 cores=0-7 /proc/26663/task/26675/stat : 26675 (java) S 26661 26661 26253 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 421133591 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489060590592 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26676] ppid=26661 vsize=28768328 memory=4240 CPUtime=0 cores=0-7 /proc/26663/task/26676/stat : 26676 (java) S 26661 26661 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421133593 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489059539152 140490465122203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26677] ppid=26661 vsize=28768328 memory=1412 CPUtime=3.81 cores=0-7 /proc/26663/task/26677/stat : 26677 (java) S 26661 26661 26253 0 -1 1077944384 17470 0 0 0 377 4 0 0 20 0 28 0 421133593 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489058486768 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26678] ppid=26661 vsize=28768328 memory=3256 CPUtime=3.91 cores=0-7 /proc/26663/task/26678/stat : 26678 (java) S 26661 26661 26253 0 -1 1077944384 16455 0 0 0 388 3 0 0 20 0 28 0 421133593 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489057434224 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26679] ppid=26661 vsize=28768328 memory=1452 CPUtime=3.74 cores=0-7 /proc/26663/task/26679/stat : 26679 (java) S 26661 26661 26253 0 -1 1077944384 10895 0 0 0 372 2 0 0 20 0 28 0 421133593 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489056381680 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26680] ppid=26661 vsize=28768328 memory=1452 CPUtime=1.17 cores=0-7 /proc/26663/task/26680/stat : 26680 (java) S 26661 26661 26253 0 -1 1077944384 6471 0 0 0 115 2 0 0 20 0 28 0 421133593 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489055329136 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26681] ppid=26661 vsize=28768328 memory=1958668 CPUtime=0 cores=0-7 /proc/26663/task/26681/stat : 26681 (java) S 26661 26661 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421133593 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489054275808 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26682] ppid=26661 vsize=28768328 memory=8317482817917895235 CPUtime=0.01 cores=0-7 /proc/26663/task/26682/stat : 26682 (java) S 26661 26661 26253 0 -1 1077944384 911 0 0 0 0 1 0 0 20 0 28 0 421133594 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489053223344 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26731] ppid=26661 vsize=28768328 memory=1 CPUtime=13.36 cores=0-7 /proc/26663/task/26731/stat : 26731 (java) S 26661 26661 26253 0 -1 1077944384 427 0 0 0 1335 1 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488967896576 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26732] ppid=26661 vsize=28768328 memory=6791534058613427641 CPUtime=13.44 cores=0-7 /proc/26663/task/26732/stat : 26732 (java) S 26661 26661 26253 0 -1 1077944384 287 0 0 0 1344 0 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488974214224 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26733] ppid=26661 vsize=28768328 memory=12020 CPUtime=48.8 cores=0-7 /proc/26663/task/26733/stat : 26733 (java) R 26661 26661 26253 0 -1 4202560 4055 0 0 0 4864 16 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488972103752 140490078294833 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26734] ppid=26661 vsize=28768328 memory=496 CPUtime=13.43 cores=0-7 /proc/26663/task/26734/stat : 26734 (java) S 26661 26661 26253 0 -1 1077944384 1195 0 0 0 1331 12 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488973161808 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26735] ppid=26661 vsize=28768328 memory=1560 CPUtime=13.56 cores=0-7 /proc/26663/task/26735/stat : 26735 (java) S 26661 26661 26253 0 -1 1077944384 553 0 0 0 1354 2 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488971056592 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26736] ppid=26661 vsize=28768328 memory=928 CPUtime=13.27 cores=0-7 /proc/26663/task/26736/stat : 26736 (java) S 26661 26661 26253 0 -1 1077944384 624 0 0 0 1326 1 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488968951376 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26737] ppid=26661 vsize=28768328 memory=1680 CPUtime=13.77 cores=0-7 /proc/26663/task/26737/stat : 26737 (java) S 26661 26661 26253 0 -1 1077944384 529 0 0 0 1374 3 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488966845136 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26738] ppid=26661 vsize=28768328 memory=1444 CPUtime=13.97 cores=0-7 /proc/26663/task/26738/stat : 26738 (java) S 26661 26661 26253 0 -1 1077944384 767 0 0 0 1390 7 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488970003280 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 Current children cumulated CPU time: 160.4 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1960120 KiB [startup+52.2011 s] /proc/loadavg: 4.09 5.93 6.75 2/219 26741 /proc/meminfo: memFree=29102660/32770624 swapFree=66923244/67108860 [pid=26661] ppid=26658 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26661/stat : 26661 (xcsp3-exec) S 26658 26661 26253 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421133587 115843072 363 33554432000 4194304 5098028 140735800308496 140735800306600 140175816229500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25804800 140735800312693 140735800312937 140735800312937 140735800315850 0 /proc/26661/statm: 28282 363 304 221 0 87 0 [pid=26663] ppid=26661 vsize=28768328 memory=1958668 CPUtime=160.59 cores=0-7 /proc/26663/stat : 26663 (java) S 26661 26661 26253 0 -1 1077944320 78746 0 0 0 15921 138 0 0 20 0 28 0 421133587 29458767872 489667 33554432000 4194304 4196468 140725046677696 140725046660240 140490465103607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 /proc/26663/statm: 7192082 489667 3530 1 0 7153184 0 [pid=26663/tid=26664] ppid=26661 vsize=28768328 memory=7012227114101989735 CPUtime=1.41 cores=0-7 /proc/26663/task/26664/stat : 26664 (java) S 26661 26661 26253 0 -1 1077944384 9800 0 0 0 135 6 0 0 20 0 28 0 421133588 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490469344384 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26665] ppid=26661 vsize=28768328 memory=1958668 CPUtime=0.2 cores=0-7 /proc/26663/task/26665/stat : 26665 (java) S 26661 26661 26253 0 -1 1077944384 981 0 0 0 12 8 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490417723664 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26666] ppid=26661 vsize=28768328 memory=288230574492221466 CPUtime=0.2 cores=0-7 /proc/26663/task/26666/stat : 26666 (java) S 26661 26661 26253 0 -1 1077944384 311 0 0 0 12 8 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490416671120 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26667] ppid=26661 vsize=28768328 memory=288230596050944315 CPUtime=0.19 cores=0-7 /proc/26663/task/26667/stat : 26667 (java) S 26661 26661 26253 0 -1 1077944384 256 0 0 0 11 8 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490415618576 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26668] ppid=26661 vsize=28768328 memory=14981065810905736 CPUtime=0.2 cores=0-7 /proc/26663/task/26668/stat : 26668 (java) S 26661 26661 26253 0 -1 1077944384 990 0 0 0 12 8 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490414566032 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26669] ppid=26661 vsize=28768328 memory=7144 CPUtime=0.18 cores=0-7 /proc/26663/task/26669/stat : 26669 (java) S 26661 26661 26253 0 -1 1077944384 271 0 0 0 10 8 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490413513488 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26670] ppid=26661 vsize=28768328 memory=2120 CPUtime=0.18 cores=0-7 /proc/26663/task/26670/stat : 26670 (java) S 26661 26661 26253 0 -1 1077944384 366 0 0 0 10 8 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490412460944 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26671] ppid=26661 vsize=28768328 memory=12020 CPUtime=0.21 cores=0-7 /proc/26663/task/26671/stat : 26671 (java) S 26661 26661 26253 0 -1 1077944384 356 0 0 0 12 9 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490411408400 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26672] ppid=26661 vsize=28768328 memory=496 CPUtime=0.2 cores=0-7 /proc/26663/task/26672/stat : 26672 (java) S 26661 26661 26253 0 -1 1077944384 258 0 0 0 12 8 0 0 20 0 28 0 421133589 29458767872 489667 33554432000 4194304 4196468 140725046677696 140490410355856 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26673] ppid=26661 vsize=28768328 memory=1560 CPUtime=0.03 cores=0-7 /proc/26663/task/26673/stat : 26673 (java) S 26661 26661 26253 0 -1 1077944384 1991 0 0 0 2 1 0 0 20 0 28 0 421133590 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489062696944 140490465114754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26674] ppid=26661 vsize=28768328 memory=22113 CPUtime=0 cores=0-7 /proc/26663/task/26674/stat : 26674 (java) S 26661 26661 26253 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 421133591 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489061643232 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26675] ppid=26661 vsize=28768328 memory=4420 CPUtime=0 cores=0-7 /proc/26663/task/26675/stat : 26675 (java) S 26661 26661 26253 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 421133591 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489060590592 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26676] ppid=26661 vsize=28768328 memory=6628 CPUtime=0 cores=0-7 /proc/26663/task/26676/stat : 26676 (java) S 26661 26661 26253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421133593 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489059539152 140490465122203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26677] ppid=26661 vsize=28768328 memory=8836 CPUtime=3.81 cores=0-7 /proc/26663/task/26677/stat : 26677 (java) S 26661 26661 26253 0 -1 1077944384 17470 0 0 0 377 4 0 0 20 0 28 0 421133593 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489058486768 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26678] ppid=26661 vsize=28768328 memory=11044 CPUtime=3.91 cores=0-7 /proc/26663/task/26678/stat : 26678 (java) S 26661 26661 26253 0 -1 1077944384 16455 0 0 0 388 3 0 0 20 0 28 0 421133593 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489057434224 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26679] ppid=26661 vsize=28768328 memory=13252 CPUtime=3.74 cores=0-7 /proc/26663/task/26679/stat : 26679 (java) S 26661 26661 26253 0 -1 1077944384 10895 0 0 0 372 2 0 0 20 0 28 0 421133593 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489056381680 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26680] ppid=26661 vsize=28768328 memory=229643311435994 CPUtime=1.17 cores=0-7 /proc/26663/task/26680/stat : 26680 (java) S 26661 26661 26253 0 -1 1077944384 6471 0 0 0 115 2 0 0 20 0 28 0 421133593 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489055329136 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26681] ppid=26661 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/26663/task/26681/stat : 26681 (java) S 26661 26661 26253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421133593 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489054275808 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26682] ppid=26661 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7 /proc/26663/task/26682/stat : 26682 (java) S 26661 26661 26253 0 -1 1077944384 911 0 0 0 0 1 0 0 20 0 28 0 421133594 29458767872 489667 33554432000 4194304 4196468 140725046677696 140489053223344 140490465114754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26731] ppid=26661 vsize=28768328 memory=0 CPUtime=13.36 cores=0-7 /proc/26663/task/26731/stat : 26731 (java) S 26661 26661 26253 0 -1 1077944384 427 0 0 0 1335 1 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488967896576 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26732] ppid=26661 vsize=28768328 memory=0 CPUtime=13.44 cores=0-7 /proc/26663/task/26732/stat : 26732 (java) S 26661 26661 26253 0 -1 1077944384 287 0 0 0 1344 0 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488974214224 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26733] ppid=26661 vsize=28768328 memory=0 CPUtime=49 cores=0-7 /proc/26663/task/26733/stat : 26733 (java) R 26661 26661 26253 0 -1 4202560 4055 0 0 0 4884 16 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488972103752 140490078295491 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26734] ppid=26661 vsize=28768328 memory=0 CPUtime=13.43 cores=0-7 /proc/26663/task/26734/stat : 26734 (java) S 26661 26661 26253 0 -1 1077944384 1195 0 0 0 1331 12 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488973161808 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26735] ppid=26661 vsize=28768328 memory=0 CPUtime=13.56 cores=0-7 /proc/26663/task/26735/stat : 26735 (java) S 26661 26661 26253 0 -1 1077944384 553 0 0 0 1354 2 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488971056592 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26736] ppid=26661 vsize=28768328 memory=0 CPUtime=13.27 cores=0-7 /proc/26663/task/26736/stat : 26736 (java) S 26661 26661 26253 0 -1 1077944384 624 0 0 0 1326 1 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488968951376 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26737] ppid=26661 vsize=28768328 memory=0 CPUtime=13.77 cores=0-7 /proc/26663/task/26737/stat : 26737 (java) S 26661 26661 26253 0 -1 1077944384 529 0 0 0 1374 3 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488966845136 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 [pid=26663/tid=26738] ppid=26661 vsize=28768328 memory=0 CPUtime=13.97 cores=0-7 /proc/26663/task/26738/stat : 26738 (java) S 26661 26661 26253 0 -1 1077944384 767 0 0 0 1390 7 0 0 20 0 28 0 421133757 29458767872 489667 33554432000 4194304 4196468 140725046677696 140488970003280 140490465113813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10444800 140725046686698 140725046686870 140725046686870 140725046689743 0 Current children cumulated CPU time: 160.59 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1960120 KiB Child status: 0 Real time (s): 52.2648 CPU time (s): 160.708 CPU user time (s): 159.298 CPU system time (s): 1.41034 CPU usage (%): 307.489 Max. virtual memory (cumulated for all children) (KiB): 28883960 Max. memory (cumulated for all children) (KiB): 1960120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 159.298 system time used= 1.41034 maximum resident set size= 1958720 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82620 page faults= 0 swaps= 0 block input operations= 0 block output operations= 208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10462 involuntary context switches= 2256 # summary of solver processes directly reported to runsolver: # pid: 26661 # total CPU time (s): 160.708 # total CPU user time (s): 159.298 # total CPU system time (s): 1.41034 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.580446 second user time and 0.447632 second system time The end
Begin job on node107 at 2019-09-14 09:10:59 IDJOB=4393883 IDBENCH=141484 IDSOLVER=2841 FILE ID=node107/4393883-1568448776 RUNJOBID= node107-1568445045-26280 PBS_JOBID= 21702360 Free space on /tmp= 59040 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-07_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393883-1568448776/watcher-4393883-1568448776 -o /tmp/evaluation-result-4393883-1568448776/solver-4393883-1568448776 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568445045-26280 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1003805134 HOME/instance-4393883-1568448776.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 93689e7972bcd89c8c0248fcf1fc8ef9 RANDOM SEED=1003805134 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 31052016 kB MemAvailable: 31828436 kB Buffers: 182396 kB Cached: 865888 kB SwapCached: 78904 kB Active: 573812 kB Inactive: 554896 kB Active(anon): 10596 kB Inactive(anon): 101264 kB Active(file): 563216 kB Inactive(file): 453632 kB Unevictable: 109964 kB Mlocked: 109964 kB SwapTotal: 67108860 kB SwapFree: 66923244 kB Dirty: 26268 kB Writeback: 12 kB AnonPages: 112312 kB Mapped: 35380 kB Shmem: 22952 kB Slab: 179812 kB SReclaimable: 150812 kB SUnreclaim: 29000 kB KernelStack: 3472 kB PageTables: 4644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489252 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 59012 MiB End job on node107 at 2019-09-14 09:11:52