Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | ? (TO) | 19976.3 | 2520.28 |
Name | PizzaVoucher/ PizzaVoucher-18b_c18.xml |
MD5SUM | cfb25615b49033917f7fa13487cdd88c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 54 |
Best CPU time to get the best result obtained on this benchmark | 20053.7 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 68 |
Number of constraints | 208 |
Number of domains | 19 |
Minimum domain size | 1 |
Maximum domain size | 33 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":39},{"size":3,"count":4},{"size":4,"count":3},{"size":5,"count":1},{"size":7,"count":1},{"size":33,"count":18}] |
Minimum variable degree | 2 |
Maximum variable degree | 50 |
Distribution of variable degrees | [{"degree":2,"count":50},{"degree":48,"count":9},{"degree":49,"count":4},{"degree":50,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 19 |
Distribution of constraint arities | [{"arity":2,"count":176},{"arity":19,"count":32}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 176 |
Distribution of constraint types | [{"type":"intension","count":176},{"type":"count","count":32}] |
Optimization problem | YES |
Type of objective | min SUM |
0.64/0.58 c version: 2018-08-14 0.97/0.76 c seed: 1016543970 0.97/0.76 c timeout: 20160 0.97/0.76 c memlimit: 22000 0.97/0.76 c nbcore: 8 0.97/0.76 c Parsing instance... 1.66/1.02 c Parsing done, starting search... 19974.41/2520.09 s UNKNOWN
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 (13561 MiB free) memory of node 1: 16384 MiB (10609 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308838-1534375030/watcher-4308838-1534375030 -o /tmp/evaluation-result-4308838-1534375030/solver-4308838-1534375030 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1534374909-1931 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1016543970 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308838-1534375030.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=2148, runsolver pid=2145 [startup+0.100129 s]* /proc/loadavg: 7.33 7.60 8.34 2/200 2168 /proc/meminfo: memFree=24740268/32770624 swapFree=67107648/67108860 [pid=2148] ppid=2145 vsize=26103420 memory=26636 CPUtime=0.08 cores=0-7 /proc/2148/stat : 2148 (java) S 2145 2148 1904 0 -1 1077944320 6111 0 0 0 7 1 0 0 20 0 20 0 255066169 26729902080 6659 33554432000 4194304 4196468 140726862183648 140726862166192 139982965870327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 /proc/2148/statm: 6525855 6659 3111 1 0 6487932 0 [pid=2148/tid=2150] ppid=2145 vsize=26103420 memory=1399051139730258233 CPUtime=0.07 cores=0-7 /proc/2148/task/2150/stat : 2150 (java) R 2145 2148 1904 0 -1 4202560 4205 0 0 0 6 1 0 0 20 0 20 0 255066170 26729902080 6659 33554432000 4194304 4196468 140726862183648 139982970096016 139982951938446 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2151] ppid=2145 vsize=26103420 memory=3677534773662714415 CPUtime=0 cores=0-7 /proc/2148/task/2151/stat : 2151 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 6659 33554432000 4194304 4196468 140726862183648 139982918490768 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2152] ppid=2145 vsize=26103420 memory=140405399971456 CPUtime=0 cores=0-7 /proc/2148/task/2152/stat : 2152 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 6659 33554432000 4194304 4196468 140726862183648 139982917437968 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2153] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2153/stat : 2153 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 6659 33554432000 4194304 4196468 140726862183648 139982522415504 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2154] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2154/stat : 2154 (java) S 2145 2148 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 6659 33554432000 4194304 4196468 140726862183648 139982521362704 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2155] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2155/stat : 2155 (java) S 2145 2148 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 6724 33554432000 4194304 4196468 140726862183648 139982520310928 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2156] ppid=2145 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/2148/task/2156/stat : 2156 (java) S 2145 2148 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 6724 33554432000 4194304 4196468 140726862183648 139982519258128 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2157] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2157/stat : 2157 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 6724 33554432000 4194304 4196468 140726862183648 139982518205328 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2158] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2158/stat : 2158 (java) S 2145 2148 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 6724 33554432000 4194304 4196468 140726862183648 139982517152528 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2159] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2159/stat : 2159 (java) S 2145 2148 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255066172 26729902080 6724 33554432000 4194304 4196468 140726862183648 139981484890480 139982965881474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2160] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2160/stat : 2160 (java) S 2145 2148 1904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 255066172 26729902080 6724 33554432000 4194304 4196468 140726862183648 139981483836448 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2161] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2161/stat : 2161 (java) S 2145 2148 1904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 255066172 26729902080 6724 33554432000 4194304 4196468 140726862183648 139981482783600 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2162] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2162/stat : 2162 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066175 26729902080 6724 33554432000 4194304 4196468 140726862183648 139981481731920 139982965888923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2163] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2163/stat : 2163 (java) S 2145 2148 1904 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 20 0 255066177 26729902080 6724 33554432000 4194304 4196468 140726862183648 139981480680304 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2164] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2164/stat : 2164 (java) S 2145 2148 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255066177 26729902080 6724 33554432000 4194304 4196468 140726862183648 139981479627504 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2165] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2165/stat : 2165 (java) S 2145 2148 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255066177 26729902080 6724 33554432000 4194304 4196468 140726862183648 139981478574704 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2166] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2166/stat : 2166 (java) S 2145 2148 1904 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 20 0 255066177 26729902080 6724 33554432000 4194304 4196468 140726862183648 139981477521904 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2167] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2167/stat : 2167 (java) S 2145 2148 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255066177 26729902080 6724 33554432000 4194304 4196468 140726862183648 139981476469344 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2168] ppid=2145 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/2148/task/2168/stat : 2168 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066178 26729902080 6724 33554432000 4194304 4196468 140726862183648 139981475416624 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 Current children cumulated CPU time: 0.08 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 26636 KiB [startup+0.210132 s]* /proc/loadavg: 7.33 7.60 8.34 3/200 2168 /proc/meminfo: memFree=24723152/32770624 swapFree=67107648/67108860 [pid=2148] ppid=2145 vsize=26103420 memory=42704 CPUtime=0.24 cores=0-7 /proc/2148/stat : 2148 (java) S 2145 2148 1904 0 -1 1077944320 10266 0 0 0 22 2 0 0 20 0 20 0 255066169 26729902080 10676 33554432000 4194304 4196468 140726862183648 140726862166192 139982965870327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 /proc/2148/statm: 6525855 10676 3313 1 0 6487932 0 [pid=2148/tid=2150] ppid=2145 vsize=26103420 memory=32758254098972862 CPUtime=0.18 cores=0-7 /proc/2148/task/2150/stat : 2150 (java) R 2145 2148 1904 0 -1 4202560 8085 0 0 0 16 2 0 0 20 0 20 0 255066170 26729902080 10676 33554432000 4194304 4196468 140726862183648 139982970088400 139982965882262 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2151] ppid=2145 vsize=26103420 memory=288230608969400343 CPUtime=0 cores=0-7 /proc/2148/task/2151/stat : 2151 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 10676 33554432000 4194304 4196468 140726862183648 139982918490768 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2152] ppid=2145 vsize=26103420 memory=15399647652701848 CPUtime=0 cores=0-7 /proc/2148/task/2152/stat : 2152 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 10676 33554432000 4194304 4196468 140726862183648 139982917437968 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2153] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2153/stat : 2153 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 10676 33554432000 4194304 4196468 140726862183648 139982522415504 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2154] ppid=2145 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/2148/task/2154/stat : 2154 (java) S 2145 2148 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 10676 33554432000 4194304 4196468 140726862183648 139982521362704 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2155] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2155/stat : 2155 (java) S 2145 2148 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 10676 33554432000 4194304 4196468 140726862183648 139982520310928 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2156] ppid=2145 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/2148/task/2156/stat : 2156 (java) S 2145 2148 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 10676 33554432000 4194304 4196468 140726862183648 139982519258128 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2157] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2157/stat : 2157 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 10676 33554432000 4194304 4196468 140726862183648 139982518205328 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2158] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2158/stat : 2158 (java) S 2145 2148 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 10676 33554432000 4194304 4196468 140726862183648 139982517152528 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2159] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2159/stat : 2159 (java) S 2145 2148 1904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 255066172 26729902080 10676 33554432000 4194304 4196468 140726862183648 139981484890480 139982965881474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2160] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2160/stat : 2160 (java) S 2145 2148 1904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 255066172 26729902080 10676 33554432000 4194304 4196468 140726862183648 139981483836448 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2161] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2161/stat : 2161 (java) S 2145 2148 1904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 255066172 26729902080 10676 33554432000 4194304 4196468 140726862183648 139981482783600 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2162] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2162/stat : 2162 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066175 26729902080 10676 33554432000 4194304 4196468 140726862183648 139981481731920 139982965888923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2163] ppid=2145 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/2148/task/2163/stat : 2163 (java) S 2145 2148 1904 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 20 0 255066177 26729902080 10676 33554432000 4194304 4196468 140726862183648 139981480680304 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2164] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2164/stat : 2164 (java) S 2145 2148 1904 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 20 0 255066177 26729902080 10676 33554432000 4194304 4196468 140726862183648 139981479627504 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2165] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2165/stat : 2165 (java) S 2145 2148 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255066177 26729902080 10676 33554432000 4194304 4196468 140726862183648 139981478574704 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2166] ppid=2145 vsize=26103420 memory=0 CPUtime=0.04 cores=0-7 /proc/2148/task/2166/stat : 2166 (java) R 2145 2148 1904 0 -1 4202560 287 0 0 0 4 0 0 0 20 0 20 0 255066177 26729902080 10676 33554432000 4194304 4196468 140726862183648 139981477521904 139982949950814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2167] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2167/stat : 2167 (java) S 2145 2148 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255066177 26729902080 10676 33554432000 4194304 4196468 140726862183648 139981476469344 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2168] ppid=2145 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/2148/task/2168/stat : 2168 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066178 26729902080 10676 33554432000 4194304 4196468 140726862183648 139981475416624 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 42704 KiB [startup+0.310162 s]* /proc/loadavg: 7.33 7.60 8.34 2/200 2168 /proc/meminfo: memFree=24718872/32770624 swapFree=67107648/67108860 [pid=2148] ppid=2145 vsize=26103420 memory=46560 CPUtime=0.41 cores=0-7 /proc/2148/stat : 2148 (java) S 2145 2148 1904 0 -1 1077944320 10807 0 0 0 38 3 0 0 20 0 20 0 255066169 26729902080 11640 33554432000 4194304 4196468 140726862183648 140726862166192 139982965870327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 /proc/2148/statm: 6525855 11640 3388 1 0 6487932 0 [pid=2148/tid=2150] ppid=2145 vsize=26103420 memory=1399051139730258233 CPUtime=0.27 cores=0-7 /proc/2148/task/2150/stat : 2150 (java) R 2145 2148 1904 0 -1 4202560 8441 0 0 0 25 2 0 0 20 0 20 0 255066170 26729902080 11640 33554432000 4194304 4196468 140726862183648 139982970032064 139982947433896 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2151] ppid=2145 vsize=26103420 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2148/task/2151/stat : 2151 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 11640 33554432000 4194304 4196468 140726862183648 139982918490768 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2152] ppid=2145 vsize=26103420 memory=12552 CPUtime=0 cores=0-7 /proc/2148/task/2152/stat : 2152 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 11640 33554432000 4194304 4196468 140726862183648 139982917437968 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2153] ppid=2145 vsize=26103420 memory=38252 CPUtime=0 cores=0-7 /proc/2148/task/2153/stat : 2153 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 11640 33554432000 4194304 4196468 140726862183648 139982522415504 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2154] ppid=2145 vsize=26103420 memory=2324 CPUtime=0 cores=0-7 /proc/2148/task/2154/stat : 2154 (java) S 2145 2148 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 11640 33554432000 4194304 4196468 140726862183648 139982521362704 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2155] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2155/stat : 2155 (java) S 2145 2148 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 11640 33554432000 4194304 4196468 140726862183648 139982520310928 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2156] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2156/stat : 2156 (java) S 2145 2148 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 11640 33554432000 4194304 4196468 140726862183648 139982519258128 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2157] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2157/stat : 2157 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 11640 33554432000 4194304 4196468 140726862183648 139982518205328 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2158] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2158/stat : 2158 (java) S 2145 2148 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255066170 26729902080 11640 33554432000 4194304 4196468 140726862183648 139982517152528 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2159] ppid=2145 vsize=26103420 memory=140405299569216 CPUtime=0 cores=0-7 /proc/2148/task/2159/stat : 2159 (java) S 2145 2148 1904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 255066172 26729902080 11640 33554432000 4194304 4196468 140726862183648 139981484890480 139982965881474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2160] ppid=2145 vsize=26103420 memory=140405299573711 CPUtime=0 cores=0-7 /proc/2148/task/2160/stat : 2160 (java) S 2145 2148 1904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 255066172 26729902080 11640 33554432000 4194304 4196468 140726862183648 139981483836448 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2161] ppid=2145 vsize=26103420 memory=1970350607106051 CPUtime=0 cores=0-7 /proc/2148/task/2161/stat : 2161 (java) S 2145 2148 1904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 255066172 26729902080 11640 33554432000 4194304 4196468 140726862183648 139981482783600 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2162] ppid=2145 vsize=26103420 memory=2110755906679716 CPUtime=0 cores=0-7 /proc/2148/task/2162/stat : 2162 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066175 26729902080 11640 33554432000 4194304 4196468 140726862183648 139981481731920 139982965888923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2163] ppid=2145 vsize=26103420 memory=2110755906682020 CPUtime=0.01 cores=0-7 /proc/2148/task/2163/stat : 2163 (java) S 2145 2148 1904 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 255066177 26729902080 11640 33554432000 4194304 4196468 140726862183648 139981480680304 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2164] ppid=2145 vsize=26103420 memory=2110755906684324 CPUtime=0.01 cores=0-7 /proc/2148/task/2164/stat : 2164 (java) S 2145 2148 1904 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 20 0 255066177 26729902080 11640 33554432000 4194304 4196468 140726862183648 139981479627504 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2165] ppid=2145 vsize=26103420 memory=2110755906710084 CPUtime=0.01 cores=0-7 /proc/2148/task/2165/stat : 2165 (java) S 2145 2148 1904 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 20 0 255066177 26729902080 11640 33554432000 4194304 4196468 140726862183648 139981478574704 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2166] ppid=2145 vsize=26103420 memory=2110755906710116 CPUtime=0.07 cores=0-7 /proc/2148/task/2166/stat : 2166 (java) S 2145 2148 1904 0 -1 1077944384 318 0 0 0 7 0 0 0 20 0 20 0 255066177 26729902080 11640 33554432000 4194304 4196468 140726862183648 139981477521904 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2167] ppid=2145 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2167/stat : 2167 (java) S 2145 2148 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255066177 26729902080 11640 33554432000 4194304 4196468 140726862183648 139981476469344 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2168] ppid=2145 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/2148/task/2168/stat : 2168 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066178 26729902080 11640 33554432000 4194304 4196468 140726862183648 139981475416624 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46560 KiB [startup+0.700845 s] /proc/loadavg: 7.33 7.60 8.34 2/200 2168 /proc/meminfo: memFree=24693620/32770624 swapFree=67107648/67108860 [pid=2148] ppid=2145 vsize=26105488 memory=85188 CPUtime=0.97 cores=0-7 /proc/2148/stat : 2148 (java) S 2145 2148 1904 0 -1 1077944320 17753 0 0 0 93 4 0 0 20 0 20 0 255066169 26732019712 21297 33554432000 4194304 4196468 140726862183648 140726862166192 139982965870327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 /proc/2148/statm: 6526372 21297 3496 1 0 6488444 0 [pid=2148/tid=2150] ppid=2145 vsize=26105488 memory=0 CPUtime=0.65 cores=0-7 /proc/2148/task/2150/stat : 2150 (java) R 2145 2148 1904 0 -1 4202560 14880 0 0 0 62 3 0 0 20 0 20 0 255066170 26732019712 21297 33554432000 4194304 4196468 140726862183648 139982970094496 139982965892253 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2151] ppid=2145 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/2148/task/2151/stat : 2151 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26732019712 21297 33554432000 4194304 4196468 140726862183648 139982918490768 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2152] ppid=2145 vsize=26105488 memory=18588618461414 CPUtime=0 cores=0-7 /proc/2148/task/2152/stat : 2152 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26732019712 21297 33554432000 4194304 4196468 140726862183648 139982917437968 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2153] ppid=2145 vsize=26105488 memory=280810599364896 CPUtime=0 cores=0-7 /proc/2148/task/2153/stat : 2153 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26732019712 21297 33554432000 4194304 4196468 140726862183648 139982522415504 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2154] ppid=2145 vsize=26105488 memory=1256 CPUtime=0 cores=0-7 /proc/2148/task/2154/stat : 2154 (java) S 2145 2148 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255066170 26732019712 21297 33554432000 4194304 4196468 140726862183648 139982521362704 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2155] ppid=2145 vsize=26105488 memory=10424 CPUtime=0 cores=0-7 /proc/2148/task/2155/stat : 2155 (java) S 2145 2148 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255066170 26732019712 21297 33554432000 4194304 4196468 140726862183648 139982520310928 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2156] ppid=2145 vsize=26105488 memory=1600 CPUtime=0 cores=0-7 /proc/2148/task/2156/stat : 2156 (java) S 2145 2148 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255066170 26732019712 21297 33554432000 4194304 4196468 140726862183648 139982519258128 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2157] ppid=2145 vsize=26105488 memory=1136 CPUtime=0 cores=0-7 /proc/2148/task/2157/stat : 2157 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255066170 26732019712 21297 33554432000 4194304 4196468 140726862183648 139982518205328 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2158] ppid=2145 vsize=26105488 memory=6296683621278634335 CPUtime=0 cores=0-7 /proc/2148/task/2158/stat : 2158 (java) S 2145 2148 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255066170 26732019712 21297 33554432000 4194304 4196468 140726862183648 139982517152528 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2159] ppid=2145 vsize=26105488 memory=7597685182856913236 CPUtime=0 cores=0-7 /proc/2148/task/2159/stat : 2159 (java) S 2145 2148 1904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 255066172 26732019712 21297 33554432000 4194304 4196468 140726862183648 139981484890480 139982965881474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 ################ # More data... # ################ /proc/2148/task/2156/stat : 2156 (java) S 2145 2148 1904 0 -1 1077944384 77221 0 0 0 845 37 0 0 20 0 38 0 255066170 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139982519258128 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2157] ppid=2145 vsize=27318012 memory=0 CPUtime=8.82 cores=0-7 /proc/2148/task/2157/stat : 2157 (java) S 2145 2148 1904 0 -1 1077944384 64829 0 0 0 846 36 0 0 20 0 38 0 255066170 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139982518205328 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2158] ppid=2145 vsize=27318012 memory=288230574492221466 CPUtime=8.76 cores=0-7 /proc/2148/task/2158/stat : 2158 (java) S 2145 2148 1904 0 -1 1077944384 64277 0 0 0 839 37 0 0 20 0 38 0 255066170 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139982517152528 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2159] ppid=2145 vsize=27318012 memory=7620840 CPUtime=6.03 cores=0-7 /proc/2148/task/2159/stat : 2159 (java) S 2145 2148 1904 0 -1 1077944384 113335 0 0 0 506 97 0 0 20 0 38 0 255066172 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981484890480 139982965881474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2160] ppid=2145 vsize=27318012 memory=1020 CPUtime=0 cores=0-7 /proc/2148/task/2160/stat : 2160 (java) S 2145 2148 1904 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 38 0 255066172 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981483836512 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2161] ppid=2145 vsize=27318012 memory=5672 CPUtime=0 cores=0-7 /proc/2148/task/2161/stat : 2161 (java) S 2145 2148 1904 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 38 0 255066172 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981482783616 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2162] ppid=2145 vsize=27318012 memory=756 CPUtime=0 cores=0-7 /proc/2148/task/2162/stat : 2162 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 38 0 255066175 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981481731920 139982965888923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2163] ppid=2145 vsize=27318012 memory=13940 CPUtime=1.59 cores=0-7 /proc/2148/task/2163/stat : 2163 (java) S 2145 2148 1904 0 -1 1077944384 4413 0 0 0 158 1 0 0 20 0 38 0 255066177 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981480680304 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2164] ppid=2145 vsize=27318012 memory=12552 CPUtime=1.64 cores=0-7 /proc/2148/task/2164/stat : 2164 (java) S 2145 2148 1904 0 -1 1077944384 4535 0 0 0 163 1 0 0 20 0 38 0 255066177 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981479627504 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2165] ppid=2145 vsize=27318012 memory=38284 CPUtime=1.54 cores=0-7 /proc/2148/task/2165/stat : 2165 (java) S 2145 2148 1904 0 -1 1077944384 4195 0 0 0 152 2 0 0 20 0 38 0 255066177 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981478574704 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2166] ppid=2145 vsize=27318012 memory=2324 CPUtime=0.99 cores=0-7 /proc/2148/task/2166/stat : 2166 (java) S 2145 2148 1904 0 -1 1077944384 10094 0 0 0 96 3 0 0 20 0 38 0 255066177 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981477521904 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2167] ppid=2145 vsize=27318012 memory=1580 CPUtime=0 cores=0-7 /proc/2148/task/2167/stat : 2167 (java) S 2145 2148 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 38 0 255066177 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981476469344 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2168] ppid=2145 vsize=27318012 memory=496 CPUtime=1.18 cores=0-7 /proc/2148/task/2168/stat : 2168 (java) S 2145 2148 1904 0 -1 1077944384 5963 0 0 0 58 60 0 0 20 0 38 0 255066178 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981475416624 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2169] ppid=2145 vsize=27318012 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/2148/task/2169/stat : 2169 (java) S 2145 2148 1904 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 38 0 255066353 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981464072832 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2170] ppid=2145 vsize=27318012 memory=280810600563216 CPUtime=5.73 cores=0-7 /proc/2148/task/2170/stat : 2170 (java) R 2145 2148 1904 0 -1 1077944384 14046 0 0 0 288 285 0 0 20 0 38 0 255066369 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981460923168 139982965881474 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2171] ppid=2145 vsize=27318012 memory=-8707038579349950309 CPUtime=0.03 cores=0-7 /proc/2148/task/2171/stat : 2171 (java) S 2145 2148 1904 0 -1 1077944384 105 0 0 0 3 0 0 0 20 0 38 0 255066391 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981457774112 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2172] ppid=2145 vsize=27318012 memory=-8341965534556230502 CPUtime=0.04 cores=0-7 /proc/2148/task/2172/stat : 2172 (java) S 2145 2148 1904 0 -1 1077944384 112 0 0 0 4 0 0 0 20 0 38 0 255066392 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981456721312 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2173] ppid=2145 vsize=27318012 memory=9047017150487036571 CPUtime=2483.34 cores=0-7 /proc/2148/task/2173/stat : 2173 (java) R 2145 2148 1904 0 -1 4202560 173163 0 0 0 248037 297 0 0 20 0 38 0 255066392 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981455660392 139982603212743 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2174] ppid=2145 vsize=27318012 memory=-8253362762722141311 CPUtime=2485.58 cores=0-7 /proc/2148/task/2174/stat : 2174 (java) R 2145 2148 1904 0 -1 4202560 172452 0 0 0 248265 293 0 0 20 0 38 0 255066399 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981452513360 139982608380567 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2175] ppid=2145 vsize=27318012 memory=4713745541279610410 CPUtime=2485.84 cores=0-7 /proc/2148/task/2175/stat : 2175 (java) R 2145 2148 1904 0 -1 4202560 170082 0 0 0 248310 274 0 0 20 0 38 0 255066399 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981451458344 139982608406125 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2176] ppid=2145 vsize=27318012 memory=804 CPUtime=2485.6 cores=0-7 /proc/2148/task/2176/stat : 2176 (java) R 2145 2148 1904 0 -1 4202560 173014 0 0 0 248286 274 0 0 20 0 38 0 255066399 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981450404840 139982609141098 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2177] ppid=2145 vsize=27318012 memory=3752 CPUtime=0.02 cores=0-7 /proc/2148/task/2177/stat : 2177 (java) S 2145 2148 1904 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 38 0 255066399 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981449360160 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2178] ppid=2145 vsize=27318012 memory=69652 CPUtime=0.02 cores=0-7 /proc/2148/task/2178/stat : 2178 (java) S 2145 2148 1904 0 -1 1077944384 33 0 0 0 2 0 0 0 20 0 38 0 255066399 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981448307360 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2179] ppid=2145 vsize=27318012 memory=7310735465890745345 CPUtime=2484.98 cores=0-7 /proc/2148/task/2179/stat : 2179 (java) R 2145 2148 1904 0 -1 4202560 170567 0 0 0 248230 268 0 0 20 0 38 0 255066399 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981447248168 139982608706663 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2180] ppid=2145 vsize=27318012 memory=8320808402720076084 CPUtime=2483.22 cores=0-7 /proc/2148/task/2180/stat : 2180 (java) R 2145 2148 1904 0 -1 4202560 176519 0 0 0 248044 278 0 0 20 0 38 0 255066399 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981446194664 139982608911983 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2181] ppid=2145 vsize=27318012 memory=912 CPUtime=2487.73 cores=0-7 /proc/2148/task/2181/stat : 2181 (java) R 2145 2148 1904 0 -1 4202560 186403 0 0 0 248469 304 0 0 20 0 38 0 255066404 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981445141864 139982598706944 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2182] ppid=2145 vsize=27318012 memory=4148 CPUtime=2486.3 cores=0-7 /proc/2148/task/2182/stat : 2182 (java) R 2145 2148 1904 0 -1 4202560 178538 0 0 0 248355 275 0 0 20 0 38 0 255066404 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981444089064 139982608401850 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2183] ppid=2145 vsize=27318012 memory=1408 CPUtime=0 cores=0-7 /proc/2148/task/2183/stat : 2183 (java) S 2145 2148 1904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 255066405 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981443044384 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2184] ppid=2145 vsize=27318012 memory=844 CPUtime=0 cores=0-7 /proc/2148/task/2184/stat : 2184 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 38 0 255066405 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981441991584 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2185] ppid=2145 vsize=27318012 memory=3884 CPUtime=0 cores=0-7 /proc/2148/task/2185/stat : 2185 (java) S 2145 2148 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 38 0 255066405 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981440938784 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2186] ppid=2145 vsize=27318012 memory=2700 CPUtime=0 cores=0-7 /proc/2148/task/2186/stat : 2186 (java) S 2145 2148 1904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 255066405 27973644288 1904825 33554432000 4194304 4196468 140726862183648 139981126394528 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 Current children cumulated CPU time: 19974.4 s Current children cumulated vsize: 27318012 KiB Current children cumulated memory: 7619300 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.28 s] # the end of solver process 2148 was just reported to runsolver # cumulated CPU time of all completed processes: user=19949.5 s, system=26.7453 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.2 s] /proc/loadavg: 8.96 8.87 8.77 11/216 2224 /proc/meminfo: memFree=17128016/32770624 swapFree=67107648/67108860 [pid=2148] ppid=2145 vsize=27717396 memory=7621408 CPUtime=19975.9 cores=0-7 /proc/2148/stat : 2148 (java) S 2145 2148 1904 0 -1 1077944320 2128170 0 0 0 1994922 2669 0 0 20 0 44 0 255066169 28382613504 1905352 33554432000 4194304 4196468 140726862183648 140726862166192 139982965870327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 /proc/2148/statm: 6929349 1905352 3611 1 0 6890900 0 [pid=2148/tid=2150] ppid=2145 vsize=27717396 memory=10424 CPUtime=2.19 cores=0-7 /proc/2148/task/2150/stat : 2150 (java) S 2145 2148 1904 0 -1 1077944384 20776 0 0 0 212 7 0 0 20 0 44 0 255066170 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139982970107792 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2151] ppid=2145 vsize=27717396 memory=1600 CPUtime=8.8 cores=0-7 /proc/2148/task/2151/stat : 2151 (java) S 2145 2148 1904 0 -1 1077944384 64573 0 0 0 846 34 0 0 20 0 44 0 255066170 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139982918490768 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2152] ppid=2145 vsize=27717396 memory=1196 CPUtime=8.77 cores=0-7 /proc/2148/task/2152/stat : 2152 (java) S 2145 2148 1904 0 -1 1077944384 70643 0 0 0 838 39 0 0 20 0 44 0 255066170 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139982917437968 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2153] ppid=2145 vsize=27717396 memory=1500 CPUtime=8.86 cores=0-7 /proc/2148/task/2153/stat : 2153 (java) S 2145 2148 1904 0 -1 1077944384 76090 0 0 0 848 38 0 0 20 0 44 0 255066170 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139982522415504 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2154] ppid=2145 vsize=27717396 memory=7619300 CPUtime=8.85 cores=0-7 /proc/2148/task/2154/stat : 2154 (java) S 2145 2148 1904 0 -1 1077944384 63298 0 0 0 850 35 0 0 20 0 44 0 255066170 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139982521362704 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2155] ppid=2145 vsize=27717396 memory=7619300 CPUtime=8.86 cores=0-7 /proc/2148/task/2155/stat : 2155 (java) S 2145 2148 1904 0 -1 1077944384 61499 0 0 0 854 32 0 0 20 0 44 0 255066170 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139982520310928 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2156] ppid=2145 vsize=27717396 memory=8112282956445269571 CPUtime=8.82 cores=0-7 /proc/2148/task/2156/stat : 2156 (java) S 2145 2148 1904 0 -1 1077944384 77221 0 0 0 845 37 0 0 20 0 44 0 255066170 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139982519258128 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2157] ppid=2145 vsize=27717396 memory=924 CPUtime=8.82 cores=0-7 /proc/2148/task/2157/stat : 2157 (java) S 2145 2148 1904 0 -1 1077944384 64829 0 0 0 846 36 0 0 20 0 44 0 255066170 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139982518205328 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2158] ppid=2145 vsize=27717396 memory=0 CPUtime=8.76 cores=0-7 /proc/2148/task/2158/stat : 2158 (java) S 2145 2148 1904 0 -1 1077944384 64277 0 0 0 839 37 0 0 20 0 44 0 255066170 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139982517152528 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2159] ppid=2145 vsize=27717396 memory=3054156605268465310 CPUtime=6.03 cores=0-7 /proc/2148/task/2159/stat : 2159 (java) S 2145 2148 1904 0 -1 1077944384 113348 0 0 0 506 97 0 0 20 0 44 0 255066172 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139981484890480 139982965881474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2160] ppid=2145 vsize=27717396 memory=-8707038579349950309 CPUtime=0 cores=0-7 /proc/2148/task/2160/stat : 2160 (java) S 2145 2148 1904 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 44 0 255066172 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139981483836512 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2161] ppid=2145 vsize=27717396 memory=-8341965534556230502 CPUtime=0 cores=0-7 /proc/2148/task/2161/stat : 2161 (java) S 2145 2148 1904 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 44 0 255066172 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139981482783616 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2162] ppid=2145 vsize=27717396 memory=9047017150487036571 CPUtime=0 cores=0-7 /proc/2148/task/2162/stat : 2162 (java) S 2145 2148 1904 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 44 0 255066175 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139981481731920 139982965888923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2163] ppid=2145 vsize=27717396 memory=-8253362762722141311 CPUtime=1.61 cores=0-7 /proc/2148/task/2163/stat : 2163 (java) R 2145 2148 1904 0 -1 1077944384 4683 0 0 0 160 1 0 0 20 0 44 0 255066177 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139981480680112 139982965880533 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2164] ppid=2145 vsize=27717396 memory=4713745541279610410 CPUtime=1.65 cores=0-7 /proc/2148/task/2164/stat : 2164 (java) S 2145 2148 1904 0 -1 1077944384 4713 0 0 0 164 1 0 0 20 0 44 0 255066177 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139981479627504 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2165] ppid=2145 vsize=27717396 memory=7822038051842261661 CPUtime=1.54 cores=0-7 /proc/2148/task/2165/stat : 2165 (java) S 2145 2148 1904 0 -1 1077944384 4487 0 0 0 152 2 0 0 20 0 44 0 255066177 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139981478574704 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2166] ppid=2145 vsize=27717396 memory=4108 CPUtime=1.01 cores=0-7 /proc/2148/task/2166/stat : 2166 (java) R 2145 2148 1904 0 -1 4202560 11106 0 0 0 98 3 0 0 20 0 44 0 255066177 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139981477519160 139982958109428 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2167] ppid=2145 vsize=27717396 memory=1880 CPUtime=0 cores=0-7 /proc/2148/task/2167/stat : 2167 (java) S 2145 2148 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 44 0 255066177 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139981476469344 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2168] ppid=2145 vsize=27717396 memory=7528 CPUtime=1.18 cores=0-7 /proc/2148/task/2168/stat : 2168 (java) S 2145 2148 1904 0 -1 1077944384 5963 0 0 0 58 60 0 0 20 0 44 0 255066178 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139981475416624 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2169] ppid=2145 vsize=27717396 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/2148/task/2169/stat : 2169 (java) S 2145 2148 1904 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 44 0 255066353 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139981464072832 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2170] ppid=2145 vsize=27717396 memory=288230583166042426 CPUtime=5.73 cores=0-7 /proc/2148/task/2170/stat : 2170 (java) S 2145 2148 1904 0 -1 1077944384 14070 0 0 0 288 285 0 0 20 0 44 0 255066369 28382613504 1905352 33554432000 4194304 4196468 140726862183648 139981460923056 139982965881474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2171] ppid=2145 vsize=27717396 memory=14134446135707361 CPUtime=0.04 cores=0-7 /proc/2148/task/2171/stat : 2171 (java) S 2145 2148 1904 0 -1 1077944384 200 0 0 0 4 0 0 0 20 0 44 0 255066391 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981457774128 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2172] ppid=2145 vsize=27717396 memory=38284 CPUtime=0.05 cores=0-7 /proc/2148/task/2172/stat : 2172 (java) S 2145 2148 1904 0 -1 1077944384 547 0 0 0 5 0 0 0 20 0 44 0 255066392 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981456721328 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2173] ppid=2145 vsize=27717396 memory=2324 CPUtime=2483.53 cores=0-7 /proc/2148/task/2173/stat : 2173 (java) S 2145 2148 1904 0 -1 1077944384 173200 0 0 0 248055 298 0 0 20 0 44 0 255066392 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981455660992 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2174] ppid=2145 vsize=27717396 memory=1580 CPUtime=2485.74 cores=0-7 /proc/2148/task/2174/stat : 2174 (java) R 2145 2148 1904 0 -1 4202560 172487 0 0 0 248281 293 0 0 20 0 44 0 255066399 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981452510848 139982602912878 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2175] ppid=2145 vsize=27717396 memory=496 CPUtime=2486 cores=0-7 /proc/2148/task/2175/stat : 2175 (java) R 2145 2148 1904 0 -1 4202560 170118 0 0 0 248326 274 0 0 20 0 44 0 255066399 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981451455184 139982609140996 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2176] ppid=2145 vsize=27717396 memory=928 CPUtime=2485.78 cores=0-7 /proc/2148/task/2176/stat : 2176 (java) R 2145 2148 1904 0 -1 4202560 173048 0 0 0 248303 275 0 0 20 0 44 0 255066399 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981450405248 139982608470404 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2177] ppid=2145 vsize=27717396 memory=1172 CPUtime=0.02 cores=0-7 /proc/2148/task/2177/stat : 2177 (java) S 2145 2148 1904 0 -1 1077944384 67 0 0 0 2 0 0 0 20 0 44 0 255066399 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981449360176 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2178] ppid=2145 vsize=27717396 memory=1964 CPUtime=0.03 cores=0-7 /proc/2148/task/2178/stat : 2178 (java) S 2145 2148 1904 0 -1 1077944384 194 0 0 0 3 0 0 0 20 0 44 0 255066399 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981448307376 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2179] ppid=2145 vsize=27717396 memory=1572 CPUtime=2485.15 cores=0-7 /proc/2148/task/2179/stat : 2179 (java) R 2145 2148 1904 0 -1 1077944384 170602 0 0 0 248247 268 0 0 20 0 44 0 255066399 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981447241920 139982965880533 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2180] ppid=2145 vsize=27717396 memory=924 CPUtime=2483.39 cores=0-7 /proc/2148/task/2180/stat : 2180 (java) R 2145 2148 1904 0 -1 4202560 176550 0 0 0 248061 278 0 0 20 0 44 0 255066399 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981446196040 139982608401361 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2181] ppid=2145 vsize=27717396 memory=1692 CPUtime=2487.92 cores=0-7 /proc/2148/task/2181/stat : 2181 (java) R 2145 2148 1904 0 -1 4202560 186438 0 0 0 248488 304 0 0 20 0 44 0 255066404 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981445142464 139982608401436 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2182] ppid=2145 vsize=27717396 memory=912 CPUtime=2486.48 cores=0-7 /proc/2148/task/2182/stat : 2182 (java) R 2145 2148 1904 0 -1 4202560 178571 0 0 0 248373 275 0 0 20 0 44 0 255066404 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981444090424 139982608401436 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2183] ppid=2145 vsize=27717396 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/2148/task/2183/stat : 2183 (java) S 2145 2148 1904 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 44 0 255066405 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981443044400 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2184] ppid=2145 vsize=27717396 memory=7528 CPUtime=0.01 cores=0-7 /proc/2148/task/2184/stat : 2184 (java) S 2145 2148 1904 0 -1 1077944384 436 0 0 0 1 0 0 0 20 0 44 0 255066405 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981441991600 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2185] ppid=2145 vsize=27717396 memory=804 CPUtime=0 cores=0-7 /proc/2148/task/2185/stat : 2185 (java) S 2145 2148 1904 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 44 0 255066405 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981440938800 139982965880533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 [pid=2148/tid=2186] ppid=2145 vsize=27717396 memory=1399051139730258233 CPUtime=0 cores=0-7 /proc/2148/task/2186/stat : 2186 (java) R 2145 2148 1904 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 44 0 255066405 28382613504 1905376 33554432000 4194304 4196468 140726862183648 139981126394432 139982949234604 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11636736 140726862189645 140726862189829 140726862189829 140726862192591 0 Current children cumulated CPU time: 19975.9 s Current children cumulated vsize: 27717396 KiB Current children cumulated memory: 7621408 KiB Child status: 143 Real time (s): 2520.28 CPU time (s): 19976.3 CPU user time (s): 19949.5 CPU system time (s): 26.7453 CPU usage (%): 792.619 Max. virtual memory (cumulated for all children) (KiB): 27717396 Max. memory (cumulated for all children) (KiB): 7893268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19949.5 system time used= 26.7453 maximum resident set size= 7894292 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2129915 page faults= 0 swaps= 0 block input operations= 8 block output operations= 4624 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 642384 involuntary context switches= 429370 # summary of solver processes directly reported to runsolver: # pid: 2148 # total CPU time (s): 19976.3 # total CPU user time (s): 19949.5 # total CPU system time (s): 26.7453 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 25.296 second user time and 33.6894 second system time The end
Begin job on node136 at 2018-08-16 01:17:10 IDJOB=4308838 IDBENCH=141319 IDSOLVER=2793 FILE ID=node136/4308838-1534375030 RUNJOBID= node136-1534374909-1931 PBS_JOBID= 21038296 Free space on /tmp= 46332 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/PizzaVoucher/PizzaVoucher-18b_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308838-1534375030/watcher-4308838-1534375030 -o /tmp/evaluation-result-4308838-1534375030/solver-4308838-1534375030 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1534374909-1931 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1016543970 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308838-1534375030.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= cfb25615b49033917f7fa13487cdd88c RANDOM SEED=1016543970 node136.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.50 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.50 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.50 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.50 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: 24751992 kB MemAvailable: 31896652 kB Buffers: 140352 kB Cached: 7253768 kB SwapCached: 44 kB Active: 3762648 kB Inactive: 3684576 kB Active(anon): 3280 kB Inactive(anon): 110020 kB Active(file): 3759368 kB Inactive(file): 3574556 kB Unevictable: 7380 kB Mlocked: 7380 kB SwapTotal: 67108860 kB SwapFree: 67107648 kB Dirty: 35572 kB Writeback: 0 kB AnonPages: 97180 kB Mapped: 54584 kB Shmem: 57664 kB Slab: 267468 kB SReclaimable: 239196 kB SUnreclaim: 28272 kB KernelStack: 3984 kB PageTables: 5080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 358392 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 43008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 46296 MiB End job on node136 at 2018-08-16 01:59:10