Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 10 | 1052.44 | 133.2 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-david.xml |
MD5SUM | 8881d200d983e9a0f6a660f33978a65e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 8.31459 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 87 |
Number of constraints | 406 |
Number of domains | 1 |
Minimum domain size | 87 |
Maximum domain size | 87 |
Distribution of domain sizes | [{"size":87,"count":87}] |
Minimum variable degree | 2 |
Maximum variable degree | 83 |
Distribution of variable degrees | [{"degree":2,"count":10},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":5},{"degree":6,"count":6},{"degree":7,"count":10},{"degree":8,"count":4},{"degree":9,"count":5},{"degree":10,"count":9},{"degree":11,"count":1},{"degree":12,"count":4},{"degree":13,"count":2},{"degree":15,"count":3},{"degree":16,"count":2},{"degree":17,"count":4},{"degree":18,"count":2},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":22,"count":1},{"degree":29,"count":1},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":83,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":406}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 406 |
Distribution of constraint types | [{"type":"intension","count":406}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394391-1568419607.xml" -tl '20160s' -p 8 0.12/0.19 c Choco e747e1e 0.12/0.19 c [HOME/instance-4394391-1568419607.xml, -tl, 20160s, -p, 8] 0.33/0.23 c 8 solvers in parallel 0.33/0.29 c parse instance... 2.30/0.97 c solve instance... 2.65/1.03 o 83 2.65/1.06 o 11 2.65/1.07 o 10 1051.98/133.16 s OPTIMUM FOUND 1051.98/133.16 v <instantiation> 1051.98/133.16 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] </list> 1051.98/133.16 v <values>0 1 1 2 2 0 4 2 4 1 2 3 0 1 1 2 2 4 10 6 7 3 3 0 0 0 4 3 6 1 1 4 2 0 2 0 8 0 0 3 0 0 2 2 0 9 1 0 0 1 0 4 4 3 6 0 0 3 3 1 2 0 1 0 0 3 4 1 2 1 1 0 6 8 0 0 4 0 4 2 6 0 5 4 3 0 7 </values> 1051.98/133.16 v </instantiation>
OK 10
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 (10686 MiB free) memory of node 1: 16384 MiB (13047 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394391-1568419607/watcher-4394391-1568419607 -o /tmp/evaluation-result-4394391-1568419607/solver-4394391-1568419607 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568416727-4864 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1786624715 HOME/instance-4394391-1568419607.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=6086, runsolver pid=6083 Current StackSize limit: 8192 KiB [startup+0.1007 s]* /proc/loadavg: 7.14 7.58 7.35 2/211 6107 /proc/meminfo: memFree=24286604/32770624 swapFree=67108848/67108860 [pid=6086] ppid=6083 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/6086/stat : 6086 (xcsp3-exec) S 6083 6086 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417898099 115843072 364 33554432000 4194304 5098028 140733736450672 140733736448776 140247611953788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23080960 140733736452981 140733736453225 140733736453225 140733736456138 0 /proc/6086/statm: 28282 364 305 221 0 87 0 [pid=6088] ppid=6086 vsize=28227388 memory=29216 CPUtime=0.12 cores=0-7 /proc/6088/stat : 6088 (java) S 6086 6086 4837 0 -1 1077944320 5700 0 0 0 11 1 0 0 20 0 20 0 417898099 28904845312 7304 33554432000 4194304 4196468 140722195935296 140722195917840 140430291525367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 /proc/6088/statm: 7056847 7304 3158 1 0 7019032 0 [pid=6088/tid=6089] ppid=6086 vsize=28227388 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/6088/task/6089/stat : 6089 (java) R 6086 6086 4837 0 -1 4202560 3619 0 0 0 8 1 0 0 20 0 20 0 417898099 28904845312 7304 33554432000 4194304 4196468 140722195935296 140430295759904 140430291537302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6090] ppid=6086 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/6088/task/6090/stat : 6090 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 7304 33554432000 4194304 4196468 140722195935296 140430211378320 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6091] ppid=6086 vsize=28227388 memory=139763674461824 CPUtime=0 cores=0-7 /proc/6088/task/6091/stat : 6091 (java) S 6086 6086 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 7304 33554432000 4194304 4196468 140722195935296 140430210325520 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6092] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6092/stat : 6092 (java) S 6086 6086 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 7304 33554432000 4194304 4196468 140722195935296 140430209272720 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6093] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6093/stat : 6093 (java) S 6086 6086 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 7304 33554432000 4194304 4196468 140722195935296 140430208219920 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6094] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6094/stat : 6094 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 7304 33554432000 4194304 4196468 140722195935296 140430207167120 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6095] ppid=6086 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6088/task/6095/stat : 6095 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 7304 33554432000 4194304 4196468 140722195935296 140430206114320 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6096] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6096/stat : 6096 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 7304 33554432000 4194304 4196468 140722195935296 140430205061520 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6097] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6097/stat : 6097 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 7304 33554432000 4194304 4196468 140722195935296 140430204008720 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6098] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6098/stat : 6098 (java) S 6086 6086 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417898101 28904845312 7304 33554432000 4194304 4196468 140722195935296 140429273189232 140430291536514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6099] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6099/stat : 6099 (java) S 6086 6086 4837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417898102 28904845312 7304 33554432000 4194304 4196468 140722195935296 140429272135200 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6100] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6100/stat : 6100 (java) S 6086 6086 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417898102 28904845312 7304 33554432000 4194304 4196468 140722195935296 140429271082352 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6101] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6101/stat : 6101 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898105 28904845312 7304 33554432000 4194304 4196468 140722195935296 140429270030672 140430291543963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6102] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6102/stat : 6102 (java) S 6086 6086 4837 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 20 0 417898105 28904845312 7304 33554432000 4194304 4196468 140722195935296 140429268978032 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6103] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6103/stat : 6103 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898105 28904845312 7304 33554432000 4194304 4196468 140722195935296 140429267925232 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6104] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6104/stat : 6104 (java) S 6086 6086 4837 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417898105 28904845312 7304 33554432000 4194304 4196468 140722195935296 140429266872432 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6105] ppid=6086 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/6088/task/6105/stat : 6105 (java) R 6086 6086 4837 0 -1 4202560 359 0 0 0 1 0 0 0 20 0 20 0 417898105 28904845312 7304 33554432000 4194304 4196468 140722195935296 140429265819632 140430270812241 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6106] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6106/stat : 6106 (java) S 6086 6086 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417898105 28904845312 7304 33554432000 4194304 4196468 140722195935296 140429264768096 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6107] ppid=6086 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6088/task/6107/stat : 6107 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898105 28904845312 7304 33554432000 4194304 4196468 140722195935296 140429263715376 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30672 KiB [startup+0.210367 s]* /proc/loadavg: 7.14 7.58 7.35 2/211 6107 /proc/meminfo: memFree=24274648/32770624 swapFree=67108848/67108860 [pid=6086] ppid=6083 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/6086/stat : 6086 (xcsp3-exec) S 6083 6086 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417898099 115843072 364 33554432000 4194304 5098028 140733736450672 140733736448776 140247611953788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23080960 140733736452981 140733736453225 140733736453225 140733736456138 0 /proc/6086/statm: 28282 364 305 221 0 87 0 [pid=6088] ppid=6086 vsize=28227388 memory=40912 CPUtime=0.33 cores=0-7 /proc/6088/stat : 6088 (java) S 6086 6086 4837 0 -1 1077944320 9465 0 0 0 30 3 0 0 20 0 20 0 417898099 28904845312 10228 33554432000 4194304 4196468 140722195935296 140722195917840 140430291525367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 /proc/6088/statm: 7056847 10228 3287 1 0 7019032 0 [pid=6088/tid=6089] ppid=6086 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/6088/task/6089/stat : 6089 (java) S 6086 6086 4837 0 -1 1077944384 6619 0 0 0 17 2 0 0 20 0 20 0 417898099 28904845312 10228 33554432000 4194304 4196468 140722195935296 140430295757280 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6090] ppid=6086 vsize=28227388 memory=342 CPUtime=0 cores=0-7 /proc/6088/task/6090/stat : 6090 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 10228 33554432000 4194304 4196468 140722195935296 140430211378320 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6091] ppid=6086 vsize=28227388 memory=139763674471727 CPUtime=0 cores=0-7 /proc/6088/task/6091/stat : 6091 (java) S 6086 6086 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 10228 33554432000 4194304 4196468 140722195935296 140430210325520 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6092] ppid=6086 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6088/task/6092/stat : 6092 (java) S 6086 6086 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 10228 33554432000 4194304 4196468 140722195935296 140430209272720 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6093] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6093/stat : 6093 (java) S 6086 6086 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 10228 33554432000 4194304 4196468 140722195935296 140430208219920 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6094] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6094/stat : 6094 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 10228 33554432000 4194304 4196468 140722195935296 140430207167120 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6095] ppid=6086 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6088/task/6095/stat : 6095 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 10228 33554432000 4194304 4196468 140722195935296 140430206114320 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6096] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6096/stat : 6096 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 10228 33554432000 4194304 4196468 140722195935296 140430205061520 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6097] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6097/stat : 6097 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28904845312 10228 33554432000 4194304 4196468 140722195935296 140430204008720 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6098] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6098/stat : 6098 (java) S 6086 6086 4837 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417898101 28904845312 10228 33554432000 4194304 4196468 140722195935296 140429273189232 140430291536514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6099] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6099/stat : 6099 (java) S 6086 6086 4837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417898102 28904845312 10228 33554432000 4194304 4196468 140722195935296 140429272135200 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6100] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6100/stat : 6100 (java) S 6086 6086 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417898102 28904845312 10228 33554432000 4194304 4196468 140722195935296 140429271082352 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6101] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6101/stat : 6101 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898105 28904845312 10228 33554432000 4194304 4196468 140722195935296 140429270030672 140430291543963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6102] ppid=6086 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/6088/task/6102/stat : 6102 (java) S 6086 6086 4837 0 -1 1077944384 447 0 0 0 1 0 0 0 20 0 20 0 417898105 28904845312 10228 33554432000 4194304 4196468 140722195935296 140429268978032 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6103] ppid=6086 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/6088/task/6103/stat : 6103 (java) R 6086 6086 4837 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 417898105 28904845312 10228 33554432000 4194304 4196468 140722195935296 140429267925232 140430291536514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6104] ppid=6086 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/6088/task/6104/stat : 6104 (java) S 6086 6086 4837 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 20 0 417898105 28904845312 10228 33554432000 4194304 4196468 140722195935296 140429266872432 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6105] ppid=6086 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/6088/task/6105/stat : 6105 (java) R 6086 6086 4837 0 -1 4202560 778 0 0 0 7 0 0 0 20 0 20 0 417898105 28904845312 10228 33554432000 4194304 4196468 140722195935296 140429265814672 140430291546714 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6106] ppid=6086 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6106/stat : 6106 (java) S 6086 6086 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417898105 28904845312 10228 33554432000 4194304 4196468 140722195935296 140429264768096 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6107] ppid=6086 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/6088/task/6107/stat : 6107 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898105 28904845312 10228 33554432000 4194304 4196468 140722195935296 140429263715376 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42368 KiB [startup+0.310172 s]* /proc/loadavg: 7.14 7.58 7.35 2/211 6107 /proc/meminfo: memFree=24269424/32770624 swapFree=67108848/67108860 [pid=6086] ppid=6083 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/6086/stat : 6086 (xcsp3-exec) S 6083 6086 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417898099 115843072 364 33554432000 4194304 5098028 140733736450672 140733736448776 140247611953788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23080960 140733736452981 140733736453225 140733736453225 140733736456138 0 /proc/6086/statm: 28282 364 305 221 0 87 0 [pid=6088] ppid=6086 vsize=28231644 memory=47176 CPUtime=0.51 cores=0-7 /proc/6088/stat : 6088 (java) S 6086 6086 4837 0 -1 1077944320 10649 0 0 0 47 4 0 0 20 0 20 0 417898099 28909203456 11794 33554432000 4194304 4196468 140722195935296 140722195917840 140430291525367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 /proc/6088/statm: 7057911 11794 3321 1 0 7019032 0 [pid=6088/tid=6089] ppid=6086 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/6088/task/6089/stat : 6089 (java) R 6086 6086 4837 0 -1 4202560 7675 0 0 0 26 3 0 0 20 0 20 0 417898099 28909203456 12306 33554432000 4194304 4196468 140722195935296 140430295762000 140430291537302 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6090] ppid=6086 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6090/stat : 6090 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28909203456 12306 33554432000 4194304 4196468 140722195935296 140430211378320 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6091] ppid=6086 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6091/stat : 6091 (java) S 6086 6086 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417898100 28909203456 12306 33554432000 4194304 4196468 140722195935296 140430210325520 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6092] ppid=6086 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6092/stat : 6092 (java) S 6086 6086 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417898100 28909203456 12306 33554432000 4194304 4196468 140722195935296 140430209272720 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6093] ppid=6086 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6093/stat : 6093 (java) S 6086 6086 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417898100 28909203456 12306 33554432000 4194304 4196468 140722195935296 140430208219920 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6094] ppid=6086 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6094/stat : 6094 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28909203456 12306 33554432000 4194304 4196468 140722195935296 140430207167120 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6095] ppid=6086 vsize=28231644 memory=139763537504943 CPUtime=0 cores=0-7 /proc/6088/task/6095/stat : 6095 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28909203456 12306 33554432000 4194304 4196468 140722195935296 140430206114320 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6096] ppid=6086 vsize=28231644 memory=139763537507248 CPUtime=0 cores=0-7 /proc/6088/task/6096/stat : 6096 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28909203456 12306 33554432000 4194304 4196468 140722195935296 140430205061520 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6097] ppid=6086 vsize=28231644 memory=139763537509552 CPUtime=0 cores=0-7 /proc/6088/task/6097/stat : 6097 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28909203456 12306 33554432000 4194304 4196468 140722195935296 140430204008720 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6098] ppid=6086 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6098/stat : 6098 (java) S 6086 6086 4837 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417898101 28909203456 12306 33554432000 4194304 4196468 140722195935296 140429273189232 140430291536514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6099] ppid=6086 vsize=28231644 memory=279527075032976 CPUtime=0 cores=0-7 /proc/6088/task/6099/stat : 6099 (java) S 6086 6086 4837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417898102 28909203456 12306 33554432000 4194304 4196468 140722195935296 140429272135200 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6100] ppid=6086 vsize=28231644 memory=279527075030672 CPUtime=0 cores=0-7 /proc/6088/task/6100/stat : 6100 (java) S 6086 6086 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417898102 28909203456 12306 33554432000 4194304 4196468 140722195935296 140429271082352 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6101] ppid=6086 vsize=28231644 memory=279527075037584 CPUtime=0 cores=0-7 /proc/6088/task/6101/stat : 6101 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898105 28909203456 12306 33554432000 4194304 4196468 140722195935296 140429270030672 140430291543963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6102] ppid=6086 vsize=28231644 memory=279527074978864 CPUtime=0.02 cores=0-7 /proc/6088/task/6102/stat : 6102 (java) R 6086 6086 4837 0 -1 4202560 453 0 0 0 2 0 0 0 20 0 20 0 417898105 28909203456 12306 33554432000 4194304 4196468 140722195935296 140429268978032 140430272221266 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6103] ppid=6086 vsize=28231644 memory=279527075051408 CPUtime=0.02 cores=0-7 /proc/6088/task/6103/stat : 6103 (java) R 6086 6086 4837 0 -1 4202560 109 0 0 0 2 0 0 0 20 0 20 0 417898105 28909203456 12306 33554432000 4194304 4196468 140722195935296 140429267925232 140430284510409 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6104] ppid=6086 vsize=28231644 memory=279527075058320 CPUtime=0.02 cores=0-7 /proc/6088/task/6104/stat : 6104 (java) R 6086 6086 4837 0 -1 4202560 229 0 0 0 2 0 0 0 20 0 20 0 417898105 28909203456 12306 33554432000 4194304 4196468 140722195935296 140429266872432 140430272224940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6105] ppid=6086 vsize=28231644 memory=279527075056016 CPUtime=0.12 cores=0-7 /proc/6088/task/6105/stat : 6105 (java) S 6086 6086 4837 0 -1 1077944384 881 0 0 0 12 0 0 0 20 0 20 0 417898105 28909203456 12306 33554432000 4194304 4196468 140722195935296 140429265819632 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6106] ppid=6086 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6106/stat : 6106 (java) S 6086 6086 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417898105 28909203456 12306 33554432000 4194304 4196468 140722195935296 140429264768096 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6107] ppid=6086 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/6088/task/6107/stat : 6107 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898105 28909203456 12306 33554432000 4194304 4196468 140722195935296 140429263715376 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 48632 KiB [startup+0.700998 s] /proc/loadavg: 7.14 7.58 7.35 3/211 6107 /proc/meminfo: memFree=24258128/32770624 swapFree=67108848/67108860 [pid=6086] ppid=6083 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/6086/stat : 6086 (xcsp3-exec) S 6083 6086 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417898099 115843072 364 33554432000 4194304 5098028 140733736450672 140733736448776 140247611953788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23080960 140733736452981 140733736453225 140733736453225 140733736456138 0 /proc/6086/statm: 28282 364 305 221 0 87 0 [pid=6088] ppid=6086 vsize=28233768 memory=82592 CPUtime=1.52 cores=0-7 /proc/6088/stat : 6088 (java) S 6086 6086 4837 0 -1 1077944320 14863 0 0 0 145 7 0 0 20 0 20 0 417898099 28911378432 20648 33554432000 4194304 4196468 140722195935296 140722195917840 140430291525367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 /proc/6088/statm: 7058442 20648 3449 1 0 7019544 0 [pid=6088/tid=6089] ppid=6086 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7 /proc/6088/task/6089/stat : 6089 (java) R 6086 6086 4837 0 -1 4202560 9202 0 0 0 64 4 0 0 20 0 20 0 417898099 28911378432 20648 33554432000 4194304 4196468 140722195935296 140430295760736 140430291537302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6090] ppid=6086 vsize=28233768 memory=139763537716080 CPUtime=0 cores=0-7 /proc/6088/task/6090/stat : 6090 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417898100 28911378432 20648 33554432000 4194304 4196468 140722195935296 140430211378320 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6091] ppid=6086 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6091/stat : 6091 (java) S 6086 6086 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417898100 28911378432 20648 33554432000 4194304 4196468 140722195935296 140430210325520 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6092] ppid=6086 vsize=28233768 memory=7180 CPUtime=0 cores=0-7 /proc/6088/task/6092/stat : 6092 (java) S 6086 6086 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417898100 28911378432 20648 33554432000 4194304 4196468 140722195935296 140430209272720 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 ################ # More data... # ################ [pid=6088/tid=6105] ppid=6086 vsize=28768328 memory=920 CPUtime=1.09 cores=0-7 /proc/6088/task/6105/stat : 6105 (java) S 6086 6086 4837 0 -1 1077944384 13240 0 0 0 106 3 0 0 20 0 28 0 417898105 29458767872 315502 33554432000 4194304 4196468 140722195935296 140429265819632 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6106] ppid=6086 vsize=28768328 memory=4488 CPUtime=0 cores=0-7 /proc/6088/task/6106/stat : 6106 (java) S 6086 6086 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417898105 29458767872 315502 33554432000 4194304 4196468 140722195935296 140429264768096 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6107] ppid=6086 vsize=28768328 memory=1408 CPUtime=0.04 cores=0-7 /proc/6088/task/6107/stat : 6107 (java) S 6086 6086 4837 0 -1 1077944384 1917 0 0 0 0 4 0 0 20 0 28 0 417898105 29458767872 315502 33554432000 4194304 4196468 140722195935296 140429263715376 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6132] ppid=6086 vsize=28768328 memory=3492 CPUtime=128.85 cores=0-7 /proc/6088/task/6132/stat : 6132 (java) R 6086 6086 4837 0 -1 4202560 5140 0 0 0 12881 4 0 0 20 0 28 0 417898206 29458767872 315502 33554432000 4194304 4196468 140722195935296 140428399504368 140429888411935 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6133] ppid=6086 vsize=28768328 memory=1456 CPUtime=129.26 cores=0-7 /proc/6088/task/6133/stat : 6133 (java) R 6086 6086 4837 0 -1 4202560 1956 0 0 0 12924 2 0 0 20 0 28 0 417898206 29458767872 315502 33554432000 4194304 4196468 140722195935296 140428395294672 140429885741339 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6134] ppid=6086 vsize=28768328 memory=1265088 CPUtime=128.17 cores=0-7 /proc/6088/task/6134/stat : 6134 (java) R 6086 6086 4837 0 -1 4202560 7436 0 0 0 12811 6 0 0 20 0 28 0 417898206 29458767872 315502 33554432000 4194304 4196468 140722195935296 140428396343056 140429885303949 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6135] ppid=6086 vsize=28768328 memory=1265088 CPUtime=128.73 cores=0-7 /proc/6088/task/6135/stat : 6135 (java) R 6086 6086 4837 0 -1 4202560 8805 0 0 0 12865 8 0 0 20 0 28 0 417898206 29458767872 315502 33554432000 4194304 4196468 140722195935296 140428398453032 140429888886884 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6136] ppid=6086 vsize=28768328 memory=658156 CPUtime=128.71 cores=0-7 /proc/6088/task/6136/stat : 6136 (java) R 6086 6086 4837 0 -1 4202560 2789 0 0 0 12866 5 0 0 20 0 28 0 417898206 29458767872 315502 33554432000 4194304 4196468 140722195935296 140429259034304 140429880322526 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6137] ppid=6086 vsize=28768328 memory=15544015764327050 CPUtime=128.38 cores=0-7 /proc/6088/task/6137/stat : 6137 (java) R 6086 6086 4837 0 -1 4202560 4730 0 0 0 12830 8 0 0 20 0 28 0 417898206 29458767872 315502 33554432000 4194304 4196468 140722195935296 140428394241520 140429885741488 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6138] ppid=6086 vsize=28768328 memory=1456 CPUtime=129.03 cores=0-7 /proc/6088/task/6138/stat : 6138 (java) R 6086 6086 4837 0 -1 4202560 1943 0 0 0 12901 2 0 0 20 0 28 0 417898206 29458767872 315502 33554432000 4194304 4196468 140722195935296 140428397400400 140429885687975 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6139] ppid=6086 vsize=28768328 memory=1268168 CPUtime=128.37 cores=0-7 /proc/6088/task/6139/stat : 6139 (java) R 6086 6086 4837 0 -1 4202560 2812 0 0 0 12832 5 0 0 20 0 28 0 417898207 29458767872 315502 33554432000 4194304 4196468 140722195935296 140428393186072 140429884593707 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 Current children cumulated CPU time: 1049.53 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1263464 KiB [startup+133.002 s]* /proc/loadavg: 7.91 7.74 7.44 9/219 6148 /proc/meminfo: memFree=23052384/32770624 swapFree=67108848/67108860 [pid=6086] ppid=6083 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/6086/stat : 6086 (xcsp3-exec) S 6083 6086 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417898099 115843072 364 33554432000 4194304 5098028 140733736450672 140733736448776 140247611953788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23080960 140733736452981 140733736453225 140733736453225 140733736456138 0 /proc/6086/statm: 28282 364 305 221 0 87 0 [pid=6088] ppid=6086 vsize=28768328 memory=1263028 CPUtime=1051.17 cores=0-7 /proc/6088/stat : 6088 (java) S 6086 6086 4837 0 -1 1077944320 142476 0 0 0 104931 186 0 0 20 0 28 0 417898099 29458767872 315757 33554432000 4194304 4196468 140722195935296 140722195917840 140430291525367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 /proc/6088/statm: 7192082 315757 3527 1 0 7153184 0 [pid=6088/tid=6089] ppid=6086 vsize=28768328 memory=1398722017469774279 CPUtime=0.97 cores=0-7 /proc/6088/task/6089/stat : 6089 (java) S 6086 6086 4837 0 -1 1077944384 9396 0 0 0 93 4 0 0 20 0 28 0 417898099 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430295766144 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6090] ppid=6086 vsize=28768328 memory=504 CPUtime=0.79 cores=0-7 /proc/6088/task/6090/stat : 6090 (java) S 6086 6086 4837 0 -1 1077944384 3187 0 0 0 66 13 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430211378320 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6091] ppid=6086 vsize=28768328 memory=1728 CPUtime=0.8 cores=0-7 /proc/6088/task/6091/stat : 6091 (java) S 6086 6086 4837 0 -1 1077944384 2967 0 0 0 66 14 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430210325520 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6092] ppid=6086 vsize=28768328 memory=924 CPUtime=0.81 cores=0-7 /proc/6088/task/6092/stat : 6092 (java) S 6086 6086 4837 0 -1 1077944384 1691 0 0 0 67 14 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430209272720 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6093] ppid=6086 vsize=28768328 memory=4872558044660077418 CPUtime=0.79 cores=0-7 /proc/6088/task/6093/stat : 6093 (java) S 6086 6086 4837 0 -1 1077944384 1789 0 0 0 66 13 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430208219920 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6094] ppid=6086 vsize=28768328 memory=303711719770030395 CPUtime=0.8 cores=0-7 /proc/6088/task/6094/stat : 6094 (java) S 6086 6086 4837 0 -1 1077944384 2453 0 0 0 66 14 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430207167120 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6095] ppid=6086 vsize=28768328 memory=15544015764327050 CPUtime=0.8 cores=0-7 /proc/6088/task/6095/stat : 6095 (java) S 6086 6086 4837 0 -1 1077944384 2430 0 0 0 66 14 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430206114320 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6096] ppid=6086 vsize=28768328 memory=8112282956445269571 CPUtime=0.78 cores=0-7 /proc/6088/task/6096/stat : 6096 (java) S 6086 6086 4837 0 -1 1077944384 1227 0 0 0 65 13 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430205061520 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6097] ppid=6086 vsize=28768328 memory=22084 CPUtime=0.8 cores=0-7 /proc/6088/task/6097/stat : 6097 (java) S 6086 6086 4837 0 -1 1077944384 4412 0 0 0 66 14 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430204008720 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6098] ppid=6086 vsize=28768328 memory=3047711553320166262 CPUtime=0.23 cores=0-7 /proc/6088/task/6098/stat : 6098 (java) S 6086 6086 4837 0 -1 1077944384 6715 0 0 0 17 6 0 0 20 0 28 0 417898101 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429273189232 140430291536514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6099] ppid=6086 vsize=28768328 memory=7824336315716348491 CPUtime=0 cores=0-7 /proc/6088/task/6099/stat : 6099 (java) S 6086 6086 4837 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 417898102 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429272135264 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6100] ppid=6086 vsize=28768328 memory=-8412652169205224307 CPUtime=0 cores=0-7 /proc/6088/task/6100/stat : 6100 (java) S 6086 6086 4837 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 417898102 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429271082368 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6101] ppid=6086 vsize=28768328 memory=8170484570029516370 CPUtime=0 cores=0-7 /proc/6088/task/6101/stat : 6101 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417898105 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429270030672 140430291543963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6102] ppid=6086 vsize=28768328 memory=7595999545799173229 CPUtime=3.38 cores=0-7 /proc/6088/task/6102/stat : 6102 (java) S 6086 6086 4837 0 -1 1077944384 17986 0 0 0 334 4 0 0 20 0 28 0 417898105 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429268978032 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6103] ppid=6086 vsize=28768328 memory=0 CPUtime=4.18 cores=0-7 /proc/6088/task/6103/stat : 6103 (java) S 6086 6086 4837 0 -1 1077944384 19387 0 0 0 414 4 0 0 20 0 28 0 417898105 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429267925232 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6104] ppid=6086 vsize=28768328 memory=0 CPUtime=3.34 cores=0-7 /proc/6088/task/6104/stat : 6104 (java) S 6086 6086 4837 0 -1 1077944384 16012 0 0 0 330 4 0 0 20 0 28 0 417898105 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429266872432 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6105] ppid=6086 vsize=28768328 memory=3835289309191217174 CPUtime=1.09 cores=0-7 /proc/6088/task/6105/stat : 6105 (java) S 6086 6086 4837 0 -1 1077944384 13240 0 0 0 106 3 0 0 20 0 28 0 417898105 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429265819632 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6106] ppid=6086 vsize=28768328 memory=752 CPUtime=0 cores=0-7 /proc/6088/task/6106/stat : 6106 (java) S 6086 6086 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417898105 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429264768096 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6107] ppid=6086 vsize=28768328 memory=1636 CPUtime=0.04 cores=0-7 /proc/6088/task/6107/stat : 6107 (java) S 6086 6086 4837 0 -1 1077944384 1917 0 0 0 0 4 0 0 20 0 28 0 417898105 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429263715376 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6132] ppid=6086 vsize=28768328 memory=5787477641288517003 CPUtime=129.05 cores=0-7 /proc/6088/task/6132/stat : 6132 (java) R 6086 6086 4837 0 -1 4202560 5140 0 0 0 12901 4 0 0 20 0 28 0 417898206 29458767872 315757 33554432000 4194304 4196468 140722195935296 140428399501144 140429884593243 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6133] ppid=6086 vsize=28768328 memory=-8961168018402230209 CPUtime=129.46 cores=0-7 /proc/6088/task/6133/stat : 6133 (java) R 6086 6086 4837 0 -1 4202560 1956 0 0 0 12944 2 0 0 20 0 28 0 417898206 29458767872 315757 33554432000 4194304 4196468 140722195935296 140428395291392 140429885742657 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6134] ppid=6086 vsize=28768328 memory=-8253362762722141311 CPUtime=128.37 cores=0-7 /proc/6088/task/6134/stat : 6134 (java) R 6086 6086 4837 0 -1 4202560 7436 0 0 0 12831 6 0 0 20 0 28 0 417898206 29458767872 315757 33554432000 4194304 4196468 140722195935296 140428396343056 140429886641949 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6135] ppid=6086 vsize=28768328 memory=7100839861465685612 CPUtime=128.93 cores=0-7 /proc/6088/task/6135/stat : 6135 (java) R 6086 6086 4837 0 -1 4202560 8805 0 0 0 12885 8 0 0 20 0 28 0 417898206 29458767872 315757 33554432000 4194304 4196468 140722195935296 140428398451504 140429884593552 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6136] ppid=6086 vsize=28768328 memory=-7175204567652784766 CPUtime=128.92 cores=0-7 /proc/6088/task/6136/stat : 6136 (java) R 6086 6086 4837 0 -1 4202560 2790 0 0 0 12887 5 0 0 20 0 28 0 417898206 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429259030848 140429884585913 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6137] ppid=6086 vsize=28768328 memory=3054156605268465310 CPUtime=128.59 cores=0-7 /proc/6088/task/6137/stat : 6137 (java) R 6086 6086 4837 0 -1 4202560 4730 0 0 0 12851 8 0 0 20 0 28 0 417898206 29458767872 315757 33554432000 4194304 4196468 140722195935296 140428394237440 140429885688662 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6138] ppid=6086 vsize=28768328 memory=4713745541279610410 CPUtime=129.24 cores=0-7 /proc/6088/task/6138/stat : 6138 (java) R 6086 6086 4837 0 -1 4202560 1944 0 0 0 12922 2 0 0 20 0 28 0 417898206 29458767872 315757 33554432000 4194304 4196468 140722195935296 140428397397256 140429884593581 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6139] ppid=6086 vsize=28768328 memory=4048 CPUtime=128.56 cores=0-7 /proc/6088/task/6139/stat : 6139 (java) R 6086 6086 4837 0 -1 4202560 2812 0 0 0 12851 5 0 0 20 0 28 0 417898207 29458767872 315757 33554432000 4194304 4196468 140722195935296 140428393186168 140429885750912 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 Current children cumulated CPU time: 1051.17 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1264484 KiB [startup+133.112 s] /proc/loadavg: 7.91 7.74 7.44 9/219 6148 /proc/meminfo: memFree=23052384/32770624 swapFree=67108848/67108860 [pid=6086] ppid=6083 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/6086/stat : 6086 (xcsp3-exec) S 6083 6086 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417898099 115843072 364 33554432000 4194304 5098028 140733736450672 140733736448776 140247611953788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23080960 140733736452981 140733736453225 140733736453225 140733736456138 0 /proc/6086/statm: 28282 364 305 221 0 87 0 [pid=6088] ppid=6086 vsize=28768328 memory=1263028 CPUtime=1051.98 cores=0-7 /proc/6088/stat : 6088 (java) S 6086 6086 4837 0 -1 1077944320 142476 0 0 0 105012 186 0 0 20 0 28 0 417898099 29458767872 315757 33554432000 4194304 4196468 140722195935296 140722195917840 140430291525367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 /proc/6088/statm: 7192082 315757 3527 1 0 7153184 0 [pid=6088/tid=6089] ppid=6086 vsize=28768328 memory=1268168 CPUtime=0.97 cores=0-7 /proc/6088/task/6089/stat : 6089 (java) S 6086 6086 4837 0 -1 1077944384 9396 0 0 0 93 4 0 0 20 0 28 0 417898099 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430295766144 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6090] ppid=6086 vsize=28768328 memory=1265600 CPUtime=0.79 cores=0-7 /proc/6088/task/6090/stat : 6090 (java) S 6086 6086 4837 0 -1 1077944384 3187 0 0 0 66 13 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430211378320 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6091] ppid=6086 vsize=28768328 memory=1264060 CPUtime=0.8 cores=0-7 /proc/6088/task/6091/stat : 6091 (java) S 6086 6086 4837 0 -1 1077944384 2967 0 0 0 66 14 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430210325520 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6092] ppid=6086 vsize=28768328 memory=1264060 CPUtime=0.81 cores=0-7 /proc/6088/task/6092/stat : 6092 (java) S 6086 6086 4837 0 -1 1077944384 1691 0 0 0 67 14 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430209272720 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6093] ppid=6086 vsize=28768328 memory=1263028 CPUtime=0.79 cores=0-7 /proc/6088/task/6093/stat : 6093 (java) S 6086 6086 4837 0 -1 1077944384 1789 0 0 0 66 13 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430208219920 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6094] ppid=6086 vsize=28768328 memory=1456 CPUtime=0.8 cores=0-7 /proc/6088/task/6094/stat : 6094 (java) S 6086 6086 4837 0 -1 1077944384 2453 0 0 0 66 14 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430207167120 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6095] ppid=6086 vsize=28768328 memory=1456 CPUtime=0.8 cores=0-7 /proc/6088/task/6095/stat : 6095 (java) S 6086 6086 4837 0 -1 1077944384 2430 0 0 0 66 14 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430206114320 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6096] ppid=6086 vsize=28768328 memory=279527075015840 CPUtime=0.78 cores=0-7 /proc/6088/task/6096/stat : 6096 (java) S 6086 6086 4837 0 -1 1077944384 1227 0 0 0 65 13 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430205061520 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6097] ppid=6086 vsize=28768328 memory=8112282956445269571 CPUtime=0.8 cores=0-7 /proc/6088/task/6097/stat : 6097 (java) S 6086 6086 4837 0 -1 1077944384 4412 0 0 0 66 14 0 0 20 0 28 0 417898100 29458767872 315757 33554432000 4194304 4196468 140722195935296 140430204008720 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6098] ppid=6086 vsize=28768328 memory=1456 CPUtime=0.23 cores=0-7 /proc/6088/task/6098/stat : 6098 (java) S 6086 6086 4837 0 -1 1077944384 6715 0 0 0 17 6 0 0 20 0 28 0 417898101 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429273189232 140430291536514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6099] ppid=6086 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6099/stat : 6099 (java) S 6086 6086 4837 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 417898102 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429272135264 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6100] ppid=6086 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/6088/task/6100/stat : 6100 (java) S 6086 6086 4837 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 417898102 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429271082368 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6101] ppid=6086 vsize=28768328 memory=14288 CPUtime=0 cores=0-7 /proc/6088/task/6101/stat : 6101 (java) S 6086 6086 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417898105 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429270030672 140430291543963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6102] ppid=6086 vsize=28768328 memory=504 CPUtime=3.38 cores=0-7 /proc/6088/task/6102/stat : 6102 (java) S 6086 6086 4837 0 -1 1077944384 17986 0 0 0 334 4 0 0 20 0 28 0 417898105 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429268978032 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6103] ppid=6086 vsize=28768328 memory=24728 CPUtime=4.18 cores=0-7 /proc/6088/task/6103/stat : 6103 (java) S 6086 6086 4837 0 -1 1077944384 19387 0 0 0 414 4 0 0 20 0 28 0 417898105 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429267925232 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6104] ppid=6086 vsize=28768328 memory=4048 CPUtime=3.34 cores=0-7 /proc/6088/task/6104/stat : 6104 (java) S 6086 6086 4837 0 -1 1077944384 16012 0 0 0 330 4 0 0 20 0 28 0 417898105 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429266872432 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6105] ppid=6086 vsize=28768328 memory=14288 CPUtime=1.09 cores=0-7 /proc/6088/task/6105/stat : 6105 (java) S 6086 6086 4837 0 -1 1077944384 13240 0 0 0 106 3 0 0 20 0 28 0 417898105 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429265819632 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6106] ppid=6086 vsize=28768328 memory=1269668 CPUtime=0 cores=0-7 /proc/6088/task/6106/stat : 6106 (java) S 6086 6086 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417898105 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429264768096 140430291535573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6107] ppid=6086 vsize=28768328 memory=1456 CPUtime=0.04 cores=0-7 /proc/6088/task/6107/stat : 6107 (java) S 6086 6086 4837 0 -1 1077944384 1917 0 0 0 0 4 0 0 20 0 28 0 417898105 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429263715376 140430291536514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6132] ppid=6086 vsize=28768328 memory=1456 CPUtime=129.15 cores=0-7 /proc/6088/task/6132/stat : 6132 (java) R 6086 6086 4837 0 -1 4202560 5140 0 0 0 12911 4 0 0 20 0 28 0 417898206 29458767872 315757 33554432000 4194304 4196468 140722195935296 140428399501144 140429885687961 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6133] ppid=6086 vsize=28768328 memory=980308 CPUtime=129.56 cores=0-7 /proc/6088/task/6133/stat : 6133 (java) R 6086 6086 4837 0 -1 4202560 1956 0 0 0 12954 2 0 0 20 0 28 0 417898206 29458767872 315757 33554432000 4194304 4196468 140722195935296 140428395291392 140429884592978 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6134] ppid=6086 vsize=28768328 memory=1456 CPUtime=128.47 cores=0-7 /proc/6088/task/6134/stat : 6134 (java) R 6086 6086 4837 0 -1 4202560 7436 0 0 0 12841 6 0 0 20 0 28 0 417898206 29458767872 315757 33554432000 4194304 4196468 140722195935296 140428396343056 140429885303932 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6135] ppid=6086 vsize=28768328 memory=3924 CPUtime=129.03 cores=0-7 /proc/6088/task/6135/stat : 6135 (java) R 6086 6086 4837 0 -1 4202560 8805 0 0 0 12895 8 0 0 20 0 28 0 417898206 29458767872 315757 33554432000 4194304 4196468 140722195935296 140428398451504 140429885932004 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6136] ppid=6086 vsize=28768328 memory=334 CPUtime=129.02 cores=0-7 /proc/6088/task/6136/stat : 6136 (java) R 6086 6086 4837 0 -1 4202560 2790 0 0 0 12897 5 0 0 20 0 28 0 417898206 29458767872 315757 33554432000 4194304 4196468 140722195935296 140429259030848 140429879253710 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6137] ppid=6086 vsize=28768328 memory=109 CPUtime=128.69 cores=0-7 /proc/6088/task/6137/stat : 6137 (java) R 6086 6086 4837 0 -1 4202560 4730 0 0 0 12861 8 0 0 20 0 28 0 417898206 29458767872 315757 33554432000 4194304 4196468 140722195935296 140428394237440 140429884585637 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6138] ppid=6086 vsize=28768328 memory=0 CPUtime=129.34 cores=0-7 /proc/6088/task/6138/stat : 6138 (java) R 6086 6086 4837 0 -1 4202560 1944 0 0 0 12932 2 0 0 20 0 28 0 417898206 29458767872 315757 33554432000 4194304 4196468 140722195935296 140428397397256 140430272931642 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 [pid=6088/tid=6139] ppid=6086 vsize=28768328 memory=1268132 CPUtime=128.66 cores=0-7 /proc/6088/task/6139/stat : 6139 (java) R 6086 6086 4837 0 -1 4202560 2812 0 0 0 12861 5 0 0 20 0 28 0 417898207 29458767872 315757 33554432000 4194304 4196468 140722195935296 140428393186168 140429884593581 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6742016 140722195940330 140722195940502 140722195940502 140722195943375 0 Current children cumulated CPU time: 1051.98 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1264484 KiB Child status: 0 Real time (s): 133.2 CPU time (s): 1052.44 CPU user time (s): 1050.55 CPU system time (s): 1.88981 CPU usage (%): 790.121 Max. virtual memory (cumulated for all children) (KiB): 28883588 Max. memory (cumulated for all children) (KiB): 1274088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1050.55 system time used= 1.88981 maximum resident set size= 1274680 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 144784 page faults= 0 swaps= 0 block input operations= 0 block output operations= 368 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24325 involuntary context switches= 13435 # summary of solver processes directly reported to runsolver: # pid: 6086 # total CPU time (s): 1052.44 # total CPU user time (s): 1050.55 # total CPU system time (s): 1.88981 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.29199 second user time and 1.48303 second system time The end
Begin job on node143 at 2019-09-14 02:06:06 IDJOB=4394391 IDBENCH=120637 IDSOLVER=2843 FILE ID=node143/4394391-1568419607 RUNJOBID= node143-1568416727-4864 PBS_JOBID= 21702255 Free space on /tmp= 59272 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-david.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-4394391-1568419607/watcher-4394391-1568419607 -o /tmp/evaluation-result-4394391-1568419607/solver-4394391-1568419607 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568416727-4864 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1786624715 HOME/instance-4394391-1568419607.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8881d200d983e9a0f6a660f33978a65e RANDOM SEED=1786624715 node143.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.73 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.73 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.73 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.73 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: 24303852 kB MemAvailable: 31756156 kB Buffers: 200064 kB Cached: 7542260 kB SwapCached: 8 kB Active: 2144280 kB Inactive: 5649244 kB Active(anon): 5968 kB Inactive(anon): 144604 kB Active(file): 2138312 kB Inactive(file): 5504640 kB Unevictable: 107696 kB Mlocked: 107696 kB SwapTotal: 67108860 kB SwapFree: 67108848 kB Dirty: 26140 kB Writeback: 0 kB AnonPages: 158808 kB Mapped: 48804 kB Shmem: 90756 kB Slab: 266244 kB SReclaimable: 237812 kB SUnreclaim: 28432 kB KernelStack: 3696 kB PageTables: 5604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 499344 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 59248 MiB End job on node143 at 2019-09-14 02:08:20