Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-07-02 | ? (TO) | 19930.3 | 2520.37 |
Name | Quasigroups/ QuasiGroup-7-12_c18.xml |
MD5SUM | 70b2a7c07aa80f8552a525257c8c3e20 |
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 | 288 |
Number of constraints | 266 |
Number of domains | 1 |
Minimum domain size | 12 |
Maximum domain size | 12 |
Distribution of domain sizes | [{"size":12,"count":276}] |
Minimum variable degree | 0 |
Maximum variable degree | 25 |
Distribution of variable degrees | [{"degree":0,"count":12},{"degree":2,"count":132},{"degree":24,"count":12},{"degree":25,"count":132}] |
Minimum constraint arity | 12 |
Maximum constraint arity | 144 |
Distribution of constraint arities | [{"arity":12,"count":1},{"arity":14,"count":264},{"arity":144,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":264}] |
Optimization problem | NO |
Type of objective |
0.67/0.55 c version: 2018-07-02 0.67/0.55 c seed: 1208768040 0.67/0.55 c timeout: 20160 0.67/0.55 c memlimit: 22000 0.67/0.55 c nbcore: 8 0.67/0.58 c Parsing instance... 1.44/0.93 c Parsing done, starting search... 19927.51/2520.12 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 (13456 MiB free) memory of node 1: 16384 MiB (14040 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291318-1532681349/watcher-4291318-1532681349 -o /tmp/evaluation-result-4291318-1532681349/solver-4291318-1532681349 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532673416-8432 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1208768040 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291318-1532681349.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=9438, runsolver pid=9435 [startup+0.100115 s]* /proc/loadavg: 8.00 8.05 8.13 2/198 9458 /proc/meminfo: memFree=28141132/32770624 swapFree=67108436/67108860 [pid=9438] ppid=9435 vsize=26103424 memory=30432 CPUtime=0.11 cores=0-7 /proc/9438/stat : 9438 (java) S 9435 9438 8405 0 -1 1077944320 7065 0 0 0 10 1 0 0 20 0 20 0 85698058 26729906176 7608 33554432000 4194304 4196468 140736905137472 140736905120016 139955929812727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 /proc/9438/statm: 6525856 7608 3137 1 0 6487932 0 [pid=9438/tid=9440] ppid=9435 vsize=26103424 memory=4354591005378507679 CPUtime=0.09 cores=0-7 /proc/9438/task/9440/stat : 9440 (java) R 9435 9438 8405 0 -1 4202560 5242 0 0 0 8 1 0 0 20 0 20 0 85698058 26729906176 7740 33554432000 4194304 4196468 140736905137472 139955934025616 139955910088541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9441] ppid=9435 vsize=26103424 memory=732370507880291301 CPUtime=0 cores=0-7 /proc/9438/task/9441/stat : 9441 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 7740 33554432000 4194304 4196468 140736905137472 139955882432912 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9442] ppid=9435 vsize=26103424 memory=140369542837888 CPUtime=0 cores=0-7 /proc/9438/task/9442/stat : 9442 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 7740 33554432000 4194304 4196468 140736905137472 139955881380112 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9443] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9443/stat : 9443 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 7740 33554432000 4194304 4196468 140736905137472 139955880327824 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9444] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9444/stat : 9444 (java) S 9435 9438 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 7740 33554432000 4194304 4196468 140736905137472 139955879275024 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9445] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9445/stat : 9445 (java) S 9435 9438 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 7740 33554432000 4194304 4196468 140736905137472 139955878222736 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9446] ppid=9435 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9438/task/9446/stat : 9446 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 7740 33554432000 4194304 4196468 140736905137472 139955877169936 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9447] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9447/stat : 9447 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 7740 33554432000 4194304 4196468 140736905137472 139955876117648 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9448] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9448/stat : 9448 (java) S 9435 9438 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 7740 33554432000 4194304 4196468 140736905137472 139955875064848 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9449] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9449/stat : 9449 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698061 26729906176 7806 33554432000 4194304 4196468 140736905137472 139954672842864 139955929823874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9450] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9450/stat : 9450 (java) S 9435 9438 8405 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 85698061 26729906176 7806 33554432000 4194304 4196468 140736905137472 139954671788832 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9451] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9451/stat : 9451 (java) S 9435 9438 8405 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85698061 26729906176 7806 33554432000 4194304 4196468 140736905137472 139954670736496 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9452] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9452/stat : 9452 (java) S 9435 9438 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85698064 26729906176 7806 33554432000 4194304 4196468 140736905137472 139954669684816 139955929831323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9453] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9453/stat : 9453 (java) S 9435 9438 8405 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 85698064 26729906176 7806 33554432000 4194304 4196468 140736905137472 139954668632688 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9454] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9454/stat : 9454 (java) S 9435 9438 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85698064 26729906176 7806 33554432000 4194304 4196468 140736905137472 139954667579888 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9455] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9455/stat : 9455 (java) S 9435 9438 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85698064 26729906176 7806 33554432000 4194304 4196468 140736905137472 139954666527600 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9456] ppid=9435 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/9438/task/9456/stat : 9456 (java) S 9435 9438 8405 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 20 0 85698064 26729906176 7806 33554432000 4194304 4196468 140736905137472 139954665474800 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9457] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9457/stat : 9457 (java) S 9435 9438 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85698064 26729906176 7806 33554432000 4194304 4196468 140736905137472 139954596342112 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9458] ppid=9435 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9438/task/9458/stat : 9458 (java) S 9435 9438 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85698064 26729906176 7806 33554432000 4194304 4196468 140736905137472 139954595289392 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 30432 KiB [startup+0.210139 s]* /proc/loadavg: 8.00 8.05 8.13 4/198 9458 /proc/meminfo: memFree=28126188/32770624 swapFree=67108436/67108860 [pid=9438] ppid=9435 vsize=26103424 memory=42940 CPUtime=0.3 cores=0-7 /proc/9438/stat : 9438 (java) S 9435 9438 8405 0 -1 1077944320 10452 0 0 0 27 3 0 0 20 0 20 0 85698058 26729906176 10735 33554432000 4194304 4196468 140736905137472 140736905120016 139955929812727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 /proc/9438/statm: 6525856 10735 3314 1 0 6487932 0 [pid=9438/tid=9440] ppid=9435 vsize=26103424 memory=29681743523217448 CPUtime=0.19 cores=0-7 /proc/9438/task/9440/stat : 9440 (java) R 9435 9438 8405 0 -1 4202560 8170 0 0 0 18 1 0 0 20 0 20 0 85698058 26729906176 10735 33554432000 4194304 4196468 140736905137472 139955934032576 139955929834653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9441] ppid=9435 vsize=26103424 memory=288230613264367967 CPUtime=0 cores=0-7 /proc/9438/task/9441/stat : 9441 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 10735 33554432000 4194304 4196468 140736905137472 139955882432912 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9442] ppid=9435 vsize=26103424 memory=15960380006266520 CPUtime=0 cores=0-7 /proc/9438/task/9442/stat : 9442 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 10735 33554432000 4194304 4196468 140736905137472 139955881380112 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9443] ppid=9435 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9438/task/9443/stat : 9443 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 10735 33554432000 4194304 4196468 140736905137472 139955880327824 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9444] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9444/stat : 9444 (java) S 9435 9438 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 10735 33554432000 4194304 4196468 140736905137472 139955879275024 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9445] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9445/stat : 9445 (java) S 9435 9438 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 10735 33554432000 4194304 4196468 140736905137472 139955878222736 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9446] ppid=9435 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9438/task/9446/stat : 9446 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 10735 33554432000 4194304 4196468 140736905137472 139955877169936 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9447] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9447/stat : 9447 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 10735 33554432000 4194304 4196468 140736905137472 139955876117648 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9448] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9448/stat : 9448 (java) S 9435 9438 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 10735 33554432000 4194304 4196468 140736905137472 139955875064848 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9449] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9449/stat : 9449 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698061 26729906176 10735 33554432000 4194304 4196468 140736905137472 139954672842864 139955929823874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9450] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9450/stat : 9450 (java) S 9435 9438 8405 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 85698061 26729906176 10735 33554432000 4194304 4196468 140736905137472 139954671788832 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9451] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9451/stat : 9451 (java) S 9435 9438 8405 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85698061 26729906176 10735 33554432000 4194304 4196468 140736905137472 139954670736496 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9452] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9452/stat : 9452 (java) S 9435 9438 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85698064 26729906176 10735 33554432000 4194304 4196468 140736905137472 139954669684816 139955929831323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9453] ppid=9435 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/9438/task/9453/stat : 9453 (java) S 9435 9438 8405 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 20 0 85698064 26729906176 10735 33554432000 4194304 4196468 140736905137472 139954668632688 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9454] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9454/stat : 9454 (java) S 9435 9438 8405 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 85698064 26729906176 10735 33554432000 4194304 4196468 140736905137472 139954667579888 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9455] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9455/stat : 9455 (java) S 9435 9438 8405 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 85698064 26729906176 10735 33554432000 4194304 4196468 140736905137472 139954666527600 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9456] ppid=9435 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7 /proc/9438/task/9456/stat : 9456 (java) S 9435 9438 8405 0 -1 1077944384 324 0 0 0 6 0 0 0 20 0 20 0 85698064 26729906176 10735 33554432000 4194304 4196468 140736905137472 139954665474800 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9457] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9457/stat : 9457 (java) S 9435 9438 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85698064 26729906176 10735 33554432000 4194304 4196468 140736905137472 139954596342112 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9458] ppid=9435 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9438/task/9458/stat : 9458 (java) S 9435 9438 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85698064 26729906176 10735 33554432000 4194304 4196468 140736905137472 139954595289392 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 42940 KiB [startup+0.310084 s]* /proc/loadavg: 8.00 8.05 8.13 2/198 9458 /proc/meminfo: memFree=28122452/32770624 swapFree=67108436/67108860 [pid=9438] ppid=9435 vsize=26103424 memory=46716 CPUtime=0.43 cores=0-7 /proc/9438/stat : 9438 (java) S 9435 9438 8405 0 -1 1077944320 10880 0 0 0 40 3 0 0 20 0 20 0 85698058 26729906176 11679 33554432000 4194304 4196468 140736905137472 140736905120016 139955929812727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 /proc/9438/statm: 6525856 11679 3374 1 0 6487932 0 [pid=9438/tid=9440] ppid=9435 vsize=26103424 memory=8112282956445269571 CPUtime=0.3 cores=0-7 /proc/9438/task/9440/stat : 9440 (java) R 9435 9438 8405 0 -1 4202560 8519 0 0 0 28 2 0 0 20 0 20 0 85698058 26729906176 11679 33554432000 4194304 4196468 140736905137472 139955933974464 139955913893214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9441] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9441/stat : 9441 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 11679 33554432000 4194304 4196468 140736905137472 139955882432912 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9442] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9442/stat : 9442 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 11679 33554432000 4194304 4196468 140736905137472 139955881380112 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9443] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9443/stat : 9443 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 11679 33554432000 4194304 4196468 140736905137472 139955880327824 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9444] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9444/stat : 9444 (java) S 9435 9438 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 11679 33554432000 4194304 4196468 140736905137472 139955879275024 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9445] ppid=9435 vsize=26103424 memory=2244 CPUtime=0 cores=0-7 /proc/9438/task/9445/stat : 9445 (java) S 9435 9438 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 11679 33554432000 4194304 4196468 140736905137472 139955878222736 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9446] ppid=9435 vsize=26103424 memory=140369396331439 CPUtime=0 cores=0-7 /proc/9438/task/9446/stat : 9446 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 11679 33554432000 4194304 4196468 140736905137472 139955877169936 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9447] ppid=9435 vsize=26103424 memory=140369396333744 CPUtime=0 cores=0-7 /proc/9438/task/9447/stat : 9447 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 11679 33554432000 4194304 4196468 140736905137472 139955876117648 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9448] ppid=9435 vsize=26103424 memory=140369396336048 CPUtime=0 cores=0-7 /proc/9438/task/9448/stat : 9448 (java) S 9435 9438 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85698059 26729906176 11679 33554432000 4194304 4196468 140736905137472 139955875064848 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9449] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9449/stat : 9449 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698061 26729906176 11679 33554432000 4194304 4196468 140736905137472 139954672842864 139955929823874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9450] ppid=9435 vsize=26103424 memory=280738792679056 CPUtime=0 cores=0-7 /proc/9438/task/9450/stat : 9450 (java) S 9435 9438 8405 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 85698061 26729906176 11679 33554432000 4194304 4196468 140736905137472 139954671788832 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9451] ppid=9435 vsize=26103424 memory=280738792685968 CPUtime=0 cores=0-7 /proc/9438/task/9451/stat : 9451 (java) S 9435 9438 8405 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85698061 26729906176 11679 33554432000 4194304 4196468 140736905137472 139954670736496 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9452] ppid=9435 vsize=26103424 memory=280738792627248 CPUtime=0 cores=0-7 /proc/9438/task/9452/stat : 9452 (java) S 9435 9438 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85698064 26729906176 11679 33554432000 4194304 4196468 140736905137472 139954669684816 139955929831323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9453] ppid=9435 vsize=26103424 memory=280738792699792 CPUtime=0.02 cores=0-7 /proc/9438/task/9453/stat : 9453 (java) S 9435 9438 8405 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 20 0 85698064 26729906176 11679 33554432000 4194304 4196468 140736905137472 139954668632688 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9454] ppid=9435 vsize=26103424 memory=280738792706704 CPUtime=0 cores=0-7 /proc/9438/task/9454/stat : 9454 (java) R 9435 9438 8405 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 85698064 26729906176 11679 33554432000 4194304 4196468 140736905137472 139954667579888 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9455] ppid=9435 vsize=26103424 memory=280738792704400 CPUtime=0.01 cores=0-7 /proc/9438/task/9455/stat : 9455 (java) S 9435 9438 8405 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 20 0 85698064 26729906176 11679 33554432000 4194304 4196468 140736905137472 139954666527600 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9456] ppid=9435 vsize=26103424 memory=280738792720960 CPUtime=0.07 cores=0-7 /proc/9438/task/9456/stat : 9456 (java) S 9435 9438 8405 0 -1 1077944384 342 0 0 0 7 0 0 0 20 0 20 0 85698064 26729906176 11679 33554432000 4194304 4196468 140736905137472 139954665474800 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9457] ppid=9435 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9457/stat : 9457 (java) S 9435 9438 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85698064 26729906176 11679 33554432000 4194304 4196468 140736905137472 139954596342112 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9458] ppid=9435 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9438/task/9458/stat : 9458 (java) S 9435 9438 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85698064 26729906176 11679 33554432000 4194304 4196468 140736905137472 139954595289392 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 46716 KiB [startup+0.700919 s] /proc/loadavg: 8.00 8.05 8.13 2/198 9458 /proc/meminfo: memFree=28098640/32770624 swapFree=67108436/67108860 [pid=9438] ppid=9435 vsize=26105492 memory=87628 CPUtime=0.99 cores=0-7 /proc/9438/stat : 9438 (java) S 9435 9438 8405 0 -1 1077944320 17855 0 0 0 94 5 0 0 20 0 20 0 85698058 26732023808 21907 33554432000 4194304 4196468 140736905137472 140736905120016 139955929812727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 /proc/9438/statm: 6526373 21907 3500 1 0 6488444 0 [pid=9438/tid=9440] ppid=9435 vsize=26105492 memory=5787213904474226784 CPUtime=0.67 cores=0-7 /proc/9438/task/9440/stat : 9440 (java) R 9435 9438 8405 0 -1 4202560 15000 0 0 0 64 3 0 0 20 0 20 0 85698058 26732023808 21907 33554432000 4194304 4196468 140736905137472 139955934036048 139955929834653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9441] ppid=9435 vsize=26105492 memory=40617505737186 CPUtime=0 cores=0-7 /proc/9438/task/9441/stat : 9441 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26732023808 21907 33554432000 4194304 4196468 140736905137472 139955882432912 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9442] ppid=9435 vsize=26105492 memory=140369396343063 CPUtime=0 cores=0-7 /proc/9438/task/9442/stat : 9442 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26732023808 21907 33554432000 4194304 4196468 140736905137472 139955881380112 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9443] ppid=9435 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9443/stat : 9443 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26732023808 21907 33554432000 4194304 4196468 140736905137472 139955880327824 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9444] ppid=9435 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9444/stat : 9444 (java) S 9435 9438 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85698059 26732023808 21907 33554432000 4194304 4196468 140736905137472 139955879275024 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9445] ppid=9435 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9445/stat : 9445 (java) S 9435 9438 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85698059 26732023808 21907 33554432000 4194304 4196468 140736905137472 139955878222736 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9446] ppid=9435 vsize=26105492 memory=2353 CPUtime=0 cores=0-7 /proc/9438/task/9446/stat : 9446 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26732023808 21907 33554432000 4194304 4196468 140736905137472 139955877169936 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9447] ppid=9435 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9447/stat : 9447 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698059 26732023808 21907 33554432000 4194304 4196468 140736905137472 139955876117648 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9448] ppid=9435 vsize=26105492 memory=1784 CPUtime=0 cores=0-7 /proc/9438/task/9448/stat : 9448 (java) S 9435 9438 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85698059 26732023808 21907 33554432000 4194304 4196468 140736905137472 139955875064848 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9449] ppid=9435 vsize=26105492 memory=5752 CPUtime=0 cores=0-7 /proc/9438/task/9449/stat : 9449 (java) S 9435 9438 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85698061 26732023808 21907 33554432000 4194304 4196468 140736905137472 139954672842864 139955929823874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 ################ # More data... # ################ [startup+2520.37 s] # the end of solver process 9438 was just reported to runsolver # cumulated CPU time of all completed processes: user=19921.4 s, system=8.86057 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.2 s] /proc/loadavg: 8.68 8.72 8.73 9/213 9538 /proc/meminfo: memFree=27461704/32770624 swapFree=67108436/67108860 [pid=9438] ppid=9435 vsize=27385608 memory=704888 CPUtime=19929 cores=0-7 /proc/9438/stat : 9438 (java) S 9435 9438 8405 0 -1 1077944320 1758532 0 0 0 1992019 884 0 0 20 0 40 0 85698058 28042862592 176222 33554432000 4194304 4196468 140736905137472 140736905120016 139955929812727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 /proc/9438/statm: 6846402 176222 3613 1 0 6807952 0 [pid=9438/tid=9440] ppid=9435 vsize=27385608 memory=701788 CPUtime=2.58 cores=0-7 /proc/9438/task/9440/stat : 9440 (java) S 9435 9438 8405 0 -1 1077944384 23866 0 0 0 250 8 0 0 20 0 40 0 85698058 28042862592 176222 33554432000 4194304 4196468 140736905137472 139955934050192 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9441] ppid=9435 vsize=27385608 memory=4108 CPUtime=8.57 cores=0-7 /proc/9438/task/9441/stat : 9441 (java) S 9435 9438 8405 0 -1 1077944384 57282 0 0 0 813 44 0 0 20 0 40 0 85698059 28042862592 176222 33554432000 4194304 4196468 140736905137472 139955882432912 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9442] ppid=9435 vsize=27385608 memory=0 CPUtime=8.53 cores=0-7 /proc/9438/task/9442/stat : 9442 (java) S 9435 9438 8405 0 -1 1077944384 61985 0 0 0 812 41 0 0 20 0 40 0 85698059 28042862592 176222 33554432000 4194304 4196468 140736905137472 139955881380112 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9443] ppid=9435 vsize=27385608 memory=4629771062077588875 CPUtime=8.54 cores=0-7 /proc/9438/task/9443/stat : 9443 (java) S 9435 9438 8405 0 -1 1077944384 58254 0 0 0 813 41 0 0 20 0 40 0 85698059 28042862592 176222 33554432000 4194304 4196468 140736905137472 139955880327824 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9444] ppid=9435 vsize=27385608 memory=-6876588461455810464 CPUtime=8.49 cores=0-7 /proc/9438/task/9444/stat : 9444 (java) S 9435 9438 8405 0 -1 1077944384 59186 0 0 0 810 39 0 0 20 0 40 0 85698059 28042862592 176222 33554432000 4194304 4196468 140736905137472 139955879275024 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9445] ppid=9435 vsize=27385608 memory=4351193298436052055 CPUtime=8.54 cores=0-7 /proc/9438/task/9445/stat : 9445 (java) S 9435 9438 8405 0 -1 1077944384 52014 0 0 0 811 43 0 0 20 0 40 0 85698059 28042862592 176222 33554432000 4194304 4196468 140736905137472 139955878222736 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9446] ppid=9435 vsize=27385608 memory=-6237260532469557610 CPUtime=8.47 cores=0-7 /proc/9438/task/9446/stat : 9446 (java) S 9435 9438 8405 0 -1 1077944384 59418 0 0 0 805 42 0 0 20 0 40 0 85698059 28042862592 176222 33554432000 4194304 4196468 140736905137472 139955877169936 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9447] ppid=9435 vsize=27385608 memory=288230574492221466 CPUtime=8.55 cores=0-7 /proc/9438/task/9447/stat : 9447 (java) S 9435 9438 8405 0 -1 1077944384 58147 0 0 0 814 41 0 0 20 0 40 0 85698059 28042862592 176222 33554432000 4194304 4196468 140736905137472 139955876117648 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9448] ppid=9435 vsize=27385608 memory=288230596050944315 CPUtime=8.51 cores=0-7 /proc/9438/task/9448/stat : 9448 (java) S 9435 9438 8405 0 -1 1077944384 58520 0 0 0 808 43 0 0 20 0 40 0 85698059 28042862592 176222 33554432000 4194304 4196468 140736905137472 139955875064848 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9449] ppid=9435 vsize=27385608 memory=15823295995971307 CPUtime=8.07 cores=0-7 /proc/9438/task/9449/stat : 9449 (java) S 9435 9438 8405 0 -1 1077944384 106500 0 0 0 665 142 0 0 20 0 40 0 85698061 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954672842864 139955929823874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9450] ppid=9435 vsize=27385608 memory=1612 CPUtime=0 cores=0-7 /proc/9438/task/9450/stat : 9450 (java) S 9435 9438 8405 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 40 0 85698061 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954671788896 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9451] ppid=9435 vsize=27385608 memory=1228 CPUtime=0 cores=0-7 /proc/9438/task/9451/stat : 9451 (java) S 9435 9438 8405 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 40 0 85698061 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954670736512 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9452] ppid=9435 vsize=27385608 memory=1852 CPUtime=0 cores=0-7 /proc/9438/task/9452/stat : 9452 (java) S 9435 9438 8405 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 40 0 85698064 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954669684816 139955929831323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9453] ppid=9435 vsize=27385608 memory=872 CPUtime=1.52 cores=0-7 /proc/9438/task/9453/stat : 9453 (java) S 9435 9438 8405 0 -1 1077944384 4488 0 0 0 150 2 0 0 20 0 40 0 85698064 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954668632688 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9454] ppid=9435 vsize=27385608 memory=8064 CPUtime=1.57 cores=0-7 /proc/9438/task/9454/stat : 9454 (java) S 9435 9438 8405 0 -1 1077944384 7468 0 0 0 155 2 0 0 20 0 40 0 85698064 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954667579888 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9455] ppid=9435 vsize=27385608 memory=11648 CPUtime=1.41 cores=0-7 /proc/9438/task/9455/stat : 9455 (java) S 9435 9438 8405 0 -1 1077944384 5309 0 0 0 140 1 0 0 20 0 40 0 85698064 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954666527600 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9456] ppid=9435 vsize=27385608 memory=796 CPUtime=1.15 cores=0-7 /proc/9438/task/9456/stat : 9456 (java) S 9435 9438 8405 0 -1 1077944384 10363 0 0 0 112 3 0 0 20 0 40 0 85698064 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954665474800 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9457] ppid=9435 vsize=27385608 memory=1388 CPUtime=0 cores=0-7 /proc/9438/task/9457/stat : 9457 (java) S 9435 9438 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 85698064 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954596342112 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9458] ppid=9435 vsize=27385608 memory=1136 CPUtime=0.69 cores=0-7 /proc/9438/task/9458/stat : 9458 (java) S 9435 9438 8405 0 -1 1077944384 5246 0 0 0 61 8 0 0 20 0 40 0 85698064 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954595289392 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9459] ppid=9435 vsize=27385608 memory=15872 CPUtime=0 cores=0-7 /proc/9438/task/9459/stat : 9459 (java) S 9435 9438 8405 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 40 0 85698281 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954581844864 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9460] ppid=9435 vsize=27385608 memory=14560 CPUtime=2.11 cores=0-7 /proc/9438/task/9460/stat : 9460 (java) S 9435 9438 8405 0 -1 1077944384 14669 0 0 0 90 121 0 0 20 0 40 0 85698301 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954578695088 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9461] ppid=9435 vsize=27385608 memory=16148 CPUtime=2480.21 cores=0-7 /proc/9438/task/9461/stat : 9461 (java) R 9435 9438 8405 0 -1 4202560 138877 0 0 0 247972 49 0 0 20 0 40 0 85698317 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954577635544 139955563664709 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9462] ppid=9435 vsize=27385608 memory=673956 CPUtime=2479.93 cores=0-7 /proc/9438/task/9462/stat : 9462 (java) R 9435 9438 8405 0 -1 4202560 139710 0 0 0 247942 51 0 0 20 0 40 0 85698318 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954576584248 139955564807978 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9463] ppid=9435 vsize=27385608 memory=1296 CPUtime=2480.84 cores=0-7 /proc/9438/task/9463/stat : 9463 (java) R 9435 9438 8405 0 -1 4202560 137567 0 0 0 248035 49 0 0 20 0 40 0 85698318 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954575531712 139955563664754 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9464] ppid=9435 vsize=27385608 memory=2412 CPUtime=2479.18 cores=0-7 /proc/9438/task/9464/stat : 9464 (java) R 9435 9438 8405 0 -1 4202560 138918 0 0 0 247866 52 0 0 20 0 40 0 85698324 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954572380568 139955914185036 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9465] ppid=9435 vsize=27385608 memory=8112282956445269571 CPUtime=0.07 cores=0-7 /proc/9438/task/9465/stat : 9465 (java) S 9435 9438 8405 0 -1 1077944384 59 0 0 0 7 0 0 0 20 0 40 0 85698324 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954571333872 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9466] ppid=9435 vsize=27385608 memory=682164 CPUtime=2480.08 cores=0-7 /proc/9438/task/9466/stat : 9466 (java) R 9435 9438 8405 0 -1 4202560 136830 0 0 0 247961 47 0 0 20 0 40 0 85698325 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954570276608 139955563664640 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9467] ppid=9435 vsize=27385608 memory=5820 CPUtime=0.07 cores=0-7 /proc/9438/task/9467/stat : 9467 (java) S 9435 9438 8405 0 -1 1077944384 100 0 0 0 7 0 0 0 20 0 40 0 85698325 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954569229344 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9468] ppid=9435 vsize=27385608 memory=1408 CPUtime=2480.44 cores=0-7 /proc/9438/task/9468/stat : 9468 (java) R 9435 9438 8405 0 -1 4202560 142709 0 0 0 247992 52 0 0 20 0 40 0 85698325 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954568169368 139955552986328 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9469] ppid=9435 vsize=27385608 memory=673444 CPUtime=2480.48 cores=0-7 /proc/9438/task/9469/stat : 9469 (java) R 9435 9438 8405 0 -1 4202560 137936 0 0 0 247995 53 0 0 20 0 40 0 85698325 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954567116376 139955564808842 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9470] ppid=9435 vsize=27385608 memory=674984 CPUtime=2480.13 cores=0-7 /proc/9438/task/9470/stat : 9470 (java) R 9435 9438 8405 0 -1 4202560 140275 0 0 0 247963 50 0 0 20 0 40 0 85698325 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954566064216 139955552986218 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9471] ppid=9435 vsize=27385608 memory=4108 CPUtime=0 cores=0-7 /proc/9438/task/9471/stat : 9471 (java) S 9435 9438 8405 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 40 0 85698337 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954565018112 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9472] ppid=9435 vsize=27385608 memory=-6733704525061579059 CPUtime=0.01 cores=0-7 /proc/9438/task/9472/stat : 9472 (java) S 9435 9438 8405 0 -1 1077944384 494 0 0 0 1 0 0 0 20 0 40 0 85698338 28042862592 176222 33554432000 4194304 4196468 140736905137472 139954563965312 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 Current children cumulated CPU time: 19929 s Current children cumulated vsize: 27385608 KiB Current children cumulated memory: 704888 KiB [startup+2520.3 s] /proc/loadavg: 8.68 8.72 8.73 9/213 9538 /proc/meminfo: memFree=27461704/32770624 swapFree=67108436/67108860 [pid=9438] ppid=9435 vsize=27651864 memory=705340 CPUtime=19929.8 cores=0-7 /proc/9438/stat : 9438 (java) S 9435 9438 8405 0 -1 1077944320 1758829 0 0 0 1992100 884 0 0 20 0 44 0 85698058 28315508736 176335 33554432000 4194304 4196468 140736905137472 140736905120016 139955929812727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 /proc/9438/statm: 6912966 176335 3613 1 0 6874516 0 [pid=9438/tid=9440] ppid=9435 vsize=27651864 memory=702388 CPUtime=2.58 cores=0-7 /proc/9438/task/9440/stat : 9440 (java) S 9435 9438 8405 0 -1 1077944384 23866 0 0 0 250 8 0 0 20 0 44 0 85698058 28315508736 176335 33554432000 4194304 4196468 140736905137472 139955934050192 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9441] ppid=9435 vsize=27651864 memory=702300 CPUtime=8.57 cores=0-7 /proc/9438/task/9441/stat : 9441 (java) S 9435 9438 8405 0 -1 1077944384 57282 0 0 0 813 44 0 0 20 0 44 0 85698059 28315508736 176335 33554432000 4194304 4196468 140736905137472 139955882432912 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9442] ppid=9435 vsize=27651864 memory=700680 CPUtime=8.53 cores=0-7 /proc/9438/task/9442/stat : 9442 (java) S 9435 9438 8405 0 -1 1077944384 61985 0 0 0 812 41 0 0 20 0 44 0 85698059 28315508736 176335 33554432000 4194304 4196468 140736905137472 139955881380112 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9443] ppid=9435 vsize=27651864 memory=280738793865872 CPUtime=8.54 cores=0-7 /proc/9438/task/9443/stat : 9443 (java) S 9435 9438 8405 0 -1 1077944384 58254 0 0 0 813 41 0 0 20 0 44 0 85698059 28315508736 176335 33554432000 4194304 4196468 140736905137472 139955880327824 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9444] ppid=9435 vsize=27651864 memory=680112 CPUtime=8.49 cores=0-7 /proc/9438/task/9444/stat : 9444 (java) S 9435 9438 8405 0 -1 1077944384 59186 0 0 0 810 39 0 0 20 0 44 0 85698059 28315508736 176335 33554432000 4194304 4196468 140736905137472 139955879275024 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9445] ppid=9435 vsize=27651864 memory=704612 CPUtime=8.54 cores=0-7 /proc/9438/task/9445/stat : 9445 (java) S 9435 9438 8405 0 -1 1077944384 52014 0 0 0 811 43 0 0 20 0 44 0 85698059 28315508736 176335 33554432000 4194304 4196468 140736905137472 139955878222736 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9446] ppid=9435 vsize=27651864 memory=280738794210832 CPUtime=8.47 cores=0-7 /proc/9438/task/9446/stat : 9446 (java) S 9435 9438 8405 0 -1 1077944384 59418 0 0 0 805 42 0 0 20 0 44 0 85698059 28315508736 176335 33554432000 4194304 4196468 140736905137472 139955877169936 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9447] ppid=9435 vsize=27651864 memory=702300 CPUtime=8.55 cores=0-7 /proc/9438/task/9447/stat : 9447 (java) S 9435 9438 8405 0 -1 1077944384 58147 0 0 0 814 41 0 0 20 0 44 0 85698059 28315508736 176335 33554432000 4194304 4196468 140736905137472 139955876117648 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9448] ppid=9435 vsize=27651864 memory=7532 CPUtime=8.51 cores=0-7 /proc/9438/task/9448/stat : 9448 (java) S 9435 9438 8405 0 -1 1077944384 58520 0 0 0 808 43 0 0 20 0 44 0 85698059 28315508736 176335 33554432000 4194304 4196468 140736905137472 139955875064848 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9449] ppid=9435 vsize=27651864 memory=81277961128426 CPUtime=8.07 cores=0-7 /proc/9438/task/9449/stat : 9449 (java) S 9435 9438 8405 0 -1 1077944384 106500 0 0 0 665 142 0 0 20 0 44 0 85698061 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954672842864 139955929823874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9450] ppid=9435 vsize=27651864 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/9438/task/9450/stat : 9450 (java) S 9435 9438 8405 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 44 0 85698061 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954671788896 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9451] ppid=9435 vsize=27651864 memory=1576 CPUtime=0 cores=0-7 /proc/9438/task/9451/stat : 9451 (java) S 9435 9438 8405 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 44 0 85698061 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954670736512 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9452] ppid=9435 vsize=27651864 memory=932 CPUtime=0 cores=0-7 /proc/9438/task/9452/stat : 9452 (java) S 9435 9438 8405 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 44 0 85698064 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954669684816 139955929831323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9453] ppid=9435 vsize=27651864 memory=703928 CPUtime=1.52 cores=0-7 /proc/9438/task/9453/stat : 9453 (java) S 9435 9438 8405 0 -1 1077944384 4488 0 0 0 150 2 0 0 20 0 44 0 85698064 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954668632688 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9454] ppid=9435 vsize=27651864 memory=1612 CPUtime=1.57 cores=0-7 /proc/9438/task/9454/stat : 9454 (java) S 9435 9438 8405 0 -1 1077944384 7468 0 0 0 155 2 0 0 20 0 44 0 85698064 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954667579888 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9455] ppid=9435 vsize=27651864 memory=81277961128426 CPUtime=1.41 cores=0-7 /proc/9438/task/9455/stat : 9455 (java) R 9435 9438 8405 0 -1 1077944384 5309 0 0 0 140 1 0 0 20 0 44 0 85698064 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954666527600 139955929823874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9456] ppid=9435 vsize=27651864 memory=7380663573471193664 CPUtime=1.16 cores=0-7 /proc/9438/task/9456/stat : 9456 (java) S 9435 9438 8405 0 -1 1077944384 10474 0 0 0 113 3 0 0 20 0 44 0 85698064 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954665474800 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9457] ppid=9435 vsize=27651864 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/9438/task/9457/stat : 9457 (java) S 9435 9438 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 44 0 85698064 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954596342112 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9458] ppid=9435 vsize=27651864 memory=288230596050944315 CPUtime=0.69 cores=0-7 /proc/9438/task/9458/stat : 9458 (java) S 9435 9438 8405 0 -1 1077944384 5246 0 0 0 61 8 0 0 20 0 44 0 85698064 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954595289392 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9459] ppid=9435 vsize=27651864 memory=0 CPUtime=0 cores=0-7 /proc/9438/task/9459/stat : 9459 (java) S 9435 9438 8405 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 44 0 85698281 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954581844864 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9460] ppid=9435 vsize=27651864 memory=0 CPUtime=2.11 cores=0-7 /proc/9438/task/9460/stat : 9460 (java) S 9435 9438 8405 0 -1 1077944384 14669 0 0 0 90 121 0 0 20 0 44 0 85698301 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954578695088 139955929823874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9461] ppid=9435 vsize=27651864 memory=7812866885563587373 CPUtime=2480.31 cores=0-7 /proc/9438/task/9461/stat : 9461 (java) R 9435 9438 8405 0 -1 4202560 138877 0 0 0 247982 49 0 0 20 0 44 0 85698317 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954577635544 139955564808560 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9462] ppid=9435 vsize=27651864 memory=3471342765717830192 CPUtime=2480.02 cores=0-7 /proc/9438/task/9462/stat : 9462 (java) R 9435 9438 8405 0 -1 4202560 139710 0 0 0 247951 51 0 0 20 0 44 0 85698318 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954576584248 139955564656553 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9463] ppid=9435 vsize=27651864 memory=702388 CPUtime=2480.94 cores=0-7 /proc/9438/task/9463/stat : 9463 (java) R 9435 9438 8405 0 -1 4202560 137567 0 0 0 248045 49 0 0 20 0 44 0 85698318 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954575531712 139955563664744 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9464] ppid=9435 vsize=27651864 memory=4140 CPUtime=2479.28 cores=0-7 /proc/9438/task/9464/stat : 9464 (java) R 9435 9438 8405 0 -1 4202560 138918 0 0 0 247876 52 0 0 20 0 44 0 85698324 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954572380568 139955563664644 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9465] ppid=9435 vsize=27651864 memory=702388 CPUtime=0.07 cores=0-7 /proc/9438/task/9465/stat : 9465 (java) S 9435 9438 8405 0 -1 1077944384 59 0 0 0 7 0 0 0 20 0 44 0 85698324 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954571334432 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9466] ppid=9435 vsize=27651864 memory=702904 CPUtime=2480.18 cores=0-7 /proc/9438/task/9466/stat : 9466 (java) R 9435 9438 8405 0 -1 4202560 136830 0 0 0 247971 47 0 0 20 0 44 0 85698325 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954570276608 139955560561355 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9467] ppid=9435 vsize=27651864 memory=673444 CPUtime=0.07 cores=0-7 /proc/9438/task/9467/stat : 9467 (java) S 9435 9438 8405 0 -1 1077944384 100 0 0 0 7 0 0 0 20 0 44 0 85698325 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954569229344 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9468] ppid=9435 vsize=27651864 memory=677036 CPUtime=2480.54 cores=0-7 /proc/9438/task/9468/stat : 9468 (java) R 9435 9438 8405 0 -1 4202560 142709 0 0 0 248002 52 0 0 20 0 44 0 85698325 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954568169368 139955564177712 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9469] ppid=9435 vsize=27651864 memory=703924 CPUtime=2480.58 cores=0-7 /proc/9438/task/9469/stat : 9469 (java) R 9435 9438 8405 0 -1 4202560 137936 0 0 0 248005 53 0 0 20 0 44 0 85698325 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954567116376 139955564811311 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9470] ppid=9435 vsize=27651864 memory=1780 CPUtime=2480.23 cores=0-7 /proc/9438/task/9470/stat : 9470 (java) R 9435 9438 8405 0 -1 4202560 140275 0 0 0 247973 50 0 0 20 0 44 0 85698325 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954566064216 139955557917440 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9471] ppid=9435 vsize=27651864 memory=1236 CPUtime=0 cores=0-7 /proc/9438/task/9471/stat : 9471 (java) S 9435 9438 8405 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 44 0 85698337 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954565019168 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 [pid=9438/tid=9472] ppid=9435 vsize=27651864 memory=960 CPUtime=0.02 cores=0-7 /proc/9438/task/9472/stat : 9472 (java) S 9435 9438 8405 0 -1 1077944384 496 0 0 0 2 0 0 0 20 0 44 0 85698338 28315508736 176335 33554432000 4194304 4196468 140736905137472 139954563966368 139955929822933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140736905143373 140736905143557 140736905143557 140736905146319 0 Current children cumulated CPU time: 19929.8 s Current children cumulated vsize: 27651864 KiB Current children cumulated memory: 705340 KiB Child status: 143 Real time (s): 2520.37 CPU time (s): 19930.3 CPU user time (s): 19921.4 CPU system time (s): 8.86057 CPU usage (%): 790.767 Max. virtual memory (cumulated for all children) (KiB): 27651864 Max. memory (cumulated for all children) (KiB): 1306644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19921.4 system time used= 8.86057 maximum resident set size= 1308712 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1759088 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3824 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 797946 involuntary context switches= 432186 # summary of solver processes directly reported to runsolver: # pid: 9438 # total CPU time (s): 19930.3 # total CPU user time (s): 19921.4 # total CPU system time (s): 8.86057 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 22.6656 second user time and 30.9115 second system time The end
Begin job on node137 at 2018-07-27 10:49:09 IDJOB=4291318 IDBENCH=141606 IDSOLVER=2745 FILE ID=node137/4291318-1532681349 RUNJOBID= node137-1532673416-8432 PBS_JOBID= 21022247 Free space on /tmp= 48160 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/Quasigroups/QuasiGroup-7-12_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-4291318-1532681349/watcher-4291318-1532681349 -o /tmp/evaluation-result-4291318-1532681349/solver-4291318-1532681349 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532673416-8432 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1208768040 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291318-1532681349.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 70b2a7c07aa80f8552a525257c8c3e20 RANDOM SEED=1208768040 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28157208 kB MemAvailable: 31926928 kB Buffers: 143068 kB Cached: 3861332 kB SwapCached: 32 kB Active: 1781700 kB Inactive: 2280508 kB Active(anon): 5396 kB Inactive(anon): 80108 kB Active(file): 1776304 kB Inactive(file): 2200400 kB Unevictable: 7424 kB Mlocked: 7424 kB SwapTotal: 67108860 kB SwapFree: 67108436 kB Dirty: 36124 kB Writeback: 0 kB AnonPages: 115888 kB Mapped: 39768 kB Shmem: 25052 kB Slab: 245476 kB SReclaimable: 217700 kB SUnreclaim: 27776 kB KernelStack: 3520 kB PageTables: 4872 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326180 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 61440 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 48124 MiB End job on node137 at 2018-07-27 11:31:09