Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | ? (TO) | 19332.5 | 2520.1799 |
Name | Fischer/Fischer-m1-s1/ Fischer-06-09-fair.xml |
MD5SUM | 4da452dd6a7f9c00a5696d6c71e9e662 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 14103 |
Number of constraints | 13337 |
Number of domains | 3 |
Minimum domain size | 2 |
Maximum domain size | 20001 |
Distribution of domain sizes | [{"size":2,"count":1937},{"size":201,"count":70},{"size":20001,"count":12096}] |
Minimum variable degree | 2 |
Maximum variable degree | 115 |
Distribution of variable degrees | [{"degree":2,"count":12425},{"degree":3,"count":324},{"degree":4,"count":27},{"degree":5,"count":144},{"degree":6,"count":83},{"degree":7,"count":295},{"degree":8,"count":455},{"degree":9,"count":234},{"degree":10,"count":14},{"degree":13,"count":54},{"degree":14,"count":1},{"degree":20,"count":10},{"degree":32,"count":10},{"degree":34,"count":7},{"degree":40,"count":1},{"degree":45,"count":9},{"degree":70,"count":2},{"degree":71,"count":7},{"degree":115,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":1,"count":2},{"arity":2,"count":2237},{"arity":3,"count":11098}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 13337 |
Distribution of constraint types | [{"type":"intension","count":13337}] |
Optimization problem | NO |
Type of objective |
0.29/0.25 c version: 2017-07-26 0.29/0.26 c seed: 953050140 0.29/0.26 c timeout: 20160 0.29/0.26 c memlimit: 11000 0.29/0.26 c nbcore: 8 0.29/0.28 c Parsing instance... 35.16/30.48 c Parsing done, starting search... 19331.49/2520.11 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 (15235 MiB free) memory of node 1: 16384 MiB (15320 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275341-1502823477/watcher-4275341-1502823477 -o /tmp/evaluation-result-4275341-1502823477/solver-4275341-1502823477 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502822031-5900 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 953050140 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275341-1502823477.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=6231, runsolver pid=6228 Current StackSize limit: 8192 KiB [startup+0.100695 s]* /proc/loadavg: 7.30 4.51 2.72 2/199 6251 /proc/meminfo: memFree=31270920/32770624 swapFree=67108860/67108860 [pid=6231] ppid=6228 vsize=14325320 memory=34636 CPUtime=0.11 cores=0-7 /proc/6231/stat : 6231 (java) S 6228 6231 5873 0 -1 1077944320 8562 0 0 0 10 1 0 0 20 0 20 0 115436038 14669127680 8659 33554432000 4194304 4196468 140729478812336 140729478794880 140505024663287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 /proc/6231/statm: 3581330 8659 3401 1 0 3569050 0 [pid=6231/tid=6233] ppid=6228 vsize=14325320 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/6231/task/6233/stat : 6233 (java) R 6228 6231 5873 0 -1 4202560 6483 0 0 0 8 1 0 0 20 0 20 0 115436039 14669127680 8659 33554432000 4194304 4196468 140729478812336 140505028879968 140505024685213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6234] ppid=6228 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/6231/task/6234/stat : 6234 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436039 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504962263312 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6235] ppid=6228 vsize=14325320 memory=140389120501376 CPUtime=0 cores=0-7 /proc/6231/task/6235/stat : 6235 (java) S 6228 6231 5873 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115436039 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504961210768 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6236] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6236/stat : 6236 (java) S 6228 6231 5873 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115436040 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504960158224 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6237] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6237/stat : 6237 (java) S 6228 6231 5873 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115436040 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504959105680 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6238] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6238/stat : 6238 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504958053136 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6239] ppid=6228 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/6231/task/6239/stat : 6239 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504614837136 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6240] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6240/stat : 6240 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504613784592 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6241] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6241/stat : 6241 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504612732048 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6242] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6242/stat : 6242 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436041 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504482162672 140505024674434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6243] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6243/stat : 6243 (java) S 6228 6231 5873 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115436041 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504481108896 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6244] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6244/stat : 6244 (java) S 6228 6231 5873 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115436042 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504480056304 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6245] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6245/stat : 6245 (java) S 6228 6231 5873 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115436044 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504479004880 140505024681883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6246] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6246/stat : 6246 (java) S 6228 6231 5873 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 115436044 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504477952496 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6247] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6247/stat : 6247 (java) S 6228 6231 5873 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115436044 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504476899952 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6248] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6248/stat : 6248 (java) S 6228 6231 5873 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115436044 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504475847408 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6249] ppid=6228 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/6231/task/6249/stat : 6249 (java) R 6228 6231 5873 0 -1 4202560 388 0 0 0 1 0 0 0 20 0 20 0 115436044 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504474794864 140505024675222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6250] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6250/stat : 6250 (java) S 6228 6231 5873 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115436044 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504473741536 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6251] ppid=6228 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/6231/task/6251/stat : 6251 (java) S 6228 6231 5873 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115436045 14669127680 8659 33554432000 4194304 4196468 140729478812336 140504472689072 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 34636 KiB [startup+0.210398 s]* /proc/loadavg: 7.30 4.51 2.72 2/199 6251 /proc/meminfo: memFree=31259816/32770624 swapFree=67108860/67108860 [pid=6231] ppid=6228 vsize=14325320 memory=43792 CPUtime=0.29 cores=0-7 /proc/6231/stat : 6231 (java) S 6228 6231 5873 0 -1 1077944320 9592 0 0 0 27 2 0 0 20 0 20 0 115436038 14669127680 10948 33554432000 4194304 4196468 140729478812336 140729478794880 140505024663287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 /proc/6231/statm: 3581330 10948 3595 1 0 3569050 0 [pid=6231/tid=6233] ppid=6228 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/6231/task/6233/stat : 6233 (java) R 6228 6231 5873 0 -1 4202560 7120 0 0 0 18 1 0 0 20 0 20 0 115436039 14669127680 10948 33554432000 4194304 4196468 140729478812336 140505028873368 140505001887440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6234] ppid=6228 vsize=14325320 memory=9251 CPUtime=0 cores=0-7 /proc/6231/task/6234/stat : 6234 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436039 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504962263312 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6235] ppid=6228 vsize=14325320 memory=140389120507864 CPUtime=0 cores=0-7 /proc/6231/task/6235/stat : 6235 (java) S 6228 6231 5873 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115436039 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504961210768 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6236] ppid=6228 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/6231/task/6236/stat : 6236 (java) S 6228 6231 5873 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115436040 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504960158224 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6237] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6237/stat : 6237 (java) S 6228 6231 5873 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115436040 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504959105680 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6238] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6238/stat : 6238 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504958053136 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6239] ppid=6228 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/6231/task/6239/stat : 6239 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504614837136 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6240] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6240/stat : 6240 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504613784592 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6241] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6241/stat : 6241 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504612732048 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6242] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6242/stat : 6242 (java) S 6228 6231 5873 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 115436041 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504482162672 140505024674434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6243] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6243/stat : 6243 (java) S 6228 6231 5873 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115436041 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504481108896 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6244] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6244/stat : 6244 (java) S 6228 6231 5873 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115436042 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504480056304 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6245] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6245/stat : 6245 (java) S 6228 6231 5873 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115436044 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504479004880 140505024681883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6246] ppid=6228 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/6231/task/6246/stat : 6246 (java) S 6228 6231 5873 0 -1 1077944384 439 0 0 0 1 0 0 0 20 0 20 0 115436044 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504477952496 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6247] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6247/stat : 6247 (java) S 6228 6231 5873 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 20 0 115436044 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504476899952 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6248] ppid=6228 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/6231/task/6248/stat : 6248 (java) S 6228 6231 5873 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 115436044 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504475847408 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6249] ppid=6228 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7 /proc/6231/task/6249/stat : 6249 (java) S 6228 6231 5873 0 -1 1077944384 442 0 0 0 5 0 0 0 20 0 20 0 115436044 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504474794864 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6250] ppid=6228 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6250/stat : 6250 (java) S 6228 6231 5873 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115436044 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504473741536 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6251] ppid=6228 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/6231/task/6251/stat : 6251 (java) S 6228 6231 5873 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115436045 14669127680 10948 33554432000 4194304 4196468 140729478812336 140504472689072 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 43792 KiB [startup+0.310253 s]* /proc/loadavg: 7.30 4.51 2.72 2/199 6251 /proc/meminfo: memFree=31253220/32770624 swapFree=67108860/67108860 [pid=6231] ppid=6228 vsize=14325340 memory=51172 CPUtime=0.48 cores=0-7 /proc/6231/stat : 6231 (java) S 6228 6231 5873 0 -1 1077944320 10657 0 0 0 45 3 0 0 20 0 20 0 115436038 14669148160 12793 33554432000 4194304 4196468 140729478812336 140729478794880 140505024663287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 /proc/6231/statm: 3581335 12793 3674 1 0 3569050 0 [pid=6231/tid=6233] ppid=6228 vsize=14325340 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/6231/task/6233/stat : 6233 (java) R 6228 6231 5873 0 -1 4202560 7685 0 0 0 27 2 0 0 20 0 20 0 115436039 14669148160 12793 33554432000 4194304 4196468 140729478812336 140505028885888 140505024685213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6234] ppid=6228 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6234/stat : 6234 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436039 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504962263312 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6235] ppid=6228 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6235/stat : 6235 (java) S 6228 6231 5873 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115436039 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504961210768 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6236] ppid=6228 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6236/stat : 6236 (java) S 6228 6231 5873 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115436040 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504960158224 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6237] ppid=6228 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6237/stat : 6237 (java) S 6228 6231 5873 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115436040 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504959105680 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6238] ppid=6228 vsize=14325340 memory=2244 CPUtime=0 cores=0-7 /proc/6231/task/6238/stat : 6238 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504958053136 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6239] ppid=6228 vsize=14325340 memory=140388992119727 CPUtime=0 cores=0-7 /proc/6231/task/6239/stat : 6239 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504614837136 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6240] ppid=6228 vsize=14325340 memory=140388992122032 CPUtime=0 cores=0-7 /proc/6231/task/6240/stat : 6240 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504613784592 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6241] ppid=6228 vsize=14325340 memory=140388992124336 CPUtime=0 cores=0-7 /proc/6231/task/6241/stat : 6241 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504612732048 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6242] ppid=6228 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6242/stat : 6242 (java) S 6228 6231 5873 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 115436041 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504482162672 140505024674434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6243] ppid=6228 vsize=14325340 memory=280777984255632 CPUtime=0 cores=0-7 /proc/6231/task/6243/stat : 6243 (java) S 6228 6231 5873 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115436041 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504481108896 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6244] ppid=6228 vsize=14325340 memory=280777984262544 CPUtime=0 cores=0-7 /proc/6231/task/6244/stat : 6244 (java) S 6228 6231 5873 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115436042 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504480056304 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6245] ppid=6228 vsize=14325340 memory=280777984203824 CPUtime=0 cores=0-7 /proc/6231/task/6245/stat : 6245 (java) S 6228 6231 5873 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115436044 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504479004880 140505024681883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6246] ppid=6228 vsize=14325340 memory=280777984276368 CPUtime=0.02 cores=0-7 /proc/6231/task/6246/stat : 6246 (java) S 6228 6231 5873 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 20 0 115436044 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504477952496 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6247] ppid=6228 vsize=14325340 memory=280777984283280 CPUtime=0.02 cores=0-7 /proc/6231/task/6247/stat : 6247 (java) S 6228 6231 5873 0 -1 1077944384 432 0 0 0 2 0 0 0 20 0 20 0 115436044 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504476899952 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6248] ppid=6228 vsize=14325340 memory=280777984280976 CPUtime=0.04 cores=0-7 /proc/6231/task/6248/stat : 6248 (java) S 6228 6231 5873 0 -1 1077944384 249 0 0 0 4 0 0 0 20 0 20 0 115436044 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504475847408 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6249] ppid=6228 vsize=14325340 memory=280777984297584 CPUtime=0.08 cores=0-7 /proc/6231/task/6249/stat : 6249 (java) S 6228 6231 5873 0 -1 1077944384 455 0 0 0 8 0 0 0 20 0 20 0 115436044 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504474794864 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6250] ppid=6228 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6250/stat : 6250 (java) S 6228 6231 5873 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115436044 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504473741536 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6251] ppid=6228 vsize=14325340 memory=-1 CPUtime=0 cores=0-7 /proc/6231/task/6251/stat : 6251 (java) S 6228 6231 5873 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115436045 14669148160 12793 33554432000 4194304 4196468 140729478812336 140504472689072 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 14325340 KiB Current children cumulated memory: 51172 KiB [startup+0.700853 s] /proc/loadavg: 6.87 4.47 2.72 5/199 6251 /proc/meminfo: memFree=31227592/32770624 swapFree=67108860/67108860 [pid=6231] ppid=6228 vsize=14327388 memory=111576 CPUtime=1.78 cores=0-7 /proc/6231/stat : 6231 (java) S 6228 6231 5873 0 -1 1077944320 15362 0 0 0 173 5 0 0 20 0 20 0 115436038 14671245312 27894 33554432000 4194304 4196468 140729478812336 140729478794880 140505024663287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 /proc/6231/statm: 3581847 27894 3774 1 0 3569562 0 [pid=6231/tid=6233] ppid=6228 vsize=14327388 memory=0 CPUtime=0.66 cores=0-7 /proc/6231/task/6233/stat : 6233 (java) R 6228 6231 5873 0 -1 4202560 8393 0 0 0 64 2 0 0 20 0 20 0 115436039 14671245312 27894 33554432000 4194304 4196468 140729478812336 140505028897376 140504640339847 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6234] ppid=6228 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6234/stat : 6234 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436039 14671245312 27894 33554432000 4194304 4196468 140729478812336 140504962263312 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6235] ppid=6228 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6235/stat : 6235 (java) S 6228 6231 5873 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115436039 14671245312 27894 33554432000 4194304 4196468 140729478812336 140504961210768 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6236] ppid=6228 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6236/stat : 6236 (java) S 6228 6231 5873 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115436040 14671245312 27894 33554432000 4194304 4196468 140729478812336 140504960158224 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6237] ppid=6228 vsize=14327388 memory=1224 CPUtime=0 cores=0-7 /proc/6231/task/6237/stat : 6237 (java) S 6228 6231 5873 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115436040 14671245312 27894 33554432000 4194304 4196468 140729478812336 140504959105680 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6238] ppid=6228 vsize=14327388 memory=5792 CPUtime=0 cores=0-7 /proc/6231/task/6238/stat : 6238 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14671245312 27894 33554432000 4194304 4196468 140729478812336 140504958053136 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6239] ppid=6228 vsize=14327388 memory=4620 CPUtime=0 cores=0-7 /proc/6231/task/6239/stat : 6239 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14671245312 27894 33554432000 4194304 4196468 140729478812336 140504614837136 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6240] ppid=6228 vsize=14327388 memory=1200 CPUtime=0 cores=0-7 /proc/6231/task/6240/stat : 6240 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14671245312 27894 33554432000 4194304 4196468 140729478812336 140504613784592 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6241] ppid=6228 vsize=14327388 memory=15876 CPUtime=0 cores=0-7 /proc/6231/task/6241/stat : 6241 (java) S 6228 6231 5873 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115436040 14671245312 27894 33554432000 4194304 4196468 140729478812336 140504612732048 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6242] ppid=6228 vsize=14327388 memory=16236 CPUtime=0 cores=0-7 /proc/6231/task/6242/stat : 6242 (java) S 6228 6231 5873 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 115436041 14671245312 27894 33554432000 4194304 4196468 140729478812336 140504482162672 140505024674434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 ################ # More data... # ################ /proc/6231/task/6236/stat : 6236 (java) S 6228 6231 5873 0 -1 1077944384 163841 0 0 0 13799 275 0 0 20 0 37 0 115436040 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504960158224 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6237] ppid=6228 vsize=15471300 memory=4176 CPUtime=140.78 cores=0-7 /proc/6231/task/6237/stat : 6237 (java) S 6228 6231 5873 0 -1 1077944384 169450 0 0 0 13792 286 0 0 20 0 37 0 115436040 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504959105680 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6238] ppid=6228 vsize=15471300 memory=10965012 CPUtime=140.69 cores=0-7 /proc/6231/task/6238/stat : 6238 (java) S 6228 6231 5873 0 -1 1077944384 174994 0 0 0 13810 259 0 0 20 0 37 0 115436040 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504958053136 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6239] ppid=6228 vsize=15471300 memory=8112282956445269571 CPUtime=140.67 cores=0-7 /proc/6231/task/6239/stat : 6239 (java) S 6228 6231 5873 0 -1 1077944384 154881 0 0 0 13811 256 0 0 20 0 37 0 115436040 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504614837136 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6240] ppid=6228 vsize=15471300 memory=4872558044660077418 CPUtime=140.64 cores=0-7 /proc/6231/task/6240/stat : 6240 (java) S 6228 6231 5873 0 -1 1077944384 206624 0 0 0 13789 275 0 0 20 0 37 0 115436040 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504613784592 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6241] ppid=6228 vsize=15471300 memory=6933690279252828305 CPUtime=140.47 cores=0-7 /proc/6231/task/6241/stat : 6241 (java) S 6228 6231 5873 0 -1 1077944384 186926 0 0 0 13784 263 0 0 20 0 37 0 115436040 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504612732048 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6242] ppid=6228 vsize=15471300 memory=4136 CPUtime=2.12 cores=0-7 /proc/6231/task/6242/stat : 6242 (java) S 6228 6231 5873 0 -1 1077944384 96984 0 0 0 186 26 0 0 20 0 37 0 115436041 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504482162672 140505024674434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6243] ppid=6228 vsize=15471300 memory=32724 CPUtime=0 cores=0-7 /proc/6231/task/6243/stat : 6243 (java) S 6228 6231 5873 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 37 0 115436041 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504481108960 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6244] ppid=6228 vsize=15471300 memory=2404 CPUtime=0 cores=0-7 /proc/6231/task/6244/stat : 6244 (java) S 6228 6231 5873 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 37 0 115436042 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504480056320 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6245] ppid=6228 vsize=15471300 memory=1732 CPUtime=0 cores=0-7 /proc/6231/task/6245/stat : 6245 (java) S 6228 6231 5873 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 37 0 115436044 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504479004880 140505024681883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6246] ppid=6228 vsize=15471300 memory=796 CPUtime=4.67 cores=0-7 /proc/6231/task/6246/stat : 6246 (java) S 6228 6231 5873 0 -1 1077944384 27141 0 0 0 460 7 0 0 20 0 37 0 115436044 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504477952496 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6247] ppid=6228 vsize=15471300 memory=1004 CPUtime=4.47 cores=0-7 /proc/6231/task/6247/stat : 6247 (java) S 6228 6231 5873 0 -1 1077944384 25574 0 0 0 442 5 0 0 20 0 37 0 115436044 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504476899952 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6248] ppid=6228 vsize=15471300 memory=1940 CPUtime=5.01 cores=0-7 /proc/6231/task/6248/stat : 6248 (java) S 6228 6231 5873 0 -1 1077944384 25984 0 0 0 493 8 0 0 20 0 37 0 115436044 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504475847408 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6249] ppid=6228 vsize=15471300 memory=1424 CPUtime=1.96 cores=0-7 /proc/6231/task/6249/stat : 6249 (java) S 6228 6231 5873 0 -1 1077944384 39181 0 0 0 190 6 0 0 20 0 37 0 115436044 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504474794864 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6250] ppid=6228 vsize=15471300 memory=8572 CPUtime=0 cores=0-7 /proc/6231/task/6250/stat : 6250 (java) S 6228 6231 5873 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 37 0 115436044 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504473741536 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6251] ppid=6228 vsize=15471300 memory=1724 CPUtime=1.1 cores=0-7 /proc/6231/task/6251/stat : 6251 (java) S 6228 6231 5873 0 -1 1077944384 4980 0 0 0 45 65 0 0 20 0 37 0 115436045 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504472689072 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6252] ppid=6228 vsize=15471300 memory=11000 CPUtime=0.07 cores=0-7 /proc/6231/task/6252/stat : 6252 (java) S 6228 6231 5873 0 -1 1077944384 661 0 0 0 6 1 0 0 20 0 37 0 115446761 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504460305104 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6253] ppid=6228 vsize=15471300 memory=288230574492221466 CPUtime=5.34 cores=0-7 /proc/6231/task/6253/stat : 6253 (java) S 6228 6231 5873 0 -1 1077944384 10058 0 0 0 264 270 0 0 20 0 37 0 115446773 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504459252896 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6254] ppid=6228 vsize=15471300 memory=288230621803970871 CPUtime=2244.82 cores=0-7 /proc/6231/task/6254/stat : 6254 (java) R 6228 6231 5873 0 -1 4202560 143788 0 0 0 224060 422 0 0 20 0 37 0 115446783 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504456099400 140504641340701 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6255] ppid=6228 vsize=15471300 memory=16097070113098297 CPUtime=2252.32 cores=0-7 /proc/6231/task/6255/stat : 6255 (java) R 6228 6231 5873 0 -1 4202560 140412 0 0 0 224703 529 0 0 20 0 37 0 115446784 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504455044808 140504641340451 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6256] ppid=6228 vsize=15471300 memory=2196 CPUtime=2083.6 cores=0-7 /proc/6231/task/6256/stat : 6256 (java) R 6228 6231 5873 0 -1 4202560 147152 0 0 0 207981 379 0 0 20 0 37 0 115446785 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504453994800 140504644292634 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6257] ppid=6228 vsize=15471300 memory=6760 CPUtime=2231.68 cores=0-7 /proc/6231/task/6257/stat : 6257 (java) R 6228 6231 5873 0 -1 4202560 165527 0 0 0 222707 461 0 0 20 0 37 0 115446788 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504452938968 140504641340451 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6258] ppid=6228 vsize=15471300 memory=832 CPUtime=23.93 cores=0-7 /proc/6231/task/6258/stat : 6258 (java) S 6228 6231 5873 0 -1 1077944384 4915 0 0 0 2342 51 0 0 20 0 37 0 115446788 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504451892096 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6259] ppid=6228 vsize=15471300 memory=4104 CPUtime=13.74 cores=0-7 /proc/6231/task/6259/stat : 6259 (java) S 6228 6231 5873 0 -1 1077944384 2447 0 0 0 1363 11 0 0 20 0 37 0 115446788 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504450839552 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6260] ppid=6228 vsize=15471300 memory=1692 CPUtime=61.61 cores=0-7 /proc/6231/task/6260/stat : 6260 (java) S 6228 6231 5873 0 -1 1077944384 9289 0 0 0 6091 70 0 0 20 0 37 0 115446788 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504449787008 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6261] ppid=6228 vsize=15471300 memory=916 CPUtime=2261.78 cores=0-7 /proc/6231/task/6261/stat : 6261 (java) R 6228 6231 5873 0 -1 4202560 156239 0 0 0 225735 443 0 0 20 0 37 0 115446788 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504448727864 140504639821478 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6262] ppid=6228 vsize=15471300 memory=1224 CPUtime=2262.92 cores=0-7 /proc/6231/task/6262/stat : 6262 (java) R 6228 6231 5873 0 -1 4202560 130885 0 0 0 225862 430 0 0 20 0 37 0 115446788 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504447675128 140504641341279 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6263] ppid=6228 vsize=15471300 memory=5792 CPUtime=177.23 cores=0-7 /proc/6231/task/6263/stat : 6263 (java) S 6228 6231 5873 0 -1 1077944384 19101 0 0 0 17594 129 0 0 20 0 37 0 115446788 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504446629264 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6264] ppid=6228 vsize=15471300 memory=4620 CPUtime=1.71 cores=0-7 /proc/6231/task/6264/stat : 6264 (java) S 6228 6231 5873 0 -1 1077944384 217 0 0 0 170 1 0 0 20 0 37 0 115446790 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504445576720 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6265] ppid=6228 vsize=15471300 memory=1200 CPUtime=0.36 cores=0-7 /proc/6231/task/6265/stat : 6265 (java) S 6228 6231 5873 0 -1 1077944384 198 0 0 0 36 0 0 0 20 0 37 0 115449545 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504442427024 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6266] ppid=6228 vsize=15471300 memory=15876 CPUtime=2230.7 cores=0-7 /proc/6231/task/6266/stat : 6266 (java) R 6228 6231 5873 0 -1 4202560 180232 0 0 0 222543 527 0 0 20 0 37 0 115449545 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504441367704 140504638501759 0 4 0 16800975 0 0 0 -1 1 0 0 29 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6267] ppid=6228 vsize=15471300 memory=16236 CPUtime=0.61 cores=0-7 /proc/6231/task/6267/stat : 6267 (java) S 6228 6231 5873 0 -1 1077944384 180 0 0 0 59 2 0 0 20 0 37 0 115450832 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504438187008 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6268] ppid=6228 vsize=15471300 memory=4044 CPUtime=2229.01 cores=0-7 /proc/6231/task/6268/stat : 6268 (java) R 6228 6231 5873 0 -1 4202560 142060 0 0 0 222427 474 0 0 20 0 37 0 115450967 15842611200 2741253 33554432000 4194304 4196468 140729478812336 140504437127848 140504647075131 0 4 0 16800975 0 0 0 -1 2 0 0 26 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 Current children cumulated CPU time: 19331.5 s Current children cumulated vsize: 15471300 KiB Current children cumulated memory: 10965012 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.18 s] # the end of solver process 6231 was just reported to runsolver # cumulated CPU time of all completed processes: user=19270.3 s, system=62.2305 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.13 s] /proc/loadavg: 8.96 8.84 8.30 10/215 6323 /proc/meminfo: memFree=20319756/32770624 swapFree=67108860/67108860 [pid=6231] ppid=6228 vsize=15604428 memory=10965220 CPUtime=19332.4 cores=0-7 /proc/6231/stat : 6231 (java) S 6228 6231 5873 0 -1 1077944320 2975175 0 0 0 1927025 6217 0 0 20 0 37 0 115436038 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140729478794880 140505024663287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 /proc/6231/statm: 3901107 2741305 3884 1 0 3888301 0 [pid=6231/tid=6233] ppid=6228 vsize=15604428 memory=10965012 CPUtime=105.43 cores=0-7 /proc/6231/task/6233/stat : 6233 (java) S 6228 6231 5873 0 -1 1077944384 30974 0 0 0 10485 58 0 0 20 0 37 0 115436039 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140505028900992 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6234] ppid=6228 vsize=15604428 memory=10965012 CPUtime=140.63 cores=0-7 /proc/6231/task/6234/stat : 6234 (java) S 6228 6231 5873 0 -1 1077944384 205946 0 0 0 13791 272 0 0 20 0 37 0 115436039 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504962263312 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6235] ppid=6228 vsize=15604428 memory=10965012 CPUtime=140.39 cores=0-7 /proc/6231/task/6235/stat : 6235 (java) S 6228 6231 5873 0 -1 1077944384 206041 0 0 0 13771 268 0 0 20 0 37 0 115436039 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504961210768 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 38 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6236] ppid=6228 vsize=15604428 memory=10965012 CPUtime=140.74 cores=0-7 /proc/6231/task/6236/stat : 6236 (java) S 6228 6231 5873 0 -1 1077944384 163841 0 0 0 13799 275 0 0 20 0 37 0 115436040 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504960158224 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6237] ppid=6228 vsize=15604428 memory=10965012 CPUtime=140.78 cores=0-7 /proc/6231/task/6237/stat : 6237 (java) S 6228 6231 5873 0 -1 1077944384 169450 0 0 0 13792 286 0 0 20 0 37 0 115436040 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504959105680 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6238] ppid=6228 vsize=15604428 memory=10965012 CPUtime=140.69 cores=0-7 /proc/6231/task/6238/stat : 6238 (java) S 6228 6231 5873 0 -1 1077944384 174994 0 0 0 13810 259 0 0 20 0 37 0 115436040 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504958053136 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6239] ppid=6228 vsize=15604428 memory=10965012 CPUtime=140.67 cores=0-7 /proc/6231/task/6239/stat : 6239 (java) S 6228 6231 5873 0 -1 1077944384 154881 0 0 0 13811 256 0 0 20 0 37 0 115436040 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504614837136 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6240] ppid=6228 vsize=15604428 memory=10965012 CPUtime=140.64 cores=0-7 /proc/6231/task/6240/stat : 6240 (java) S 6228 6231 5873 0 -1 1077944384 206624 0 0 0 13789 275 0 0 20 0 37 0 115436040 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504613784592 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6241] ppid=6228 vsize=15604428 memory=10965012 CPUtime=140.47 cores=0-7 /proc/6231/task/6241/stat : 6241 (java) S 6228 6231 5873 0 -1 1077944384 186926 0 0 0 13784 263 0 0 20 0 37 0 115436040 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504612732048 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6242] ppid=6228 vsize=15604428 memory=10965012 CPUtime=2.12 cores=0-7 /proc/6231/task/6242/stat : 6242 (java) R 6228 6231 5873 0 -1 1077944384 96984 0 0 0 186 26 0 0 20 0 37 0 115436041 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504482162672 140505024674434 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6243] ppid=6228 vsize=15604428 memory=18908 CPUtime=0 cores=0-7 /proc/6231/task/6243/stat : 6243 (java) S 6228 6231 5873 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 37 0 115436041 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504481108960 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6244] ppid=6228 vsize=15604428 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6244/stat : 6244 (java) S 6228 6231 5873 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 37 0 115436042 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504480056320 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6245] ppid=6228 vsize=15604428 memory=26435 CPUtime=0 cores=0-7 /proc/6231/task/6245/stat : 6245 (java) R 6228 6231 5873 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 37 0 115436044 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504479004880 140505024681883 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6246] ppid=6228 vsize=15604428 memory=1796 CPUtime=4.67 cores=0-7 /proc/6231/task/6246/stat : 6246 (java) S 6228 6231 5873 0 -1 1077944384 27141 0 0 0 460 7 0 0 20 0 37 0 115436044 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504477952496 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6247] ppid=6228 vsize=15604428 memory=956 CPUtime=4.47 cores=0-7 /proc/6231/task/6247/stat : 6247 (java) S 6228 6231 5873 0 -1 1077944384 25574 0 0 0 442 5 0 0 20 0 37 0 115436044 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504476899952 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6248] ppid=6228 vsize=15604428 memory=8112282956445269571 CPUtime=5.01 cores=0-7 /proc/6231/task/6248/stat : 6248 (java) S 6228 6231 5873 0 -1 1077944384 25984 0 0 0 493 8 0 0 20 0 37 0 115436044 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504475847408 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6249] ppid=6228 vsize=15604428 memory=32724 CPUtime=1.96 cores=0-7 /proc/6231/task/6249/stat : 6249 (java) S 6228 6231 5873 0 -1 1077944384 39181 0 0 0 190 6 0 0 20 0 37 0 115436044 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504474794864 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6250] ppid=6228 vsize=15604428 memory=0 CPUtime=0 cores=0-7 /proc/6231/task/6250/stat : 6250 (java) S 6228 6231 5873 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 37 0 115436044 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504473741536 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6252] ppid=6228 vsize=15604428 memory=10965012 CPUtime=0.07 cores=0-7 /proc/6231/task/6252/stat : 6252 (java) S 6228 6231 5873 0 -1 1077944384 661 0 0 0 6 1 0 0 20 0 37 0 115446761 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504460305104 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6253] ppid=6228 vsize=15604428 memory=8112282956445269571 CPUtime=5.34 cores=0-7 /proc/6231/task/6253/stat : 6253 (java) S 6228 6231 5873 0 -1 1077944384 10058 0 0 0 264 270 0 0 20 0 37 0 115446773 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504459252896 140505024674434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6254] ppid=6228 vsize=15604428 memory=10965012 CPUtime=2244.94 cores=0-7 /proc/6231/task/6254/stat : 6254 (java) R 6228 6231 5873 0 -1 4202560 143811 0 0 0 224072 422 0 0 20 0 37 0 115446783 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504456099400 140504646366336 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6255] ppid=6228 vsize=15604428 memory=288286692635599970 CPUtime=2252.43 cores=0-7 /proc/6231/task/6255/stat : 6255 (java) R 6228 6231 5873 0 -1 4202560 140428 0 0 0 224714 529 0 0 20 0 37 0 115446784 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504455044808 140504646053293 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6256] ppid=6228 vsize=15604428 memory=288288895920243265 CPUtime=2083.71 cores=0-7 /proc/6231/task/6256/stat : 6256 (java) R 6228 6231 5873 0 -1 4202560 147186 0 0 0 207992 379 0 0 20 0 37 0 115446785 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504453994800 140504641864866 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6257] ppid=6228 vsize=15604428 memory=10965012 CPUtime=2231.8 cores=0-7 /proc/6231/task/6257/stat : 6257 (java) R 6228 6231 5873 0 -1 4202560 165530 0 0 0 222719 461 0 0 20 0 37 0 115446788 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504452938968 140504641340388 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6258] ppid=6228 vsize=15604428 memory=4136 CPUtime=23.93 cores=0-7 /proc/6231/task/6258/stat : 6258 (java) S 6228 6231 5873 0 -1 1077944384 4915 0 0 0 2342 51 0 0 20 0 37 0 115446788 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504451892096 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6259] ppid=6228 vsize=15604428 memory=4136 CPUtime=13.74 cores=0-7 /proc/6231/task/6259/stat : 6259 (java) S 6228 6231 5873 0 -1 1077944384 2447 0 0 0 1363 11 0 0 20 0 37 0 115446788 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504450839552 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6260] ppid=6228 vsize=15604428 memory=1200 CPUtime=61.61 cores=0-7 /proc/6231/task/6260/stat : 6260 (java) S 6228 6231 5873 0 -1 1077944384 9289 0 0 0 6091 70 0 0 20 0 37 0 115446788 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504449787008 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6261] ppid=6228 vsize=15604428 memory=15876 CPUtime=2261.9 cores=0-7 /proc/6231/task/6261/stat : 6261 (java) R 6228 6231 5873 0 -1 4202560 156274 0 0 0 225747 443 0 0 20 0 37 0 115446788 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504448727864 140504639821226 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6262] ppid=6228 vsize=15604428 memory=16236 CPUtime=2263.04 cores=0-7 /proc/6231/task/6262/stat : 6262 (java) R 6228 6231 5873 0 -1 4202560 130901 0 0 0 225874 430 0 0 20 0 37 0 115446788 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504447675128 140504639821460 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6263] ppid=6228 vsize=15604428 memory=10965012 CPUtime=177.23 cores=0-7 /proc/6231/task/6263/stat : 6263 (java) S 6228 6231 5873 0 -1 1077944384 19101 0 0 0 17594 129 0 0 20 0 37 0 115446788 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504446629264 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6264] ppid=6228 vsize=15604428 memory=10965012 CPUtime=1.71 cores=0-7 /proc/6231/task/6264/stat : 6264 (java) S 6228 6231 5873 0 -1 1077944384 217 0 0 0 170 1 0 0 20 0 37 0 115446790 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504445576720 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6265] ppid=6228 vsize=15604428 memory=10965012 CPUtime=0.36 cores=0-7 /proc/6231/task/6265/stat : 6265 (java) S 6228 6231 5873 0 -1 1077944384 198 0 0 0 36 0 0 0 20 0 37 0 115449545 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504442427024 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6266] ppid=6228 vsize=15604428 memory=10965012 CPUtime=2230.82 cores=0-7 /proc/6231/task/6266/stat : 6266 (java) D 6228 6231 5873 0 -1 4202560 180235 0 0 0 222555 527 0 0 20 0 37 0 115449545 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504441367704 140504646184407 0 4 0 16800975 18446744071582151416 0 0 -1 1 0 0 29 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6267] ppid=6228 vsize=15604428 memory=6760 CPUtime=0.61 cores=0-7 /proc/6231/task/6267/stat : 6267 (java) S 6228 6231 5873 0 -1 1077944384 180 0 0 0 59 2 0 0 20 0 37 0 115450832 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504438187008 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 [pid=6231/tid=6268] ppid=6228 vsize=15604428 memory=832 CPUtime=2229.12 cores=0-7 /proc/6231/task/6268/stat : 6268 (java) S 6228 6231 5873 0 -1 1077944384 142079 0 0 0 222438 474 0 0 20 0 37 0 115450967 15978934272 2741305 33554432000 4194304 4196468 140729478812336 140504437128304 140505024673493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 26603520 140729478820962 140729478821147 140729478821147 140729478823887 0 Current children cumulated CPU time: 19332.4 s Current children cumulated vsize: 15604428 KiB Current children cumulated memory: 10965220 KiB Child status: 143 Real time (s): 2520.18 CPU time (s): 19332.5 CPU user time (s): 19270.3 CPU system time (s): 62.2305 CPU usage (%): 767.107 Max. virtual memory (cumulated for all children) (KiB): 15604428 Max. memory (cumulated for all children) (KiB): 10965220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19270.3 system time used= 62.2305 maximum resident set size= 10965344 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2975391 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3224 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 366358 involuntary context switches= 404897 # summary of solver processes directly reported to runsolver: # pid: 6231 # total CPU time (s): 19332.5 # total CPU user time (s): 19270.3 # total CPU system time (s): 62.2305 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 23.7966 second user time and 33.9174 second system time The end
Begin job on node102 at 2017-08-15 20:43:39 IDJOB=4275341 IDBENCH=139256 IDSOLVER=2668 FILE ID=node102/4275341-1502823477 RUNJOBID= node102-1502822031-5900 PBS_JOBID= 20629830 Free space on /tmp= 61924 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-06-09-fair.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275341-1502823477/watcher-4275341-1502823477 -o /tmp/evaluation-result-4275341-1502823477/solver-4275341-1502823477 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502822031-5900 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 953050140 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275341-1502823477.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4da452dd6a7f9c00a5696d6c71e9e662 RANDOM SEED=953050140 node102.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.35 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.35 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.35 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.35 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: 31289424 kB MemAvailable: 31981700 kB Buffers: 188416 kB Cached: 786084 kB SwapCached: 0 kB Active: 776248 kB Inactive: 251304 kB Active(anon): 5684 kB Inactive(anon): 75040 kB Active(file): 770564 kB Inactive(file): 176264 kB Unevictable: 6448 kB Mlocked: 6448 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42812 kB Writeback: 0 kB AnonPages: 58620 kB Mapped: 45868 kB Shmem: 25228 kB Slab: 150064 kB SReclaimable: 122564 kB SUnreclaim: 27500 kB KernelStack: 3184 kB PageTables: 4984 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324724 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61880 MiB End job on node102 at 2017-08-15 21:25:39