0.65/0.52
0.65/0.52 scop order+minisat_release (2018-06-13)
0.65/0.52
0.65/0.55 c BEGIN-Prog: Thu Jul 26 04:09:43 CEST 2018
0.65/0.55 c PID: 4309
0.65/0.55 c IP: 172.20.3.150
0.65/0.55 c HOST: node150.alineos.net
0.65/0.56 c (0,0) Parsing Begin
2.67/1.26 c (0,0) Parsing End
2.67/1.26 c (0,0) CSP: 53 int (0 aux), 0 bool (0 aux), 470 ctr, max domain size 24
2.67/1.26 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.67/1.27 c (0,0) Constraint Name Generate Begin
2.67/1.28 c (0,0) Ctr:HOME/instance-4295598-1532570983.xml,ExtensionConflict:ExtensionSupport:IntVar
2.67/1.28 c (0,0) Constraint Name Generate End
2.67/1.28 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.67/1.28 c (0,0) CSP to CSPinCNF Begin
6.10/2.35 c (1,1) translated 47 (10%) constraints
7.69/2.84 c (2,2) translated 94 (20%) constraints
8.62/3.18 c (2,2) translated 141 (30%) constraints
9.51/3.48 c (2,2) translated 188 (40%) constraints
10.31/3.72 c (3,3) translated 235 (50%) constraints
10.61/3.97 c (3,3) translated 282 (60%) constraints
10.90/4.18 c (3,3) translated 329 (70%) constraints
11.25/4.41 c (3,3) translated 376 (80%) constraints
11.47/4.61 c (4,4) translated 423 (90%) constraints
11.68/4.81 c (4,4) translated 470 (100%) constraints
12.28/5.10 c (4,4) STATISTICS1:HOME/instance-4295598-1532570983.xml,ExtensionConflict:ExtensionSupport:IntVar,389,57740,-1,24,25,1,,24:215937;2:4802,25:14;4:48050;3:8851;2:825,1:220739;0:14,
12.28/5.10 c (4,4) ===========================================
12.28/5.10 c (4,4) Order
12.28/5.10 c (4,4) ===========================================
12.96/5.32 c (4,4) translated 5774 (10%) constraints
13.24/5.46 c (4,4) translated 11548 (20%) constraints
13.55/5.57 c (5,5) translated 17322 (30%) constraints
13.70/5.67 c (5,5) translated 23096 (40%) constraints
13.79/5.78 c (5,5) translated 28870 (50%) constraints
13.90/5.88 c (5,5) translated 34644 (60%) constraints
14.00/5.98 c (5,5) translated 40418 (70%) constraints
14.12/6.08 c (5,5) translated 46192 (80%) constraints
14.21/6.18 c (5,5) translated 51966 (90%) constraints
14.31/6.29 c (5,5) translated 57740 (100%) constraints
14.31/6.29 c (5,5) CSP to CSPinCNF End
14.31/6.29 c (5,5) CSP: 53 int (0 aux), 336 bool (336 aux), 57740 ctr, max domain size 24
14.31/6.29 c (5,5) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.31/6.29 c (5,5) CSPinCNF Propagation Begin
15.27/6.70 c (6,6) 0 values, 5415 unsatisfiable literals, and 0 valid clauses are removed
15.27/6.70 c (6,6) CSPinCNF Propagation End
15.27/6.70 c (6,6) CSP: 53 int (0 aux), 336 bool (336 aux), 57740 ctr, max domain size 24
15.27/6.70 c (6,6) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.27/6.70 c (6,6) Simplify CSPinCNF Begin
15.47/6.86 c (6,6) Simplify CSPinCNF End
15.47/6.86 c (6,6) CSP: 53 int (0 aux), 336 bool (336 aux), 57740 ctr, max domain size 24
15.47/6.86 c (6,6) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.47/6.86 c (6,6) Calculate Precise Domain Begin
15.47/6.87 c (6,6) 0 values are removed by re-calculation
15.47/6.87 c (6,6) Calculate Precise Domain End
15.47/6.87 c (6,6) CSP: 53 int (0 aux), 336 bool (336 aux), 57740 ctr, max domain size 24
15.47/6.87 c (6,6) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.47/6.87 c (6,6) CSPinCNF to SatSolver Begin
15.94/7.02 c (6,6) 5774 (10 %) CSP clauses are encoded (1555 SAT variables, 6939 SAT clauses)
15.94/7.10 c (6,6) 11548 (20 %) CSP clauses are encoded (1555 SAT variables, 12713 SAT clauses)
16.24/7.15 c (6,6) 17322 (30 %) CSP clauses are encoded (1555 SAT variables, 18487 SAT clauses)
16.46/7.20 c (6,6) 23096 (40 %) CSP clauses are encoded (1555 SAT variables, 24261 SAT clauses)
16.84/7.33 c (6,6) 28870 (50 %) CSP clauses are encoded (1555 SAT variables, 30035 SAT clauses)
16.84/7.36 c (6,6) 34644 (60 %) CSP clauses are encoded (1555 SAT variables, 35809 SAT clauses)
16.84/7.40 c (6,6) 40418 (70 %) CSP clauses are encoded (1555 SAT variables, 41583 SAT clauses)
16.94/7.43 c (6,6) 46192 (80 %) CSP clauses are encoded (1555 SAT variables, 47357 SAT clauses)
16.94/7.46 c (6,6) 51966 (90 %) CSP clauses are encoded (1555 SAT variables, 53131 SAT clauses)
16.94/7.49 c (6,6) 57740 (100 %) CSP clauses are encoded (1555 SAT variables, 58905 SAT clauses)
16.94/7.49 c (6,6) CSPinCNF to SatSolver End
16.94/7.49 c (6,6) Heap : 318 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.34/7.70 c (7,7) STATISTICS2:HOME/instance-4295598-1532570983.xml,ExtensionConflict:ExtensionSupport:IntVar,389,57740,-1,24,24,1,,24:210536;2:4802,24:14;4:43037;3:13476;2:1213,1:215338,
17.34/7.70 c (7,7) SatSolver.solve Begin
17.34/7.70 c (7,7) 1555 bool, 58906 clause
17.34/7.70 c (7,7) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4295598-1532570983.xml-scop-4309.cnf HOME/instance-4295598-1532570983.xml-scop-4309.cnf.out
2520.00/2508.80 c (2508,7) SatSolver is killed by some reasons.
2520.00/2508.80 c (2508,7) 0,0,5,6,6,6,6,TO,TO,STOP-AFTER(DIMACS)
2520.00/2508.80 s UNKNOWN
2520.00/2508.80 c END-Prog: Thu Jul 26 04:51:32 CEST 2018
2520.00/2508.80 c (2508,0) receiving signal SIGTERM
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 (6758 MiB free)
memory of node 1: 16384 MiB (14002 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295598-1532570983/watcher-4295598-1532570983 -o /tmp/evaluation-result-4295598-1532570983/solver-4295598-1532570983 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295598-1532570983.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4309, runsolver pid=4306
Current StackSize limit: 8192 KiB
[startup+0.100125 s]*
/proc/loadavg: 2.05 2.03 2.05 3/220 4324
/proc/meminfo: memFree=21199564/32770624 swapFree=67108860/67108860
[pid=4309] ppid=4306 vsize=15011656 memory=72104 CPUtime=0.11 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 32649 0 -1 1077944320 6715 0 0 0 9 2 0 0 20 0 15 0 74661544 15371935744 18026 33554432000 4194304 4196468 140737297105744 140737297088288 139937784643319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
/proc/4309/statm: 3752914 18026 2774 1 0 3715374 0
[pid=4309/tid=4311] ppid=4306 vsize=15011656 memory=7100839852823775848 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4311/stat : 4311 (java) R 4306 4309 32649 0 -1 4202560 5128 0 0 0 7 1 0 0 20 0 15 0 74661544 15371935744 18356 33554432000 4194304 4196468 140737297105744 139937756455304 139937764919133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4312] ppid=4306 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4312/stat : 4312 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661546 15371935744 18356 33554432000 4194304 4196468 140737297105744 139937788885520 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4313] ppid=4306 vsize=15011656 memory=139789214541440 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4313/stat : 4313 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661546 15371935744 18356 33554432000 4194304 4196468 140737297105744 139937245641360 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4314] ppid=4306 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4314/stat : 4314 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661546 15371935744 18356 33554432000 4194304 4196468 140737297105744 139937244588304 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4315] ppid=4306 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4315/stat : 4315 (java) S 4306 4309 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74661546 15371935744 18356 33554432000 4194304 4196468 140737297105744 139937243535760 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4316] ppid=4306 vsize=15011656 memory=139789214541440 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4316/stat : 4316 (java) S 4306 4309 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74661547 15371935744 18356 33554432000 4194304 4196468 140737297105744 139937124911856 139937784654466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4317] ppid=4306 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4317/stat : 4317 (java) S 4306 4309 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74661548 15371935744 18356 33554432000 4194304 4196468 140737297105744 139936376284832 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4318] ppid=4306 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4318/stat : 4318 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661548 15371935744 18422 33554432000 4194304 4196468 140737297105744 139936141403376 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4319] ppid=4306 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4319/stat : 4319 (java) S 4306 4309 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74661550 15371935744 18422 33554432000 4194304 4196468 140737297105744 139935766895056 139937784661915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4320] ppid=4306 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4320/stat : 4320 (java) S 4306 4309 32649 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 74661550 15371935744 18422 33554432000 4194304 4196468 140737297105744 139937123858672 139937784654466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4321] ppid=4306 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4321/stat : 4321 (java) S 4306 4309 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74661550 15371935744 18422 33554432000 4194304 4196468 140737297105744 139937122806128 139937784654466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4322] ppid=4306 vsize=15011656 memory=139789214541440 CPUtime=0.01 cores=1,3,5,7
/proc/4309/task/4322/stat : 4322 (java) S 4306 4309 32649 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 15 0 74661550 15371935744 18422 33554432000 4194304 4196468 140737297105744 139937121753072 139937784654466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4323] ppid=4306 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4323/stat : 4323 (java) S 4306 4309 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74661551 15371935744 18422 33554432000 4194304 4196468 140737297105744 139935268989280 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4324] ppid=4306 vsize=15011656 memory=139789214541440 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4324/stat : 4324 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661551 15371935744 18422 33554432000 4194304 4196468 140737297105744 139937120701488 139937784654466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72104 KiB
[startup+0.21035 s]*
/proc/loadavg: 2.05 2.03 2.05 3/220 4324
/proc/meminfo: memFree=21185364/32770624 swapFree=67108860/67108860
[pid=4309] ppid=4306 vsize=15011656 memory=85232 CPUtime=0.25 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 32649 0 -1 1077944320 10226 0 0 0 22 3 0 0 20 0 15 0 74661544 15371935744 21308 33554432000 4194304 4196468 140737297105744 140737297088288 139937784643319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
/proc/4309/statm: 3752914 21308 2883 1 0 3715374 0
[pid=4309/tid=4311] ppid=4306 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4309/task/4311/stat : 4311 (java) R 4306 4309 32649 0 -1 4202560 8075 0 0 0 18 2 0 0 20 0 15 0 74661544 15371935744 21374 33554432000 4194304 4196468 140737297105744 139937756469232 139937784655254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4312] ppid=4306 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4312/stat : 4312 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661546 15371935744 21374 33554432000 4194304 4196468 140737297105744 139937788885520 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4313] ppid=4306 vsize=15011656 memory=288370165366253184 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4313/stat : 4313 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661546 15371935744 21374 33554432000 4194304 4196468 140737297105744 139937245641360 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4314] ppid=4306 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4314/stat : 4314 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661546 15371935744 21374 33554432000 4194304 4196468 140737297105744 139937244588304 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4315] ppid=4306 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4315/stat : 4315 (java) S 4306 4309 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74661546 15371935744 21374 33554432000 4194304 4196468 140737297105744 139937243535760 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4316] ppid=4306 vsize=15011656 memory=139789214541440 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4316/stat : 4316 (java) S 4306 4309 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74661547 15371935744 21374 33554432000 4194304 4196468 140737297105744 139937124911856 139937784654466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4317] ppid=4306 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4317/stat : 4317 (java) S 4306 4309 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74661548 15371935744 21374 33554432000 4194304 4196468 140737297105744 139936376284832 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4318] ppid=4306 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4318/stat : 4318 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661548 15371935744 21374 33554432000 4194304 4196468 140737297105744 139936141403376 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4319] ppid=4306 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4319/stat : 4319 (java) S 4306 4309 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74661550 15371935744 21374 33554432000 4194304 4196468 140737297105744 139935766895056 139937784661915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4320] ppid=4306 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4320/stat : 4320 (java) R 4306 4309 32649 0 -1 4202560 467 0 0 0 0 0 0 0 20 0 15 0 74661550 15371935744 21374 33554432000 4194304 4196468 140737297105744 139937123858672 139937763806480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4321] ppid=4306 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4321/stat : 4321 (java) R 4306 4309 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 15 0 74661550 15371935744 21374 33554432000 4194304 4196468 140737297105744 139937122806128 139937762302384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4322] ppid=4306 vsize=15011656 memory=139789214541440 CPUtime=0.03 cores=1,3,5,7
/proc/4309/task/4322/stat : 4322 (java) R 4306 4309 32649 0 -1 1077944384 336 0 0 0 3 0 0 0 20 0 15 0 74661550 15371935744 21374 33554432000 4194304 4196468 140737297105744 139937121753072 139937784654466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4323] ppid=4306 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4323/stat : 4323 (java) S 4306 4309 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74661551 15371935744 21374 33554432000 4194304 4196468 140737297105744 139935268989280 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4324] ppid=4306 vsize=15011656 memory=139789214541440 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4324/stat : 4324 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661551 15371935744 21374 33554432000 4194304 4196468 140737297105744 139937120701488 139937784654466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85232 KiB
[startup+0.310343 s]*
/proc/loadavg: 2.05 2.03 2.05 4/220 4324
/proc/meminfo: memFree=21181412/32770624 swapFree=67108860/67108860
[pid=4309] ppid=4306 vsize=15011656 memory=89248 CPUtime=0.42 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 32649 0 -1 1077944320 10847 0 0 0 39 3 0 0 20 0 15 0 74661544 15371935744 22312 33554432000 4194304 4196468 140737297105744 140737297088288 139937784643319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
/proc/4309/statm: 3752914 22312 3007 1 0 3715374 0
[pid=4309/tid=4311] ppid=4306 vsize=15011656 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/4309/task/4311/stat : 4311 (java) R 4306 4309 32649 0 -1 4202560 8448 0 0 0 27 2 0 0 20 0 15 0 74661544 15371935744 22312 33554432000 4194304 4196468 140737297105744 139937756447472 139937288134688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4312] ppid=4306 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4312/stat : 4312 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661546 15371935744 22312 33554432000 4194304 4196468 140737297105744 139937788885520 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4313] ppid=4306 vsize=15011656 memory=139789214541440 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4313/stat : 4313 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661546 15371935744 22312 33554432000 4194304 4196468 140737297105744 139937245641360 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4314] ppid=4306 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4314/stat : 4314 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661546 15371935744 22312 33554432000 4194304 4196468 140737297105744 139937244588304 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4315] ppid=4306 vsize=15011656 memory=139789105995983 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4315/stat : 4315 (java) S 4306 4309 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74661546 15371935744 22312 33554432000 4194304 4196468 140737297105744 139937243535760 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4316] ppid=4306 vsize=15011656 memory=139789214541440 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4316/stat : 4316 (java) S 4306 4309 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74661547 15371935744 22312 33554432000 4194304 4196468 140737297105744 139937124911856 139937784654466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4317] ppid=4306 vsize=15011656 memory=139789106016719 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4317/stat : 4317 (java) S 4306 4309 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74661548 15371935744 22312 33554432000 4194304 4196468 140737297105744 139936376284832 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4318] ppid=4306 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4318/stat : 4318 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661548 15371935744 22312 33554432000 4194304 4196468 140737297105744 139936141403376 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4319] ppid=4306 vsize=15011656 memory=279578212005760 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4319/stat : 4319 (java) S 4306 4309 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74661550 15371935744 22312 33554432000 4194304 4196468 140737297105744 139935766895056 139937784661915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4320] ppid=4306 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4309/task/4320/stat : 4320 (java) S 4306 4309 32649 0 -1 1077944384 563 0 0 0 1 0 0 0 20 0 15 0 74661550 15371935744 22312 33554432000 4194304 4196468 140737297105744 139937123858672 139937784654466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4321] ppid=4306 vsize=15011656 memory=139789106028431 CPUtime=0.02 cores=1,3,5,7
/proc/4309/task/4321/stat : 4321 (java) S 4306 4309 32649 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 15 0 74661550 15371935744 22312 33554432000 4194304 4196468 140737297105744 139937122806128 139937784654466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4322] ppid=4306 vsize=15011656 memory=139789214541440 CPUtime=0.07 cores=1,3,5,7
/proc/4309/task/4322/stat : 4322 (java) R 4306 4309 32649 0 -1 4202560 425 0 0 0 7 0 0 0 20 0 15 0 74661550 15371935744 22312 33554432000 4194304 4196468 140737297105744 139937121753072 139937763179586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4323] ppid=4306 vsize=15011656 memory=139789106033567 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4323/stat : 4323 (java) S 4306 4309 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74661551 15371935744 22312 33554432000 4194304 4196468 140737297105744 139935268989280 139937784653525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4324] ppid=4306 vsize=15011656 memory=139789289202984 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4324/stat : 4324 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661551 15371935744 22312 33554432000 4194304 4196468 140737297105744 139937120701488 139937784654466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89248 KiB
[startup+0.707383 s]
/proc/loadavg: 2.05 2.03 2.05 4/220 4324
/proc/meminfo: memFree=21157352/32770624 swapFree=67108860/67108860
[pid=4309] ppid=4306 vsize=15017928 memory=130944 CPUtime=1.04 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 32649 0 -1 1077944320 17921 0 0 0 98 6 0 0 20 0 15 0 74661544 15378358272 32736 33554432000 4194304 4196468 140737297105744 140737297088288 139937784643319 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
/proc/4309/statm: 3754482 32736 3157 1 0 3715886 0
[pid=4309/tid=4311] ppid=4306 vsize=15017928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/4309/task/4311/stat : 4311 (java) R 4306 4309 32649 0 -1 4202560 14832 0 0 0 63 4 0 0 20 0 15 0 74661544 15378358272 32736 33554432000 4194304 4196468 140737297105744 139937756481712 139937768723806 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4312] ppid=4306 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4312/stat : 4312 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661546 15378358272 32736 33554432000 4194304 4196468 140737297105744 139937788885520 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4313] ppid=4306 vsize=15017928 memory=79 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4313/stat : 4313 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661546 15378358272 32736 33554432000 4194304 4196468 140737297105744 139937245641360 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4314] ppid=4306 vsize=15017928 memory=1 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4314/stat : 4314 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661546 15378358272 32736 33554432000 4194304 4196468 140737297105744 139937244588304 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4315] ppid=4306 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4315/stat : 4315 (java) S 4306 4309 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74661546 15378358272 32736 33554432000 4194304 4196468 140737297105744 139937243535760 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4316] ppid=4306 vsize=15017928 memory=158326184748091 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4316/stat : 4316 (java) S 4306 4309 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74661547 15378358272 32736 33554432000 4194304 4196468 140737297105744 139937124911856 139937784654466 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4317] ppid=4306 vsize=15017928 memory=437597 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4317/stat : 4317 (java) S 4306 4309 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74661548 15378358272 32736 33554432000 4194304 4196468 140737297105744 139936376284832 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4318] ppid=4306 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4318/stat : 4318 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661548 15378358272 32736 33554432000 4194304 4196468 140737297105744 139936141403376 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4319] ppid=4306 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4319/stat : 4319 (java) S 4306 4309 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74661550 15378358272 32736 33554432000 4194304 4196468 140737297105744 139935766895056 139937784661915 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4320] ppid=4306 vsize=15017928 memory=7809523229951467574 CPUtime=0.07 cores=1,3,5,7
/proc/4309/task/4320/stat : 4320 (java) R 4306 4309 32649 0 -1 4202560 725 0 0 0 7 0 0 0 20 0 15 0 74661550 15378358272 32736 33554432000 4194304 4196468 140737297105744 139937123858672 139937770673287 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4321] ppid=4306 vsize=15017928 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4309/task/4321/stat : 4321 (java) R 4306 4309 32649 0 -1 4202560 335 0 0 0 9 0 0 0 20 0 15 0 74661550 15378358272 32736 33554432000 4194304 4196468 140737297105744 139937122792192 139937769568804 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4322] ppid=4306 vsize=15017928 memory=-3535359994705171810 CPUtime=0.17 cores=1,3,5,7
/proc/4309/task/4322/stat : 4322 (java) R 4306 4309 32649 0 -1 4202560 691 0 0 0 17 0 0 0 20 0 15 0 74661550 15378358272 32736 33554432000 4194304 4196468 140737297105744 139937121748800 139937768723806 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4323] ppid=4306 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4323/stat : 4323 (java) S 4306 4309 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74661551 15378358272 32736 33554432000 4194304 4196468 140737297105744 139935268989280 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4324] ppid=4306 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4324/stat : 4324 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661551 15378358272 32736 33554432000 4194304 4196468 140737297105744 139937120701488 139937784654466 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 130944 KiB
[startup+1.50318 s]
/proc/loadavg: 2.05 2.03 2.05 5/220 4324
/proc/meminfo: memFree=21056144/32770624 swapFree=67108860/67108860
[pid=4309] ppid=4306 vsize=15022100 memory=257392 CPUtime=3.64 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 32649 0 -1 1077944320 23951 0 0 0 354 10 0 0 20 0 15 0 74661544 15382630400 64348 33554432000 4194304 4196468 140737297105744 140737297088288 139937784643319 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
/proc/4309/statm: 3755525 64348 3202 1 0 3716910 0
[pid=4309/tid=4311] ppid=4306 vsize=15022100 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/4309/task/4311/stat : 4311 (java) R 4306 4309 32649 0 -1 4202560 16225 0 0 0 140 7 0 0 20 0 15 0 74661544 15382630400 64348 33554432000 4194304 4196468 140737297105744 139937756472640 139937288171392 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4312] ppid=4306 vsize=15022100 memory=7740117035809985899 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4312/stat : 4312 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661546 15382630400 64348 33554432000 4194304 4196468 140737297105744 139937788885520 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4313] ppid=4306 vsize=15022100 memory=7302700498202554731 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4313/stat : 4313 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661546 15382630400 64348 33554432000 4194304 4196468 140737297105744 139937245641360 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4314] ppid=4306 vsize=15022100 memory=7302700515348606313 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4314/stat : 4314 (java) S 4306 4309 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74661546 15382630400 64348 33554432000 4194304 4196468 140737297105744 139937244588304 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4315] ppid=4306 vsize=15022100 memory=7302704887625773416 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4315/stat : 4315 (java) S 4306 4309 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74661546 15382630400 64348 33554432000 4194304 4196468 140737297105744 139937243535760 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4316] ppid=4306 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4316/stat : 4316 (java) S 4306 4309 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74661547 15382630400 64348 33554432000 4194304 4196468 140737297105744 139937124911856 139937784654466 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
################
# More data... #
################
/proc/meminfo: memFree=18092320/32770624 swapFree=67108860/67108860
[pid=4309] ppid=4306 vsize=15683912 memory=3084964 CPUtime=18.95 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 32649 0 -1 1077944320 32650 0 0 0 1768 127 0 0 20 0 19 0 74661544 16060325888 771241 33554432000 4194304 4196468 140737297105744 140737297088288 139937784643319 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
/proc/4309/statm: 3920978 771241 3231 1 0 3881834 0
[pid=4325] ppid=4309 vsize=136836 memory=110468 CPUtime=2434.51 cores=1,3,5,7
/proc/4325/stat : 4325 (minisat_release) R 4309 4309 32649 0 -1 4202496 161256 0 0 0 243433 18 0 0 20 0 1 0 74662315 140120064 27617 33554432000 4194304 4308513 140734787389424 140734787386424 4275992 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 25731072 140734787396273 140734787396782 140734787396782 140734787399621 0
/proc/4325/statm: 34209 27617 354 28 0 30449 0
[pid=4309/tid=4311] ppid=4306 vsize=15683912 memory=3084964 CPUtime=7.62 cores=1,3,5,7
/proc/4309/task/4311/stat : 4311 (java) S 4306 4309 32649 0 -1 1077944384 19238 0 0 0 715 47 0 0 20 0 19 0 74661544 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937756482560 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4312] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4312/stat : 4312 (java) S 4306 4309 32649 0 -1 1077944384 39 0 0 0 6 2 0 0 20 0 19 0 74661546 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937788885520 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4313] ppid=4306 vsize=15683912 memory=110468 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4313/stat : 4313 (java) S 4306 4309 32649 0 -1 1077944384 63 0 0 0 6 2 0 0 20 0 19 0 74661546 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937245641360 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4314] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4314/stat : 4314 (java) S 4306 4309 32649 0 -1 1077944384 86 0 0 0 6 2 0 0 20 0 19 0 74661546 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937244588304 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4315] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4315/stat : 4315 (java) S 4306 4309 32649 0 -1 1077944384 104 0 0 0 6 2 0 0 20 0 19 0 74661546 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937243535760 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4316] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0.05 cores=1,3,5,7
/proc/4309/task/4316/stat : 4316 (java) S 4306 4309 32649 0 -1 1077944384 26 0 0 0 2 3 0 0 20 0 19 0 74661547 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937124911856 139937784654466 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4317] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4317/stat : 4317 (java) S 4306 4309 32649 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 74661548 16060325888 771241 33554432000 4194304 4196468 140737297105744 139936376284832 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4318] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4318/stat : 4318 (java) S 4306 4309 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74661548 16060325888 771241 33554432000 4194304 4196468 140737297105744 139936141403376 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4319] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4319/stat : 4319 (java) S 4306 4309 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74661550 16060325888 771241 33554432000 4194304 4196468 140737297105744 139935766895056 139937784661915 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4320] ppid=4306 vsize=15683912 memory=110468 CPUtime=4.13 cores=1,3,5,7
/proc/4309/task/4320/stat : 4320 (java) S 4306 4309 32649 0 -1 1077944384 4974 0 0 0 411 2 0 0 20 0 19 0 74661550 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937123858672 139937784654466 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4321] ppid=4306 vsize=15683912 memory=3084964 CPUtime=4.03 cores=1,3,5,7
/proc/4309/task/4321/stat : 4321 (java) S 4306 4309 32649 0 -1 1077944384 2207 0 0 0 402 1 0 0 20 0 19 0 74661550 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937122806128 139937784654466 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4322] ppid=4306 vsize=15683912 memory=3084964 CPUtime=1.44 cores=1,3,5,7
/proc/4309/task/4322/stat : 4322 (java) S 4306 4309 32649 0 -1 1077944384 4347 0 0 0 141 3 0 0 20 0 19 0 74661550 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937121753072 139937784654466 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4323] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4323/stat : 4323 (java) S 4306 4309 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74661551 16060325888 771241 33554432000 4194304 4196468 140737297105744 139935268989280 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4324] ppid=4306 vsize=15683912 memory=3084964 CPUtime=1.27 cores=1,3,5,7
/proc/4309/task/4324/stat : 4324 (java) S 4306 4309 32649 0 -1 1077944384 163 0 0 0 58 69 0 0 20 0 19 0 74661551 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937120701488 139937784654466 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4326] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4326/stat : 4326 (java) S 4306 4309 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74662316 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937104435008 139937784667929 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4328] ppid=4306 vsize=15683912 memory=110468 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4328/stat : 4328 (java) S 4306 4309 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 74662316 16060325888 771241 33554432000 4194304 4196468 140737297105744 139934732103472 139937784665245 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4329] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4329/stat : 4329 (java) S 4306 4309 32649 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 74662316 16060325888 771241 33554432000 4194304 4196468 140737297105744 139934463671728 139937784665245 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4330] ppid=4306 vsize=15683912 memory=110468 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4330/stat : 4330 (java) S 4306 4309 32649 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 74662318 16060325888 771241 33554432000 4194304 4196468 140737297105744 139934866332960 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
Current children cumulated CPU time: 2453.46 s
Current children cumulated vsize: 15820748 KiB
Current children cumulated memory: 3195432 KiB
[startup+2502.3 s]
/proc/loadavg: 2.20 2.19 2.11 3/226 4493
/proc/meminfo: memFree=18086620/32770624 swapFree=67108860/67108860
[pid=4309] ppid=4306 vsize=15683912 memory=3084964 CPUtime=18.99 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 32649 0 -1 1077944320 32654 0 0 0 1770 129 0 0 20 0 19 0 74661544 16060325888 771241 33554432000 4194304 4196468 140737297105744 140737297088288 139937784643319 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
/proc/4309/statm: 3920978 771241 3231 1 0 3881834 0
[pid=4325] ppid=4309 vsize=136836 memory=112516 CPUtime=2494.5 cores=1,3,5,7
/proc/4325/stat : 4325 (minisat_release) R 4309 4309 32649 0 -1 4202496 165155 0 0 0 249432 18 0 0 20 0 1 0 74662315 140120064 28129 33554432000 4194304 4308513 140734787389424 140734787386424 4275941 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 25731072 140734787396273 140734787396782 140734787396782 140734787399621 0
/proc/4325/statm: 34209 28129 354 28 0 30449 0
[pid=4309/tid=4311] ppid=4306 vsize=15683912 memory=3084964 CPUtime=7.62 cores=1,3,5,7
/proc/4309/task/4311/stat : 4311 (java) S 4306 4309 32649 0 -1 1077944384 19238 0 0 0 715 47 0 0 20 0 19 0 74661544 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937756482560 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4312] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4312/stat : 4312 (java) S 4306 4309 32649 0 -1 1077944384 39 0 0 0 6 2 0 0 20 0 19 0 74661546 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937788885520 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4313] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4313/stat : 4313 (java) S 4306 4309 32649 0 -1 1077944384 63 0 0 0 6 2 0 0 20 0 19 0 74661546 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937245641360 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4314] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4314/stat : 4314 (java) S 4306 4309 32649 0 -1 1077944384 86 0 0 0 6 2 0 0 20 0 19 0 74661546 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937244588304 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4315] ppid=4306 vsize=15683912 memory=112516 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4315/stat : 4315 (java) S 4306 4309 32649 0 -1 1077944384 104 0 0 0 6 2 0 0 20 0 19 0 74661546 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937243535760 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4316] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0.05 cores=1,3,5,7
/proc/4309/task/4316/stat : 4316 (java) S 4306 4309 32649 0 -1 1077944384 26 0 0 0 2 3 0 0 20 0 19 0 74661547 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937124911856 139937784654466 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4317] ppid=4306 vsize=15683912 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4317/stat : 4317 (java) S 4306 4309 32649 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 74661548 16060325888 771241 33554432000 4194304 4196468 140737297105744 139936376284832 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4318] ppid=4306 vsize=15683912 memory=279578214300544 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4318/stat : 4318 (java) S 4306 4309 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74661548 16060325888 771241 33554432000 4194304 4196468 140737297105744 139936141403376 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4319] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4319/stat : 4319 (java) S 4306 4309 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74661550 16060325888 771241 33554432000 4194304 4196468 140737297105744 139935766895056 139937784661915 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4320] ppid=4306 vsize=15683912 memory=3084964 CPUtime=4.13 cores=1,3,5,7
/proc/4309/task/4320/stat : 4320 (java) S 4306 4309 32649 0 -1 1077944384 4974 0 0 0 411 2 0 0 20 0 19 0 74661550 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937123858672 139937784654466 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4321] ppid=4306 vsize=15683912 memory=3084964 CPUtime=4.03 cores=1,3,5,7
/proc/4309/task/4321/stat : 4321 (java) S 4306 4309 32649 0 -1 1077944384 2207 0 0 0 402 1 0 0 20 0 19 0 74661550 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937122806128 139937784654466 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4322] ppid=4306 vsize=15683912 memory=3084964 CPUtime=1.44 cores=1,3,5,7
/proc/4309/task/4322/stat : 4322 (java) S 4306 4309 32649 0 -1 1077944384 4347 0 0 0 141 3 0 0 20 0 19 0 74661550 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937121753072 139937784654466 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4323] ppid=4306 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4323/stat : 4323 (java) S 4306 4309 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74661551 16060325888 771241 33554432000 4194304 4196468 140737297105744 139935268989280 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4324] ppid=4306 vsize=15683912 memory=22736 CPUtime=1.31 cores=1,3,5,7
/proc/4309/task/4324/stat : 4324 (java) S 4306 4309 32649 0 -1 1077944384 167 0 0 0 60 71 0 0 20 0 19 0 74661551 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937120701488 139937784654466 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4326] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4326/stat : 4326 (java) S 4306 4309 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74662316 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937104435008 139937784667929 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4328] ppid=4306 vsize=15683912 memory=3084964 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4328/stat : 4328 (java) S 4306 4309 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 74662316 16060325888 771241 33554432000 4194304 4196468 140737297105744 139934732103472 139937784665245 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4329] ppid=4306 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4329/stat : 4329 (java) S 4306 4309 32649 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 74662316 16060325888 771241 33554432000 4194304 4196468 140737297105744 139934463671728 139937784665245 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4330] ppid=4306 vsize=15683912 memory=22736 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4330/stat : 4330 (java) S 4306 4309 32649 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 74662318 16060325888 771241 33554432000 4194304 4196468 140737297105744 139934866332960 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
Current children cumulated CPU time: 2513.49 s
Current children cumulated vsize: 15820748 KiB
Current children cumulated memory: 3197480 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2508.8 s]
/proc/loadavg: 2.19 2.19 2.11 3/226 4494
/proc/meminfo: memFree=18086248/32770624 swapFree=67108860/67108860
[pid=4309] ppid=4306 vsize=15683912 memory=3084964 CPUtime=19 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 32649 0 -1 1077944320 32654 0 0 0 1770 130 0 0 20 0 19 0 74661544 16060325888 771241 33554432000 4194304 4196468 140737297105744 140737297088288 139937784643319 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
/proc/4309/statm: 3920978 771241 3231 1 0 3881834 0
[pid=4325] ppid=4309 vsize=136836 memory=112516 CPUtime=2501 cores=1,3,5,7
/proc/4325/stat : 4325 (minisat_release) R 4309 4309 32649 0 -1 4202496 165167 0 0 0 250082 18 0 0 20 0 1 0 74662315 140120064 28129 33554432000 4194304 4308513 140734787389424 140734787385664 4276008 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 25731072 140734787396273 140734787396782 140734787396782 140734787399621 0
/proc/4325/statm: 34209 28129 354 28 0 30449 0
[pid=4309/tid=4311] ppid=4306 vsize=15683912 memory=4612 CPUtime=7.62 cores=1,3,5,7
/proc/4309/task/4311/stat : 4311 (java) S 4306 4309 32649 0 -1 1077944384 19238 0 0 0 715 47 0 0 20 0 19 0 74661544 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937756482560 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4312] ppid=4306 vsize=15683912 memory=9920 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4312/stat : 4312 (java) S 4306 4309 32649 0 -1 1077944384 39 0 0 0 6 2 0 0 20 0 19 0 74661546 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937788885520 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4313] ppid=4306 vsize=15683912 memory=1944 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4313/stat : 4313 (java) S 4306 4309 32649 0 -1 1077944384 63 0 0 0 6 2 0 0 20 0 19 0 74661546 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937245641360 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4314] ppid=4306 vsize=15683912 memory=1428 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4314/stat : 4314 (java) S 4306 4309 32649 0 -1 1077944384 86 0 0 0 6 2 0 0 20 0 19 0 74661546 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937244588304 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4315] ppid=4306 vsize=15683912 memory=8532 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4315/stat : 4315 (java) S 4306 4309 32649 0 -1 1077944384 104 0 0 0 6 2 0 0 20 0 19 0 74661546 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937243535760 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4316] ppid=4306 vsize=15683912 memory=792 CPUtime=0.05 cores=1,3,5,7
/proc/4309/task/4316/stat : 4316 (java) S 4306 4309 32649 0 -1 1077944384 26 0 0 0 2 3 0 0 20 0 19 0 74661547 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937124911856 139937784654466 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4317] ppid=4306 vsize=15683912 memory=22736 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4317/stat : 4317 (java) S 4306 4309 32649 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 74661548 16060325888 771241 33554432000 4194304 4196468 140737297105744 139936376284832 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4318] ppid=4306 vsize=15683912 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4318/stat : 4318 (java) S 4306 4309 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74661548 16060325888 771241 33554432000 4194304 4196468 140737297105744 139936141403376 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4319] ppid=4306 vsize=15683912 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4319/stat : 4319 (java) S 4306 4309 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74661550 16060325888 771241 33554432000 4194304 4196468 140737297105744 139935766895056 139937784661915 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4320] ppid=4306 vsize=15683912 memory=1708 CPUtime=4.13 cores=1,3,5,7
/proc/4309/task/4320/stat : 4320 (java) S 4306 4309 32649 0 -1 1077944384 4974 0 0 0 411 2 0 0 20 0 19 0 74661550 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937123858672 139937784654466 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4321] ppid=4306 vsize=15683912 memory=5792 CPUtime=4.03 cores=1,3,5,7
/proc/4309/task/4321/stat : 4321 (java) S 4306 4309 32649 0 -1 1077944384 2207 0 0 0 402 1 0 0 20 0 19 0 74661550 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937122806128 139937784654466 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4322] ppid=4306 vsize=15683912 memory=4612 CPUtime=1.44 cores=1,3,5,7
/proc/4309/task/4322/stat : 4322 (java) S 4306 4309 32649 0 -1 1077944384 4347 0 0 0 141 3 0 0 20 0 19 0 74661550 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937121753072 139937784654466 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4323] ppid=4306 vsize=15683912 memory=279577407074818 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4323/stat : 4323 (java) S 4306 4309 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74661551 16060325888 771241 33554432000 4194304 4196468 140737297105744 139935268989280 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4324] ppid=4306 vsize=15683912 memory=279578212792976 CPUtime=1.31 cores=1,3,5,7
/proc/4309/task/4324/stat : 4324 (java) S 4306 4309 32649 0 -1 1077944384 167 0 0 0 60 71 0 0 20 0 19 0 74661551 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937120701488 139937784654466 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4326] ppid=4306 vsize=15683912 memory=279578212088240 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4326/stat : 4326 (java) S 4306 4309 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74662316 16060325888 771241 33554432000 4194304 4196468 140737297105744 139937104435008 139937784667929 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4328] ppid=4306 vsize=15683912 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4328/stat : 4328 (java) S 4306 4309 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 74662316 16060325888 771241 33554432000 4194304 4196468 140737297105744 139934732103472 139937784665245 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4329] ppid=4306 vsize=15683912 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4329/stat : 4329 (java) S 4306 4309 32649 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 74662316 16060325888 771241 33554432000 4194304 4196468 140737297105744 139934463671728 139937784665245 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
[pid=4309/tid=4330] ppid=4306 vsize=15683912 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/4309/task/4330/stat : 4330 (java) S 4306 4309 32649 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 74662318 16060325888 771241 33554432000 4194304 4196468 140737297105744 139934866332960 139937784653525 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38469632 140737297110003 140737297110281 140737297110281 140737297113039 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15820748 KiB
Current children cumulated memory: 3197480 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2508.83 s]
# the end of solver process 4309 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.53 s, system=1.51509 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2508.83
CPU time (s): 2520.05
CPU user time (s): 2518.53
CPU system time (s): 1.51509
CPU usage (%): 100.447
Max. virtual memory (cumulated for all children) (KiB): 15820748
Max. memory (cumulated for all children) (KiB): 3197480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.53
system time used= 1.51509
maximum resident set size= 3086224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197888
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58912
involuntary context switches= 686
# summary of solver processes directly reported to runsolver:
# pid: 4309
# total CPU time (s): 2520.05
# total CPU user time (s): 2518.53
# total CPU system time (s): 1.51509
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2828 second user time and 25.3505 second system time
The end