Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | ? (TO) | 19860.6 | 2520.36 |
Name | SteelMillSlab/ SteelMillSlab-m1-4-0_c18.xml |
MD5SUM | ed32499ea7c7019ad5624e4a2d93decd |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 352 |
Best CPU time to get the best result obtained on this benchmark | 20092.7 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 333 |
Number of constraints | 356 |
Number of domains | 3 |
Minimum domain size | 10 |
Maximum domain size | 111 |
Distribution of domain sizes | [{"size":10,"count":111},{"size":37,"count":111},{"size":111,"count":111}] |
Minimum variable degree | 2 |
Maximum variable degree | 224 |
Distribution of variable degrees | [{"degree":2,"count":111},{"degree":4,"count":111},{"degree":222,"count":78},{"degree":223,"count":24},{"degree":224,"count":9}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 112 |
Distribution of constraint arities | [{"arity":2,"count":132},{"arity":111,"count":113},{"arity":112,"count":111}] |
Number of extensional constraints | 111 |
Number of intensional constraints | 21 |
Distribution of constraint types | [{"type":"extension","count":111},{"type":"intension","count":21},{"type":"ordered","count":1},{"type":"sum","count":223}] |
Optimization problem | YES |
Type of objective | min SUM |
0.67/0.55 c version: 2018-08-14 0.67/0.55 c seed: 628884095 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... 3.49/1.39 c Parsing done, starting search... 19857.96/2520.10 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 (13553 MiB free) memory of node 1: 16384 MiB (10606 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308898-1534397935/watcher-4308898-1534397935 -o /tmp/evaluation-result-4308898-1534397935/solver-4308898-1534397935 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1534395196-4145 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 628884095 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308898-1534397935.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=4439, runsolver pid=4436 [startup+0.100132 s]* /proc/loadavg: 8.88 8.80 8.62 2/198 4459 /proc/meminfo: memFree=24724408/32770624 swapFree=67107648/67108860 [pid=4439] ppid=4436 vsize=26103420 memory=30616 CPUtime=0.11 cores=0-7 /proc/4439/stat : 4439 (java) S 4436 4439 4118 0 -1 1077944320 7119 0 0 0 10 1 0 0 20 0 20 0 257356638 26729902080 7654 33554432000 4194304 4196468 140735314116624 140735314099168 139709324119799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 /proc/4439/statm: 6525855 7654 3132 1 0 6487932 0 [pid=4439/tid=4441] ppid=4436 vsize=26103420 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/4439/task/4441/stat : 4441 (java) R 4436 4439 4118 0 -1 4202560 5366 0 0 0 8 0 0 0 20 0 20 0 257356638 26729902080 7852 33554432000 4194304 4196468 140735314116624 139709328322928 139709308200286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4442] ppid=4436 vsize=26103420 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/4439/task/4442/stat : 4442 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 7852 33554432000 4194304 4196468 140735314116624 139708882508048 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4443] ppid=4436 vsize=26103420 memory=140440298485376 CPUtime=0 cores=0-7 /proc/4439/task/4443/stat : 4443 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 7852 33554432000 4194304 4196468 140735314116624 139708881455504 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4444] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4444/stat : 4444 (java) S 4436 4439 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 7852 33554432000 4194304 4196468 140735314116624 139708880402960 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4445] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4445/stat : 4445 (java) S 4436 4439 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 7852 33554432000 4194304 4196468 140735314116624 139708879350416 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4446] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4446/stat : 4446 (java) S 4436 4439 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 7852 33554432000 4194304 4196468 140735314116624 139708878297872 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4447] ppid=4436 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4439/task/4447/stat : 4447 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 7852 33554432000 4194304 4196468 140735314116624 139708877245328 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4448] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4448/stat : 4448 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 7852 33554432000 4194304 4196468 140735314116624 139708876192784 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4449] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4449/stat : 4449 (java) S 4436 4439 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 7877 33554432000 4194304 4196468 140735314116624 139708875140240 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4450] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4450/stat : 4450 (java) S 4436 4439 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257356641 26729902080 7877 33554432000 4194304 4196468 140735314116624 139708452554736 139709324130946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4451] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4451/stat : 4451 (java) S 4436 4439 4118 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257356641 26729902080 7877 33554432000 4194304 4196468 140735314116624 139708451500960 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4452] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4452/stat : 4452 (java) S 4436 4439 4118 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257356641 26729902080 7877 33554432000 4194304 4196468 140735314116624 139708450448368 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4453] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4453/stat : 4453 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356644 26729902080 7877 33554432000 4194304 4196468 140735314116624 139708449396944 139709324138395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4454] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4454/stat : 4454 (java) S 4436 4439 4118 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 257356644 26729902080 7877 33554432000 4194304 4196468 140735314116624 139708448344560 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4455] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4455/stat : 4455 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356644 26729902080 7877 33554432000 4194304 4196468 140735314116624 139708447292016 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4456] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4456/stat : 4456 (java) S 4436 4439 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257356644 26729902080 7877 33554432000 4194304 4196468 140735314116624 139708446239472 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4457] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4457/stat : 4457 (java) S 4436 4439 4118 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 20 0 257356644 26729902080 7877 33554432000 4194304 4196468 140735314116624 139708445186928 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4458] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4458/stat : 4458 (java) S 4436 4439 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257356644 26729902080 7877 33554432000 4194304 4196468 140735314116624 139708444133600 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4459] ppid=4436 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4439/task/4459/stat : 4459 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356644 26729902080 7877 33554432000 4194304 4196468 140735314116624 139708443081136 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 30616 KiB [startup+0.210355 s]* /proc/loadavg: 8.88 8.80 8.62 3/198 4459 /proc/meminfo: memFree=24710704/32770624 swapFree=67107648/67108860 [pid=4439] ppid=4436 vsize=26103420 memory=43092 CPUtime=0.3 cores=0-7 /proc/4439/stat : 4439 (java) S 4436 4439 4118 0 -1 1077944320 10413 0 0 0 28 2 0 0 20 0 20 0 257356638 26729902080 10773 33554432000 4194304 4196468 140735314116624 140735314099168 139709324119799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 /proc/4439/statm: 6525855 10773 3337 1 0 6487932 0 [pid=4439/tid=4441] ppid=4436 vsize=26103420 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/4439/task/4441/stat : 4441 (java) R 4436 4439 4118 0 -1 4202560 8197 0 0 0 18 2 0 0 20 0 20 0 257356638 26729902080 10773 33554432000 4194304 4196468 140735314116624 139709328347952 139709324141725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4442] ppid=4436 vsize=26103420 memory=10829 CPUtime=0 cores=0-7 /proc/4439/task/4442/stat : 4442 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708882508048 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4443] ppid=4436 vsize=26103420 memory=140440298489968 CPUtime=0 cores=0-7 /proc/4439/task/4443/stat : 4443 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708881455504 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4444] ppid=4436 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4439/task/4444/stat : 4444 (java) S 4436 4439 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708880402960 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4445] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4445/stat : 4445 (java) S 4436 4439 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708879350416 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4446] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4446/stat : 4446 (java) S 4436 4439 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708878297872 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4447] ppid=4436 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4439/task/4447/stat : 4447 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708877245328 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4448] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4448/stat : 4448 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708876192784 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4449] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4449/stat : 4449 (java) S 4436 4439 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708875140240 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4450] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4450/stat : 4450 (java) S 4436 4439 4118 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 257356641 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708452554736 139709324130946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4451] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4451/stat : 4451 (java) S 4436 4439 4118 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257356641 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708451500960 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4452] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4452/stat : 4452 (java) S 4436 4439 4118 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257356641 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708450448368 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4453] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4453/stat : 4453 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356644 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708449396944 139709324138395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4454] ppid=4436 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/4439/task/4454/stat : 4454 (java) R 4436 4439 4118 0 -1 4202560 448 0 0 0 1 0 0 0 20 0 20 0 257356644 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708448344560 139709324130946 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4455] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4455/stat : 4455 (java) R 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356644 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708447292016 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4456] ppid=4436 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/4439/task/4456/stat : 4456 (java) S 4436 4439 4118 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 257356644 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708446239472 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4457] ppid=4436 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/4439/task/4457/stat : 4457 (java) R 4436 4439 4118 0 -1 4202560 309 0 0 0 6 0 0 0 20 0 20 0 257356644 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708445186928 139708927574137 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4458] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4458/stat : 4458 (java) S 4436 4439 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257356644 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708444133600 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4459] ppid=4436 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4439/task/4459/stat : 4459 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356644 26729902080 10773 33554432000 4194304 4196468 140735314116624 139708443081136 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 43092 KiB [startup+0.310407 s]* /proc/loadavg: 8.88 8.80 8.62 4/198 4459 /proc/meminfo: memFree=24706956/32770624 swapFree=67107648/67108860 [pid=4439] ppid=4436 vsize=26103420 memory=46604 CPUtime=0.43 cores=0-7 /proc/4439/stat : 4439 (java) S 4436 4439 4118 0 -1 1077944320 10854 0 0 0 40 3 0 0 20 0 20 0 257356638 26729902080 11651 33554432000 4194304 4196468 140735314116624 140735314099168 139709324119799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 /proc/4439/statm: 6525855 11651 3381 1 0 6487932 0 [pid=4439/tid=4441] ppid=4436 vsize=26103420 memory=8112282956445269571 CPUtime=0.3 cores=0-7 /proc/4439/task/4441/stat : 4441 (java) R 4436 4439 4118 0 -1 4202560 8534 0 0 0 28 2 0 0 20 0 20 0 257356638 26729902080 11651 33554432000 4194304 4196468 140735314116624 139709328281536 139709305683374 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4442] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4442/stat : 4442 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708882508048 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4443] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4443/stat : 4443 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708881455504 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4444] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4444/stat : 4444 (java) S 4436 4439 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708880402960 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4445] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4445/stat : 4445 (java) S 4436 4439 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708879350416 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4446] ppid=4436 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/4439/task/4446/stat : 4446 (java) S 4436 4439 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708878297872 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4447] ppid=4436 vsize=26103420 memory=140440196182959 CPUtime=0 cores=0-7 /proc/4439/task/4447/stat : 4447 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708877245328 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4448] ppid=4436 vsize=26103420 memory=140440196185264 CPUtime=0 cores=0-7 /proc/4439/task/4448/stat : 4448 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708876192784 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4449] ppid=4436 vsize=26103420 memory=140440196187568 CPUtime=0 cores=0-7 /proc/4439/task/4449/stat : 4449 (java) S 4436 4439 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257356639 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708875140240 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4450] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4450/stat : 4450 (java) S 4436 4439 4118 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 257356641 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708452554736 139709324130946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4451] ppid=4436 vsize=26103420 memory=280880392382096 CPUtime=0 cores=0-7 /proc/4439/task/4451/stat : 4451 (java) S 4436 4439 4118 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257356641 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708451500960 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4452] ppid=4436 vsize=26103420 memory=280880392389008 CPUtime=0 cores=0-7 /proc/4439/task/4452/stat : 4452 (java) S 4436 4439 4118 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257356641 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708450448368 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4453] ppid=4436 vsize=26103420 memory=280880392330256 CPUtime=0 cores=0-7 /proc/4439/task/4453/stat : 4453 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356644 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708449396944 139709324138395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4454] ppid=4436 vsize=26103420 memory=280880392402832 CPUtime=0.01 cores=0-7 /proc/4439/task/4454/stat : 4454 (java) S 4436 4439 4118 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 20 0 257356644 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708448344560 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4455] ppid=4436 vsize=26103420 memory=280880392409744 CPUtime=0 cores=0-7 /proc/4439/task/4455/stat : 4455 (java) S 4436 4439 4118 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 257356644 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708447292016 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4456] ppid=4436 vsize=26103420 memory=280880392407440 CPUtime=0.02 cores=0-7 /proc/4439/task/4456/stat : 4456 (java) S 4436 4439 4118 0 -1 1077944384 151 0 0 0 2 0 0 0 20 0 20 0 257356644 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708446239472 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4457] ppid=4436 vsize=26103420 memory=280880392424048 CPUtime=0.08 cores=0-7 /proc/4439/task/4457/stat : 4457 (java) S 4436 4439 4118 0 -1 1077944384 326 0 0 0 8 0 0 0 20 0 20 0 257356644 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708445186928 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4458] ppid=4436 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4458/stat : 4458 (java) S 4436 4439 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257356644 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708444133600 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4459] ppid=4436 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4439/task/4459/stat : 4459 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356644 26729902080 11651 33554432000 4194304 4196468 140735314116624 139708443081136 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46604 KiB [startup+0.700926 s] /proc/loadavg: 8.88 8.80 8.62 2/198 4459 /proc/meminfo: memFree=24682932/32770624 swapFree=67107648/67108860 [pid=4439] ppid=4436 vsize=26105488 memory=85740 CPUtime=0.99 cores=0-7 /proc/4439/stat : 4439 (java) S 4436 4439 4118 0 -1 1077944320 17876 0 0 0 93 6 0 0 20 0 20 0 257356638 26732019712 21435 33554432000 4194304 4196468 140735314116624 140735314099168 139709324119799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 /proc/4439/statm: 6526372 21435 3501 1 0 6488444 0 [pid=4439/tid=4441] ppid=4436 vsize=26105488 memory=0 CPUtime=0.68 cores=0-7 /proc/4439/task/4441/stat : 4441 (java) R 4436 4439 4118 0 -1 4202560 15029 0 0 0 63 5 0 0 20 0 20 0 257356638 26732019712 21435 33554432000 4194304 4196468 140735314116624 139709328346400 139709305378866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4442] ppid=4436 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4442/stat : 4442 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26732019712 21435 33554432000 4194304 4196468 140735314116624 139708882508048 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4443] ppid=4436 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4443/stat : 4443 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26732019712 21435 33554432000 4194304 4196468 140735314116624 139708881455504 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4444] ppid=4436 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4444/stat : 4444 (java) S 4436 4439 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257356639 26732019712 21435 33554432000 4194304 4196468 140735314116624 139708880402960 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4445] ppid=4436 vsize=26105488 memory=1828 CPUtime=0 cores=0-7 /proc/4439/task/4445/stat : 4445 (java) S 4436 4439 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257356639 26732019712 21435 33554432000 4194304 4196468 140735314116624 139708879350416 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4446] ppid=4436 vsize=26105488 memory=1020 CPUtime=0 cores=0-7 /proc/4439/task/4446/stat : 4446 (java) S 4436 4439 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257356639 26732019712 21435 33554432000 4194304 4196468 140735314116624 139708878297872 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4447] ppid=4436 vsize=26105488 memory=5672 CPUtime=0 cores=0-7 /proc/4439/task/4447/stat : 4447 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26732019712 21435 33554432000 4194304 4196468 140735314116624 139708877245328 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4448] ppid=4436 vsize=26105488 memory=756 CPUtime=0 cores=0-7 /proc/4439/task/4448/stat : 4448 (java) S 4436 4439 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257356639 26732019712 21435 33554432000 4194304 4196468 140735314116624 139708876192784 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4449] ppid=4436 vsize=26105488 memory=13940 CPUtime=0 cores=0-7 /proc/4439/task/4449/stat : 4449 (java) S 4436 4439 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257356639 26732019712 21435 33554432000 4194304 4196468 140735314116624 139708875140240 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4450] ppid=4436 vsize=26105488 memory=12552 CPUtime=0 cores=0-7 /proc/4439/task/4450/stat : 4450 (java) S 4436 4439 4118 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 257356641 26732019712 21435 33554432000 4194304 4196468 140735314116624 139708452554736 139709324130946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 ################ # More data... # ################ [startup+2520.36 s] # the end of solver process 4439 was just reported to runsolver # cumulated CPU time of all completed processes: user=19853.9 s, system=6.70011 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.21 s] /proc/loadavg: 9.30 8.97 8.80 10/213 4536 /proc/meminfo: memFree=23799316/32770624 swapFree=67107648/67108860 [pid=4439] ppid=4436 vsize=27321088 memory=958924 CPUtime=19859.5 cores=0-7 /proc/4439/stat : 4439 (java) S 4436 4439 4118 0 -1 1077944320 1474124 0 0 0 1985284 668 0 0 20 0 39 0 257356638 27976794112 239731 33554432000 4194304 4196468 140735314116624 140735314099168 139709324119799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 /proc/4439/statm: 6830272 239731 3633 1 0 6791823 0 [pid=4439/tid=4441] ppid=4436 vsize=27321088 memory=70272 CPUtime=33.49 cores=0-7 /proc/4439/task/4441/stat : 4441 (java) S 4436 4439 4118 0 -1 1077944384 27984 0 0 0 3337 12 0 0 20 0 39 0 257356638 27976794112 239731 33554432000 4194304 4196468 140735314116624 139709328357264 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4442] ppid=4436 vsize=27321088 memory=6791534058613427641 CPUtime=2.38 cores=0-7 /proc/4439/task/4442/stat : 4442 (java) S 4436 4439 4118 0 -1 1077944384 35810 0 0 0 218 20 0 0 20 0 39 0 257356639 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708882508048 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4443] ppid=4436 vsize=27321088 memory=288230583166042426 CPUtime=2.41 cores=0-7 /proc/4439/task/4443/stat : 4443 (java) S 4436 4439 4118 0 -1 1077944384 29294 0 0 0 221 20 0 0 20 0 39 0 257356639 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708881455504 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4444] ppid=4436 vsize=27321088 memory=13568219122239920 CPUtime=2.38 cores=0-7 /proc/4439/task/4444/stat : 4444 (java) S 4436 4439 4118 0 -1 1077944384 26641 0 0 0 218 20 0 0 20 0 39 0 257356639 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708880402960 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4445] ppid=4436 vsize=27321088 memory=3884 CPUtime=2.41 cores=0-7 /proc/4439/task/4445/stat : 4445 (java) S 4436 4439 4118 0 -1 1077944384 30105 0 0 0 221 20 0 0 20 0 39 0 257356639 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708879350416 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4446] ppid=4436 vsize=27321088 memory=2700 CPUtime=2.39 cores=0-7 /proc/4439/task/4446/stat : 4446 (java) S 4436 4439 4118 0 -1 1077944384 26903 0 0 0 220 19 0 0 20 0 39 0 257356639 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708878297872 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4447] ppid=4436 vsize=27321088 memory=1256 CPUtime=2.4 cores=0-7 /proc/4439/task/4447/stat : 4447 (java) S 4436 4439 4118 0 -1 1077944384 21543 0 0 0 220 20 0 0 20 0 39 0 257356639 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708877245328 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4448] ppid=4436 vsize=27321088 memory=10424 CPUtime=2.43 cores=0-7 /proc/4439/task/4448/stat : 4448 (java) S 4436 4439 4118 0 -1 1077944384 24296 0 0 0 223 20 0 0 20 0 39 0 257356639 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708876192784 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4449] ppid=4436 vsize=27321088 memory=1600 CPUtime=2.4 cores=0-7 /proc/4439/task/4449/stat : 4449 (java) S 4436 4439 4118 0 -1 1077944384 24014 0 0 0 220 20 0 0 20 0 39 0 257356639 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708875140240 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4450] ppid=4436 vsize=27321088 memory=1136 CPUtime=0.85 cores=0-7 /proc/4439/task/4450/stat : 4450 (java) S 4436 4439 4118 0 -1 1077944384 43904 0 0 0 65 20 0 0 20 0 39 0 257356641 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708452554736 139709324130946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4451] ppid=4436 vsize=27321088 memory=0 CPUtime=0 cores=0-7 /proc/4439/task/4451/stat : 4451 (java) S 4436 4439 4118 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 39 0 257356641 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708451501024 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4452] ppid=4436 vsize=27321088 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/4439/task/4452/stat : 4452 (java) S 4436 4439 4118 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 39 0 257356641 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708450448384 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4453] ppid=4436 vsize=27321088 memory=1572 CPUtime=0 cores=0-7 /proc/4439/task/4453/stat : 4453 (java) S 4436 4439 4118 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 39 0 257356644 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708449396944 139709324138395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4454] ppid=4436 vsize=27321088 memory=924 CPUtime=2.87 cores=0-7 /proc/4439/task/4454/stat : 4454 (java) S 4436 4439 4118 0 -1 1077944384 14076 0 0 0 284 3 0 0 20 0 39 0 257356644 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708448344560 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4455] ppid=4436 vsize=27321088 memory=2528 CPUtime=2.99 cores=0-7 /proc/4439/task/4455/stat : 4455 (java) S 4436 4439 4118 0 -1 1077944384 14184 0 0 0 295 4 0 0 20 0 39 0 257356644 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708447292016 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4456] ppid=4436 vsize=27321088 memory=1880 CPUtime=2.94 cores=0-7 /proc/4439/task/4456/stat : 4456 (java) S 4436 4439 4118 0 -1 1077944384 14919 0 0 0 292 2 0 0 20 0 39 0 257356644 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708446239472 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4457] ppid=4436 vsize=27321088 memory=7528 CPUtime=1.37 cores=0-7 /proc/4439/task/4457/stat : 4457 (java) S 4436 4439 4118 0 -1 1077944384 17857 0 0 0 134 3 0 0 20 0 39 0 257356644 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708445186928 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 50 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4458] ppid=4436 vsize=27321088 memory=804 CPUtime=0 cores=0-7 /proc/4439/task/4458/stat : 4458 (java) S 4436 4439 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 39 0 257356644 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708444133600 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4459] ppid=4436 vsize=27321088 memory=1800 CPUtime=0.88 cores=0-7 /proc/4439/task/4459/stat : 4459 (java) S 4436 4439 4118 0 -1 1077944384 4996 0 0 0 44 44 0 0 20 0 39 0 257356644 27976794112 239731 33554432000 4194304 4196468 140735314116624 139708443081136 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4460] ppid=4436 vsize=27321088 memory=916 CPUtime=0 cores=0-7 /proc/4439/task/4460/stat : 4460 (java) S 4436 4439 4118 0 -1 1077944384 771 0 0 0 0 0 0 0 20 0 39 0 257359960 27976794112 239731 33554432000 4194304 4196468 140735314116624 139707439309568 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4461] ppid=4436 vsize=27321088 memory=4136 CPUtime=4.24 cores=0-7 /proc/4439/task/4461/stat : 4461 (java) S 4436 4439 4118 0 -1 1077944384 10177 0 0 0 163 261 0 0 20 0 39 0 257359983 27976794112 239731 33554432000 4194304 4196468 140735314116624 139707436160048 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4462] ppid=4436 vsize=27321088 memory=1408 CPUtime=0.02 cores=0-7 /proc/4439/task/4462/stat : 4462 (java) S 4436 4439 4118 0 -1 1077944384 143 0 0 0 2 0 0 0 20 0 39 0 257359999 27976794112 239731 33554432000 4194304 4196468 140735314116624 139707124895888 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4463] ppid=4436 vsize=27321088 memory=4044 CPUtime=2470.41 cores=0-7 /proc/4439/task/4463/stat : 4463 (java) R 4436 4439 4118 0 -1 4202560 204544 0 0 0 246969 72 0 0 20 0 39 0 257360000 27976794112 239731 33554432000 4194304 4196468 140735314116624 139707123836312 139708938395789 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4464] ppid=4436 vsize=27321088 memory=957432 CPUtime=0.18 cores=0-7 /proc/4439/task/4464/stat : 4464 (java) S 4436 4439 4118 0 -1 1077944384 327 0 0 0 18 0 0 0 20 0 39 0 257360000 27976794112 239731 33554432000 4194304 4196468 140735314116624 139707122790800 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4465] ppid=4436 vsize=27321088 memory=8112282956445269571 CPUtime=2468.67 cores=0-7 /proc/4439/task/4465/stat : 4465 (java) R 4436 4439 4118 0 -1 4202560 66440 0 0 0 246826 41 0 0 20 0 39 0 257360008 27976794112 239731 33554432000 4194304 4196468 140735314116624 139707121733856 139708939516159 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4466] ppid=4436 vsize=27321088 memory=2700 CPUtime=2475.3 cores=0-7 /proc/4439/task/4466/stat : 4466 (java) R 4436 4439 4118 0 -1 4202560 199719 0 0 0 247460 70 0 0 20 0 39 0 257360008 27976794112 239731 33554432000 4194304 4196468 140735314116624 139707120678376 139708932618541 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4467] ppid=4436 vsize=27321088 memory=1256 CPUtime=0.16 cores=0-7 /proc/4439/task/4467/stat : 4467 (java) S 4436 4439 4118 0 -1 1077944384 83 0 0 0 16 0 0 0 20 0 39 0 257360008 27976794112 239731 33554432000 4194304 4196468 140735314116624 139707119632640 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4468] ppid=4436 vsize=27321088 memory=10424 CPUtime=0.15 cores=0-7 /proc/4439/task/4468/stat : 4468 (java) S 4436 4439 4118 0 -1 1077944384 265 0 0 0 15 0 0 0 20 0 39 0 257360008 27976794112 239731 33554432000 4194304 4196468 140735314116624 139707118579600 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4469] ppid=4436 vsize=27321088 memory=288230574492221466 CPUtime=2473.61 cores=0-7 /proc/4439/task/4469/stat : 4469 (java) R 4436 4439 4118 0 -1 4202560 185920 0 0 0 247297 64 0 0 20 0 39 0 257360008 27976794112 239731 33554432000 4194304 4196468 140735314116624 139707117520184 139708934212704 0 4 0 16800975 0 0 0 -1 2 0 0 22 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4470] ppid=4436 vsize=27321088 memory=288230583166042426 CPUtime=2472.72 cores=0-7 /proc/4439/task/4470/stat : 4470 (java) R 4436 4439 4118 0 -1 4202560 186737 0 0 0 247202 70 0 0 20 0 39 0 257360008 27976794112 239731 33554432000 4194304 4196468 140735314116624 139707116467480 139708930582266 0 4 0 16800975 0 0 0 -1 0 0 0 24 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4471] ppid=4436 vsize=27321088 memory=13568219122239920 CPUtime=2476.63 cores=0-7 /proc/4439/task/4471/stat : 4471 (java) R 4436 4439 4118 0 -1 4202560 49323 0 0 0 247624 39 0 0 20 0 39 0 257360008 27976794112 239731 33554432000 4194304 4196468 140735314116624 139707115414936 139708930582343 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4472] ppid=4436 vsize=27321088 memory=1408 CPUtime=2478.26 cores=0-7 /proc/4439/task/4472/stat : 4472 (java) R 4436 4439 4118 0 -1 4202560 59727 0 0 0 247788 38 0 0 20 0 39 0 257360008 27976794112 239731 33554432000 4194304 4196468 140735314116624 139707114362392 139708939354776 0 4 0 16800975 0 0 0 -1 7 0 0 19 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4473] ppid=4436 vsize=27321088 memory=4044 CPUtime=2474.31 cores=0-7 /proc/4439/task/4473/stat : 4473 (java) R 4436 4439 4118 0 -1 4202560 151263 0 0 0 247375 56 0 0 20 0 39 0 257360101 27976794112 239731 33554432000 4194304 4196468 140735314116624 139707113309928 139708938395854 0 4 0 16800975 0 0 0 -1 3 0 0 20 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 Current children cumulated CPU time: 19859.5 s Current children cumulated vsize: 27321088 KiB Current children cumulated memory: 958924 KiB [startup+2520.3 s] /proc/loadavg: 9.30 8.97 8.80 10/213 4536 /proc/meminfo: memFree=23799316/32770624 swapFree=67107648/67108860 [pid=4439] ppid=4436 vsize=27719444 memory=959360 CPUtime=19860.3 cores=0-7 /proc/4439/stat : 4439 (java) S 4436 4439 4118 0 -1 1077944320 1474414 0 0 0 1985359 668 0 0 20 0 44 0 257356638 28384710656 239840 33554432000 4194304 4196468 140735314116624 140735314099168 139709324119799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 /proc/4439/statm: 6929861 239840 3633 1 0 6891412 0 [pid=4439/tid=4441] ppid=4436 vsize=27719444 memory=957636 CPUtime=33.49 cores=0-7 /proc/4439/task/4441/stat : 4441 (java) S 4436 4439 4118 0 -1 1077944384 27984 0 0 0 3337 12 0 0 20 0 44 0 257356638 28384710656 239840 33554432000 4194304 4196468 140735314116624 139709328357264 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4442] ppid=4436 vsize=27719444 memory=957636 CPUtime=2.38 cores=0-7 /proc/4439/task/4442/stat : 4442 (java) S 4436 4439 4118 0 -1 1077944384 35810 0 0 0 218 20 0 0 20 0 44 0 257356639 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708882508048 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4443] ppid=4436 vsize=27719444 memory=957432 CPUtime=2.41 cores=0-7 /proc/4439/task/4443/stat : 4443 (java) S 4436 4439 4118 0 -1 1077944384 29294 0 0 0 221 20 0 0 20 0 44 0 257356639 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708881455504 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4444] ppid=4436 vsize=27719444 memory=958356 CPUtime=2.38 cores=0-7 /proc/4439/task/4444/stat : 4444 (java) S 4436 4439 4118 0 -1 1077944384 26641 0 0 0 218 20 0 0 20 0 44 0 257356639 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708880402960 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4445] ppid=4436 vsize=27719444 memory=957100 CPUtime=2.41 cores=0-7 /proc/4439/task/4445/stat : 4445 (java) S 4436 4439 4118 0 -1 1077944384 30105 0 0 0 221 20 0 0 20 0 44 0 257356639 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708879350416 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4446] ppid=4436 vsize=27719444 memory=957316 CPUtime=2.39 cores=0-7 /proc/4439/task/4446/stat : 4446 (java) S 4436 4439 4118 0 -1 1077944384 26903 0 0 0 220 19 0 0 20 0 44 0 257356639 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708878297872 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4447] ppid=4436 vsize=27719444 memory=1500 CPUtime=2.4 cores=0-7 /proc/4439/task/4447/stat : 4447 (java) S 4436 4439 4118 0 -1 1077944384 21543 0 0 0 220 20 0 0 20 0 44 0 257356639 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708877245328 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4448] ppid=4436 vsize=27719444 memory=13940 CPUtime=2.43 cores=0-7 /proc/4439/task/4448/stat : 4448 (java) S 4436 4439 4118 0 -1 1077944384 24296 0 0 0 223 20 0 0 20 0 44 0 257356639 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708876192784 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4449] ppid=4436 vsize=27719444 memory=12552 CPUtime=2.4 cores=0-7 /proc/4439/task/4449/stat : 4449 (java) S 4436 4439 4118 0 -1 1077944384 24014 0 0 0 220 20 0 0 20 0 44 0 257356639 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708875140240 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4450] ppid=4436 vsize=27719444 memory=1600 CPUtime=0.85 cores=0-7 /proc/4439/task/4450/stat : 4450 (java) S 4436 4439 4118 0 -1 1077944384 43904 0 0 0 65 20 0 0 20 0 44 0 257356641 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708452554736 139709324130946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4451] ppid=4436 vsize=27719444 memory=1136 CPUtime=0 cores=0-7 /proc/4439/task/4451/stat : 4451 (java) S 4436 4439 4118 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 44 0 257356641 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708451501024 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4452] ppid=4436 vsize=27719444 memory=956832 CPUtime=0 cores=0-7 /proc/4439/task/4452/stat : 4452 (java) S 4436 4439 4118 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 44 0 257356641 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708450448384 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4453] ppid=4436 vsize=27719444 memory=12552 CPUtime=0 cores=0-7 /proc/4439/task/4453/stat : 4453 (java) S 4436 4439 4118 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 44 0 257356644 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708449396944 139709324138395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4454] ppid=4436 vsize=27719444 memory=3752 CPUtime=2.87 cores=0-7 /proc/4439/task/4454/stat : 4454 (java) R 4436 4439 4118 0 -1 4202560 14081 0 0 0 284 3 0 0 20 0 44 0 257356644 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708448344560 139709303980473 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4455] ppid=4436 vsize=27719444 memory=70272 CPUtime=2.99 cores=0-7 /proc/4439/task/4455/stat : 4455 (java) R 4436 4439 4118 0 -1 1077944384 14185 0 0 0 295 4 0 0 20 0 44 0 257356644 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708447292016 139709324130946 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4456] ppid=4436 vsize=27719444 memory=957432 CPUtime=2.94 cores=0-7 /proc/4439/task/4456/stat : 4456 (java) S 4436 4439 4118 0 -1 1077944384 14919 0 0 0 292 2 0 0 20 0 44 0 257356644 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708446239472 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4457] ppid=4436 vsize=27719444 memory=844 CPUtime=1.38 cores=0-7 /proc/4439/task/4457/stat : 4457 (java) S 4436 4439 4118 0 -1 1077944384 17865 0 0 0 135 3 0 0 20 0 44 0 257356644 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708445186928 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 50 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4458] ppid=4436 vsize=27719444 memory=954984 CPUtime=0 cores=0-7 /proc/4439/task/4458/stat : 4458 (java) S 4436 4439 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 44 0 257356644 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708444133600 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4459] ppid=4436 vsize=27719444 memory=1992 CPUtime=0.88 cores=0-7 /proc/4439/task/4459/stat : 4459 (java) S 4436 4439 4118 0 -1 1077944384 4996 0 0 0 44 44 0 0 20 0 44 0 257356644 28384710656 239840 33554432000 4194304 4196468 140735314116624 139708443081136 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4460] ppid=4436 vsize=27719444 memory=4136 CPUtime=0 cores=0-7 /proc/4439/task/4460/stat : 4460 (java) S 4436 4439 4118 0 -1 1077944384 771 0 0 0 0 0 0 0 20 0 44 0 257359960 28384710656 239840 33554432000 4194304 4196468 140735314116624 139707439309568 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4461] ppid=4436 vsize=27719444 memory=1408 CPUtime=4.24 cores=0-7 /proc/4439/task/4461/stat : 4461 (java) S 4436 4439 4118 0 -1 1077944384 10177 0 0 0 163 261 0 0 20 0 44 0 257359983 28384710656 239840 33554432000 4194304 4196468 140735314116624 139707436160048 139709324130946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4462] ppid=4436 vsize=27719444 memory=957100 CPUtime=0.03 cores=0-7 /proc/4439/task/4462/stat : 4462 (java) S 4436 4439 4118 0 -1 1077944384 216 0 0 0 3 0 0 0 20 0 44 0 257359999 28384710656 239840 33554432000 4194304 4196468 140735314116624 139707124896944 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4463] ppid=4436 vsize=27719444 memory=956336 CPUtime=2470.5 cores=0-7 /proc/4439/task/4463/stat : 4463 (java) R 4436 4439 4118 0 -1 4202560 204544 0 0 0 246978 72 0 0 20 0 44 0 257360000 28384710656 239840 33554432000 4194304 4196468 140735314116624 139707123838528 139708928707983 0 4 0 16800975 0 0 0 -1 6 0 0 17 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4464] ppid=4436 vsize=27719444 memory=957432 CPUtime=0.19 cores=0-7 /proc/4439/task/4464/stat : 4464 (java) S 4436 4439 4118 0 -1 1077944384 331 0 0 0 19 0 0 0 20 0 44 0 257360000 28384710656 239840 33554432000 4194304 4196468 140735314116624 139707122791856 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4465] ppid=4436 vsize=27719444 memory=957432 CPUtime=2468.76 cores=0-7 /proc/4439/task/4465/stat : 4465 (java) R 4436 4439 4118 0 -1 4202560 66440 0 0 0 246835 41 0 0 20 0 44 0 257360008 28384710656 239840 33554432000 4194304 4196468 140735314116624 139707121731344 139708930582266 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4466] ppid=4436 vsize=27719444 memory=1136 CPUtime=2475.39 cores=0-7 /proc/4439/task/4466/stat : 4466 (java) R 4436 4439 4118 0 -1 4202560 199720 0 0 0 247469 70 0 0 20 0 44 0 257360008 28384710656 239840 33554432000 4194304 4196468 140735314116624 139707120679848 139708938985927 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4467] ppid=4436 vsize=27719444 memory=1828 CPUtime=0.17 cores=0-7 /proc/4439/task/4467/stat : 4467 (java) S 4436 4439 4118 0 -1 1077944384 89 0 0 0 17 0 0 0 20 0 44 0 257360008 28384710656 239840 33554432000 4194304 4196468 140735314116624 139707119633200 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4468] ppid=4436 vsize=27719444 memory=957316 CPUtime=0.15 cores=0-7 /proc/4439/task/4468/stat : 4468 (java) S 4436 4439 4118 0 -1 1077944384 267 0 0 0 15 0 0 0 20 0 44 0 257360008 28384710656 239840 33554432000 4194304 4196468 140735314116624 139707118580656 139709324130005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4469] ppid=4436 vsize=27719444 memory=957100 CPUtime=2473.7 cores=0-7 /proc/4439/task/4469/stat : 4469 (java) R 4436 4439 4118 0 -1 4202560 185921 0 0 0 247306 64 0 0 20 0 44 0 257360008 28384710656 239840 33554432000 4194304 4196468 140735314116624 139707117520224 139708930582266 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4470] ppid=4436 vsize=27719444 memory=957636 CPUtime=2472.8 cores=0-7 /proc/4439/task/4470/stat : 4470 (java) R 4436 4439 4118 0 -1 1077944384 186737 0 0 0 247210 70 0 0 20 0 44 0 257360008 28384710656 239840 33554432000 4194304 4196468 140735314116624 139707116467520 139709324130005 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4471] ppid=4436 vsize=27719444 memory=957316 CPUtime=2476.72 cores=0-7 /proc/4439/task/4471/stat : 4471 (java) R 4436 4439 4118 0 -1 4202560 49323 0 0 0 247633 39 0 0 20 0 44 0 257360008 28384710656 239840 33554432000 4194304 4196468 140735314116624 139707115415136 139708932618541 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4472] ppid=4436 vsize=27719444 memory=957316 CPUtime=2478.35 cores=0-7 /proc/4439/task/4472/stat : 4472 (java) R 4436 4439 4118 0 -1 4202560 59727 0 0 0 247797 38 0 0 20 0 44 0 257360008 28384710656 239840 33554432000 4194304 4196468 140735314116624 139707114362336 139708930582343 0 4 0 16800975 0 0 0 -1 3 0 0 19 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 [pid=4439/tid=4473] ppid=4436 vsize=27719444 memory=956832 CPUtime=2474.4 cores=0-7 /proc/4439/task/4473/stat : 4473 (java) R 4436 4439 4118 0 -1 4202560 151263 0 0 0 247384 56 0 0 20 0 44 0 257360101 28384710656 239840 33554432000 4194304 4196468 140735314116624 139707113309928 139708939515330 0 4 0 16800975 0 0 0 -1 2 0 0 20 0 0 6293624 6294260 14712832 140735314117710 140735314117893 140735314117893 140735314120655 0 Current children cumulated CPU time: 19860.3 s Current children cumulated vsize: 27719444 KiB Current children cumulated memory: 959360 KiB Child status: 143 Real time (s): 2520.36 CPU time (s): 19860.6 CPU user time (s): 19853.9 CPU system time (s): 6.70011 CPU usage (%): 788.007 Max. virtual memory (cumulated for all children) (KiB): 27719444 Max. memory (cumulated for all children) (KiB): 959360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19853.9 system time used= 6.70011 maximum resident set size= 961504 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1474525 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3256 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 333655 involuntary context switches= 414992 # summary of solver processes directly reported to runsolver: # pid: 4439 # total CPU time (s): 19860.6 # total CPU user time (s): 19853.9 # total CPU system time (s): 6.70011 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 20.6054 second user time and 33.4823 second system time The end
Begin job on node136 at 2018-08-16 07:38:55 IDJOB=4308898 IDBENCH=141636 IDSOLVER=2793 FILE ID=node136/4308898-1534397935 RUNJOBID= node136-1534395196-4145 PBS_JOBID= 21038332 Free space on /tmp= 46332 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/SteelMillSlab/SteelMillSlab-m1-4-0_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-4308898-1534397935/watcher-4308898-1534397935 -o /tmp/evaluation-result-4308898-1534397935/solver-4308898-1534397935 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1534395196-4145 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 628884095 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308898-1534397935.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ed32499ea7c7019ad5624e4a2d93decd RANDOM SEED=628884095 node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24740716 kB MemAvailable: 31895064 kB Buffers: 148196 kB Cached: 7255204 kB SwapCached: 44 kB Active: 3772196 kB Inactive: 3684500 kB Active(anon): 4632 kB Inactive(anon): 108700 kB Active(file): 3767564 kB Inactive(file): 3575800 kB Unevictable: 7380 kB Mlocked: 7380 kB SwapTotal: 67108860 kB SwapFree: 67107648 kB Dirty: 36028 kB Writeback: 0 kB AnonPages: 61580 kB Mapped: 55476 kB Shmem: 57664 kB Slab: 267524 kB SReclaimable: 239444 kB SUnreclaim: 28080 kB KernelStack: 3232 kB PageTables: 5196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 358384 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 46296 MiB End job on node136 at 2018-08-16 08:20:55