0.66/0.52
0.66/0.53 scop order+minisat_release (2018-06-13)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Mon Jul 23 14:40:36 CEST 2018
0.66/0.55 c PID: 8429
0.66/0.55 c IP: 172.20.3.105
0.66/0.55 c HOST: node105.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.02/1.17 c (0,0) Parsing End
2.02/1.18 c (0,0) CSP: 0 int (0 aux), 726 bool (0 aux), 287 ctr, max domain size 2
2.02/1.18 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.18 c (0,0) Constraint Name Generate Begin
2.02/1.20 c (0,0) Ctr:HOME/instance-4294132-1532349635.xml,IntVar:LexMatrix:Num:WeightedSum
2.02/1.20 c (0,0) Constraint Name Generate End
2.02/1.20 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.20 c (0,0) CSP to CSPinCNF Begin
2.95/1.41 c (0,0) translated 29 (10%) constraints
3.27/1.56 c (1,1) translated 58 (20%) constraints
4.86/2.07 c (1,1) translated 87 (30%) constraints
5.74/2.40 c (1,1) translated 115 (40%) constraints
6.65/2.67 c (2,2) translated 144 (50%) constraints
7.55/2.92 c (2,2) translated 173 (60%) constraints
8.19/3.14 c (2,2) translated 201 (70%) constraints
8.71/3.34 c (2,2) translated 230 (80%) constraints
9.05/3.54 c (3,2) translated 259 (90%) constraints
9.42/3.71 c (3,3) translated 287 (100%) constraints
13.23/5.61 c (5,5) STATISTICS1:HOME/instance-4294132-1532349635.xml,IntVar:LexMatrix:Num:WeightedSum,17263,33466,4294967296,2,4,33,4294967296:506;2097152:66;2:2741,2:87037,4:1291;3:15299;2:16537;1:339,33:506;22:66;2:2741;1:80103,
13.23/5.61 c (5,5) ===========================================
13.23/5.61 c (5,5) Order
13.23/5.61 c (5,5) ===========================================
14.61/6.05 c (5,5) translated 3347 (10%) constraints
15.19/6.25 c (5,5) translated 6694 (20%) constraints
15.79/6.45 c (5,5) translated 10040 (30%) constraints
16.40/6.63 c (6,6) translated 13387 (40%) constraints
16.67/6.79 c (6,6) translated 16733 (50%) constraints
17.10/6.94 c (6,6) translated 20080 (60%) constraints
17.33/7.12 c (6,6) translated 23427 (70%) constraints
17.51/7.26 c (6,6) translated 26773 (80%) constraints
17.79/7.41 c (6,6) translated 30120 (90%) constraints
17.99/7.54 c (7,7) translated 33466 (100%) constraints
17.99/7.55 c (7,7) CSP to CSPinCNF End
17.99/7.56 c (7,7) CSP: 3135 int (3135 aux), 24886 bool (24160 aux), 55268 ctr, max domain size 12
17.99/7.56 c (7,7) Heap : 2760 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.99/7.56 c (7,7) CSPinCNF Propagation Begin
19.56/8.04 c (7,7) 0 values, 7623 unsatisfiable literals, and 7623 valid clauses are removed
19.56/8.04 c (7,7) CSPinCNF Propagation End
19.56/8.05 c (7,7) CSP: 3135 int (3135 aux), 24886 bool (24160 aux), 47645 ctr, max domain size 12
19.56/8.05 c (7,7) Heap : 227 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
19.56/8.05 c (7,7) Simplify CSPinCNF Begin
20.02/8.21 c (7,7) Simplify CSPinCNF End
20.02/8.21 c (7,7) CSP: 3135 int (3135 aux), 27627 bool (26901 aux), 50386 ctr, max domain size 12
20.02/8.21 c (7,7) Heap : 282 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
20.02/8.21 c (7,7) Calculate Precise Domain Begin
20.23/8.32 c (7,7) 0 values are removed by re-calculation
20.23/8.32 c (7,7) Calculate Precise Domain End
20.23/8.32 c (7,7) CSP: 3135 int (3135 aux), 27627 bool (26901 aux), 50386 ctr, max domain size 12
20.23/8.32 c (7,7) Heap : 337 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.23/8.32 c (7,7) CSPinCNF to SatSolver Begin
21.81/8.88 c (8,8) 5039 (10 %) CSP clauses are encoded (41223 SAT variables, 80773 SAT clauses)
22.44/9.01 c (8,8) 10078 (20 %) CSP clauses are encoded (41223 SAT variables, 97368 SAT clauses)
22.44/9.08 c (8,8) 15116 (30 %) CSP clauses are encoded (41223 SAT variables, 113534 SAT clauses)
22.59/9.14 c (8,8) 20155 (40 %) CSP clauses are encoded (41223 SAT variables, 130129 SAT clauses)
22.59/9.19 c (8,8) 25193 (50 %) CSP clauses are encoded (41223 SAT variables, 146295 SAT clauses)
22.68/9.24 c (8,8) 30232 (60 %) CSP clauses are encoded (41223 SAT variables, 162462 SAT clauses)
22.78/9.30 c (8,8) 35271 (70 %) CSP clauses are encoded (41223 SAT variables, 179057 SAT clauses)
22.78/9.35 c (8,8) 40309 (80 %) CSP clauses are encoded (41223 SAT variables, 195223 SAT clauses)
22.89/9.41 c (8,8) 45348 (90 %) CSP clauses are encoded (41223 SAT variables, 210727 SAT clauses)
23.09/9.51 c (8,8) 50386 (100 %) CSP clauses are encoded (41223 SAT variables, 218260 SAT clauses)
23.09/9.51 c (8,8) CSPinCNF to SatSolver End
23.09/9.51 c (8,8) Heap : 999 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
23.68/9.71 c (9,9) STATISTICS2:HOME/instance-4294132-1532349635.xml,IntVar:LexMatrix:Num:WeightedSum,30762,50386,256,12,4,9,256:66;144:44;128:132;72:132;64:66;40:1386;25:1980;16:3036;2:4085,12:264;9:396;8:264;5:11616;2:119528,4:1291;3:7676;2:34524;1:6895,9:66;8:132;5:4554;3:2090;2:4085;1:93208,
23.68/9.71 c (9,9) SatSolver.solve Begin
23.68/9.71 c (9,9) 41223 bool, 218261 clause
23.68/9.71 c (9,9) 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-4294132-1532349635.xml-scop-8429.cnf HOME/instance-4294132-1532349635.xml-scop-8429.cnf.out
2520.07/2504.40 c (2503,0) receiving signal SIGTERM
2520.07/2504.40 s UNKNOWN
2520.07/2504.40 c (2503,9) SatSolver is killed by some reasons.
2520.07/2504.40 c (2503,9) 0,0,7,7,7,7,8,TO,TO,STOP-AFTER(DIMACS)
2520.07/2504.40 c END-Prog: Mon Jul 23 15:22:20 CEST 2018
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 (4337 MiB free)
memory of node 1: 16384 MiB (11193 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294132-1532349635/watcher-4294132-1532349635 -o /tmp/evaluation-result-4294132-1532349635/solver-4294132-1532349635 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294132-1532349635.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=8429, runsolver pid=8426
[startup+0.100058 s]*
/proc/loadavg: 2.18 2.19 2.12 4/221 8444
/proc/meminfo: memFree=15843760/32770624 swapFree=67108860/67108860
[pid=8429] ppid=8426 vsize=15011656 memory=72156 CPUtime=0.11 cores=0,2,4,6
/proc/8429/stat : 8429 (java) S 8426 8429 2271 0 -1 1077944320 6204 0 0 0 9 2 0 0 20 0 15 0 52526682 15371935744 18039 33554432000 4194304 4196468 140728841874400 140728841856944 140435946913527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
/proc/8429/statm: 3752914 18039 2782 1 0 3715374 0
[pid=8429/tid=8431] ppid=8426 vsize=15011656 memory=4714317322739880851 CPUtime=0.08 cores=0,2,4,6
/proc/8429/task/8431/stat : 8431 (java) R 8426 8429 2271 0 -1 4202560 4467 0 0 0 7 1 0 0 20 0 15 0 52526683 15371935744 18171 33554432000 4194304 4196468 140728841874400 140435918725512 140435927189287 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8432] ppid=8426 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8432/stat : 8432 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526684 15371935744 18237 33554432000 4194304 4196468 140728841874400 140435951155728 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8433] ppid=8426 vsize=15011656 memory=139636715746944 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8433/stat : 8433 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52526684 15371935744 18237 33554432000 4194304 4196468 140728841874400 140435769244304 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8434] ppid=8426 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8434/stat : 8434 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52526684 15371935744 18237 33554432000 4194304 4196468 140728841874400 140435768191248 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8435] ppid=8426 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8435/stat : 8435 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526684 15371935744 18237 33554432000 4194304 4196468 140728841874400 140435405744528 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8436] ppid=8426 vsize=15011656 memory=139636715746944 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8436/stat : 8436 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52526686 15371935744 18237 33554432000 4194304 4196468 140728841874400 140434985183984 140435946924674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8437] ppid=8426 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8437/stat : 8437 (java) S 8426 8429 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52526686 15371935744 18237 33554432000 4194304 4196468 140728841874400 140434491827872 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8438] ppid=8426 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8438/stat : 8438 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526687 15371935744 18237 33554432000 4194304 4196468 140728841874400 140434223391984 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8439] ppid=8426 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8439/stat : 8439 (java) S 8426 8429 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52526689 15371935744 18237 33554432000 4194304 4196468 140728841874400 140433848883664 140435946932123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8440] ppid=8426 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8440/stat : 8440 (java) S 8426 8429 2271 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 52526689 15371935744 18237 33554432000 4194304 4196468 140728841874400 140434984130800 140435946924674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8441] ppid=8426 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8441/stat : 8441 (java) S 8426 8429 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52526689 15371935744 18237 33554432000 4194304 4196468 140728841874400 140434983078256 140435946924674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8442] ppid=8426 vsize=15011656 memory=139636715746944 CPUtime=0.01 cores=0,2,4,6
/proc/8429/task/8442/stat : 8442 (java) S 8426 8429 2271 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 52526689 15371935744 18237 33554432000 4194304 4196468 140728841874400 140434982025200 140435946924674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8443] ppid=8426 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8443/stat : 8443 (java) S 8426 8429 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52526689 15371935744 18303 33554432000 4194304 4196468 140728841874400 140433350977888 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8444] ppid=8426 vsize=15011656 memory=139636715746944 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8444/stat : 8444 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526689 15371935744 18303 33554432000 4194304 4196468 140728841874400 140434980973616 140435946924674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72156 KiB
[startup+0.210716 s]*
/proc/loadavg: 2.18 2.19 2.12 3/221 8444
/proc/meminfo: memFree=15829544/32770624 swapFree=67108860/67108860
[pid=8429] ppid=8426 vsize=15011656 memory=85520 CPUtime=0.26 cores=0,2,4,6
/proc/8429/stat : 8429 (java) S 8426 8429 2271 0 -1 1077944320 9852 0 0 0 23 3 0 0 20 0 15 0 52526682 15371935744 21380 33554432000 4194304 4196468 140728841874400 140728841856944 140435946913527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
/proc/8429/statm: 3752914 21380 2895 1 0 3715374 0
[pid=8429/tid=8431] ppid=8426 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/8429/task/8431/stat : 8431 (java) R 8426 8429 2271 0 -1 4202560 7746 0 0 0 18 2 0 0 20 0 15 0 52526683 15371935744 21380 33554432000 4194304 4196468 140728841874400 140435918732784 140435448273709 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8432] ppid=8426 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8432/stat : 8432 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526684 15371935744 21380 33554432000 4194304 4196468 140728841874400 140435951155728 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8433] ppid=8426 vsize=15011656 memory=16238910247728792 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8433/stat : 8433 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52526684 15371935744 21380 33554432000 4194304 4196468 140728841874400 140435769244304 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8434] ppid=8426 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8434/stat : 8434 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52526684 15371935744 21380 33554432000 4194304 4196468 140728841874400 140435768191248 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8435] ppid=8426 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8435/stat : 8435 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526684 15371935744 21380 33554432000 4194304 4196468 140728841874400 140435405744528 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8436] ppid=8426 vsize=15011656 memory=139636715746944 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8436/stat : 8436 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52526686 15371935744 21380 33554432000 4194304 4196468 140728841874400 140434985183984 140435946924674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8437] ppid=8426 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8437/stat : 8437 (java) S 8426 8429 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52526686 15371935744 21380 33554432000 4194304 4196468 140728841874400 140434491827872 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8438] ppid=8426 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8438/stat : 8438 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526687 15371935744 21380 33554432000 4194304 4196468 140728841874400 140434223391984 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8439] ppid=8426 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8439/stat : 8439 (java) S 8426 8429 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52526689 15371935744 21380 33554432000 4194304 4196468 140728841874400 140433848883664 140435946932123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8440] ppid=8426 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8440/stat : 8440 (java) S 8426 8429 2271 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 52526689 15371935744 21380 33554432000 4194304 4196468 140728841874400 140434984130800 140435946924674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8441] ppid=8426 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8441/stat : 8441 (java) R 8426 8429 2271 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 52526689 15371935744 21380 33554432000 4194304 4196468 140728841874400 140434983078352 140435946923733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8442] ppid=8426 vsize=15011656 memory=139636715746944 CPUtime=0.03 cores=0,2,4,6
/proc/8429/task/8442/stat : 8442 (java) R 8426 8429 2271 0 -1 4202560 308 0 0 0 3 0 0 0 20 0 15 0 52526689 15371935744 21380 33554432000 4194304 4196468 140728841874400 140434982025200 140435946934874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8443] ppid=8426 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8443/stat : 8443 (java) S 8426 8429 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52526689 15371935744 21380 33554432000 4194304 4196468 140728841874400 140433350977888 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8444] ppid=8426 vsize=15011656 memory=139636715746944 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8444/stat : 8444 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526689 15371935744 21380 33554432000 4194304 4196468 140728841874400 140434980973616 140435946924674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85520 KiB
[startup+0.310667 s]*
/proc/loadavg: 2.18 2.19 2.12 3/221 8444
/proc/meminfo: memFree=15826008/32770624 swapFree=67108860/67108860
[pid=8429] ppid=8426 vsize=15011656 memory=89672 CPUtime=0.43 cores=0,2,4,6
/proc/8429/stat : 8429 (java) S 8426 8429 2271 0 -1 1077944320 10469 0 0 0 39 4 0 0 20 0 15 0 52526682 15371935744 22418 33554432000 4194304 4196468 140728841874400 140728841856944 140435946913527 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
/proc/8429/statm: 3752914 22418 2990 1 0 3715374 0
[pid=8429/tid=8431] ppid=8426 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/8429/task/8431/stat : 8431 (java) S 8426 8429 2271 0 -1 1077944384 8176 0 0 0 27 3 0 0 20 0 15 0 52526683 15371935744 22418 33554432000 4194304 4196468 140728841874400 140435918741024 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8432] ppid=8426 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8432/stat : 8432 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526684 15371935744 22418 33554432000 4194304 4196468 140728841874400 140435951155728 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8433] ppid=8426 vsize=15011656 memory=16099273532066615 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8433/stat : 8433 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52526684 15371935744 22418 33554432000 4194304 4196468 140728841874400 140435769244304 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8434] ppid=8426 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8434/stat : 8434 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52526684 15371935744 22418 33554432000 4194304 4196468 140728841874400 140435768191248 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8435] ppid=8426 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8435/stat : 8435 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526684 15371935744 22418 33554432000 4194304 4196468 140728841874400 140435405744528 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8436] ppid=8426 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8436/stat : 8436 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52526686 15371935744 22418 33554432000 4194304 4196468 140728841874400 140434985183984 140435946924674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8437] ppid=8426 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8437/stat : 8437 (java) S 8426 8429 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52526686 15371935744 22418 33554432000 4194304 4196468 140728841874400 140434491827872 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8438] ppid=8426 vsize=15011656 memory=139636715746944 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8438/stat : 8438 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526687 15371935744 22418 33554432000 4194304 4196468 140728841874400 140434223391984 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8439] ppid=8426 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8439/stat : 8439 (java) S 8426 8429 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52526689 15371935744 22418 33554432000 4194304 4196468 140728841874400 140433848883664 140435946932123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8440] ppid=8426 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8429/task/8440/stat : 8440 (java) R 8426 8429 2271 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 15 0 52526689 15371935744 22418 33554432000 4194304 4196468 140728841874400 140434984130800 140435946924674 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8441] ppid=8426 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8429/task/8441/stat : 8441 (java) R 8426 8429 2271 0 -1 4202560 97 0 0 0 2 0 0 0 20 0 15 0 52526689 15371935744 22418 33554432000 4194304 4196468 140728841874400 140434983078256 140435928434876 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8442] ppid=8426 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8429/task/8442/stat : 8442 (java) R 8426 8429 2271 0 -1 4202560 351 0 0 0 7 0 0 0 20 0 15 0 52526689 15371935744 22418 33554432000 4194304 4196468 140728841874400 140434982025200 140435930994014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8443] ppid=8426 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8443/stat : 8443 (java) S 8426 8429 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52526689 15371935744 22418 33554432000 4194304 4196468 140728841874400 140433350977888 140435946923733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8444] ppid=8426 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8444/stat : 8444 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526689 15371935744 22418 33554432000 4194304 4196468 140728841874400 140434980973616 140435946924674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89672 KiB
[startup+0.701525 s]
/proc/loadavg: 2.18 2.19 2.12 3/221 8444
/proc/meminfo: memFree=15801328/32770624 swapFree=67108860/67108860
[pid=8429] ppid=8426 vsize=15020052 memory=129796 CPUtime=1.01 cores=0,2,4,6
/proc/8429/stat : 8429 (java) S 8426 8429 2271 0 -1 1077944320 17649 0 0 0 96 5 0 0 20 0 15 0 52526682 15380533248 32449 33554432000 4194304 4196468 140728841874400 140728841856944 140435946913527 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
/proc/8429/statm: 3755013 32449 3164 1 0 3716398 0
[pid=8429/tid=8431] ppid=8426 vsize=15020052 memory=796 CPUtime=0.67 cores=0,2,4,6
/proc/8429/task/8431/stat : 8431 (java) R 8426 8429 2271 0 -1 4202560 14864 0 0 0 63 4 0 0 20 0 15 0 52526683 15380533248 32449 33554432000 4194304 4196468 140728841874400 140435918745440 140435930994014 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8432] ppid=8426 vsize=15020052 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8432/stat : 8432 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526684 15380533248 32449 33554432000 4194304 4196468 140728841874400 140435951155728 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8433] ppid=8426 vsize=15020052 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8433/stat : 8433 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52526684 15380533248 32449 33554432000 4194304 4196468 140728841874400 140435769244304 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8434] ppid=8426 vsize=15020052 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8434/stat : 8434 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52526684 15380533248 32449 33554432000 4194304 4196468 140728841874400 140435768191248 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8435] ppid=8426 vsize=15020052 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8435/stat : 8435 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526684 15380533248 32449 33554432000 4194304 4196468 140728841874400 140435405744528 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8436] ppid=8426 vsize=15020052 memory=279273135187744 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8436/stat : 8436 (java) S 8426 8429 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52526686 15380533248 32449 33554432000 4194304 4196468 140728841874400 140434985183984 140435946924674 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8437] ppid=8426 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8437/stat : 8437 (java) S 8426 8429 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52526686 15380533248 32449 33554432000 4194304 4196468 140728841874400 140434491827872 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8438] ppid=8426 vsize=15020052 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8438/stat : 8438 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526687 15380533248 32449 33554432000 4194304 4196468 140728841874400 140434223391984 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8439] ppid=8426 vsize=15020052 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8439/stat : 8439 (java) S 8426 8429 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52526689 15380533248 32449 33554432000 4194304 4196468 140728841874400 140433848883664 140435946932123 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8440] ppid=8426 vsize=15020052 memory=8380 CPUtime=0.09 cores=0,2,4,6
/proc/8429/task/8440/stat : 8440 (java) S 8426 8429 2271 0 -1 1077944384 722 0 0 0 9 0 0 0 20 0 15 0 52526689 15380533248 32449 33554432000 4194304 4196468 140728841874400 140434984130800 140435946924674 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8441] ppid=8426 vsize=15020052 memory=7307210974946176466 CPUtime=0.06 cores=0,2,4,6
/proc/8429/task/8441/stat : 8441 (java) R 8426 8429 2271 0 -1 4202560 230 0 0 0 6 0 0 0 20 0 15 0 52526689 15380533248 32449 33554432000 4194304 4196468 140728841874400 140434983064352 140435932038574 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8442] ppid=8426 vsize=15020052 memory=7302135314614015847 CPUtime=0.16 cores=0,2,4,6
/proc/8429/task/8442/stat : 8442 (java) S 8426 8429 2271 0 -1 1077944384 494 0 0 0 16 0 0 0 20 0 15 0 52526689 15380533248 32449 33554432000 4194304 4196468 140728841874400 140434982025200 140435946924674 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8443] ppid=8426 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8443/stat : 8443 (java) S 8426 8429 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52526689 15380533248 32449 33554432000 4194304 4196468 140728841874400 140433350977888 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8444] ppid=8426 vsize=15020052 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8444/stat : 8444 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526689 15380533248 32449 33554432000 4194304 4196468 140728841874400 140434980973616 140435946924674 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129796 KiB
[startup+1.50275 s]
/proc/loadavg: 2.18 2.19 2.12 4/221 8444
/proc/meminfo: memFree=15773648/32770624 swapFree=67108860/67108860
[pid=8429] ppid=8426 vsize=15022100 memory=190956 CPUtime=3.27 cores=0,2,4,6
/proc/8429/stat : 8429 (java) S 8426 8429 2271 0 -1 1077944320 21170 0 0 0 319 8 0 0 20 0 15 0 52526682 15382630400 47739 33554432000 4194304 4196468 140728841874400 140728841856944 140435946913527 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
/proc/8429/statm: 3755525 47739 3205 1 0 3716910 0
[pid=8429/tid=8431] ppid=8426 vsize=15022100 memory=288230377108275491 CPUtime=1.46 cores=0,2,4,6
/proc/8429/task/8431/stat : 8431 (java) R 8426 8429 2271 0 -1 4202560 15858 0 0 0 141 5 0 0 20 0 15 0 52526683 15382630400 47739 33554432000 4194304 4196468 140728841874400 140435918744368 140435454973952 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8432] ppid=8426 vsize=15022100 memory=288293289789228285 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8432/stat : 8432 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526684 15382630400 47739 33554432000 4194304 4196468 140728841874400 140435951155728 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8433] ppid=8426 vsize=15022100 memory=288285580272600099 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8433/stat : 8433 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52526684 15382630400 47739 33554432000 4194304 4196468 140728841874400 140435769244304 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8434] ppid=8426 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8434/stat : 8434 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52526684 15382630400 47739 33554432000 4194304 4196468 140728841874400 140435768191248 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8435] ppid=8426 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8435/stat : 8435 (java) S 8426 8429 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52526684 15382630400 47739 33554432000 4194304 4196468 140728841874400 140435405744528 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8436] ppid=8426 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8436/stat : 8436 (java) S 8426 8429 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52526686 15382630400 47739 33554432000 4194304 4196468 140728841874400 140434985183984 140435946924674 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
################
# More data... #
################
/proc/meminfo: memFree=9782412/32770624 swapFree=67108860/67108860
[pid=8429] ppid=8426 vsize=15683912 memory=3120040 CPUtime=25.19 cores=0,2,4,6
/proc/8429/stat : 8429 (java) S 8426 8429 2271 0 -1 1077944320 41190 0 0 0 2398 121 0 0 20 0 19 0 52526682 16060325888 780010 33554432000 4194304 4196468 140728841874400 140728841856944 140435946913527 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
/proc/8429/statm: 3920978 780010 3239 1 0 3881834 0
[pid=8445] ppid=8429 vsize=149184 memory=126468 CPUtime=2432.73 cores=0,2,4,6
/proc/8445/stat : 8445 (minisat_release) R 8429 8429 2271 0 -1 4202496 187883 0 0 0 243259 14 0 0 20 0 1 0 52527656 152764416 31617 33554432000 4194304 4308513 140728889814000 140728889810904 4275676 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 25497600 140728889815729 140728889816238 140728889816238 140728889819077 0
/proc/8445/statm: 37296 31617 354 28 0 33536 0
[pid=8429/tid=8431] ppid=8426 vsize=15683912 memory=3120040 CPUtime=9.61 cores=0,2,4,6
/proc/8429/task/8431/stat : 8431 (java) S 8426 8429 2271 0 -1 1077944384 18575 0 0 0 913 48 0 0 20 0 19 0 52526683 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435918752768 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8432] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0.1 cores=0,2,4,6
/proc/8429/task/8432/stat : 8432 (java) S 8426 8429 2271 0 -1 1077944384 42 0 0 0 8 2 0 0 20 0 19 0 52526684 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435951155728 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8433] ppid=8426 vsize=15683912 memory=126468 CPUtime=0.1 cores=0,2,4,6
/proc/8429/task/8433/stat : 8433 (java) S 8426 8429 2271 0 -1 1077944384 51 0 0 0 8 2 0 0 20 0 19 0 52526684 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435769244304 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8434] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0.1 cores=0,2,4,6
/proc/8429/task/8434/stat : 8434 (java) S 8426 8429 2271 0 -1 1077944384 61 0 0 0 8 2 0 0 20 0 19 0 52526684 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435768191248 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8435] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0.1 cores=0,2,4,6
/proc/8429/task/8435/stat : 8435 (java) S 8426 8429 2271 0 -1 1077944384 69 0 0 0 8 2 0 0 20 0 19 0 52526684 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435405744528 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8436] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0.05 cores=0,2,4,6
/proc/8429/task/8436/stat : 8436 (java) S 8426 8429 2271 0 -1 1077944384 25 0 0 0 3 2 0 0 20 0 19 0 52526686 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434985183984 140435946924674 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8437] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8437/stat : 8437 (java) S 8426 8429 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52526686 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434491827872 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8438] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8438/stat : 8438 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52526687 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434223392000 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8439] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8439/stat : 8439 (java) S 8426 8429 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140433848883664 140435946932123 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8440] ppid=8426 vsize=15683912 memory=928 CPUtime=6.27 cores=0,2,4,6
/proc/8429/task/8440/stat : 8440 (java) S 8426 8429 2271 0 -1 1077944384 7082 0 0 0 625 2 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434984130800 140435946924674 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8441] ppid=8426 vsize=15683912 memory=3120040 CPUtime=5.95 cores=0,2,4,6
/proc/8429/task/8441/stat : 8441 (java) S 8426 8429 2271 0 -1 1077944384 6887 0 0 0 592 3 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434983078256 140435946924674 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8442] ppid=8426 vsize=15683912 memory=3120040 CPUtime=1.56 cores=0,2,4,6
/proc/8429/task/8442/stat : 8442 (java) S 8426 8429 2271 0 -1 1077944384 6831 0 0 0 154 2 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434982025200 140435946924674 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8443] ppid=8426 vsize=15683912 memory=126468 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8443/stat : 8443 (java) S 8426 8429 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140433350977888 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8444] ppid=8426 vsize=15683912 memory=1704 CPUtime=1.23 cores=0,2,4,6
/proc/8429/task/8444/stat : 8444 (java) S 8426 8429 2271 0 -1 1077944384 163 0 0 0 64 59 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434980973616 140435946924674 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8446] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8446/stat : 8446 (java) S 8426 8429 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52527656 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435767138112 140435946938137 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8448] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8448/stat : 8448 (java) S 8426 8429 2271 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 52527656 16060325888 780010 33554432000 4194304 4196468 140728841874400 140432814092080 140435946935453 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8449] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8449/stat : 8449 (java) S 8426 8429 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52527656 16060325888 780010 33554432000 4194304 4196468 140728841874400 140432679869872 140435946935453 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8450] ppid=8426 vsize=15683912 memory=126468 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8450/stat : 8450 (java) S 8426 8429 2271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52527658 16060325888 780010 33554432000 4194304 4196468 140728841874400 140432948321568 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
Current children cumulated CPU time: 2457.92 s
Current children cumulated vsize: 15833096 KiB
Current children cumulated memory: 3246508 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/225 8629
/proc/meminfo: memFree=9782832/32770624 swapFree=67108860/67108860
[pid=8429] ppid=8426 vsize=15683912 memory=3120040 CPUtime=25.23 cores=0,2,4,6
/proc/8429/stat : 8429 (java) S 8426 8429 2271 0 -1 1077944320 41194 0 0 0 2400 123 0 0 20 0 19 0 52526682 16060325888 780010 33554432000 4194304 4196468 140728841874400 140728841856944 140435946913527 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
/proc/8429/statm: 3920978 780010 3239 1 0 3881834 0
[pid=8445] ppid=8429 vsize=149184 memory=126468 CPUtime=2492.74 cores=0,2,4,6
/proc/8445/stat : 8445 (minisat_release) R 8429 8429 2271 0 -1 4202496 194115 0 0 0 249260 14 0 0 20 0 1 0 52527656 152764416 31617 33554432000 4194304 4308513 140728889814000 140728889810904 4276465 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 25497600 140728889815729 140728889816238 140728889816238 140728889819077 0
/proc/8445/statm: 37296 31617 354 28 0 33536 0
[pid=8429/tid=8431] ppid=8426 vsize=15683912 memory=3120040 CPUtime=9.61 cores=0,2,4,6
/proc/8429/task/8431/stat : 8431 (java) S 8426 8429 2271 0 -1 1077944384 18575 0 0 0 913 48 0 0 20 0 19 0 52526683 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435918752768 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8432] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0.1 cores=0,2,4,6
/proc/8429/task/8432/stat : 8432 (java) S 8426 8429 2271 0 -1 1077944384 42 0 0 0 8 2 0 0 20 0 19 0 52526684 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435951155728 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8433] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0.1 cores=0,2,4,6
/proc/8429/task/8433/stat : 8433 (java) S 8426 8429 2271 0 -1 1077944384 51 0 0 0 8 2 0 0 20 0 19 0 52526684 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435769244304 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8434] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0.1 cores=0,2,4,6
/proc/8429/task/8434/stat : 8434 (java) S 8426 8429 2271 0 -1 1077944384 61 0 0 0 8 2 0 0 20 0 19 0 52526684 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435768191248 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8435] ppid=8426 vsize=15683912 memory=126468 CPUtime=0.1 cores=0,2,4,6
/proc/8429/task/8435/stat : 8435 (java) S 8426 8429 2271 0 -1 1077944384 69 0 0 0 8 2 0 0 20 0 19 0 52526684 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435405744528 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8436] ppid=8426 vsize=15683912 memory=126468 CPUtime=0.05 cores=0,2,4,6
/proc/8429/task/8436/stat : 8436 (java) S 8426 8429 2271 0 -1 1077944384 25 0 0 0 3 2 0 0 20 0 19 0 52526686 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434985183984 140435946924674 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8437] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8437/stat : 8437 (java) S 8426 8429 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52526686 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434491827872 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8438] ppid=8426 vsize=15683912 memory=126468 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8438/stat : 8438 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52526687 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434223392000 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8439] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8439/stat : 8439 (java) S 8426 8429 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140433848883664 140435946932123 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8440] ppid=8426 vsize=15683912 memory=3120040 CPUtime=6.27 cores=0,2,4,6
/proc/8429/task/8440/stat : 8440 (java) S 8426 8429 2271 0 -1 1077944384 7082 0 0 0 625 2 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434984130800 140435946924674 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8441] ppid=8426 vsize=15683912 memory=709 CPUtime=5.95 cores=0,2,4,6
/proc/8429/task/8441/stat : 8441 (java) S 8426 8429 2271 0 -1 1077944384 6887 0 0 0 592 3 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434983078256 140435946924674 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8442] ppid=8426 vsize=15683912 memory=126468 CPUtime=1.56 cores=0,2,4,6
/proc/8429/task/8442/stat : 8442 (java) S 8426 8429 2271 0 -1 1077944384 6831 0 0 0 154 2 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434982025200 140435946924674 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8443] ppid=8426 vsize=15683912 memory=36262408890827 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8443/stat : 8443 (java) S 8426 8429 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140433350977888 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8444] ppid=8426 vsize=15683912 memory=3120040 CPUtime=1.25 cores=0,2,4,6
/proc/8429/task/8444/stat : 8444 (java) S 8426 8429 2271 0 -1 1077944384 167 0 0 0 65 60 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434980973616 140435946924674 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8446] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8446/stat : 8446 (java) S 8426 8429 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52527656 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435767138112 140435946938137 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8448] ppid=8426 vsize=15683912 memory=126468 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8448/stat : 8448 (java) S 8426 8429 2271 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 52527656 16060325888 780010 33554432000 4194304 4196468 140728841874400 140432814092080 140435946935453 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8449] ppid=8426 vsize=15683912 memory=17024 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8449/stat : 8449 (java) S 8426 8429 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52527656 16060325888 780010 33554432000 4194304 4196468 140728841874400 140432679869872 140435946935453 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8450] ppid=8426 vsize=15683912 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8450/stat : 8450 (java) S 8426 8429 2271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52527658 16060325888 780010 33554432000 4194304 4196468 140728841874400 140432948321568 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
Current children cumulated CPU time: 2517.97 s
Current children cumulated vsize: 15833096 KiB
Current children cumulated memory: 3246508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2504.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/225 8629
/proc/meminfo: memFree=9782832/32770624 swapFree=67108860/67108860
[pid=8429] ppid=8426 vsize=15683912 memory=3120040 CPUtime=25.23 cores=0,2,4,6
/proc/8429/stat : 8429 (java) S 8426 8429 2271 0 -1 1077944320 41194 0 0 0 2400 123 0 0 20 0 19 0 52526682 16060325888 780010 33554432000 4194304 4196468 140728841874400 140728841856944 140435946913527 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
/proc/8429/statm: 3920978 780010 3239 1 0 3881834 0
[pid=8445] ppid=8429 vsize=149184 memory=126468 CPUtime=2494.84 cores=0,2,4,6
/proc/8445/stat : 8445 (minisat_release) R 8429 8429 2271 0 -1 4202496 194116 0 0 0 249470 14 0 0 20 0 1 0 52527656 152764416 31617 33554432000 4194304 4308513 140728889814000 140728889810904 4264010 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 25497600 140728889815729 140728889816238 140728889816238 140728889819077 0
/proc/8445/statm: 37296 31617 354 28 0 33536 0
[pid=8429/tid=8431] ppid=8426 vsize=15683912 memory=-5059952977386882957 CPUtime=9.61 cores=0,2,4,6
/proc/8429/task/8431/stat : 8431 (java) S 8426 8429 2271 0 -1 1077944384 18575 0 0 0 913 48 0 0 20 0 19 0 52526683 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435918752768 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8432] ppid=8426 vsize=15683912 memory=7528 CPUtime=0.1 cores=0,2,4,6
/proc/8429/task/8432/stat : 8432 (java) S 8426 8429 2271 0 -1 1077944384 42 0 0 0 8 2 0 0 20 0 19 0 52526684 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435951155728 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8433] ppid=8426 vsize=15683912 memory=844 CPUtime=0.1 cores=0,2,4,6
/proc/8429/task/8433/stat : 8433 (java) S 8426 8429 2271 0 -1 1077944384 51 0 0 0 8 2 0 0 20 0 19 0 52526684 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435769244304 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8434] ppid=8426 vsize=15683912 memory=4108 CPUtime=0.1 cores=0,2,4,6
/proc/8429/task/8434/stat : 8434 (java) S 8426 8429 2271 0 -1 1077944384 61 0 0 0 8 2 0 0 20 0 19 0 52526684 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435768191248 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8435] ppid=8426 vsize=15683912 memory=1408 CPUtime=0.1 cores=0,2,4,6
/proc/8429/task/8435/stat : 8435 (java) S 8426 8429 2271 0 -1 1077944384 69 0 0 0 8 2 0 0 20 0 19 0 52526684 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435405744528 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8436] ppid=8426 vsize=15683912 memory=3120040 CPUtime=0.05 cores=0,2,4,6
/proc/8429/task/8436/stat : 8436 (java) S 8426 8429 2271 0 -1 1077944384 25 0 0 0 3 2 0 0 20 0 19 0 52526686 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434985183984 140435946924674 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8437] ppid=8426 vsize=15683912 memory=126468 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8437/stat : 8437 (java) S 8426 8429 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52526686 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434491827872 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8438] ppid=8426 vsize=15683912 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8438/stat : 8438 (java) S 8426 8429 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52526687 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434223392000 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8439] ppid=8426 vsize=15683912 memory=960 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8439/stat : 8439 (java) S 8426 8429 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140433848883664 140435946932123 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8440] ppid=8426 vsize=15683912 memory=1232 CPUtime=6.27 cores=0,2,4,6
/proc/8429/task/8440/stat : 8440 (java) S 8426 8429 2271 0 -1 1077944384 7082 0 0 0 625 2 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434984130800 140435946924674 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8441] ppid=8426 vsize=15683912 memory=2344 CPUtime=5.95 cores=0,2,4,6
/proc/8429/task/8441/stat : 8441 (java) S 8426 8429 2271 0 -1 1077944384 6887 0 0 0 592 3 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434983078256 140435946924674 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8442] ppid=8426 vsize=15683912 memory=928 CPUtime=1.56 cores=0,2,4,6
/proc/8429/task/8442/stat : 8442 (java) S 8426 8429 2271 0 -1 1077944384 6831 0 0 0 154 2 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434982025200 140435946924674 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8443] ppid=8426 vsize=15683912 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8443/stat : 8443 (java) S 8426 8429 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140433350977888 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8444] ppid=8426 vsize=15683912 memory=2240 CPUtime=1.25 cores=0,2,4,6
/proc/8429/task/8444/stat : 8444 (java) S 8426 8429 2271 0 -1 1077944384 167 0 0 0 65 60 0 0 20 0 19 0 52526689 16060325888 780010 33554432000 4194304 4196468 140728841874400 140434980973616 140435946924674 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8446] ppid=8426 vsize=15683912 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8446/stat : 8446 (java) S 8426 8429 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52527656 16060325888 780010 33554432000 4194304 4196468 140728841874400 140435767138112 140435946938137 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8448] ppid=8426 vsize=15683912 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8448/stat : 8448 (java) S 8426 8429 2271 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 52527656 16060325888 780010 33554432000 4194304 4196468 140728841874400 140432814092080 140435946935453 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8449] ppid=8426 vsize=15683912 memory=920 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8449/stat : 8449 (java) S 8426 8429 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52527656 16060325888 780010 33554432000 4194304 4196468 140728841874400 140432679869872 140435946935453 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
[pid=8429/tid=8450] ppid=8426 vsize=15683912 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/8429/task/8450/stat : 8450 (java) S 8426 8429 2271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52527658 16060325888 780010 33554432000 4194304 4196468 140728841874400 140432948321568 140435946923733 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140728841876467 140728841876745 140728841876745 140728841879503 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15833096 KiB
Current children cumulated memory: 3246508 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2504.43 s]
# the end of solver process 8429 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.71 s, system=1.40197 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2504.43
CPU time (s): 2520.11
CPU user time (s): 2518.71
CPU system time (s): 1.40197
CPU usage (%): 100.626
Max. virtual memory (cumulated for all children) (KiB): 15833096
Max. memory (cumulated for all children) (KiB): 3246508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.71
system time used= 1.40197
maximum resident set size= 3127516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235381
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59827
involuntary context switches= 727
# summary of solver processes directly reported to runsolver:
# pid: 8429
# total CPU time (s): 2520.11
# total CPU user time (s): 2518.71
# total CPU system time (s): 1.40197
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0434 second user time and 26.3019 second system time
The end