Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | OPT | 15 | 11.2374 | 1.9988199 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml |
MD5SUM | bc2f8d4b91081a5d55245e328f9be905 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 15 |
Best CPU time to get the best result obtained on this benchmark | 1.9211299 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 239 |
Number of constraints | 133 |
Number of domains | 29 |
Minimum domain size | 2 |
Maximum domain size | 29 |
Distribution of domain sizes | [{"size":2,"count":121},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":17,"count":1},{"size":19,"count":1},{"size":21,"count":1},{"size":23,"count":1},{"size":25,"count":1},{"size":27,"count":1},{"size":29,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":0,"count":91},{"degree":2,"count":133},{"degree":14,"count":15}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":2,"count":15},{"arity":3,"count":106},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 119 |
Distribution of constraint types | [{"type":"intension","count":119},{"type":"sum","count":14}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271600-1502643323.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271600-1502643323.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 1.67/0.75 c solve instance... 1.67/0.79 o 1015 2.20/0.80 o 651 2.20/0.80 o 607 2.20/0.82 o 435 2.20/0.83 o 391 2.20/0.83 o 355 2.20/0.83 o 335 2.20/0.83 o 71 2.20/0.84 o 63 2.20/0.86 o 43 2.20/0.88 o 39 2.20/0.90 o 35 2.83/0.91 o 23 2.83/0.94 o 15 10.58/1.98 s OPTIMUM FOUND 10.58/1.98 v <instantiation> 10.58/1.98 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] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[10][0] y[10][1] y[10][2] y[10][3] y[11][0] y[11][1] y[11][2] y[12][0] y[12][1] y[13][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] </list> 10.58/1.98 v <values>-1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 0 -1 0 3 0 -1 0 -1 0 -1 0 -1 0 -1 0 1 0 9 0 1 0 1 0 1 0 1 0 1 </values> 10.58/1.98 v </instantiation>
OK 15
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 (12299 MiB free) memory of node 1: 16384 MiB (13586 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271600-1502643323/watcher-4271600-1502643323 -o /tmp/evaluation-result-4271600-1502643323/solver-4271600-1502643323 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 939750577 HOME/instance-4271600-1502643323.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=22777, runsolver pid=22774 [startup+0.100815 s]* /proc/loadavg: 6.80 5.42 5.68 2/199 22798 /proc/meminfo: memFree=26492312/32770624 swapFree=67108860/67108860 [pid=22777] ppid=22774 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22777/stat : 22777 (xcsp3-exec) S 22774 22777 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97403923 9740288 346 33554432000 4194304 5098028 140728623204064 140728623202168 140710130348668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29863936 140728623207531 140728623207740 140728623207740 140728623210475 0 /proc/22777/statm: 2378 346 289 221 0 87 0 [pid=22779] ppid=22777 vsize=25999808 memory=26204 CPUtime=0.12 cores=0-7 /proc/22779/stat : 22779 (java) S 22777 22777 6764 0 -1 1077944320 5490 0 0 0 11 1 0 0 20 0 20 0 97403923 26623803392 6551 33554432000 4194304 4196468 140720379038272 140720379020816 139830850273015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 /proc/22779/statm: 6499952 6551 2848 1 0 6488269 0 [pid=22779/tid=22780] ppid=22777 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/22779/task/22780/stat : 22780 (java) R 22777 22777 6764 0 -1 4202560 3479 0 0 0 8 0 0 0 20 0 20 0 97403923 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830854505280 139830850284950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22781] ppid=22777 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/22779/task/22781/stat : 22781 (java) S 22777 22777 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97403924 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830802893584 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22782] ppid=22777 vsize=25999808 memory=140126211155584 CPUtime=0 cores=0-7 /proc/22779/task/22782/stat : 22782 (java) S 22777 22777 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97403924 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830801841040 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22783] ppid=22777 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22783/stat : 22783 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403924 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830800788496 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22784] ppid=22777 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22784/stat : 22784 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403924 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830799735952 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22785] ppid=22777 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22785/stat : 22785 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403924 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830798682384 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22786] ppid=22777 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/22779/task/22786/stat : 22786 (java) S 22777 22777 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97403924 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830797629840 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22787] ppid=22777 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22787/stat : 22787 (java) S 22777 22777 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97403924 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830796577296 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22788] ppid=22777 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22788/stat : 22788 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403924 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830795524752 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22789] ppid=22777 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22789/stat : 22789 (java) S 22777 22777 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97403925 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830111828464 139830850284162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22790] ppid=22777 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22790/stat : 22790 (java) S 22777 22777 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97403926 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830110774688 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22791] ppid=22777 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22791/stat : 22791 (java) S 22777 22777 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97403926 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830042289648 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22792] ppid=22777 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22792/stat : 22792 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403928 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830041238224 139830850291611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22793] ppid=22777 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22793/stat : 22793 (java) S 22777 22777 6764 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 97403928 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830040184816 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22794] ppid=22777 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22794/stat : 22794 (java) S 22777 22777 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97403928 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830039132272 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22795] ppid=22777 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22795/stat : 22795 (java) S 22777 22777 6764 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97403928 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830038079728 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22796] ppid=22777 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/22779/task/22796/stat : 22796 (java) R 22777 22777 6764 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 20 0 97403928 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830037027184 139830830095641 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22797] ppid=22777 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22797/stat : 22797 (java) S 22777 22777 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97403929 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830035974880 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22798] ppid=22777 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/22779/task/22798/stat : 22798 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403929 26623803392 6616 33554432000 4194304 4196468 140720379038272 139830034922416 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27588 KiB [startup+0.210409 s]* /proc/loadavg: 6.80 5.42 5.68 2/199 22798 /proc/meminfo: memFree=26481256/32770624 swapFree=67108860/67108860 [pid=22777] ppid=22774 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22777/stat : 22777 (xcsp3-exec) S 22774 22777 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97403923 9740288 346 33554432000 4194304 5098028 140728623204064 140728623202168 140710130348668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29863936 140728623207531 140728623207740 140728623207740 140728623210475 0 /proc/22777/statm: 2378 346 289 221 0 87 0 [pid=22779] ppid=22777 vsize=26004064 memory=38780 CPUtime=0.33 cores=0-7 /proc/22779/stat : 22779 (java) S 22777 22777 6764 0 -1 1077944320 8250 0 0 0 31 2 0 0 20 0 20 0 97403923 26628161536 9695 33554432000 4194304 4196468 140720379038272 140720379020816 139830850273015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 /proc/22779/statm: 6501016 9695 3047 1 0 6488269 0 [pid=22779/tid=22780] ppid=22777 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/22779/task/22780/stat : 22780 (java) R 22777 22777 6764 0 -1 4202560 5385 0 0 0 18 1 0 0 20 0 20 0 97403923 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830854487248 139830834353502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22781] ppid=22777 vsize=26004064 memory=329 CPUtime=0 cores=0-7 /proc/22779/task/22781/stat : 22781 (java) S 22777 22777 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830802893584 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22782] ppid=22777 vsize=26004064 memory=288370502362867328 CPUtime=0 cores=0-7 /proc/22779/task/22782/stat : 22782 (java) S 22777 22777 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830801841040 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22783] ppid=22777 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/22779/task/22783/stat : 22783 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830800788496 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22784] ppid=22777 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22784/stat : 22784 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830799735952 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22785] ppid=22777 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22785/stat : 22785 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830798682384 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22786] ppid=22777 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/22779/task/22786/stat : 22786 (java) S 22777 22777 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830797629840 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22787] ppid=22777 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22787/stat : 22787 (java) S 22777 22777 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830796577296 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22788] ppid=22777 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22788/stat : 22788 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830795524752 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22789] ppid=22777 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22789/stat : 22789 (java) S 22777 22777 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97403925 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830111828464 139830850284162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22790] ppid=22777 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22790/stat : 22790 (java) S 22777 22777 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97403926 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830110774688 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22791] ppid=22777 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22791/stat : 22791 (java) S 22777 22777 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97403926 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830042289648 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22792] ppid=22777 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22792/stat : 22792 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403928 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830041238224 139830850291611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22793] ppid=22777 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/22779/task/22793/stat : 22793 (java) S 22777 22777 6764 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 20 0 97403928 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830040184816 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22794] ppid=22777 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/22779/task/22794/stat : 22794 (java) S 22777 22777 6764 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 20 0 97403928 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830039132272 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22795] ppid=22777 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/22779/task/22795/stat : 22795 (java) S 22777 22777 6764 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 20 0 97403928 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830038079728 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22796] ppid=22777 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/22779/task/22796/stat : 22796 (java) R 22777 22777 6764 0 -1 4202560 749 0 0 0 7 0 0 0 20 0 20 0 97403928 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830037024720 139830850284950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22797] ppid=22777 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22797/stat : 22797 (java) S 22777 22777 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97403929 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830035974880 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22798] ppid=22777 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/22779/task/22798/stat : 22798 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403929 26628161536 9695 33554432000 4194304 4196468 140720379038272 139830034922416 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40164 KiB [startup+0.310215 s]* /proc/loadavg: 6.80 5.42 5.68 3/199 22798 /proc/meminfo: memFree=26476480/32770624 swapFree=67108860/67108860 [pid=22777] ppid=22774 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22777/stat : 22777 (xcsp3-exec) S 22774 22777 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97403923 9740288 346 33554432000 4194304 5098028 140728623204064 140728623202168 140710130348668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29863936 140728623207531 140728623207740 140728623207740 140728623210475 0 /proc/22777/statm: 2378 346 289 221 0 87 0 [pid=22779] ppid=22777 vsize=26004064 memory=46160 CPUtime=0.5 cores=0-7 /proc/22779/stat : 22779 (java) S 22777 22777 6764 0 -1 1077944320 9226 0 0 0 47 3 0 0 20 0 20 0 97403923 26628161536 11540 33554432000 4194304 4196468 140720379038272 140720379020816 139830850273015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 /proc/22779/statm: 6501016 11540 3085 1 0 6488269 0 [pid=22779/tid=22780] ppid=22777 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/22779/task/22780/stat : 22780 (java) R 22777 22777 6764 0 -1 4202560 6096 0 0 0 27 2 0 0 20 0 20 0 97403923 26628161536 11540 33554432000 4194304 4196468 140720379038272 139830854499248 139830834353502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22781] ppid=22777 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22781/stat : 22781 (java) S 22777 22777 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 11540 33554432000 4194304 4196468 140720379038272 139830802893584 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22782] ppid=22777 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22782/stat : 22782 (java) S 22777 22777 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 11540 33554432000 4194304 4196468 140720379038272 139830801841040 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22783] ppid=22777 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22783/stat : 22783 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 11540 33554432000 4194304 4196468 140720379038272 139830800788496 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22784] ppid=22777 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22784/stat : 22784 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 11540 33554432000 4194304 4196468 140720379038272 139830799735952 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22785] ppid=22777 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/22779/task/22785/stat : 22785 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 11540 33554432000 4194304 4196468 140720379038272 139830798682384 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22786] ppid=22777 vsize=26004064 memory=140126059590575 CPUtime=0 cores=0-7 /proc/22779/task/22786/stat : 22786 (java) S 22777 22777 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 11540 33554432000 4194304 4196468 140720379038272 139830797629840 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22787] ppid=22777 vsize=26004064 memory=140126059592880 CPUtime=0 cores=0-7 /proc/22779/task/22787/stat : 22787 (java) S 22777 22777 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 11540 33554432000 4194304 4196468 140720379038272 139830796577296 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22788] ppid=22777 vsize=26004064 memory=140126059595184 CPUtime=0 cores=0-7 /proc/22779/task/22788/stat : 22788 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403924 26628161536 11540 33554432000 4194304 4196468 140720379038272 139830795524752 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22789] ppid=22777 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22789/stat : 22789 (java) S 22777 22777 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97403925 26628161536 11540 33554432000 4194304 4196468 140720379038272 139830111828464 139830850284162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22790] ppid=22777 vsize=26004064 memory=280252119197328 CPUtime=0 cores=0-7 /proc/22779/task/22790/stat : 22790 (java) S 22777 22777 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97403926 26628161536 11540 33554432000 4194304 4196468 140720379038272 139830110774688 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22791] ppid=22777 vsize=26004064 memory=280252119204240 CPUtime=0 cores=0-7 /proc/22779/task/22791/stat : 22791 (java) S 22777 22777 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97403926 26628161536 11540 33554432000 4194304 4196468 140720379038272 139830042289648 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22792] ppid=22777 vsize=26004064 memory=280252119145520 CPUtime=0 cores=0-7 /proc/22779/task/22792/stat : 22792 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403928 26628161536 11540 33554432000 4194304 4196468 140720379038272 139830041238224 139830850291611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22793] ppid=22777 vsize=26004064 memory=280252119218064 CPUtime=0.02 cores=0-7 /proc/22779/task/22793/stat : 22793 (java) S 22777 22777 6764 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 20 0 97403928 26628161536 11540 33554432000 4194304 4196468 140720379038272 139830040184816 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22794] ppid=22777 vsize=26004064 memory=280252119224976 CPUtime=0.02 cores=0-7 /proc/22779/task/22794/stat : 22794 (java) S 22777 22777 6764 0 -1 1077944384 242 0 0 0 2 0 0 0 20 0 20 0 97403928 26628161536 11604 33554432000 4194304 4196468 140720379038272 139830039132272 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22795] ppid=22777 vsize=26004064 memory=280252119222672 CPUtime=0.01 cores=0-7 /proc/22779/task/22795/stat : 22795 (java) S 22777 22777 6764 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 20 0 97403928 26628161536 11604 33554432000 4194304 4196468 140720379038272 139830038079728 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22796] ppid=22777 vsize=26004064 memory=280252119238832 CPUtime=0.12 cores=0-7 /proc/22779/task/22796/stat : 22796 (java) S 22777 22777 6764 0 -1 1077944384 905 0 0 0 12 0 0 0 20 0 20 0 97403928 26628161536 11604 33554432000 4194304 4196468 140720379038272 139830037027184 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22797] ppid=22777 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22797/stat : 22797 (java) S 22777 22777 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97403929 26628161536 11604 33554432000 4194304 4196468 140720379038272 139830035974880 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22798] ppid=22777 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/22779/task/22798/stat : 22798 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403929 26628161536 11604 33554432000 4194304 4196468 140720379038272 139830034922416 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47544 KiB [startup+0.700974 s] /proc/loadavg: 6.80 5.42 5.68 3/199 22798 /proc/meminfo: memFree=26457536/32770624 swapFree=67108860/67108860 [pid=22777] ppid=22774 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22777/stat : 22777 (xcsp3-exec) S 22774 22777 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97403923 9740288 346 33554432000 4194304 5098028 140728623204064 140728623202168 140710130348668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29863936 140728623207531 140728623207740 140728623207740 140728623210475 0 /proc/22777/statm: 2378 346 289 221 0 87 0 [pid=22779] ppid=22777 vsize=26006188 memory=90520 CPUtime=1.67 cores=0-7 /proc/22779/stat : 22779 (java) S 22777 22777 6764 0 -1 1077944320 13272 0 0 0 161 6 0 0 20 0 20 0 97403923 26630336512 22630 33554432000 4194304 4196468 140720379038272 140720379020816 139830850273015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 /proc/22779/statm: 6501547 22630 3205 1 0 6488781 0 [pid=22779/tid=22780] ppid=22777 vsize=26006188 memory=280252119596720 CPUtime=0.67 cores=0-7 /proc/22779/task/22780/stat : 22780 (java) R 22777 22777 6764 0 -1 4202560 6903 0 0 0 64 3 0 0 20 0 20 0 97403923 26630336512 22630 33554432000 4194304 4196468 140720379038272 139830854509472 139830464819899 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22781] ppid=22777 vsize=26006188 memory=140126059799408 CPUtime=0 cores=0-7 /proc/22779/task/22781/stat : 22781 (java) S 22777 22777 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97403924 26630336512 22630 33554432000 4194304 4196468 140720379038272 139830802893584 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22782] ppid=22777 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22782/stat : 22782 (java) S 22777 22777 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97403924 26630336512 22630 33554432000 4194304 4196468 140720379038272 139830801841040 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22783] ppid=22777 vsize=26006188 memory=1428 CPUtime=0 cores=0-7 /proc/22779/task/22783/stat : 22783 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97403924 26630336512 22630 33554432000 4194304 4196468 140720379038272 139830800788496 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 ################ # More data... # ################ [pid=22779/tid=22796] ppid=22777 vsize=26540748 memory=15876 CPUtime=0.68 cores=0-7 /proc/22779/task/22796/stat : 22796 (java) R 22777 22777 6764 0 -1 1077944384 2882 0 0 0 67 1 0 0 20 0 28 0 97403928 27177725952 48574 33554432000 4194304 4196468 140720379038272 139830037027184 139830850284162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22797] ppid=22777 vsize=26540748 memory=15780 CPUtime=0 cores=0-7 /proc/22779/task/22797/stat : 22797 (java) S 22777 22777 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97403929 27177725952 48574 33554432000 4194304 4196468 140720379038272 139830035974880 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22798] ppid=22777 vsize=26540748 memory=16432 CPUtime=0 cores=0-7 /proc/22779/task/22798/stat : 22798 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97403929 27177725952 48574 33554432000 4194304 4196468 140720379038272 139830034922416 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22911] ppid=22777 vsize=26540748 memory=4040 CPUtime=0.53 cores=0-7 /proc/22779/task/22911/stat : 22911 (java) R 22777 22777 6764 0 -1 4202560 19 0 0 0 53 0 0 0 20 0 28 0 97404017 27177725952 48574 33554432000 4194304 4196468 140720379038272 139830024806264 139830465159296 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22912] ppid=22777 vsize=26540748 memory=1792 CPUtime=0.53 cores=0-7 /proc/22779/task/22912/stat : 22912 (java) R 22777 22777 6764 0 -1 4202560 19 0 0 0 53 0 0 0 20 0 28 0 97404017 27177725952 48574 33554432000 4194304 4196468 140720379038272 139830023754328 139830468903209 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22913] ppid=22777 vsize=26540748 memory=6382321403058 CPUtime=0.47 cores=0-7 /proc/22779/task/22913/stat : 22913 (java) R 22777 22777 6764 0 -1 4202560 17 0 0 0 47 0 0 0 20 0 28 0 97404017 27177725952 48574 33554432000 4194304 4196468 140720379038272 139830021649272 139830462064544 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22914] ppid=22777 vsize=26540748 memory=288230621803970871 CPUtime=0.43 cores=0-7 /proc/22779/task/22914/stat : 22914 (java) R 22777 22777 6764 0 -1 4202560 38 0 0 0 43 0 0 0 20 0 28 0 97404017 27177725952 48574 33554432000 4194304 4196468 140720379038272 139830019543528 139830467880104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22915] ppid=22777 vsize=26540748 memory=14691881367898539 CPUtime=0.45 cores=0-7 /proc/22779/task/22915/stat : 22915 (java) R 22777 22777 6764 0 -1 4202560 49 0 0 0 45 0 0 0 20 0 28 0 97404017 27177725952 48574 33554432000 4194304 4196468 140720379038272 139830026912760 139830468060741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22916] ppid=22777 vsize=26540748 memory=0 CPUtime=0.5 cores=0-7 /proc/22779/task/22916/stat : 22916 (java) R 22777 22777 6764 0 -1 4202560 17 0 0 0 50 0 0 0 20 0 28 0 97404017 27177725952 48574 33554432000 4194304 4196468 140720379038272 139830025859032 139830467764895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22917] ppid=22777 vsize=26540748 memory=0 CPUtime=0.37 cores=0-7 /proc/22779/task/22917/stat : 22917 (java) R 22777 22777 6764 0 -1 4202560 17 0 0 0 37 0 0 0 20 0 28 0 97404017 27177725952 48574 33554432000 4194304 4196468 140720379038272 139830022703624 139830469278191 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22918] ppid=22777 vsize=26540748 memory=6944656575208382560 CPUtime=0.4 cores=0-7 /proc/22779/task/22918/stat : 22918 (java) R 22777 22777 6764 0 -1 4202560 19 0 0 0 40 0 0 0 20 0 28 0 97404019 27177725952 48574 33554432000 4194304 4196468 140720379038272 139830020595888 139830467365452 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 Current children cumulated CPU time: 8.25 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 195680 KiB [startup+1.80172 s] /proc/loadavg: 6.65 5.42 5.68 8/207 22918 /proc/meminfo: memFree=26332684/32770624 swapFree=67108860/67108860 [pid=22777] ppid=22774 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22777/stat : 22777 (xcsp3-exec) S 22774 22777 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97403923 9740288 346 33554432000 4194304 5098028 140728623204064 140728623202168 140710130348668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29863936 140728623207531 140728623207740 140728623207740 140728623210475 0 /proc/22777/statm: 2378 346 289 221 0 87 0 [pid=22779] ppid=22777 vsize=26540748 memory=198020 CPUtime=9.8 cores=0-7 /proc/22779/stat : 22779 (java) S 22777 22777 6764 0 -1 1077944320 20805 0 0 0 968 12 0 0 20 0 28 0 97403923 27177725952 49505 33554432000 4194304 4196468 140720379038272 140720379020816 139830850273015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 /proc/22779/statm: 6635187 49505 3263 1 0 6622421 0 [pid=22779/tid=22780] ppid=22777 vsize=26540748 memory=8028674168966910323 CPUtime=0.74 cores=0-7 /proc/22779/task/22780/stat : 22780 (java) S 22777 22777 6764 0 -1 1077944384 7009 0 0 0 71 3 0 0 20 0 28 0 97403923 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830854513792 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22781] ppid=22777 vsize=26540748 memory=-7523660553960122769 CPUtime=0 cores=0-7 /proc/22779/task/22781/stat : 22781 (java) S 22777 22777 6764 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830802893584 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22782] ppid=22777 vsize=26540748 memory=-7965959130280075168 CPUtime=0 cores=0-7 /proc/22779/task/22782/stat : 22782 (java) S 22777 22777 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830801841040 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22783] ppid=22777 vsize=26540748 memory=2244 CPUtime=0 cores=0-7 /proc/22779/task/22783/stat : 22783 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830800788496 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22784] ppid=22777 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22784/stat : 22784 (java) S 22777 22777 6764 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830799735952 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22785] ppid=22777 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22785/stat : 22785 (java) S 22777 22777 6764 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830798682384 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22786] ppid=22777 vsize=26540748 memory=2241 CPUtime=0 cores=0-7 /proc/22779/task/22786/stat : 22786 (java) S 22777 22777 6764 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830797629840 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22787] ppid=22777 vsize=26540748 memory=2244 CPUtime=0 cores=0-7 /proc/22779/task/22787/stat : 22787 (java) S 22777 22777 6764 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830796577296 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22788] ppid=22777 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22788/stat : 22788 (java) S 22777 22777 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830795524752 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22789] ppid=22777 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22789/stat : 22789 (java) S 22777 22777 6764 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 97403925 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830111828464 139830850284162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22790] ppid=22777 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22790/stat : 22790 (java) S 22777 22777 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 97403926 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830110774688 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22791] ppid=22777 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22791/stat : 22791 (java) S 22777 22777 6764 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 97403926 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830042289648 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22792] ppid=22777 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22792/stat : 22792 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97403928 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830041238224 139830850291611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22793] ppid=22777 vsize=26540748 memory=0 CPUtime=1.03 cores=0-7 /proc/22779/task/22793/stat : 22793 (java) R 22777 22777 6764 0 -1 4202560 2486 0 0 0 102 1 0 0 20 0 28 0 97403928 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830040167648 139830850294362 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22794] ppid=22777 vsize=26540748 memory=0 CPUtime=0.98 cores=0-7 /proc/22779/task/22794/stat : 22794 (java) R 22777 22777 6764 0 -1 4202560 2739 0 0 0 97 1 0 0 20 0 28 0 97403928 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830039118816 139830850294362 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22795] ppid=22777 vsize=26540748 memory=0 CPUtime=0.85 cores=0-7 /proc/22779/task/22795/stat : 22795 (java) R 22777 22777 6764 0 -1 4202560 1823 0 0 0 85 0 0 0 20 0 28 0 97403928 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830038072920 139830850294362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22796] ppid=22777 vsize=26540748 memory=0 CPUtime=0.69 cores=0-7 /proc/22779/task/22796/stat : 22796 (java) S 22777 22777 6764 0 -1 1077944384 2909 0 0 0 68 1 0 0 20 0 28 0 97403928 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830037027184 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22797] ppid=22777 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22797/stat : 22797 (java) S 22777 22777 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97403929 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830035974880 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22798] ppid=22777 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22798/stat : 22798 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97403929 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830034922416 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22911] ppid=22777 vsize=26540748 memory=0 CPUtime=0.69 cores=0-7 /proc/22779/task/22911/stat : 22911 (java) R 22777 22777 6764 0 -1 4202560 20 0 0 0 69 0 0 0 20 0 28 0 97404017 27177725952 49505 33554432000 4194304 4196468 140720379038272 139830024806168 139830468293280 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22912] ppid=22777 vsize=26540748 memory=0 CPUtime=0.64 cores=0-7 /proc/22779/task/22912/stat : 22912 (java) R 22777 22777 6764 0 -1 4202560 20 0 0 0 64 0 0 0 20 0 28 0 97404017 27177725952 49560 33554432000 4194304 4196468 140720379038272 139830023753984 139830468903552 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22913] ppid=22777 vsize=26540748 memory=0 CPUtime=0.59 cores=0-7 /proc/22779/task/22913/stat : 22913 (java) R 22777 22777 6764 0 -1 4202560 18 0 0 0 59 0 0 0 20 0 28 0 97404017 27177725952 49560 33554432000 4194304 4196468 140720379038272 139830021649472 139830468323400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22914] ppid=22777 vsize=26540748 memory=0 CPUtime=0.53 cores=0-7 /proc/22779/task/22914/stat : 22914 (java) R 22777 22777 6764 0 -1 4202560 38 0 0 0 53 0 0 0 20 0 28 0 97404017 27177725952 49560 33554432000 4194304 4196468 140720379038272 139830019543808 139830469123228 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22915] ppid=22777 vsize=26540748 memory=0 CPUtime=0.61 cores=0-7 /proc/22779/task/22915/stat : 22915 (java) R 22777 22777 6764 0 -1 4202560 51 0 0 0 61 0 0 0 20 0 28 0 97404017 27177725952 49560 33554432000 4194304 4196468 140720379038272 139830026911464 139830465491140 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22916] ppid=22777 vsize=26540748 memory=0 CPUtime=0.66 cores=0-7 /proc/22779/task/22916/stat : 22916 (java) R 22777 22777 6764 0 -1 4202560 18 0 0 0 66 0 0 0 20 0 28 0 97404017 27177725952 49560 33554432000 4194304 4196468 140720379038272 139830025857736 139830465178164 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22917] ppid=22777 vsize=26540748 memory=0 CPUtime=0.53 cores=0-7 /proc/22779/task/22917/stat : 22917 (java) R 22777 22777 6764 0 -1 4202560 18 0 0 0 53 0 0 0 20 0 28 0 97404017 27177725952 49560 33554432000 4194304 4196468 140720379038272 139830022700600 139830469579520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22918] ppid=22777 vsize=26540748 memory=0 CPUtime=0.6 cores=0-7 /proc/22779/task/22918/stat : 22918 (java) R 22777 22777 6764 0 -1 4202560 20 0 0 0 60 0 0 0 20 0 28 0 97404019 27177725952 49560 33554432000 4194304 4196468 140720379038272 139830020595800 139830462170144 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 Current children cumulated CPU time: 9.8 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 199404 KiB [startup+1.90113 s] /proc/loadavg: 6.65 5.42 5.68 8/207 22918 /proc/meminfo: memFree=26332684/32770624 swapFree=67108860/67108860 [pid=22777] ppid=22774 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22777/stat : 22777 (xcsp3-exec) S 22774 22777 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97403923 9740288 346 33554432000 4194304 5098028 140728623204064 140728623202168 140710130348668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29863936 140728623207531 140728623207740 140728623207740 140728623210475 0 /proc/22777/statm: 2378 346 289 221 0 87 0 [pid=22779] ppid=22777 vsize=26540748 memory=199844 CPUtime=10.58 cores=0-7 /proc/22779/stat : 22779 (java) S 22777 22777 6764 0 -1 1077944320 21232 0 0 0 1046 12 0 0 20 0 28 0 97403923 27177725952 49961 33554432000 4194304 4196468 140720379038272 140720379020816 139830850273015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 /proc/22779/statm: 6635187 49961 3263 1 0 6622421 0 [pid=22779/tid=22780] ppid=22777 vsize=26540748 memory=50 CPUtime=0.74 cores=0-7 /proc/22779/task/22780/stat : 22780 (java) S 22777 22777 6764 0 -1 1077944384 7009 0 0 0 71 3 0 0 20 0 28 0 97403923 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830854513792 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22781] ppid=22777 vsize=26540748 memory=140130506122879 CPUtime=0 cores=0-7 /proc/22779/task/22781/stat : 22781 (java) S 22777 22777 6764 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830802893584 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22782] ppid=22777 vsize=26540748 memory=7584172137639210085 CPUtime=0 cores=0-7 /proc/22779/task/22782/stat : 22782 (java) S 22777 22777 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830801841040 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22783] ppid=22777 vsize=26540748 memory=7810763844726514514 CPUtime=0 cores=0-7 /proc/22779/task/22783/stat : 22783 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830800788496 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22784] ppid=22777 vsize=26540748 memory=56 CPUtime=0 cores=0-7 /proc/22779/task/22784/stat : 22784 (java) S 22777 22777 6764 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830799735952 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22785] ppid=22777 vsize=26540748 memory=12763 CPUtime=0 cores=0-7 /proc/22779/task/22785/stat : 22785 (java) S 22777 22777 6764 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830798682384 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22786] ppid=22777 vsize=26540748 memory=22317 CPUtime=0 cores=0-7 /proc/22779/task/22786/stat : 22786 (java) S 22777 22777 6764 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830797629840 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22787] ppid=22777 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22787/stat : 22787 (java) S 22777 22777 6764 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830796577296 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22788] ppid=22777 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22788/stat : 22788 (java) S 22777 22777 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 97403924 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830795524752 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22789] ppid=22777 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22789/stat : 22789 (java) S 22777 22777 6764 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 97403925 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830111828464 139830850284162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22790] ppid=22777 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/22779/task/22790/stat : 22790 (java) S 22777 22777 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 97403926 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830110774688 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22791] ppid=22777 vsize=26540748 memory=280252119870480 CPUtime=0 cores=0-7 /proc/22779/task/22791/stat : 22791 (java) S 22777 22777 6764 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 97403926 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830042289648 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22792] ppid=22777 vsize=26540748 memory=140126059936288 CPUtime=0 cores=0-7 /proc/22779/task/22792/stat : 22792 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97403928 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830041238224 139830850291611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22793] ppid=22777 vsize=26540748 memory=0 CPUtime=1.09 cores=0-7 /proc/22779/task/22793/stat : 22793 (java) R 22777 22777 6764 0 -1 4202560 2496 0 0 0 108 1 0 0 20 0 28 0 97403928 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830040174080 139830829928208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22794] ppid=22777 vsize=26540748 memory=0 CPUtime=1.06 cores=0-7 /proc/22779/task/22794/stat : 22794 (java) R 22777 22777 6764 0 -1 4202560 2760 0 0 0 105 1 0 0 20 0 28 0 97403928 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830039118496 139830835388049 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22795] ppid=22777 vsize=26540748 memory=0 CPUtime=0.92 cores=0-7 /proc/22779/task/22795/stat : 22795 (java) R 22777 22777 6764 0 -1 4202560 2214 0 0 0 92 0 0 0 20 0 28 0 97403928 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830038060744 139830831817242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22796] ppid=22777 vsize=26540748 memory=6944613755495348631 CPUtime=0.7 cores=0-7 /proc/22779/task/22796/stat : 22796 (java) R 22777 22777 6764 0 -1 1077944384 2911 0 0 0 69 1 0 0 20 0 28 0 97403928 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830037027184 139830850284162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22797] ppid=22777 vsize=26540748 memory=6933690317890819993 CPUtime=0 cores=0-7 /proc/22779/task/22797/stat : 22797 (java) S 22777 22777 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97403929 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830035974880 139830850283221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22798] ppid=22777 vsize=26540748 memory=4137290303932963203 CPUtime=0 cores=0-7 /proc/22779/task/22798/stat : 22798 (java) S 22777 22777 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97403929 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830034922416 139830850284162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22911] ppid=22777 vsize=26540748 memory=-7233780906022726806 CPUtime=0.73 cores=0-7 /proc/22779/task/22911/stat : 22911 (java) R 22777 22777 6764 0 -1 4202560 20 0 0 0 73 0 0 0 20 0 28 0 97404017 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830024805592 139830462863784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22912] ppid=22777 vsize=26540748 memory=280252118991088 CPUtime=0.7 cores=0-7 /proc/22779/task/22912/stat : 22912 (java) R 22777 22777 6764 0 -1 4202560 20 0 0 0 70 0 0 0 20 0 28 0 97404017 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830023754088 139830467879187 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22913] ppid=22777 vsize=26540748 memory=7091875719104059235 CPUtime=0.68 cores=0-7 /proc/22779/task/22913/stat : 22913 (java) R 22777 22777 6764 0 -1 4202560 18 0 0 0 68 0 0 0 20 0 28 0 97404017 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830021647912 139830469308763 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22914] ppid=22777 vsize=26540748 memory=140130506122879 CPUtime=0.58 cores=0-7 /proc/22779/task/22914/stat : 22914 (java) R 22777 22777 6764 0 -1 4202560 38 0 0 0 58 0 0 0 20 0 28 0 97404017 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830019542840 139830467878936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22915] ppid=22777 vsize=26540748 memory=7649399375759094322 CPUtime=0.71 cores=0-7 /proc/22779/task/22915/stat : 22915 (java) R 22777 22777 6764 0 -1 4202560 51 0 0 0 71 0 0 0 20 0 28 0 97404017 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830026911888 139830468387441 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22916] ppid=22777 vsize=26540748 memory=7649399380054061618 CPUtime=0.72 cores=0-7 /proc/22779/task/22916/stat : 22916 (java) R 22777 22777 6764 0 -1 4202560 19 0 0 0 72 0 0 0 20 0 28 0 97404017 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830025859408 139830469624629 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22917] ppid=22777 vsize=26540748 memory=7649399384349028914 CPUtime=0.63 cores=0-7 /proc/22779/task/22917/stat : 22917 (java) R 22777 22777 6764 0 -1 4202560 19 0 0 0 63 0 0 0 20 0 28 0 97404017 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830022704576 139830468424288 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 [pid=22779/tid=22918] ppid=22777 vsize=26540748 memory=7649399388643996210 CPUtime=0.67 cores=0-7 /proc/22779/task/22918/stat : 22918 (java) R 22777 22777 6764 0 -1 4202560 20 0 0 0 67 0 0 0 20 0 28 0 97404019 27177725952 49961 33554432000 4194304 4196468 140720379038272 139830020598160 139830467879786 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16617472 140720379040920 140720379041096 140720379041096 140720379043791 0 Current children cumulated CPU time: 10.58 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 201228 KiB Child status: 0 Real time (s): 1.99882 CPU time (s): 11.2374 CPU user time (s): 11.1047 CPU system time (s): 0.132642 CPU usage (%): 562.202 Max. virtual memory (cumulated for all children) (KiB): 26550260 Max. memory (cumulated for all children) (KiB): 201228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.1047 system time used= 0.132642 maximum resident set size= 201248 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21826 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4399 involuntary context switches= 325 # summary of solver processes directly reported to runsolver: # pid: 22777 # total CPU time (s): 11.2374 # total CPU user time (s): 11.1047 # total CPU system time (s): 0.132642 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.04061 second user time and 0.056457 second system time The end
Begin job on node105 at 2017-08-13 18:41:05 IDJOB=4271600 IDBENCH=126988 IDSOLVER=2663 FILE ID=node105/4271600-1502643323 RUNJOBID= node105-1502638143-6791 PBS_JOBID= 20628331 Free space on /tmp= 60664 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-015.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-4271600-1502643323/watcher-4271600-1502643323 -o /tmp/evaluation-result-4271600-1502643323/solver-4271600-1502643323 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 939750577 HOME/instance-4271600-1502643323.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bc2f8d4b91081a5d55245e328f9be905 RANDOM SEED=939750577 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 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: 26507844 kB MemAvailable: 31973392 kB Buffers: 176752 kB Cached: 5563980 kB SwapCached: 0 kB Active: 720572 kB Inactive: 5076572 kB Active(anon): 59268 kB Inactive(anon): 25060 kB Active(file): 661304 kB Inactive(file): 5051512 kB Unevictable: 6248 kB Mlocked: 6248 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7828 kB Writeback: 12 kB AnonPages: 62776 kB Mapped: 43560 kB Shmem: 25228 kB Slab: 162820 kB SReclaimable: 137132 kB SUnreclaim: 25688 kB KernelStack: 3184 kB PageTables: 4644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326756 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: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60656 MiB End job on node105 at 2017-08-13 18:41:07