Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | UNSAT | 12.0722 | 2.81076 |
Name | Blackhole/Blackhole-xcsp2-s04/ Blackhole-4-04-2_X2.xml |
MD5SUM | 6b054a9e51d4cac3cb4cd1a46e01dd0a |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.22487301 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 64 |
Number of constraints | 432 |
Number of domains | 4 |
Minimum domain size | 1 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":4,"count":16},{"size":8,"count":15},{"size":16,"count":30}] |
Minimum variable degree | 0 |
Maximum variable degree | 32 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":2,"count":17},{"degree":3,"count":14},{"degree":16,"count":1},{"degree":17,"count":10},{"degree":18,"count":5},{"degree":32,"count":16}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":432}] |
Number of extensional constraints | 432 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":432}] |
Optimization problem | NO |
Type of objective |
0.25/0.38 c version: 2017-08-22 0.25/0.38 c seed: 473783242 0.25/0.38 c timeout: 20160 0.25/0.38 c memlimit: 22000 0.25/0.38 c nbcore: 8 0.25/0.41 c Parsing instance... 0.99/0.74 c Parsing done, starting search... 11.50/2.78 s UNSATISFIABLE
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 (15438 MiB free) memory of node 1: 16384 MiB (15727 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285089-1503446825/watcher-4285089-1503446825 -o /tmp/evaluation-result-4285089-1503446825/solver-4285089-1503446825 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node129-1503420419-2425 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 473783242 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285089-1503446825.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=7539, runsolver pid=7536 [startup+0.100158 s]* /proc/loadavg: 7.20 8.31 8.51 2/183 7549 /proc/meminfo: memFree=31906736/32770624 swapFree=67108860/67108860 [pid=7539] ppid=7536 vsize=25527784 memory=16568 CPUtime=0.02 cores=0-7 /proc/7539/stat : 7539 (java) S 7536 7539 2337 0 -1 1077944320 4035 0 0 0 1 1 0 0 20 0 13 0 2566513 26140450816 4142 18446744073709551615 4194304 4196468 140727136705888 140727136688432 139724184710903 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 /proc/7539/statm: 6381946 4142 2074 1 0 6371443 0 [pid=7539/tid=7541] ppid=7536 vsize=25527784 memory=0 CPUtime=0.01 cores=0-7 /proc/7539/task/7541/stat : 7541 (java) R 7536 7539 2337 0 -1 4202560 2658 0 0 0 1 0 0 0 20 0 13 0 2566521 26140450816 4142 18446744073709551615 4194304 4196468 140727136705888 139724188947416 139724184732829 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7542] ppid=7536 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7542/stat : 7542 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 2566521 26140450816 4142 18446744073709551615 4194304 4196468 140727136705888 139724145609488 139724184721109 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7543] ppid=7536 vsize=25527784 memory=140511045662336 CPUtime=0 cores=0-7 /proc/7539/task/7543/stat : 7543 (java) S 7536 7539 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 2566522 26140450816 4142 18446744073709551615 4194304 4196468 140727136705888 139723746704272 139724184721109 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7544] ppid=7536 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7544/stat : 7544 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 2566522 26140450816 4142 18446744073709551615 4194304 4196468 140727136705888 139723745651728 139724184721109 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7545] ppid=7536 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7545/stat : 7545 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 2566522 26140450816 4142 18446744073709551615 4194304 4196468 140727136705888 139723744599184 139724184721109 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7546] ppid=7536 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7546/stat : 7546 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 2566522 26140450816 4142 18446744073709551615 4194304 4196468 140727136705888 139723743545616 139724184721109 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7547] ppid=7536 vsize=25527784 memory=-1 CPUtime=0 cores=0-7 /proc/7539/task/7547/stat : 7547 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 2566522 26140450816 4142 18446744073709551615 4194304 4196468 140727136705888 139723742493072 139724184721109 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7548] ppid=7536 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7548/stat : 7548 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 2566522 26140450816 4142 18446744073709551615 4194304 4196468 140727136705888 139723741440528 139724184721109 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7549] ppid=7536 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7549/stat : 7549 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 2566522 26140450816 4142 18446744073709551615 4194304 4196468 140727136705888 139723740387984 139724184721109 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7550] ppid=7536 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7550/stat : 7550 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 2566523 26140450816 4142 18446744073709551615 4194304 4196468 140727136705888 139722394409456 139724184722050 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7551] ppid=7536 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7551/stat : 7551 (java) S 7536 7539 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 2566523 26140450816 4142 18446744073709551615 4194304 4196468 140727136705888 139722393355680 139724184721109 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7552] ppid=7536 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7552/stat : 7552 (java) S 7536 7539 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 2566524 26140450816 4142 18446744073709551615 4194304 4196468 140727136705888 139722392303152 139724184721109 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 Current children cumulated CPU time: 0.02 s Current children cumulated vsize: 25527784 KiB Current children cumulated memory: 16568 KiB [startup+0.2095 s]* /proc/loadavg: 7.20 8.31 8.51 3/193 7559 /proc/meminfo: memFree=31899564/32770624 swapFree=67108860/67108860 [pid=7539] ppid=7536 vsize=25996608 memory=29152 CPUtime=0.1 cores=0-7 /proc/7539/stat : 7539 (java) S 7536 7539 2337 0 -1 1077944320 7139 0 0 0 9 1 0 0 20 0 20 0 2566513 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 140727136688432 139724184710903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 /proc/7539/statm: 6499152 7288 3385 1 0 6487930 0 [pid=7539/tid=7541] ppid=7536 vsize=25996608 memory=4026532046 CPUtime=0.08 cores=0-7 /proc/7539/task/7541/stat : 7541 (java) R 7536 7539 2337 0 -1 4202560 5081 0 0 0 7 1 0 0 20 0 20 0 2566521 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139724188944168 139724184732829 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7542] ppid=7536 vsize=25996608 memory=11860 CPUtime=0 cores=0-7 /proc/7539/task/7542/stat : 7542 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2566521 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139724145609488 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7543] ppid=7536 vsize=25996608 memory=140511045667915 CPUtime=0 cores=0-7 /proc/7539/task/7543/stat : 7543 (java) S 7536 7539 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2566522 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139723746704272 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7544] ppid=7536 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/7539/task/7544/stat : 7544 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2566522 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139723745651728 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7545] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7545/stat : 7545 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566522 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139723744599184 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7546] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7546/stat : 7546 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566522 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139723743545616 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7547] ppid=7536 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/7539/task/7547/stat : 7547 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566522 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139723742493072 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7548] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7548/stat : 7548 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566522 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139723741440528 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7549] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7549/stat : 7549 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566522 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139723740387984 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7550] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7550/stat : 7550 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566523 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139722394409456 139724184722050 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7551] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7551/stat : 7551 (java) S 7536 7539 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2566523 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139722393355680 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7552] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7552/stat : 7552 (java) S 7536 7539 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2566524 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139722392303088 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7553] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7553/stat : 7553 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2566526 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139722391251664 139724184729499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7554] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7554/stat : 7554 (java) S 7536 7539 2337 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 2566526 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139722390198256 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7555] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7555/stat : 7555 (java) S 7536 7539 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2566526 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139722389145712 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7556] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7556/stat : 7556 (java) S 7536 7539 2337 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 2566526 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139722388093168 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7557] ppid=7536 vsize=25996608 memory=-1 CPUtime=0.01 cores=0-7 /proc/7539/task/7557/stat : 7557 (java) R 7536 7539 2337 0 -1 4202560 370 0 0 0 1 0 0 0 20 0 20 0 2566526 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139722387040624 139724163663009 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7558] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7558/stat : 7558 (java) S 7536 7539 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2566526 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139722385988320 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7559] ppid=7536 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/7539/task/7559/stat : 7559 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2566531 26620526592 7288 18446744073709551615 4194304 4196468 140727136705888 139722384935856 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 25996608 KiB Current children cumulated memory: 29152 KiB [startup+0.309212 s]* /proc/loadavg: 7.20 8.31 8.51 3/193 7559 /proc/meminfo: memFree=31889836/32770624 swapFree=67108860/67108860 [pid=7539] ppid=7536 vsize=25996608 memory=37964 CPUtime=0.25 cores=0-7 /proc/7539/stat : 7539 (java) S 7536 7539 2337 0 -1 1077944320 10804 0 0 0 22 3 0 0 20 0 20 0 2566513 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 140727136688432 139724184710903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 /proc/7539/statm: 6499152 9491 3486 1 0 6487930 0 [pid=7539/tid=7541] ppid=7536 vsize=25996608 memory=7680170660397595203 CPUtime=0.17 cores=0-7 /proc/7539/task/7541/stat : 7541 (java) R 7536 7539 2337 0 -1 4202560 8506 0 0 0 15 2 0 0 20 0 20 0 2566521 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139724188916208 139724184732829 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7542] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7542/stat : 7542 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2566521 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139724145609488 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7543] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7543/stat : 7543 (java) S 7536 7539 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2566522 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139723746704272 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7544] ppid=7536 vsize=25996608 memory=-2746958450906831424 CPUtime=0 cores=0-7 /proc/7539/task/7544/stat : 7544 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2566522 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139723745651728 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7545] ppid=7536 vsize=25996608 memory=4206186544037388384 CPUtime=0 cores=0-7 /proc/7539/task/7545/stat : 7545 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566522 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139723744599184 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7546] ppid=7536 vsize=25996608 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/7539/task/7546/stat : 7546 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566522 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139723743545616 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7547] ppid=7536 vsize=25996608 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/7539/task/7547/stat : 7547 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566522 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139723742493072 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7548] ppid=7536 vsize=25996608 memory=-3252517613198930781 CPUtime=0 cores=0-7 /proc/7539/task/7548/stat : 7548 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566522 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139723741440528 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7549] ppid=7536 vsize=25996608 memory=4137548663497135221 CPUtime=0 cores=0-7 /proc/7539/task/7549/stat : 7549 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566522 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139723740387984 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7550] ppid=7536 vsize=25996608 memory=7684433391216329786 CPUtime=0 cores=0-7 /proc/7539/task/7550/stat : 7550 (java) S 7536 7539 2337 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 2566523 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139722394409456 139724184722050 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7551] ppid=7536 vsize=25996608 memory=-9062862659931694204 CPUtime=0 cores=0-7 /proc/7539/task/7551/stat : 7551 (java) S 7536 7539 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2566523 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139722393355680 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7552] ppid=7536 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/7539/task/7552/stat : 7552 (java) S 7536 7539 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2566524 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139722392303088 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7553] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7553/stat : 7553 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2566526 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139722391251664 139724184729499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7554] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7554/stat : 7554 (java) S 7536 7539 2337 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 20 0 2566526 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139722390198256 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7555] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7555/stat : 7555 (java) S 7536 7539 2337 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 2566526 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139722389145712 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7556] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7556/stat : 7556 (java) S 7536 7539 2337 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 2566526 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139722388093168 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7557] ppid=7536 vsize=25996608 memory=0 CPUtime=0.05 cores=0-7 /proc/7539/task/7557/stat : 7557 (java) S 7536 7539 2337 0 -1 1077944384 388 0 0 0 5 0 0 0 20 0 20 0 2566526 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139722387040624 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7558] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7558/stat : 7558 (java) S 7536 7539 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2566526 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139722385988320 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7559] ppid=7536 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7559/stat : 7559 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2566531 26620526592 9491 18446744073709551615 4194304 4196468 140727136705888 139722384935856 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 25996608 KiB Current children cumulated memory: 37964 KiB [startup+0.700818 s] /proc/loadavg: 7.20 8.31 8.51 4/193 7559 /proc/meminfo: memFree=31874932/32770624 swapFree=67108860/67108860 [pid=7539] ppid=7536 vsize=25998676 memory=65616 CPUtime=0.99 cores=0-7 /proc/7539/stat : 7539 (java) S 7536 7539 2337 0 -1 1077944320 14194 0 0 0 93 6 0 0 20 0 20 0 2566513 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 140727136688432 139724184710903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 /proc/7539/statm: 6499669 16404 3731 1 0 6488442 0 [pid=7539/tid=7541] ppid=7536 vsize=25998676 memory=11794 CPUtime=0.56 cores=0-7 /proc/7539/task/7541/stat : 7541 (java) R 7536 7539 2337 0 -1 4202560 10580 0 0 0 52 4 0 0 20 0 20 0 2566521 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139724188948880 139724184732829 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7542] ppid=7536 vsize=25998676 memory=2012 CPUtime=0 cores=0-7 /proc/7539/task/7542/stat : 7542 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2566521 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139724145609488 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7543] ppid=7536 vsize=25998676 memory=8656 CPUtime=0 cores=0-7 /proc/7539/task/7543/stat : 7543 (java) S 7536 7539 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2566522 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139723746704272 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7544] ppid=7536 vsize=25998676 memory=1228 CPUtime=0 cores=0-7 /proc/7539/task/7544/stat : 7544 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2566522 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139723745651728 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7545] ppid=7536 vsize=25998676 memory=1196 CPUtime=0 cores=0-7 /proc/7539/task/7545/stat : 7545 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566522 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139723744599184 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7546] ppid=7536 vsize=25998676 memory=1444 CPUtime=0 cores=0-7 /proc/7539/task/7546/stat : 7546 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566522 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139723743545616 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7547] ppid=7536 vsize=25998676 memory=15872 CPUtime=0 cores=0-7 /proc/7539/task/7547/stat : 7547 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566522 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139723742493072 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7548] ppid=7536 vsize=25998676 memory=4160 CPUtime=0 cores=0-7 /proc/7539/task/7548/stat : 7548 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566522 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139723741440528 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7549] ppid=7536 vsize=25998676 memory=16424 CPUtime=0 cores=0-7 /proc/7539/task/7549/stat : 7549 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2566522 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139723740387984 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7550] ppid=7536 vsize=25998676 memory=4008 CPUtime=0 cores=0-7 /proc/7539/task/7550/stat : 7550 (java) S 7536 7539 2337 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 2566523 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139722394409456 139724184722050 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7551] ppid=7536 vsize=25998676 memory=1792 CPUtime=0 cores=0-7 /proc/7539/task/7551/stat : 7551 (java) S 7536 7539 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2566523 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139722393355680 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7552] ppid=7536 vsize=25998676 memory=648 CPUtime=0 cores=0-7 /proc/7539/task/7552/stat : 7552 (java) S 7536 7539 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2566524 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139722392303088 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7553] ppid=7536 vsize=25998676 memory=956 CPUtime=0 cores=0-7 /proc/7539/task/7553/stat : 7553 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2566526 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139722391251664 139724184729499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7554] ppid=7536 vsize=25998676 memory=0 CPUtime=0.06 cores=0-7 /proc/7539/task/7554/stat : 7554 (java) S 7536 7539 2337 0 -1 1077944384 689 0 0 0 6 0 0 0 20 0 20 0 2566526 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139722390198256 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7555] ppid=7536 vsize=25998676 memory=0 CPUtime=0.05 cores=0-7 /proc/7539/task/7555/stat : 7555 (java) S 7536 7539 2337 0 -1 1077944384 257 0 0 0 5 0 0 0 20 0 20 0 2566526 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139722389145712 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7556] ppid=7536 vsize=25998676 memory=0 CPUtime=0.07 cores=0-7 /proc/7539/task/7556/stat : 7556 (java) S 7536 7539 2337 0 -1 1077944384 411 0 0 0 7 0 0 0 20 0 20 0 2566526 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139722388093168 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7557] ppid=7536 vsize=25998676 memory=281021858190096 CPUtime=0.22 cores=0-7 /proc/7539/task/7557/stat : 7557 (java) S 7536 7539 2337 0 -1 1077944384 868 0 0 0 22 0 0 0 20 0 20 0 2566526 26622644224 16404 18446744073709551615 4194304 4196468 140727136705888 139722387040624 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 ################ # More data... # ################ # the end of solver process 7539 was just reported to runsolver # cumulated CPU time of all completed processes: user=11.7552 s, system=0.316975 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60114 s] /proc/loadavg: 7.20 8.31 8.51 4/193 7559 /proc/meminfo: memFree=31830480/32770624 swapFree=67108860/67108860 [pid=7539] ppid=7536 vsize=26137948 memory=201184 CPUtime=3.94 cores=0-7 /proc/7539/stat : 7539 (java) S 7536 7539 2337 0 -1 1077944320 36188 0 0 0 379 15 0 0 20 0 22 0 2566513 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 140727136688432 139724184710903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 /proc/7539/statm: 6534487 50296 3770 1 0 6523260 0 [pid=7539/tid=7541] ppid=7536 vsize=26137948 memory=0 CPUtime=1.45 cores=0-7 /proc/7539/task/7541/stat : 7541 (java) R 7536 7539 2337 0 -1 4202560 15051 0 0 0 137 8 0 0 20 0 22 0 2566521 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139724188938656 139724184732829 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7542] ppid=7536 vsize=26137948 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7542/stat : 7542 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 2566521 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139724145609488 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7543] ppid=7536 vsize=26137948 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7543/stat : 7543 (java) S 7536 7539 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2566522 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139723746704272 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7544] ppid=7536 vsize=26137948 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7544/stat : 7544 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 2566522 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139723745651728 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7545] ppid=7536 vsize=26137948 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7545/stat : 7545 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 2566522 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139723744599184 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7546] ppid=7536 vsize=26137948 memory=281021857947232 CPUtime=0 cores=0-7 /proc/7539/task/7546/stat : 7546 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 2566522 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139723743545616 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7547] ppid=7536 vsize=26137948 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7547/stat : 7547 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 2566522 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139723742493072 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7548] ppid=7536 vsize=26137948 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7548/stat : 7548 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 2566522 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139723741440528 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7549] ppid=7536 vsize=26137948 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7549/stat : 7549 (java) S 7536 7539 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 2566522 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139723740387984 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7550] ppid=7536 vsize=26137948 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7550/stat : 7550 (java) S 7536 7539 2337 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 22 0 2566523 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139722394409456 139724184722050 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7551] ppid=7536 vsize=26137948 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7551/stat : 7551 (java) S 7536 7539 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 22 0 2566523 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139722393355680 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7552] ppid=7536 vsize=26137948 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7552/stat : 7552 (java) S 7536 7539 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 22 0 2566524 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139722392303088 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7553] ppid=7536 vsize=26137948 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7553/stat : 7553 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 2566526 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139722391251664 139724184729499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7554] ppid=7536 vsize=26137948 memory=0 CPUtime=0.61 cores=0-7 /proc/7539/task/7554/stat : 7554 (java) S 7536 7539 2337 0 -1 1077944384 4175 0 0 0 60 1 0 0 20 0 22 0 2566526 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139722390198256 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7555] ppid=7536 vsize=26137948 memory=0 CPUtime=0.62 cores=0-7 /proc/7539/task/7555/stat : 7555 (java) S 7536 7539 2337 0 -1 1077944384 5273 0 0 0 60 2 0 0 20 0 22 0 2566526 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139722389145712 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7556] ppid=7536 vsize=26137948 memory=0 CPUtime=0.64 cores=0-7 /proc/7539/task/7556/stat : 7556 (java) S 7536 7539 2337 0 -1 1077944384 5340 0 0 0 63 1 0 0 20 0 22 0 2566526 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139722388093168 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7557] ppid=7536 vsize=26137948 memory=0 CPUtime=0.57 cores=0-7 /proc/7539/task/7557/stat : 7557 (java) S 7536 7539 2337 0 -1 1077944384 4885 0 0 0 56 1 0 0 20 0 22 0 2566526 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139722387040624 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7558] ppid=7536 vsize=26137948 memory=140515340629631 CPUtime=0 cores=0-7 /proc/7539/task/7558/stat : 7558 (java) S 7536 7539 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2566526 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139722385988320 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7559] ppid=7536 vsize=26137948 memory=-3535470213243961690 CPUtime=0 cores=0-7 /proc/7539/task/7559/stat : 7559 (java) S 7536 7539 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2566531 26765258752 50296 18446744073709551615 4194304 4196468 140727136705888 139722384935856 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 Current children cumulated CPU time: 3.94 s Current children cumulated vsize: 26137948 KiB Current children cumulated memory: 201184 KiB [startup+2.40155 s] /proc/loadavg: 7.20 8.31 8.51 24/217 7583 /proc/meminfo: memFree=31682808/32770624 swapFree=67108860/67108860 [pid=7539] ppid=7536 vsize=27739616 memory=271872 CPUtime=9.22 cores=0-7 /proc/7539/stat : 7539 (java) S 7536 7539 2337 0 -1 1077944320 44679 0 0 0 898 24 0 0 20 0 46 0 2566513 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 140727136688432 139724184710903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 /proc/7539/statm: 6934904 67968 3813 1 0 6923156 0 [pid=7539/tid=7541] ppid=7536 vsize=27739616 memory=7681905605394137914 CPUtime=1.58 cores=0-7 /proc/7539/task/7541/stat : 7541 (java) S 7536 7539 2337 0 -1 1077944384 15630 0 0 0 150 8 0 0 20 0 46 0 2566521 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139724188948608 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7542] ppid=7536 vsize=27739616 memory=1399101730491701635 CPUtime=0 cores=0-7 /proc/7539/task/7542/stat : 7542 (java) S 7536 7539 2337 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 46 0 2566521 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139724145609488 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7543] ppid=7536 vsize=27739616 memory=1399101730491701635 CPUtime=0 cores=0-7 /proc/7539/task/7543/stat : 7543 (java) S 7536 7539 2337 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 46 0 2566522 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139723746704272 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7544] ppid=7536 vsize=27739616 memory=6944656591801717918 CPUtime=0.01 cores=0-7 /proc/7539/task/7544/stat : 7544 (java) S 7536 7539 2337 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 46 0 2566522 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139723745651728 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7545] ppid=7536 vsize=27739616 memory=-7233780906022726806 CPUtime=0 cores=0-7 /proc/7539/task/7545/stat : 7545 (java) S 7536 7539 2337 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 46 0 2566522 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139723744599184 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7546] ppid=7536 vsize=27739616 memory=8257237230052613020 CPUtime=0 cores=0-7 /proc/7539/task/7546/stat : 7546 (java) S 7536 7539 2337 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 46 0 2566522 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139723743545616 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7547] ppid=7536 vsize=27739616 memory=-3761991693426146123 CPUtime=0.01 cores=0-7 /proc/7539/task/7547/stat : 7547 (java) S 7536 7539 2337 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 46 0 2566522 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139723742493072 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7548] ppid=7536 vsize=27739616 memory=-5874771483550381248 CPUtime=0.01 cores=0-7 /proc/7539/task/7548/stat : 7548 (java) S 7536 7539 2337 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 46 0 2566522 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139723741440528 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7549] ppid=7536 vsize=27739616 memory=3054156605268198030 CPUtime=0 cores=0-7 /proc/7539/task/7549/stat : 7549 (java) S 7536 7539 2337 0 -1 1077944384 769 0 0 0 0 0 0 0 20 0 46 0 2566522 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139723740387984 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7550] ppid=7536 vsize=27739616 memory=-7737623356902253916 CPUtime=0 cores=0-7 /proc/7539/task/7550/stat : 7550 (java) S 7536 7539 2337 0 -1 1077944384 364 0 0 0 0 0 0 0 20 0 46 0 2566523 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722394409456 139724184722050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7551] ppid=7536 vsize=27739616 memory=4354870280946217861 CPUtime=0 cores=0-7 /proc/7539/task/7551/stat : 7551 (java) S 7536 7539 2337 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 2566523 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722393355744 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7552] ppid=7536 vsize=27739616 memory=55 CPUtime=0 cores=0-7 /proc/7539/task/7552/stat : 7552 (java) S 7536 7539 2337 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 46 0 2566524 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722392303104 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7553] ppid=7536 vsize=27739616 memory=288230613214036277 CPUtime=0 cores=0-7 /proc/7539/task/7553/stat : 7553 (java) S 7536 7539 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 2566526 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722391251664 139724184729499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7554] ppid=7536 vsize=27739616 memory=14693006632552316 CPUtime=1.11 cores=0-7 /proc/7539/task/7554/stat : 7554 (java) R 7536 7539 2337 0 -1 4202560 5492 0 0 0 109 2 0 0 20 0 46 0 2566526 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722390179648 139724168194398 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7555] ppid=7536 vsize=27739616 memory=0 CPUtime=1.08 cores=0-7 /proc/7539/task/7555/stat : 7555 (java) R 7536 7539 2337 0 -1 4202560 5594 0 0 0 106 2 0 0 20 0 46 0 2566526 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722389146008 139724169637549 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7556] ppid=7536 vsize=27739616 memory=0 CPUtime=1.13 cores=0-7 /proc/7539/task/7556/stat : 7556 (java) R 7536 7539 2337 0 -1 4202560 5698 0 0 0 111 2 0 0 20 0 46 0 2566526 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722388082032 139724168828793 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7557] ppid=7536 vsize=27739616 memory=0 CPUtime=0.78 cores=0-7 /proc/7539/task/7557/stat : 7557 (java) R 7536 7539 2337 0 -1 1077944384 7402 0 0 0 76 2 0 0 20 0 46 0 2566526 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722387040624 139724184722050 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7558] ppid=7536 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7558/stat : 7558 (java) S 7536 7539 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 2566526 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722385988320 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7559] ppid=7536 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7559/stat : 7559 (java) S 7536 7539 2337 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 46 0 2566531 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722384935856 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7560] ppid=7536 vsize=27739616 memory=0 CPUtime=0.01 cores=0-7 /proc/7539/task/7560/stat : 7560 (java) R 7536 7539 2337 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 46 0 2566661 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722374645024 139724184721109 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7561] ppid=7536 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/7539/task/7561/stat : 7561 (java) S 7536 7539 2337 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 46 0 2566672 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722371495376 139724184722050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7562] ppid=7536 vsize=27739616 memory=0 CPUtime=0.16 cores=0-7 /proc/7539/task/7562/stat : 7562 (java) R 7536 7539 2337 0 -1 1077944384 133 0 0 0 16 0 0 0 20 0 46 0 2566682 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722370442128 139724184721109 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7563] ppid=7536 vsize=27739616 memory=0 CPUtime=0.18 cores=0-7 /proc/7539/task/7563/stat : 7563 (java) R 7536 7539 2337 0 -1 4202560 48 0 0 0 18 0 0 0 20 0 46 0 2566683 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722367291328 139723831810439 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7564] ppid=7536 vsize=27739616 memory=0 CPUtime=0.1 cores=0-7 /proc/7539/task/7564/stat : 7564 (java) R 7536 7539 2337 0 -1 1077944384 62 0 0 0 10 0 0 0 20 0 46 0 2566683 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722366239888 139724184721109 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7565] ppid=7536 vsize=27739616 memory=0 CPUtime=0.18 cores=0-7 /proc/7539/task/7565/stat : 7565 (java) R 7536 7539 2337 0 -1 4202560 97 0 0 0 18 0 0 0 20 0 46 0 2566683 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722365186240 139723831831594 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7566] ppid=7536 vsize=27739616 memory=288230574492221466 CPUtime=0.25 cores=0-7 /proc/7539/task/7566/stat : 7566 (java) R 7536 7539 2337 0 -1 4202560 142 0 0 0 25 0 0 0 20 0 46 0 2566683 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722364133696 139723834333632 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7567] ppid=7536 vsize=27739616 memory=288230613214036277 CPUtime=0.18 cores=0-7 /proc/7539/task/7567/stat : 7567 (java) R 7536 7539 2337 0 -1 1077944384 38 0 0 0 18 0 0 0 20 0 46 0 2566685 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722363082256 139724184721109 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7568] ppid=7536 vsize=27739616 memory=14693006632552316 CPUtime=0.17 cores=0-7 /proc/7539/task/7568/stat : 7568 (java) R 7536 7539 2337 0 -1 1077944384 55 0 0 0 17 0 0 0 20 0 46 0 2566687 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722362029712 139724184721109 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7569] ppid=7536 vsize=27739616 memory=0 CPUtime=0.19 cores=0-7 /proc/7539/task/7569/stat : 7569 (java) S 7536 7539 2337 0 -1 1077944384 56 0 0 0 19 0 0 0 20 0 46 0 2566687 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722360977168 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7570] ppid=7536 vsize=27739616 memory=0 CPUtime=0.25 cores=0-7 /proc/7539/task/7570/stat : 7570 (java) S 7536 7539 2337 0 -1 1077944384 87 0 0 0 25 0 0 0 20 0 46 0 2566687 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722359923600 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7571] ppid=7536 vsize=27739616 memory=0 CPUtime=0.07 cores=0-7 /proc/7539/task/7571/stat : 7571 (java) R 7536 7539 2337 0 -1 1077944384 35 0 0 0 7 0 0 0 20 0 46 0 2566687 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722358871056 139724184721109 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7572] ppid=7536 vsize=27739616 memory=0 CPUtime=0.1 cores=0-7 /proc/7539/task/7572/stat : 7572 (java) R 7536 7539 2337 0 -1 1077944384 82 0 0 0 10 0 0 0 20 0 46 0 2566697 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722357818512 139724184721109 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7573] ppid=7536 vsize=27739616 memory=0 CPUtime=0.11 cores=0-7 /proc/7539/task/7573/stat : 7573 (java) R 7536 7539 2337 0 -1 1077944384 43 0 0 0 11 0 0 0 20 0 46 0 2566697 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722356765968 139724184721109 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7574] ppid=7536 vsize=27739616 memory=0 CPUtime=0.22 cores=0-7 /proc/7539/task/7574/stat : 7574 (java) R 7536 7539 2337 0 -1 4202560 113 0 0 0 22 0 0 0 20 0 46 0 2566697 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722355712320 139723835135900 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7575] ppid=7536 vsize=27739616 memory=0 CPUtime=0.12 cores=0-7 /proc/7539/task/7575/stat : 7575 (java) R 7536 7539 2337 0 -1 1077944384 33 0 0 0 12 0 0 0 20 0 46 0 2566697 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722354660880 139724184721109 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7576] ppid=7536 vsize=27739616 memory=0 CPUtime=0.14 cores=0-7 /proc/7539/task/7576/stat : 7576 (java) R 7536 7539 2337 0 -1 1077944384 102 0 0 0 14 0 0 0 20 0 46 0 2566697 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722353608336 139724184721109 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7577] ppid=7536 vsize=27739616 memory=0 CPUtime=0.06 cores=0-7 /proc/7539/task/7577/stat : 7577 (java) R 7536 7539 2337 0 -1 4202560 36 0 0 0 6 0 0 0 20 0 46 0 2566697 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722352554688 139723826078818 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7578] ppid=7536 vsize=27739616 memory=0 CPUtime=0.03 cores=0-7 /proc/7539/task/7578/stat : 7578 (java) S 7536 7539 2337 0 -1 1077944384 62 0 0 0 3 0 0 0 20 0 46 0 2566702 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722349368208 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7579] ppid=7536 vsize=27739616 memory=0 CPUtime=0.12 cores=0-7 /proc/7539/task/7579/stat : 7579 (java) R 7536 7539 2337 0 -1 1077944384 205 0 0 0 12 0 0 0 20 0 46 0 2566709 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722348315664 139724184721109 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7580] ppid=7536 vsize=27739616 memory=140515340629631 CPUtime=0.12 cores=0-7 /proc/7539/task/7580/stat : 7580 (java) R 7536 7539 2337 0 -1 4202560 63 0 0 0 12 0 0 0 20 0 46 0 2566710 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722347262016 139723834847376 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7581] ppid=7536 vsize=27739616 memory=0 CPUtime=0.08 cores=0-7 /proc/7539/task/7581/stat : 7581 (java) S 7536 7539 2337 0 -1 1077944384 33 0 0 0 8 0 0 0 20 0 46 0 2566711 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722346210576 139724184721109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7582] ppid=7536 vsize=27739616 memory=0 CPUtime=0.11 cores=0-7 /proc/7539/task/7582/stat : 7582 (java) R 7536 7539 2337 0 -1 1077944384 34 0 0 0 11 0 0 0 20 0 46 0 2566711 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722345158032 139724184721109 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7583] ppid=7536 vsize=27739616 memory=0 CPUtime=0.14 cores=0-7 /proc/7539/task/7583/stat : 7583 (java) R 7536 7539 2337 0 -1 4202560 44 0 0 0 14 0 0 0 20 0 46 0 2566712 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722344104384 139723830046432 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 [pid=7539/tid=7584] ppid=7536 vsize=27739616 memory=0 CPUtime=0.15 cores=0-7 /proc/7539/task/7584/stat : 7584 (java) R 7536 7539 2337 0 -1 4202560 38 0 0 0 15 0 0 0 20 0 46 0 2566714 28405366784 67968 18446744073709551615 4194304 4196468 140727136705888 139722343051840 139723826881503 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140727136706927 140727136707112 140727136707112 140727136710607 0 Current children cumulated CPU time: 9.22 s Current children cumulated vsize: 27739616 KiB Current children cumulated memory: 271872 KiB [startup+2.80163 s]* /proc/loadavg: 7.20 8.31 8.51 2/175 7586 /proc/meminfo: memFree=31848780/32770624 swapFree=67108860/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 2.81076 CPU time (s): 12.0722 CPU user time (s): 11.7552 CPU system time (s): 0.316975 CPU usage (%): 429.499 Max. virtual memory (cumulated for all children) (KiB): 27739616 Max. memory (cumulated for all children) (KiB): 296948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.7552 system time used= 0.316975 maximum resident set size= 299444 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45765 page faults= 0 swaps= 0 block input operations= 0 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7716 involuntary context switches= 539 # summary of solver processes directly reported to runsolver: # pid: 7539 # total CPU time (s): 12.0722 # total CPU user time (s): 11.7552 # total CPU system time (s): 0.316975 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.039761 second user time and 0.069445 second system time The end
Begin job on node129 at 2017-08-23 01:53:08 IDJOB=4285089 IDBENCH=134548 IDSOLVER=2681 FILE ID=node129/4285089-1503446825 RUNJOBID= node129-1503420419-2425 PBS_JOBID= Free space on /tmp= 62016 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s04/Blackhole-4-04-2_X2.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285089-1503446825/watcher-4285089-1503446825 -o /tmp/evaluation-result-4285089-1503446825/solver-4285089-1503446825 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node129-1503420419-2425 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 473783242 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285089-1503446825.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6b054a9e51d4cac3cb4cd1a46e01dd0a RANDOM SEED=473783242 node129.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.53 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.53 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.53 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.53 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: 31914956 kB MemAvailable: 32029484 kB Buffers: 97072 kB Cached: 301272 kB SwapCached: 0 kB Active: 249180 kB Inactive: 202500 kB Active(anon): 53644 kB Inactive(anon): 8556 kB Active(file): 195536 kB Inactive(file): 193944 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42408 kB Writeback: 72 kB AnonPages: 53616 kB Mapped: 28096 kB Shmem: 8868 kB Slab: 105784 kB SReclaimable: 81768 kB SUnreclaim: 24016 kB KernelStack: 3072 kB PageTables: 4264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 279904 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /tmp at the end= 61976 MiB End job on node129 at 2017-08-23 01:53:11