Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: AbsCon-basic 2017-06-11 | SAT (TO) | 25 | 2400.04 | 2394.31 |
| Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml |
| MD5SUM | 1f90dacd0a92fbbf60104d292dc9abb3 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 2400.04 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 17425 |
| Number of domains | 1 |
| Minimum domain size | 450 |
| Maximum domain size | 450 |
| Distribution of domain sizes | [{"size":450,"count":450}] |
| Minimum variable degree | 12 |
| Maximum variable degree | 158 |
| Distribution of variable degrees | [{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":3},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":28,"count":1},{"degree":29,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":3},{"degree":40,"count":3},"...",{"degree":120,"count":4}, {"degree":121,"count":2}, {"degree":122,"count":3}, {"degree":123,"count":1}, {"degree":124,"count":1}, {"degree":125,"count":1}, {"degree":126,"count":1}, {"degree":127,"count":1}, {"degree":128,"count":3}, {"degree":129,"count":1}, {"degree":130,"count":1}, {"degree":131,"count":2}, {"degree":132,"count":1}, {"degree":133,"count":2}, {"degree":134,"count":2}, {"degree":136,"count":1}, {"degree":138,"count":1}, {"degree":139,"count":1}, {"degree":140,"count":1}, {"degree":142,"count":2}, {"degree":143,"count":2}, {"degree":146,"count":1}, {"degree":149,"count":1}, {"degree":152,"count":2}, {"degree":158,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":17425}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 17425 |
| Distribution of constraint types | [{"type":"intension","count":17425}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.28/0.28 0.28/0.28 AbsCon 2 0.28/0.28 2.63/1.16 Solving XCSP3-instance-4245152-1500699163 as a COP in -infty..+infty 2.63/1.16 Loading variables... 3.08/1.24 Loading constraints... 5.46/1.85 Solver SolverBacktrack being built... 5.46/1.85 5.92/1.91 Preprocessing : gac=true, ccks=0, filters=0, revisions=0 (useless=0), AC=0, removals=0, inconsistent=false 5.92/1.91 6.35/2.02 o 31 7.22/2.25 o 29 7.22/2.29 o 28 7.44/2.33 o 27 7.97/2.75 o 26 1586.85/1581.20 o 25 2400.01/2394.30 2400.01/2394.30 v <instantiation id='sol6' type='solution' cost='25'> <list> x[] </list> <values> 17 15 2 14 3 11 21 23 13 16 18 18 13 2 5 21 5 18 4 20 5 25 14 4 19 2 20 14 13 23 13 25 1 8 5 18 16 0 0 20 3 20 13 15 10 10 1 6 14 15 10 5 20 22 2 9 14 4 3 12 25 0 7 12 24 10 4 12 7 3 18 15 17 11 11 0 3 16 4 23 11 23 6 1 11 7 4 19 18 4 5 2 6 0 8 5 9 17 2 16 25 14 12 13 12 18 19 7 18 18 25 7 9 10 16 9 5 23 2 6 10 18 0 17 10 23 24 5 8 23 0 9 4 1 19 16 1 5 19 23 5 1 2 24 2 13 10 8 14 10 11 1 15 17 15 3 2 9 22 2 11 2 19 20 21 14 0 11 1 11 1 4 4 20 18 13 17 22 13 21 16 22 0 1 3 12 3 19 6 11 17 13 13 14 20 21 15 20 14 2 11 12 19 2 20 2 22 7 19 11 24 11 9 8 11 22 15 5 2 16 16 1 24 20 5 3 4 2 20 0 14 16 10 23 11 7 24 17 2 22 0 25 7 11 1 21 15 3 21 2 3 4 23 8 23 12 1 19 9 10 9 9 23 20 1 0 20 21 17 24 1 15 6 17 19 6 9 8 0 0 12 9 13 1 3 10 10 6 21 0 25 10 8 13 24 14 23 5 5 23 0 11 4 0 16 6 1 24 1 5 2 8 19 7 8 25 6 5 10 0 13 6 0 3 4 17 9 6 8 4 5 4 23 17 10 24 8 2 3 7 8 5 0 2 0 22 23 15 7 12 12 9 4 8 16 5 15 0 17 13 6 6 19 5 12 14 1 1 18 1 1 22 23 2 18 2 14 3 13 3 18 1 19 1 0 10 22 15 16 19 21 9 0 7 3 7 6 21 11 25 23 4 22 3 23 3 20 6 8 21 2 12 7 0 18 6 12 0 21 9 16 3 25 14 16 15 18 14 4 22 21 17 25 14 25 6 7 19 8 11 18 4 24 17 1 16 22 24 6 25 </values> </instantiation> 2400.01/2394.30 s SATISFIABLE
OK 25
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245152-1500699163/watcher-4245152-1500699163 -o /tmp/evaluation-result-4245152-1500699163/solver-4245152-1500699163 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500696776-19901 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4245152-1500699163.xml pid=20123 running on 8 cores: 4-7,12-15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.60 1.72 2.62 3/267 20126 /proc/meminfo: memFree=31629576/32770624 swapFree=5932/275192 [pid=20126] ppid=20123 vsize=361196 CPUtime=0 cores=4-7,12-15 /proc/20126/stat : 20126 (java) S 20123 20126 18810 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 5183450 369864704 1935 33554432000 4194304 4196468 140720841222480 140720841205024 140328442560247 0 0 0 16784584 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 /proc/20126/statm: 90299 1999 1135 1 0 79210 0 [pid=20126/tid=20127] ppid=20123 vsize=8339376 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20127/stat : 20127 (java) R 20123 20126 18810 0 -1 4202560 512 0 0 0 0 0 0 0 20 0 2 0 5183450 8539521024 2065 33554432000 4194304 4196468 140720841222480 140328446802336 140328434849696 0 4 0 16784584 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [startup+0.100158 s] /proc/loadavg: 1.60 1.72 2.62 3/267 20126 /proc/meminfo: memFree=31629576/32770624 swapFree=5932/275192 [pid=20126] ppid=20123 vsize=10900580 CPUtime=0.09 cores=4-7,12-15 /proc/20126/stat : 20126 (java) S 20123 20126 18810 0 -1 1077944320 4736 0 0 0 8 1 0 0 20 0 20 0 5183450 11162193920 5846 33554432000 4194304 4196468 140720841222480 140720841205024 140328442560247 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 /proc/20126/statm: 2725145 5846 2631 1 0 2713552 0 [pid=20126/tid=20127] ppid=20123 vsize=10900580 CPUtime=0.08 cores=4-7,12-15 /proc/20126/task/20127/stat : 20127 (java) R 20123 20126 18810 0 -1 4202560 2827 0 0 0 7 1 0 0 20 0 20 0 5183450 11162193920 5846 33554432000 4194304 4196468 140720841222480 140328446793728 140328442582173 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10900580 [startup+0.200404 s] /proc/loadavg: 1.60 1.72 2.62 3/267 20126 /proc/meminfo: memFree=31629576/32770624 swapFree=5932/275192 [pid=20126] ppid=20123 vsize=10900580 CPUtime=0.28 cores=4-7,12-15 /proc/20126/stat : 20126 (java) S 20123 20126 18810 0 -1 1077944320 7553 0 0 0 26 2 0 0 20 0 20 0 5183450 11162193920 8976 33554432000 4194304 4196468 140720841222480 140720841205024 140328442560247 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 /proc/20126/statm: 2725145 8976 2895 1 0 2713552 0 [pid=20126/tid=20127] ppid=20123 vsize=10900580 CPUtime=0.18 cores=4-7,12-15 /proc/20126/task/20127/stat : 20127 (java) D 20123 20126 18810 0 -1 1077944384 4748 0 0 0 17 1 0 0 20 0 20 0 5183450 11162193920 8976 33554432000 4194304 4196468 140720841222480 140328446774064 140328435239469 0 4 0 16800975 18446744072101658148 0 0 -1 12 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 10900580 [startup+0.300366 s] /proc/loadavg: 1.60 1.72 2.62 3/267 20126 /proc/meminfo: memFree=31629576/32770624 swapFree=5932/275192 [pid=20126] ppid=20123 vsize=10969228 CPUtime=0.48 cores=4-7,12-15 /proc/20126/stat : 20126 (java) S 20123 20126 18810 0 -1 1077944320 8424 0 0 0 45 3 0 0 20 0 21 0 5183450 11232489472 13296 33554432000 4194304 4196468 140720841222480 140720841205024 140328442560247 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 /proc/20126/statm: 2742307 13296 2972 1 0 2730193 0 [pid=20126/tid=20127] ppid=20123 vsize=10969228 CPUtime=0.26 cores=4-7,12-15 /proc/20126/task/20127/stat : 20127 (java) S 20123 20126 18810 0 -1 1077944384 5167 0 0 0 24 2 0 0 20 0 21 0 5183450 11232489472 13296 33554432000 4194304 4196468 140720841222480 140328446803120 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 10969228 [startup+0.700264 s] /proc/loadavg: 1.60 1.72 2.62 3/267 20126 /proc/meminfo: memFree=31629576/32770624 swapFree=5932/275192 [pid=20126] ppid=20123 vsize=10971352 CPUtime=1.65 cores=4-7,12-15 /proc/20126/stat : 20126 (java) S 20123 20126 18810 0 -1 1077944320 12383 0 0 0 159 6 0 0 20 0 21 0 5183450 11234664448 22298 33554432000 4194304 4196468 140720841222480 140720841205024 140328442560247 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 /proc/20126/statm: 2742838 22298 3101 1 0 2730705 0 [pid=20126/tid=20127] ppid=20123 vsize=10971352 CPUtime=0.26 cores=4-7,12-15 /proc/20126/task/20127/stat : 20127 (java) S 20123 20126 18810 0 -1 1077944384 5167 0 0 0 24 2 0 0 20 0 21 0 5183450 11234664448 22298 33554432000 4194304 4196468 140720841222480 140328446803120 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 Current children cumulated CPU time (s) 1.65 Current children cumulated vsize (KiB) 10971352 [startup+1.50112 s] /proc/loadavg: 2.03 1.81 2.64 6/288 20147 /proc/meminfo: memFree=31484892/32770624 swapFree=5932/275192 [pid=20126] ppid=20123 vsize=10971352 CPUtime=4.34 cores=4-7,12-15 /proc/20126/stat : 20126 (java) S 20123 20126 18810 0 -1 1077944320 15511 0 0 0 419 15 0 0 20 0 21 0 5183450 11234664448 51608 33554432000 4194304 4196468 140720841222480 140720841205024 140328442560247 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 /proc/20126/statm: 2742838 51608 3137 1 0 2730705 0 [pid=20126/tid=20127] ppid=20123 vsize=10971352 CPUtime=0.26 cores=4-7,12-15 /proc/20126/task/20127/stat : 20127 (java) S 20123 20126 18810 0 -1 1077944384 5167 0 0 0 24 2 0 0 20 0 21 0 5183450 11234664448 51608 33554432000 4194304 4196468 140720841222480 140328446803120 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20129] ppid=20123 vsize=10971352 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20129/stat : 20129 (java) S 20123 20126 18810 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 21 0 5183451 11234664448 51608 33554432000 4194304 4196468 140720841222480 140328395180432 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20130] ppid=20123 vsize=10971352 CPUtime=0.01 cores=4-7,12-15 /proc/20126/task/20130/stat : 20130 (java) S 20123 20126 18810 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 21 0 5183451 11234664448 51608 33554432000 4194304 4196468 140720841222480 140328394127632 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20131] ppid=20123 vsize=10971352 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20131/stat : 20131 (java) S 20123 20126 18810 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 5183451 11234664448 51608 33554432000 4194304 4196468 140720841222480 140328047401616 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20132] ppid=20123 vsize=10971352 CPUtime=0.01 cores=4-7,12-15 /proc/20126/task/20132/stat : 20132 (java) S 20123 20126 18810 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 21 0 5183451 11234664448 51608 33554432000 4194304 4196468 140720841222480 140328046348816 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20133] ppid=20123 vsize=10971352 CPUtime=0.01 cores=4-7,12-15 /proc/20126/task/20133/stat : 20133 (java) S 20123 20126 18810 0 -1 1077944384 52 0 0 0 0 1 0 0 20 0 21 0 5183451 11234664448 51608 33554432000 4194304 4196468 140720841222480 140328045296528 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20134] ppid=20123 vsize=10971352 CPUtime=0.01 cores=4-7,12-15 /proc/20126/task/20134/stat : 20134 (java) S 20123 20126 18810 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 21 0 5183451 11234664448 51608 33554432000 4194304 4196468 140720841222480 140328044243728 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20135] ppid=20123 vsize=10971352 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20135/stat : 20135 (java) S 20123 20126 18810 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 21 0 5183451 11234664448 51608 33554432000 4194304 4196468 140720841222480 140328043191440 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20136] ppid=20123 vsize=10971352 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20136/stat : 20136 (java) S 20123 20126 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 5183451 11234664448 51608 33554432000 4194304 4196468 140720841222480 140328042138640 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20137] ppid=20123 vsize=10971352 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20137/stat : 20137 (java) S 20123 20126 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 21 0 5183454 11234664448 51608 33554432000 4194304 4196468 140720841222480 140327917688944 140328442571394 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20138] ppid=20123 vsize=10971352 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20138/stat : 20138 (java) S 20123 20126 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 5183454 11234664448 51608 33554432000 4194304 4196468 140720841222480 140327916634912 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20139] ppid=20123 vsize=10971352 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20139/stat : 20139 (java) S 20123 20126 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 5183455 11234664448 51608 33554432000 4194304 4196468 140720841222480 140327915582576 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20140] ppid=20123 vsize=10971352 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20140/stat : 20140 (java) S 20123 20126 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5183459 11234664448 51608 33554432000 4194304 4196468 140720841222480 140327914530896 140328442578843 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20141] ppid=20123 vsize=10971352 CPUtime=0.79 cores=4-7,12-15 /proc/20126/task/20141/stat : 20141 (java) S 20123 20126 18810 0 -1 1077944384 1959 0 0 0 78 1 0 0 20 0 21 0 5183459 11234664448 51608 33554432000 4194304 4196468 140720841222480 140327913478768 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20142] ppid=20123 vsize=10971352 CPUtime=0.75 cores=4-7,12-15 /proc/20126/task/20142/stat : 20142 (java) R 20123 20126 18810 0 -1 4202560 1484 0 0 0 75 0 0 0 20 0 21 0 5183459 11234664448 51608 33554432000 4194304 4196468 140720841222480 140327912415408 140328420155248 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20143] ppid=20123 vsize=10971352 CPUtime=0.73 cores=4-7,12-15 /proc/20126/task/20143/stat : 20143 (java) S 20123 20126 18810 0 -1 1077944384 1287 0 0 0 73 0 0 0 20 0 21 0 5183459 11234664448 51608 33554432000 4194304 4196468 140720841222480 140327911373680 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 18 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20144] ppid=20123 vsize=10971352 CPUtime=0.61 cores=4-7,12-15 /proc/20126/task/20144/stat : 20144 (java) S 20123 20126 18810 0 -1 1077944384 2123 0 0 0 61 0 0 0 20 0 21 0 5183459 11234664448 51608 33554432000 4194304 4196468 140720841222480 140327910320880 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20145] ppid=20123 vsize=10971352 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20145/stat : 20145 (java) S 20123 20126 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5183459 11234664448 51608 33554432000 4194304 4196468 140720841222480 140327909267808 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20146] ppid=20123 vsize=10971352 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20146/stat : 20146 (java) S 20123 20126 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5183459 11234664448 51608 33554432000 4194304 4196468 140720841222480 140327908215088 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20147] ppid=20123 vsize=10971352 CPUtime=1 cores=4-7,12-15 /proc/20126/task/20147/stat : 20147 (java) R 20123 20126 18810 0 -1 4202560 1904 0 0 0 98 2 0 0 20 0 21 0 5183478 11234664448 51608 33554432000 4194304 4196468 140720841222480 140327905019144 140328075076528 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 Current children cumulated CPU time (s) 4.34 Current children cumulated vsize (KiB) 10971352 [startup+3.10088 s] /proc/loadavg: 2.03 1.81 2.64 3/263 20158 /proc/meminfo: memFree=31560932/32770624 swapFree=5932/275540 [pid=20126] ppid=20123 vsize=10973400 CPUtime=8.45 cores=4-7,12-15 /proc/20126/stat : 20126 (java) S 20123 20126 18810 0 -1 1077944320 18760 0 0 0 817 28 0 0 20 0 21 0 5183450 11236761600 62331 33554432000 4194304 4196468 140720841222480 140720841205024 140328442560247 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 /proc/20126/statm: 2743350 62331 3158 1 0 2731217 0 [pid=20126/tid=20127] ppid=20123 vsize=10973400 CPUtime=0.26 cores=4-7,12-15 /proc/20126/task/20127/stat : 20127 (java) S 20123 20126 18810 0 -1 1077944384 5167 0 0 0 24 2 0 0 20 0 21 0 5183450 11236761600 62331 33554432000 4194304 4196468 140720841222480 140328446803120 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20129] ppid=20123 vsize=10973400 CPUtime=0.04 cores=4-7,12-15 /proc/20126/task/20129/stat : 20129 (java) S 20123 20126 18810 0 -1 1077944384 54 0 0 0 2 2 0 0 20 0 21 0 5183451 11236761600 62331 33554432000 4194304 4196468 140720841222480 140328395180432 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20130] ppid=20123 vsize=10973400 CPUtime=0.04 cores=4-7,12-15 /proc/20126/task/20130/stat : 20130 (java) S 20123 20126 18810 0 -1 1077944384 55 0 0 0 3 1 0 0 20 0 21 0 5183451 11236761600 62331 33554432000 4194304 4196468 140720841222480 140328394127632 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20131] ppid=20123 vsize=10973400 CPUtime=0.04 cores=4-7,12-15 /proc/20126/task/20131/stat : 20131 (java) S 20123 20126 18810 0 -1 1077944384 47 0 0 0 2 2 0 0 20 0 21 0 5183451 11236761600 62331 33554432000 4194304 4196468 140720841222480 140328047401616 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20132] ppid=20123 vsize=10973400 CPUtime=0.03 cores=4-7,12-15 /proc/20126/task/20132/stat : 20132 (java) S 20123 20126 18810 0 -1 1077944384 74 0 0 0 2 1 0 0 20 0 21 0 5183451 11236761600 62331 33554432000 4194304 4196468 140720841222480 140328046348816 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20133] ppid=20123 vsize=10973400 CPUtime=0.04 cores=4-7,12-15 /proc/20126/task/20133/stat : 20133 (java) S 20123 20126 18810 0 -1 1077944384 63 0 0 0 2 2 0 0 20 0 21 0 5183451 11236761600 62331 33554432000 4194304 4196468 140720841222480 140328045296528 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20134] ppid=20123 vsize=10973400 CPUtime=0.04 cores=4-7,12-15 /proc/20126/task/20134/stat : 20134 (java) S 20123 20126 18810 0 -1 1077944384 42 0 0 0 2 2 0 0 20 0 21 0 5183451 11236761600 62331 33554432000 4194304 4196468 140720841222480 140328044243728 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20135] ppid=20123 vsize=10973400 CPUtime=0.05 cores=4-7,12-15 /proc/20126/task/20135/stat : 20135 (java) S 20123 20126 18810 0 -1 1077944384 80 0 0 0 3 2 0 0 20 0 21 0 5183451 11236761600 62331 33554432000 4194304 4196468 140720841222480 140328043191440 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20136] ppid=20123 vsize=10973400 CPUtime=0.04 cores=4-7,12-15 /proc/20126/task/20136/stat : 20136 (java) S 20123 20126 18810 0 -1 1077944384 90 0 0 0 2 2 0 0 20 0 21 0 5183451 11236761600 62331 33554432000 4194304 4196468 140720841222480 140328042138640 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20137] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20137/stat : 20137 (java) S 20123 20126 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 21 0 5183454 11236761600 62331 33554432000 4194304 4196468 140720841222480 140327917688944 140328442571394 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20138] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20138/stat : 20138 (java) S 20123 20126 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 5183454 11236761600 62331 33554432000 4194304 4196468 140720841222480 140327916634912 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20139] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20139/stat : 20139 (java) S 20123 20126 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 5183455 11236761600 62331 33554432000 4194304 4196468 140720841222480 140327915582576 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20140] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20140/stat : 20140 (java) S 20123 20126 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5183459 11236761600 62331 33554432000 4194304 4196468 140720841222480 140327914530896 140328442578843 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20141] ppid=20123 vsize=10973400 CPUtime=1.49 cores=4-7,12-15 /proc/20126/task/20141/stat : 20141 (java) S 20123 20126 18810 0 -1 1077944384 2185 0 0 0 148 1 0 0 20 0 21 0 5183459 11236761600 62331 33554432000 4194304 4196468 140720841222480 140327913478768 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20142] ppid=20123 vsize=10973400 CPUtime=1.47 cores=4-7,12-15 /proc/20126/task/20142/stat : 20142 (java) S 20123 20126 18810 0 -1 1077944384 2435 0 0 0 146 1 0 0 20 0 21 0 5183459 11236761600 62331 33554432000 4194304 4196468 140720841222480 140327912425968 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20143] ppid=20123 vsize=10973400 CPUtime=1.43 cores=4-7,12-15 /proc/20126/task/20143/stat : 20143 (java) S 20123 20126 18810 0 -1 1077944384 1801 0 0 0 143 0 0 0 20 0 21 0 5183459 11236761600 62331 33554432000 4194304 4196468 140720841222480 140327911373680 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 18 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20144] ppid=20123 vsize=10973400 CPUtime=0.79 cores=4-7,12-15 /proc/20126/task/20144/stat : 20144 (java) S 20123 20126 18810 0 -1 1077944384 2390 0 0 0 78 1 0 0 20 0 21 0 5183459 11236761600 62331 33554432000 4194304 4196468 140720841222480 140327910320880 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20145] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20145/stat : 20145 (java) S 20123 20126 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5183459 11236761600 62331 33554432000 4194304 4196468 140720841222480 140327909267808 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20146] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20146/stat : 20146 (java) S 20123 20126 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5183459 11236761600 62331 33554432000 4194304 4196468 140720841222480 140327908215088 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20147] ppid=20123 vsize=10973400 CPUtime=2.56 cores=4-7,12-15 /proc/20126/task/20147/stat : 20147 (java) D 20123 20126 18810 0 -1 1077944384 2824 0 0 0 253 3 0 0 20 0 21 0 5183478 11236761600 62331 33554432000 4194304 4196468 140720841222480 140327905012560 140328435239469 0 4 0 16800975 18446744072101658148 0 0 -1 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 Current children cumulated CPU time (s) 8.45 Current children cumulated vsize (KiB) 10973400 [startup+6.30089 s] /proc/loadavg: 2.03 1.81 2.64 5/288 20243 /proc/meminfo: memFree=31166456/32770624 swapFree=5932/275608 [pid=20126] ppid=20123 vsize=10973400 CPUtime=11.76 cores=4-7,12-15 /proc/20126/stat : 20126 (java) S 20123 20126 18810 0 -1 1077944320 22388 0 0 0 1147 29 0 0 20 0 21 0 5183450 11236761600 62495 33554432000 4194304 4196468 140720841222480 140720841205024 140328442560247 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 /proc/20126/statm: 2743350 62495 3161 1 0 2731217 0 [pid=20126/tid=20127] ppid=20123 vsize=10973400 CPUtime=0.26 cores=4-7,12-15 /proc/20126/task/20127/stat : 20127 (java) S 20123 20126 18810 0 -1 1077944384 5167 0 0 0 24 2 0 0 20 0 21 0 5183450 11236761600 62495 33554432000 4194304 4196468 140720841222480 140328446803120 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20129] ppid=20123 vsize=10973400 CPUtime=0.04 cores=4-7,12-15 /proc/20126/task/20129/stat : 20129 (java) S 20123 20126 18810 0 -1 1077944384 54 0 0 0 2 2 0 0 20 0 21 0 5183451 11236761600 62495 33554432000 4194304 4196468 140720841222480 140328395180432 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20130] ppid=20123 vsize=10973400 CPUtime=0.04 cores=4-7,12-15 /proc/20126/task/20130/stat : 20130 (java) S 20123 20126 18810 0 -1 1077944384 55 0 0 0 3 1 0 0 20 0 21 0 5183451 11236761600 62495 33554432000 4194304 4196468 140720841222480 140328394127632 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20131] ppid=20123 vsize=10973400 CPUtime=0.04 cores=4-7,12-15 /proc/20126/task/20131/stat : 20131 (java) S 20123 20126 18810 0 -1 1077944384 47 0 0 0 2 2 0 0 20 0 21 0 5183451 11236761600 62495 33554432000 4194304 4196468 140720841222480 140328047401616 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20132] ppid=20123 vsize=10973400 CPUtime=0.03 cores=4-7,12-15 /proc/20126/task/20132/stat : 20132 (java) S 20123 20126 18810 0 -1 1077944384 74 0 0 0 2 1 0 0 20 0 21 0 5183451 11236761600 62495 33554432000 4194304 4196468 140720841222480 140328046348816 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20133] ppid=20123 vsize=10973400 CPUtime=0.04 cores=4-7,12-15 /proc/20126/task/20133/stat : 20133 (java) S 20123 20126 18810 0 -1 1077944384 63 0 0 0 2 2 0 0 20 0 21 0 5183451 11236761600 62495 33554432000 4194304 4196468 140720841222480 140328045296528 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20134] ppid=20123 vsize=10973400 CPUtime=0.04 cores=4-7,12-15 /proc/20126/task/20134/stat : 20134 (java) S 20123 20126 18810 0 -1 1077944384 42 0 0 0 2 2 0 0 20 0 21 0 5183451 11236761600 62495 33554432000 4194304 4196468 140720841222480 140328044243728 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20135] ppid=20123 vsize=10973400 CPUtime=0.05 cores=4-7,12-15 /proc/20126/task/20135/stat : 20135 (java) S 20123 20126 18810 0 -1 1077944384 80 0 0 0 3 2 0 0 20 0 21 0 5183451 11236761600 62495 33554432000 4194304 4196468 140720841222480 140328043191440 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20136] ppid=20123 vsize=10973400 CPUtime=0.04 cores=4-7,12-15 /proc/20126/task/20136/stat : 20136 (java) S 20123 20126 18810 0 -1 1077944384 90 0 0 0 2 2 0 0 20 0 21 0 5183451 11236761600 62495 33554432000 4194304 4196468 140720841222480 140328042138640 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20137] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20137/stat : 20137 (java) S 20123 20126 18810 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 21 0 5183454 11236761600 62495 33554432000 4194304 4196468 140720841222480 140327917688944 140328442571394 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20138] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 ################ # More data... # ################ [pid=20126/tid=20146] ppid=20123 vsize=10973400 CPUtime=0.59 cores=4-7,12-15 /proc/20126/task/20146/stat : 20146 (java) S 20123 20126 18810 0 -1 1077944384 1575 0 0 0 26 33 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327908215088 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20147] ppid=20123 vsize=10973400 CPUtime=2320.92 cores=4-7,12-15 /proc/20126/task/20147/stat : 20147 (java) R 20123 20126 18810 0 -1 4202560 14665 0 0 0 232087 5 0 0 20 0 21 0 5183478 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327905025592 140328081505417 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 Current children cumulated CPU time (s) 2328.01 Current children cumulated vsize (KiB) 10973400 [startup+2382.3 s] /proc/loadavg: 2.02 2.04 2.10 3/287 20345 /proc/meminfo: memFree=30897064/32770624 swapFree=5932/277828 [pid=20126] ppid=20123 vsize=10973400 CPUtime=2388.01 cores=4-7,12-15 /proc/20126/stat : 20126 (java) S 20123 20126 18810 0 -1 1077944320 45681 0 0 0 238730 71 0 0 20 0 21 0 5183450 11236761600 103446 33554432000 4194304 4196468 140720841222480 140720841205024 140328442560247 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 /proc/20126/statm: 2743350 103446 3171 1 0 2731217 0 [pid=20126/tid=20127] ppid=20123 vsize=10973400 CPUtime=0.26 cores=4-7,12-15 /proc/20126/task/20127/stat : 20127 (java) S 20123 20126 18810 0 -1 1077944384 5167 0 0 0 24 2 0 0 20 0 21 0 5183450 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328446803120 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20129] ppid=20123 vsize=10973400 CPUtime=0.05 cores=4-7,12-15 /proc/20126/task/20129/stat : 20129 (java) S 20123 20126 18810 0 -1 1077944384 137 0 0 0 3 2 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328395180432 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20130] ppid=20123 vsize=10973400 CPUtime=0.07 cores=4-7,12-15 /proc/20126/task/20130/stat : 20130 (java) S 20123 20126 18810 0 -1 1077944384 217 0 0 0 4 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328394127632 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20131] ppid=20123 vsize=10973400 CPUtime=0.07 cores=4-7,12-15 /proc/20126/task/20131/stat : 20131 (java) S 20123 20126 18810 0 -1 1077944384 247 0 0 0 4 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328047401616 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20132] ppid=20123 vsize=10973400 CPUtime=0.07 cores=4-7,12-15 /proc/20126/task/20132/stat : 20132 (java) S 20123 20126 18810 0 -1 1077944384 146 0 0 0 4 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328046348816 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20133] ppid=20123 vsize=10973400 CPUtime=0.08 cores=4-7,12-15 /proc/20126/task/20133/stat : 20133 (java) S 20123 20126 18810 0 -1 1077944384 80 0 0 0 4 4 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328045296528 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20134] ppid=20123 vsize=10973400 CPUtime=0.07 cores=4-7,12-15 /proc/20126/task/20134/stat : 20134 (java) S 20123 20126 18810 0 -1 1077944384 357 0 0 0 4 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328044243728 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20135] ppid=20123 vsize=10973400 CPUtime=0.07 cores=4-7,12-15 /proc/20126/task/20135/stat : 20135 (java) S 20123 20126 18810 0 -1 1077944384 102 0 0 0 4 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328043191440 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20136] ppid=20123 vsize=10973400 CPUtime=0.06 cores=4-7,12-15 /proc/20126/task/20136/stat : 20136 (java) S 20123 20126 18810 0 -1 1077944384 127 0 0 0 3 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328042138640 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20137] ppid=20123 vsize=10973400 CPUtime=0.03 cores=4-7,12-15 /proc/20126/task/20137/stat : 20137 (java) S 20123 20126 18810 0 -1 1077944384 919 0 0 0 1 2 0 0 20 0 21 0 5183454 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327917688944 140328442571394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20138] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20138/stat : 20138 (java) S 20123 20126 18810 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 21 0 5183454 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327916634912 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20139] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20139/stat : 20139 (java) S 20123 20126 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 5183455 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327915582576 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20140] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20140/stat : 20140 (java) S 20123 20126 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327914530896 140328442578843 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20141] ppid=20123 vsize=10973400 CPUtime=1.56 cores=4-7,12-15 /proc/20126/task/20141/stat : 20141 (java) S 20123 20126 18810 0 -1 1077944384 4029 0 0 0 155 1 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327913478768 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20142] ppid=20123 vsize=10973400 CPUtime=1.53 cores=4-7,12-15 /proc/20126/task/20142/stat : 20142 (java) S 20123 20126 18810 0 -1 1077944384 3287 0 0 0 152 1 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327912425968 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20143] ppid=20123 vsize=10973400 CPUtime=1.56 cores=4-7,12-15 /proc/20126/task/20143/stat : 20143 (java) S 20123 20126 18810 0 -1 1077944384 5045 0 0 0 155 1 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327911373680 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 18 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20144] ppid=20123 vsize=10973400 CPUtime=0.87 cores=4-7,12-15 /proc/20126/task/20144/stat : 20144 (java) S 20123 20126 18810 0 -1 1077944384 8113 0 0 0 85 2 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327910320880 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20145] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20145/stat : 20145 (java) S 20123 20126 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327909267808 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20146] ppid=20123 vsize=10973400 CPUtime=0.61 cores=4-7,12-15 /proc/20126/task/20146/stat : 20146 (java) S 20123 20126 18810 0 -1 1077944384 1580 0 0 0 27 34 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327908215088 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20147] ppid=20123 vsize=10973400 CPUtime=2380.9 cores=4-7,12-15 /proc/20126/task/20147/stat : 20147 (java) R 20123 20126 18810 0 -1 4202560 14738 0 0 0 238085 5 0 0 20 0 21 0 5183478 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327905025592 140328081473197 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 Current children cumulated CPU time (s) 2388.01 Current children cumulated vsize (KiB) 10973400 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2394.3 s] /proc/loadavg: 2.01 2.04 2.10 3/287 20345 /proc/meminfo: memFree=30897188/32770624 swapFree=5932/277848 [pid=20126] ppid=20123 vsize=10973400 CPUtime=2400.01 cores=4-7,12-15 /proc/20126/stat : 20126 (java) S 20123 20126 18810 0 -1 1077944320 45685 0 0 0 239930 71 0 0 20 0 21 0 5183450 11236761600 103446 33554432000 4194304 4196468 140720841222480 140720841205024 140328442560247 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 /proc/20126/statm: 2743350 103446 3171 1 0 2731217 0 [pid=20126/tid=20127] ppid=20123 vsize=10973400 CPUtime=0.26 cores=4-7,12-15 /proc/20126/task/20127/stat : 20127 (java) S 20123 20126 18810 0 -1 1077944384 5167 0 0 0 24 2 0 0 20 0 21 0 5183450 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328446803120 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20129] ppid=20123 vsize=10973400 CPUtime=0.05 cores=4-7,12-15 /proc/20126/task/20129/stat : 20129 (java) S 20123 20126 18810 0 -1 1077944384 137 0 0 0 3 2 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328395180432 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20130] ppid=20123 vsize=10973400 CPUtime=0.07 cores=4-7,12-15 /proc/20126/task/20130/stat : 20130 (java) S 20123 20126 18810 0 -1 1077944384 217 0 0 0 4 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328394127632 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20131] ppid=20123 vsize=10973400 CPUtime=0.07 cores=4-7,12-15 /proc/20126/task/20131/stat : 20131 (java) S 20123 20126 18810 0 -1 1077944384 247 0 0 0 4 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328047401616 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20132] ppid=20123 vsize=10973400 CPUtime=0.07 cores=4-7,12-15 /proc/20126/task/20132/stat : 20132 (java) S 20123 20126 18810 0 -1 1077944384 146 0 0 0 4 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328046348816 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20133] ppid=20123 vsize=10973400 CPUtime=0.08 cores=4-7,12-15 /proc/20126/task/20133/stat : 20133 (java) S 20123 20126 18810 0 -1 1077944384 80 0 0 0 4 4 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328045296528 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20134] ppid=20123 vsize=10973400 CPUtime=0.07 cores=4-7,12-15 /proc/20126/task/20134/stat : 20134 (java) S 20123 20126 18810 0 -1 1077944384 357 0 0 0 4 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328044243728 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20135] ppid=20123 vsize=10973400 CPUtime=0.07 cores=4-7,12-15 /proc/20126/task/20135/stat : 20135 (java) S 20123 20126 18810 0 -1 1077944384 102 0 0 0 4 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328043191440 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20136] ppid=20123 vsize=10973400 CPUtime=0.06 cores=4-7,12-15 /proc/20126/task/20136/stat : 20136 (java) S 20123 20126 18810 0 -1 1077944384 127 0 0 0 3 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328042138640 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20137] ppid=20123 vsize=10973400 CPUtime=0.03 cores=4-7,12-15 /proc/20126/task/20137/stat : 20137 (java) S 20123 20126 18810 0 -1 1077944384 919 0 0 0 1 2 0 0 20 0 21 0 5183454 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327917688944 140328442571394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20138] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20138/stat : 20138 (java) S 20123 20126 18810 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 21 0 5183454 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327916634912 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20139] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20139/stat : 20139 (java) S 20123 20126 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 5183455 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327915582576 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20140] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20140/stat : 20140 (java) S 20123 20126 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327914530896 140328442578843 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20141] ppid=20123 vsize=10973400 CPUtime=1.56 cores=4-7,12-15 /proc/20126/task/20141/stat : 20141 (java) S 20123 20126 18810 0 -1 1077944384 4029 0 0 0 155 1 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327913478768 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20142] ppid=20123 vsize=10973400 CPUtime=1.53 cores=4-7,12-15 /proc/20126/task/20142/stat : 20142 (java) S 20123 20126 18810 0 -1 1077944384 3287 0 0 0 152 1 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327912425968 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20143] ppid=20123 vsize=10973400 CPUtime=1.56 cores=4-7,12-15 /proc/20126/task/20143/stat : 20143 (java) S 20123 20126 18810 0 -1 1077944384 5045 0 0 0 155 1 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327911373680 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 18 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20144] ppid=20123 vsize=10973400 CPUtime=0.87 cores=4-7,12-15 /proc/20126/task/20144/stat : 20144 (java) S 20123 20126 18810 0 -1 1077944384 8113 0 0 0 85 2 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327910320880 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20145] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20145/stat : 20145 (java) S 20123 20126 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327909267808 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20146] ppid=20123 vsize=10973400 CPUtime=0.61 cores=4-7,12-15 /proc/20126/task/20146/stat : 20146 (java) S 20123 20126 18810 0 -1 1077944384 1582 0 0 0 27 34 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327908215088 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20147] ppid=20123 vsize=10973400 CPUtime=2392.89 cores=4-7,12-15 /proc/20126/task/20147/stat : 20147 (java) R 20123 20126 18810 0 -1 4202560 14740 0 0 0 239284 5 0 0 20 0 21 0 5183478 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327905025592 140328081505419 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 10973400 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 20126 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2394.3 s] /proc/loadavg: 2.01 2.04 2.10 3/287 20345 /proc/meminfo: memFree=30897188/32770624 swapFree=5932/277848 [pid=20126] ppid=20123 vsize=10973400 CPUtime=2400.01 cores=4-7,12-15 /proc/20126/stat : 20126 (java) S 20123 20126 18810 0 -1 1077944320 45685 0 0 0 239930 71 0 0 20 0 21 0 5183450 11236761600 103446 33554432000 4194304 4196468 140720841222480 140720841205024 140328442560247 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 /proc/20126/statm: 2743350 103446 3171 1 0 2731217 0 [pid=20126/tid=20127] ppid=20123 vsize=10973400 CPUtime=0.26 cores=4-7,12-15 /proc/20126/task/20127/stat : 20127 (java) S 20123 20126 18810 0 -1 1077944384 5167 0 0 0 24 2 0 0 20 0 21 0 5183450 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328446803120 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20129] ppid=20123 vsize=10973400 CPUtime=0.05 cores=4-7,12-15 /proc/20126/task/20129/stat : 20129 (java) S 20123 20126 18810 0 -1 1077944384 137 0 0 0 3 2 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328395180432 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20130] ppid=20123 vsize=10973400 CPUtime=0.07 cores=4-7,12-15 /proc/20126/task/20130/stat : 20130 (java) S 20123 20126 18810 0 -1 1077944384 217 0 0 0 4 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328394127632 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20131] ppid=20123 vsize=10973400 CPUtime=0.07 cores=4-7,12-15 /proc/20126/task/20131/stat : 20131 (java) S 20123 20126 18810 0 -1 1077944384 247 0 0 0 4 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328047401616 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20132] ppid=20123 vsize=10973400 CPUtime=0.07 cores=4-7,12-15 /proc/20126/task/20132/stat : 20132 (java) S 20123 20126 18810 0 -1 1077944384 146 0 0 0 4 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328046348816 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20133] ppid=20123 vsize=10973400 CPUtime=0.08 cores=4-7,12-15 /proc/20126/task/20133/stat : 20133 (java) S 20123 20126 18810 0 -1 1077944384 80 0 0 0 4 4 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328045296528 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20134] ppid=20123 vsize=10973400 CPUtime=0.07 cores=4-7,12-15 /proc/20126/task/20134/stat : 20134 (java) S 20123 20126 18810 0 -1 1077944384 357 0 0 0 4 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328044243728 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20135] ppid=20123 vsize=10973400 CPUtime=0.07 cores=4-7,12-15 /proc/20126/task/20135/stat : 20135 (java) S 20123 20126 18810 0 -1 1077944384 102 0 0 0 4 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328043191440 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20136] ppid=20123 vsize=10973400 CPUtime=0.06 cores=4-7,12-15 /proc/20126/task/20136/stat : 20136 (java) S 20123 20126 18810 0 -1 1077944384 127 0 0 0 3 3 0 0 20 0 21 0 5183451 11236761600 103446 33554432000 4194304 4196468 140720841222480 140328042138640 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20137] ppid=20123 vsize=10973400 CPUtime=0.03 cores=4-7,12-15 /proc/20126/task/20137/stat : 20137 (java) S 20123 20126 18810 0 -1 1077944384 919 0 0 0 1 2 0 0 20 0 21 0 5183454 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327917688944 140328442571394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20138] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20138/stat : 20138 (java) S 20123 20126 18810 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 21 0 5183454 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327916634912 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20139] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20139/stat : 20139 (java) S 20123 20126 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 5183455 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327915582576 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20140] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20140/stat : 20140 (java) S 20123 20126 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327914530896 140328442578843 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20141] ppid=20123 vsize=10973400 CPUtime=1.56 cores=4-7,12-15 /proc/20126/task/20141/stat : 20141 (java) S 20123 20126 18810 0 -1 1077944384 4029 0 0 0 155 1 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327913478768 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20142] ppid=20123 vsize=10973400 CPUtime=1.53 cores=4-7,12-15 /proc/20126/task/20142/stat : 20142 (java) S 20123 20126 18810 0 -1 1077944384 3287 0 0 0 152 1 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327912425968 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20143] ppid=20123 vsize=10973400 CPUtime=1.56 cores=4-7,12-15 /proc/20126/task/20143/stat : 20143 (java) S 20123 20126 18810 0 -1 1077944384 5045 0 0 0 155 1 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327911373680 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 18 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20144] ppid=20123 vsize=10973400 CPUtime=0.87 cores=4-7,12-15 /proc/20126/task/20144/stat : 20144 (java) S 20123 20126 18810 0 -1 1077944384 8113 0 0 0 85 2 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327910320880 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20145] ppid=20123 vsize=10973400 CPUtime=0 cores=4-7,12-15 /proc/20126/task/20145/stat : 20145 (java) S 20123 20126 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327909267808 140328442570453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20146] ppid=20123 vsize=10973400 CPUtime=0.61 cores=4-7,12-15 /proc/20126/task/20146/stat : 20146 (java) S 20123 20126 18810 0 -1 1077944384 1582 0 0 0 27 34 0 0 20 0 21 0 5183459 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327908215088 140328442571394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 [pid=20126/tid=20147] ppid=20123 vsize=10973400 CPUtime=2392.89 cores=4-7,12-15 /proc/20126/task/20147/stat : 20147 (java) R 20123 20126 18810 0 -1 4202560 14740 0 0 0 239284 5 0 0 20 0 21 0 5183478 11236761600 103446 33554432000 4194304 4196468 140720841222480 140327905025592 140328081505419 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 34377728 140720841225411 140720841225540 140720841225540 140720841228239 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 10973400 Child status: 143 Real time (s): 2394.31 CPU time (s): 2400.04 CPU user time (s): 2399.31 CPU system time (s): 0.722816 CPU usage (%): 100.239 Max. virtual memory (cumulated for all children) (KiB): 10973400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.31 system time used= 0.722816 maximum resident set size= 414532 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45968 page faults= 0 swaps= 0 block input operations= 8 block output operations= 1576 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55354 involuntary context switches= 120515 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.4198 second user time and 17.3976 second system time The end
Begin job on node132 at 2017-07-22 06:52:43 IDJOB=4245152 IDBENCH=120600 IDSOLVER=2624 FILE ID=node132/4245152-1500699163 RUNJOBID= node132-1500696776-19901 PBS_JOBID= 20623322 Free space on /tmp= 61760 MiB SOLVER NAME= AbsCon-basic 2017-06-11 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-lei450-25d.xml COMMAND LINE= java -jar HOME/AbsCon-basic.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245152-1500699163/watcher-4245152-1500699163 -o /tmp/evaluation-result-4245152-1500699163/solver-4245152-1500699163 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500696776-19901 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4245152-1500699163.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 1f90dacd0a92fbbf60104d292dc9abb3 RANDOM SEED=203405405 node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 0 siblings : 8 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.61 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31629252 kB MemAvailable: 31827080 kB Buffers: 122800 kB Cached: 355072 kB SwapCached: 0 kB Active: 417912 kB Inactive: 283820 kB Active(anon): 227120 kB Inactive(anon): 8628 kB Active(file): 190792 kB Inactive(file): 275192 kB Unevictable: 5932 kB Mlocked: 5932 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8364 kB Writeback: 0 kB AnonPages: 239504 kB Mapped: 42744 kB Shmem: 8872 kB Slab: 129508 kB SReclaimable: 95356 kB SUnreclaim: 34152 kB KernelStack: 4944 kB PageTables: 5624 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1064640 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 172032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 140672 kB DirectMap2M: 33404928 kB Free space on /tmp at the end= 61752 MiB End job on node132 at 2017-07-22 07:32:37