0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Thu Jul 26 01:20:36 CEST 2018
0.67/0.54 c PID: 4306
0.67/0.54 c IP: 172.20.3.102
0.67/0.54 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.45/1.23 c (0,0) Parsing End
2.45/1.24 c (0,0) CSP: 780 int (0 aux), 0 bool (0 aux), 762 ctr, max domain size 20
2.45/1.24 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.45/1.24 c (0,0) Constraint Name Generate Begin
2.45/1.26 c (0,0) Ctr:HOME/instance-4295849-1532560836.xml,AllDifferentMatrix:Element:Instantiation:IntVar
2.45/1.26 c (0,0) Constraint Name Generate End
2.45/1.26 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.45/1.26 c (0,0) CSP to CSPinCNF Begin
4.80/2.05 c (1,1) translated 77 (10%) constraints
5.12/2.25 c (1,1) translated 153 (20%) constraints
5.43/2.34 c (1,1) translated 229 (30%) constraints
5.73/2.42 c (1,1) translated 305 (40%) constraints
5.73/2.48 c (1,1) translated 381 (50%) constraints
6.04/2.55 c (2,1) translated 458 (60%) constraints
6.34/2.61 c (2,1) translated 534 (70%) constraints
6.34/2.66 c (2,2) translated 610 (80%) constraints
6.64/2.71 c (2,2) translated 686 (90%) constraints
6.64/2.76 c (2,2) translated 762 (100%) constraints
7.49/3.04 c (2,2) STATISTICS1:HOME/instance-4295849-1532560836.xml,AllDifferentMatrix:Element:Instantiation:IntVar,780,22900,20,20,20,2,20:35720;1:2280,20:60800;1:1620,20:80;3:15200;2:7600;1:20,2:38000;1:16840,
7.49/3.04 c (2,2) ===========================================
7.49/3.04 c (2,2) Both Encoding selects:
7.49/3.04 c (2,2) Order
7.49/3.04 c (2,2) ===========================================
7.86/3.18 c (2,2) translated 2290 (10%) constraints
8.14/3.26 c (2,2) translated 4580 (20%) constraints
8.44/3.34 c (2,2) translated 6870 (30%) constraints
9.36/3.62 c (3,2) translated 9160 (40%) constraints
9.96/3.88 c (3,3) translated 11450 (50%) constraints
10.38/4.08 c (3,3) translated 13740 (60%) constraints
10.90/4.28 c (3,3) translated 16030 (70%) constraints
11.30/4.46 c (3,3) translated 18320 (80%) constraints
11.51/4.65 c (4,4) translated 20610 (90%) constraints
11.74/4.82 c (4,4) translated 22900 (100%) constraints
11.74/4.82 c (4,4) CSP to CSPinCNF End
11.74/4.83 c (4,4) CSP: 780 int (0 aux), 14820 bool (14820 aux), 53320 ctr, max domain size 20
11.74/4.83 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
11.74/4.83 c (4,4) CSPinCNF Propagation Begin
12.62/5.19 c (4,4) 2 values, 1988 unsatisfiable literals, and 360 valid clauses are removed
12.62/5.19 c (4,4) CSPinCNF Propagation End
12.62/5.20 c (4,4) CSP: 780 int (0 aux), 14820 bool (14820 aux), 52960 ctr, max domain size 20
12.62/5.20 c (4,4) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.62/5.20 c (4,4) Simplify CSPinCNF Begin
13.97/5.60 c (5,4) Simplify CSPinCNF End
13.97/5.61 c (5,4) CSP: 780 int (0 aux), 29860 bool (29860 aux), 68000 ctr, max domain size 20
13.97/5.61 c (5,4) Heap : 1577 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.97/5.61 c (5,4) Calculate Precise Domain Begin
13.97/5.61 c (5,4) 0 values are removed by re-calculation
13.97/5.61 c (5,4) Calculate Precise Domain End
13.97/5.62 c (5,4) CSP: 780 int (0 aux), 29860 bool (29860 aux), 68000 ctr, max domain size 20
13.97/5.62 c (5,4) Heap : 1577 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.97/5.62 c (5,4) CSPinCNF to SatSolver Begin
15.53/6.12 c (5,5) 6800 (10 %) CSP clauses are encoded (44220 SAT variables, 97097 SAT clauses)
15.92/6.35 c (5,5) 13600 (20 %) CSP clauses are encoded (44220 SAT variables, 180901 SAT clauses)
16.21/6.58 c (6,5) 20400 (30 %) CSP clauses are encoded (44220 SAT variables, 264091 SAT clauses)
16.53/6.80 c (6,6) 27200 (40 %) CSP clauses are encoded (44220 SAT variables, 348423 SAT clauses)
16.73/7.02 c (6,6) 34000 (50 %) CSP clauses are encoded (44220 SAT variables, 432532 SAT clauses)
17.18/7.34 c (6,6) 40800 (60 %) CSP clauses are encoded (44220 SAT variables, 516623 SAT clauses)
17.50/7.55 c (7,6) 47600 (70 %) CSP clauses are encoded (44220 SAT variables, 601052 SAT clauses)
17.71/7.74 c (7,7) 54400 (80 %) CSP clauses are encoded (44220 SAT variables, 685294 SAT clauses)
17.90/7.93 c (7,7) 61200 (90 %) CSP clauses are encoded (44220 SAT variables, 769484 SAT clauses)
18.12/8.11 c (7,7) 68000 (100 %) CSP clauses are encoded (44220 SAT variables, 853775 SAT clauses)
18.12/8.11 c (7,7) CSPinCNF to SatSolver End
18.12/8.11 c (7,7) Heap : 971 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
18.68/8.37 c (7,7) STATISTICS2:HOME/instance-4295849-1532560836.xml,AllDifferentMatrix:Element:Instantiation:IntVar,30640,68000,20,20,18,2,20:33048;19:8632;18:880;1:2804,20:101316;19:15232;18:1304;2:75444;1:2804,18:76;3:13520;2:54404,2:45364;1:105372,
18.68/8.37 c (7,7) SatSolver.solve Begin
18.68/8.37 c (7,7) 44220 bool, 853776 clause
18.68/8.37 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-4295849-1532560836.xml-scop-4306.cnf HOME/instance-4295849-1532560836.xml-scop-4306.cnf.out
1386.89/1375.50 c (1374,0) receiving signal SIGTERM
1386.89/1375.50 s UNKNOWN
1386.89/1375.51 c (1374,7) SatSolver is killed by some reasons.
1386.89/1375.51 c (1374,7) 0,0,4,4,5,5,7,TO,TO,STOP-AFTER(DIMACS)
1386.89/1375.51 c END-Prog: Thu Jul 26 01:43:31 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 (7385 MiB free)
memory of node 1: 16384 MiB (15583 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295849-1532560836/watcher-4295849-1532560836 -o /tmp/evaluation-result-4295849-1532560836/solver-4295849-1532560836 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295849-1532560836.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=4306, runsolver pid=4303
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 1.99 2.10 2.12 3/220 4321
/proc/meminfo: memFree=23460400/32770624 swapFree=67076648/67108860
[pid=4306] ppid=4303 vsize=15011656 memory=72740 CPUtime=0.11 cores=1,3,5,7
/proc/4306/stat : 4306 (java) S 4303 4306 29212 0 -1 1077944320 6925 0 0 0 10 1 0 0 20 0 15 0 73646738 15371935744 18185 33554432000 4194304 4196468 140726664031216 140726664013760 140602459242231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
/proc/4306/statm: 3752914 18185 2751 1 0 3715374 0
[pid=4306/tid=4308] ppid=4303 vsize=15011656 memory=7100839887284243048 CPUtime=0.09 cores=1,3,5,7
/proc/4306/task/4308/stat : 4308 (java) R 4303 4306 29212 0 -1 4202560 5384 0 0 0 8 1 0 0 20 0 15 0 73646738 15371935744 18515 33554432000 4194304 4196468 140726664031216 140602431068560 140602439519056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4309] ppid=4303 vsize=15011656 memory=3472328295574039403 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4309/stat : 4309 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646740 15371935744 18581 33554432000 4194304 4196468 140726664031216 140602463484816 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4310] ppid=4303 vsize=15011656 memory=140599522678400 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4310/stat : 4310 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646740 15371935744 18581 33554432000 4194304 4196468 140726664031216 140602277640976 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4311] ppid=4303 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4311/stat : 4311 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646740 15371935744 18581 33554432000 4194304 4196468 140726664031216 140602276588688 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4312] ppid=4303 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4312/stat : 4312 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646740 15371935744 18581 33554432000 4194304 4196468 140726664031216 140602275535888 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4313] ppid=4303 vsize=15011656 memory=140599522678400 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4313/stat : 4313 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646741 15371935744 18581 33554432000 4194304 4196468 140726664031216 140601865971824 140602459253378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4314] ppid=4303 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4314/stat : 4314 (java) S 4303 4306 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73646742 15371935744 18581 33554432000 4194304 4196468 140726664031216 140601056027424 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4315] ppid=4303 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4315/stat : 4315 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646742 15371935744 18581 33554432000 4194304 4196468 140726664031216 140600787592304 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4316] ppid=4303 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4316/stat : 4316 (java) S 4303 4306 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646744 15371935744 18581 33554432000 4194304 4196468 140726664031216 140600413083728 140602459260827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4317] ppid=4303 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4317/stat : 4317 (java) S 4303 4306 29212 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 73646744 15371935744 18581 33554432000 4194304 4196468 140726664031216 140601864919664 140602459253378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4318] ppid=4303 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4318/stat : 4318 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646744 15371935744 18581 33554432000 4194304 4196468 140726664031216 140601863866864 140602459253378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4319] ppid=4303 vsize=15011656 memory=140599522678400 CPUtime=0.01 cores=1,3,5,7
/proc/4306/task/4319/stat : 4319 (java) S 4303 4306 29212 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 73646744 15371935744 18581 33554432000 4194304 4196468 140726664031216 140601862814576 140602459253378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4320] ppid=4303 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4320/stat : 4320 (java) S 4303 4306 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646745 15371935744 18647 33554432000 4194304 4196468 140726664031216 140599915178976 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4321] ppid=4303 vsize=15011656 memory=140599522678400 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4321/stat : 4321 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646745 15371935744 18647 33554432000 4194304 4196468 140726664031216 140601794226608 140602459253378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72740 KiB
[startup+0.210436 s]*
/proc/loadavg: 1.99 2.10 2.12 3/220 4321
/proc/meminfo: memFree=23446572/32770624 swapFree=67076648/67108860
[pid=4306] ppid=4303 vsize=15011656 memory=85600 CPUtime=0.26 cores=1,3,5,7
/proc/4306/stat : 4306 (java) S 4303 4306 29212 0 -1 1077944320 10364 0 0 0 24 2 0 0 20 0 15 0 73646738 15371935744 21400 33554432000 4194304 4196468 140726664031216 140726664013760 140602459242231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
/proc/4306/statm: 3752914 21400 2887 1 0 3715374 0
[pid=4306/tid=4308] ppid=4303 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4306/task/4308/stat : 4308 (java) R 4303 4306 29212 0 -1 4202560 8283 0 0 0 18 2 0 0 20 0 15 0 73646738 15371935744 21465 33554432000 4194304 4196468 140726664031216 140602431068624 140602443322748 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4309] ppid=4303 vsize=15011656 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4309/stat : 4309 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646740 15371935744 21465 33554432000 4194304 4196468 140726664031216 140602463484816 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4310] ppid=4303 vsize=15011656 memory=140599522707670 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4310/stat : 4310 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646740 15371935744 21465 33554432000 4194304 4196468 140726664031216 140602277640976 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4311] ppid=4303 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4311/stat : 4311 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646740 15371935744 21465 33554432000 4194304 4196468 140726664031216 140602276588688 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4312] ppid=4303 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4312/stat : 4312 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646740 15371935744 21465 33554432000 4194304 4196468 140726664031216 140602275535888 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4313] ppid=4303 vsize=15011656 memory=140599522678400 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4313/stat : 4313 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646741 15371935744 21465 33554432000 4194304 4196468 140726664031216 140601865971824 140602459253378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4314] ppid=4303 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4314/stat : 4314 (java) S 4303 4306 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73646742 15371935744 21465 33554432000 4194304 4196468 140726664031216 140601056027424 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4315] ppid=4303 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4315/stat : 4315 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646742 15371935744 21465 33554432000 4194304 4196468 140726664031216 140600787592304 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4316] ppid=4303 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4316/stat : 4316 (java) S 4303 4306 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646744 15371935744 21465 33554432000 4194304 4196468 140726664031216 140600413083728 140602459260827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4317] ppid=4303 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4306/task/4317/stat : 4317 (java) R 4303 4306 29212 0 -1 1077944384 426 0 0 0 1 0 0 0 20 0 15 0 73646744 15371935744 21465 33554432000 4194304 4196468 140726664031216 140601864919664 140602459253378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4318] ppid=4303 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4318/stat : 4318 (java) R 4303 4306 29212 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 15 0 73646744 15371935744 21465 33554432000 4194304 4196468 140726664031216 140601863866864 140602438405392 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4319] ppid=4303 vsize=15011656 memory=140599522678400 CPUtime=0.03 cores=1,3,5,7
/proc/4306/task/4319/stat : 4319 (java) S 4303 4306 29212 0 -1 1077944384 285 0 0 0 3 0 0 0 20 0 15 0 73646744 15371935744 21465 33554432000 4194304 4196468 140726664031216 140601862814576 140602459253378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4320] ppid=4303 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4320/stat : 4320 (java) S 4303 4306 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646745 15371935744 21465 33554432000 4194304 4196468 140726664031216 140599915178976 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4321] ppid=4303 vsize=15011656 memory=140599522678400 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4321/stat : 4321 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646745 15371935744 21465 33554432000 4194304 4196468 140726664031216 140601794226608 140602459253378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85600 KiB
[startup+0.310587 s]*
/proc/loadavg: 1.99 2.10 2.12 3/220 4321
/proc/meminfo: memFree=23443036/32770624 swapFree=67076648/67108860
[pid=4306] ppid=4303 vsize=15011656 memory=89492 CPUtime=0.43 cores=1,3,5,7
/proc/4306/stat : 4306 (java) S 4303 4306 29212 0 -1 1077944320 10985 0 0 0 41 2 0 0 20 0 15 0 73646738 15371935744 22373 33554432000 4194304 4196468 140726664031216 140726664013760 140602459242231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
/proc/4306/statm: 3752914 22373 2988 1 0 3715374 0
[pid=4306/tid=4308] ppid=4303 vsize=15011656 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/4306/task/4308/stat : 4308 (java) R 4303 4306 29212 0 -1 4202560 8715 0 0 0 27 2 0 0 20 0 15 0 73646738 15371935744 22373 33554432000 4194304 4196468 140726664031216 140602431069856 140602444407886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4309] ppid=4303 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4309/stat : 4309 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646740 15371935744 22373 33554432000 4194304 4196468 140726664031216 140602463484816 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4310] ppid=4303 vsize=15011656 memory=140599522678400 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4310/stat : 4310 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646740 15371935744 22373 33554432000 4194304 4196468 140726664031216 140602277640976 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4311] ppid=4303 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4311/stat : 4311 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646740 15371935744 22373 33554432000 4194304 4196468 140726664031216 140602276588688 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4312] ppid=4303 vsize=15011656 memory=140599378419919 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4312/stat : 4312 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646740 15371935744 22373 33554432000 4194304 4196468 140726664031216 140602275535888 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4313] ppid=4303 vsize=15011656 memory=140599522678400 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4313/stat : 4313 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646741 15371935744 22373 33554432000 4194304 4196468 140726664031216 140601865971824 140602459253378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4314] ppid=4303 vsize=15011656 memory=140599378440655 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4314/stat : 4314 (java) S 4303 4306 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73646742 15371935744 22373 33554432000 4194304 4196468 140726664031216 140601056027424 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4315] ppid=4303 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4315/stat : 4315 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646742 15371935744 22373 33554432000 4194304 4196468 140726664031216 140600787592304 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4316] ppid=4303 vsize=15011656 memory=281198756853632 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4316/stat : 4316 (java) S 4303 4306 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646744 15371935744 22373 33554432000 4194304 4196468 140726664031216 140600413083728 140602459260827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4317] ppid=4303 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4306/task/4317/stat : 4317 (java) S 4303 4306 29212 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 15 0 73646744 15371935744 22373 33554432000 4194304 4196468 140726664031216 140601864919664 140602459253378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4318] ppid=4303 vsize=15011656 memory=140599378452367 CPUtime=0.03 cores=1,3,5,7
/proc/4306/task/4318/stat : 4318 (java) S 4303 4306 29212 0 -1 1077944384 109 0 0 0 3 0 0 0 20 0 15 0 73646744 15371935744 22373 33554432000 4194304 4196468 140726664031216 140601863866864 140602459253378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4319] ppid=4303 vsize=15011656 memory=140599522678400 CPUtime=0.07 cores=1,3,5,7
/proc/4306/task/4319/stat : 4319 (java) S 4303 4306 29212 0 -1 1077944384 325 0 0 0 7 0 0 0 20 0 15 0 73646744 15371935744 22373 33554432000 4194304 4196468 140726664031216 140601862814576 140602459253378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4320] ppid=4303 vsize=15011656 memory=140599378457503 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4320/stat : 4320 (java) S 4303 4306 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646745 15371935744 22373 33554432000 4194304 4196468 140726664031216 140599915178976 140602459252437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4321] ppid=4303 vsize=15011656 memory=140599596325138 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4321/stat : 4321 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646745 15371935744 22373 33554432000 4194304 4196468 140726664031216 140601794226608 140602459253378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89492 KiB
[startup+0.703619 s]
/proc/loadavg: 1.99 2.10 2.12 3/220 4321
/proc/meminfo: memFree=23418356/32770624 swapFree=67076648/67108860
[pid=4306] ppid=4303 vsize=15017928 memory=131488 CPUtime=1.06 cores=1,3,5,7
/proc/4306/stat : 4306 (java) S 4303 4306 29212 0 -1 1077944320 18128 0 0 0 102 4 0 0 20 0 15 0 73646738 15378358272 32872 33554432000 4194304 4196468 140726664031216 140726664013760 140602459242231 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
/proc/4306/statm: 3754482 32872 3147 1 0 3715886 0
[pid=4306/tid=4308] ppid=4303 vsize=15017928 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/4306/task/4308/stat : 4308 (java) R 4303 4306 29212 0 -1 4202560 15280 0 0 0 64 4 0 0 20 0 15 0 73646738 15378358272 32872 33554432000 4194304 4196468 140726664031216 140602431077680 140602443322718 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4309] ppid=4303 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4309/stat : 4309 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646740 15378358272 32872 33554432000 4194304 4196468 140726664031216 140602463484816 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4310] ppid=4303 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4310/stat : 4310 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646740 15378358272 32872 33554432000 4194304 4196468 140726664031216 140602277640976 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4311] ppid=4303 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4311/stat : 4311 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646740 15378358272 32872 33554432000 4194304 4196468 140726664031216 140602276588688 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4312] ppid=4303 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4312/stat : 4312 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646740 15378358272 32872 33554432000 4194304 4196468 140726664031216 140602275535888 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4313] ppid=4303 vsize=15017928 memory=159123572270136 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4313/stat : 4313 (java) S 4303 4306 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73646741 15378358272 32872 33554432000 4194304 4196468 140726664031216 140601865971824 140602459253378 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4314] ppid=4303 vsize=15017928 memory=431795 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4314/stat : 4314 (java) S 4303 4306 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73646742 15378358272 32872 33554432000 4194304 4196468 140726664031216 140601056027424 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4315] ppid=4303 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4315/stat : 4315 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646742 15378358272 32936 33554432000 4194304 4196468 140726664031216 140600787592304 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4316] ppid=4303 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4316/stat : 4316 (java) S 4303 4306 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646744 15378358272 32936 33554432000 4194304 4196468 140726664031216 140600413083728 140602459260827 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4317] ppid=4303 vsize=15017928 memory=7809523229951467576 CPUtime=0.07 cores=1,3,5,7
/proc/4306/task/4317/stat : 4317 (java) R 4303 4306 29212 0 -1 4202560 638 0 0 0 7 0 0 0 20 0 15 0 73646744 15378358272 32936 33554432000 4194304 4196468 140726664031216 140601864907344 140602451531680 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4318] ppid=4303 vsize=15017928 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/4306/task/4318/stat : 4318 (java) R 4303 4306 29212 0 -1 4202560 366 0 0 0 11 0 0 0 20 0 15 0 73646744 15378358272 32936 33554432000 4194304 4196468 140726664031216 140601863859824 140602437264897 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4319] ppid=4303 vsize=15017928 memory=-3472574513799858009 CPUtime=0.18 cores=1,3,5,7
/proc/4306/task/4319/stat : 4319 (java) S 4303 4306 29212 0 -1 1077944384 524 0 0 0 18 0 0 0 20 0 15 0 73646744 15378358272 32936 33554432000 4194304 4196468 140726664031216 140601862814576 140602459253378 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4320] ppid=4303 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4320/stat : 4320 (java) S 4303 4306 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73646745 15378358272 32936 33554432000 4194304 4196468 140726664031216 140599915178976 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4321] ppid=4303 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4321/stat : 4321 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646745 15378358272 32936 33554432000 4194304 4196468 140726664031216 140601794226608 140602459253378 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131488 KiB
[startup+1.50166 s]
/proc/loadavg: 1.99 2.10 2.12 4/220 4321
/proc/meminfo: memFree=23383740/32770624 swapFree=67076648/67108860
[pid=4306] ppid=4303 vsize=15022100 memory=212300 CPUtime=3.33 cores=1,3,5,7
/proc/4306/stat : 4306 (java) S 4303 4306 29212 0 -1 1077944320 21354 0 0 0 326 7 0 0 20 0 15 0 73646738 15382630400 52563 33554432000 4194304 4196468 140726664031216 140726664013760 140602459242231 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
/proc/4306/statm: 3755525 52563 3208 1 0 3716910 0
[pid=4306/tid=4308] ppid=4303 vsize=15022100 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/4306/task/4308/stat : 4308 (java) R 4303 4306 29212 0 -1 4202560 16415 0 0 0 142 5 0 0 20 0 15 0 73646738 15382630400 53075 33554432000 4194304 4196468 140726664031216 140602431074624 140601951392699 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4309] ppid=4303 vsize=15022100 memory=7377012078124618596 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4309/stat : 4309 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646740 15382630400 53075 33554432000 4194304 4196468 140726664031216 140602463484816 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4310] ppid=4303 vsize=15022100 memory=7662147316226877544 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4310/stat : 4310 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646740 15382630400 53075 33554432000 4194304 4196468 140726664031216 140602277640976 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4311] ppid=4303 vsize=15022100 memory=7662147342013195370 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4311/stat : 4311 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73646740 15382630400 53075 33554432000 4194304 4196468 140726664031216 140602276588688 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4312] ppid=4303 vsize=15022100 memory=7662149545281611881 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4312/stat : 4312 (java) S 4303 4306 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73646740 15382630400 53075 33554432000 4194304 4196468 140726664031216 140602275535888 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4313] ppid=4303 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4313/stat : 4313 (java) S 4303 4306 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73646741 15382630400 53075 33554432000 4194304 4196468 140726664031216 140601865971824 140602459253378 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
################
# More data... #
################
/proc/meminfo: memFree=20248332/32770624 swapFree=67076656/67108860
[pid=4306] ppid=4303 vsize=15683912 memory=3087684 CPUtime=19.74 cores=1,3,5,7
/proc/4306/stat : 4306 (java) S 4303 4306 29212 0 -1 1077944320 34589 0 0 0 1869 105 0 0 20 0 19 0 73646738 16060325888 771921 33554432000 4194304 4196468 140726664031216 140726664013760 140602459242231 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
/proc/4306/statm: 3920978 771921 3249 1 0 3881834 0
[pid=4322] ppid=4306 vsize=170716 memory=150516 CPUtime=1353.94 cores=1,3,5,7
/proc/4322/stat : 4322 (minisat_release) R 4306 4306 29212 0 -1 4202496 424654 0 0 0 135361 33 0 0 20 0 1 0 73647577 174813184 37629 33554432000 4194304 4308513 140728549963984 140728549960984 4276008 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 23588864 140728549966513 140728549967022 140728549967022 140728549969861 0
/proc/4322/statm: 42679 37629 353 28 0 38919 0
[pid=4306/tid=4308] ppid=4303 vsize=15683912 memory=3087684 CPUtime=8.21 cores=1,3,5,7
/proc/4306/task/4308/stat : 4308 (java) S 4303 4306 29212 0 -1 1077944384 18905 0 0 0 772 49 0 0 20 0 19 0 73646738 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602431081472 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4309] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0.07 cores=1,3,5,7
/proc/4306/task/4309/stat : 4309 (java) S 4303 4306 29212 0 -1 1077944384 133 0 0 0 6 1 0 0 20 0 19 0 73646740 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602463484816 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4310] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0.07 cores=1,3,5,7
/proc/4306/task/4310/stat : 4310 (java) S 4303 4306 29212 0 -1 1077944384 39 0 0 0 6 1 0 0 20 0 19 0 73646740 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602277640976 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4311] ppid=4303 vsize=15683912 memory=150516 CPUtime=0.07 cores=1,3,5,7
/proc/4306/task/4311/stat : 4311 (java) S 4303 4306 29212 0 -1 1077944384 82 0 0 0 6 1 0 0 20 0 19 0 73646740 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602276588688 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4312] ppid=4303 vsize=15683912 memory=150516 CPUtime=0.07 cores=1,3,5,7
/proc/4306/task/4312/stat : 4312 (java) S 4303 4306 29212 0 -1 1077944384 111 0 0 0 6 1 0 0 20 0 19 0 73646740 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602275535888 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4313] ppid=4303 vsize=15683912 memory=150516 CPUtime=0.04 cores=1,3,5,7
/proc/4306/task/4313/stat : 4313 (java) S 4303 4306 29212 0 -1 1077944384 24 0 0 0 2 2 0 0 20 0 19 0 73646741 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601865971824 140602459253378 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4314] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4314/stat : 4314 (java) S 4303 4306 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 73646742 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601056027424 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4315] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4315/stat : 4315 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73646742 16060325888 771921 33554432000 4194304 4196468 140726664031216 140600787592304 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4316] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4316/stat : 4316 (java) S 4303 4306 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73646744 16060325888 771921 33554432000 4194304 4196468 140726664031216 140600413083728 140602459260827 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4317] ppid=4303 vsize=15683912 memory=3087684 CPUtime=4.41 cores=1,3,5,7
/proc/4306/task/4317/stat : 4317 (java) S 4303 4306 29212 0 -1 1077944384 6120 0 0 0 440 1 0 0 20 0 19 0 73646744 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601864919664 140602459253378 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4318] ppid=4303 vsize=15683912 memory=3087684 CPUtime=4.46 cores=1,3,5,7
/proc/4306/task/4318/stat : 4318 (java) S 4303 4306 29212 0 -1 1077944384 3676 0 0 0 445 1 0 0 20 0 19 0 73646744 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601863866864 140602459253378 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4319] ppid=4303 vsize=15683912 memory=150516 CPUtime=1.43 cores=1,3,5,7
/proc/4306/task/4319/stat : 4319 (java) S 4303 4306 29212 0 -1 1077944384 4004 0 0 0 141 2 0 0 20 0 19 0 73646744 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601862814576 140602459253378 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4320] ppid=4303 vsize=15683912 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4320/stat : 4320 (java) S 4303 4306 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73646745 16060325888 771921 33554432000 4194304 4196468 140726664031216 140599915178976 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4321] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0.81 cores=1,3,5,7
/proc/4306/task/4321/stat : 4321 (java) S 4303 4306 29212 0 -1 1077944384 93 0 0 0 36 45 0 0 20 0 19 0 73646745 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601794226608 140602459253378 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4323] ppid=4303 vsize=15683912 memory=150516 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4323/stat : 4323 (java) S 4303 4306 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73647577 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602264536000 140602459266841 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4325] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4325/stat : 4325 (java) S 4303 4306 29212 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 73647577 16060325888 771921 33554432000 4194304 4196468 140726664031216 140599378292144 140602459264157 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4326] ppid=4303 vsize=15683912 memory=150516 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4326/stat : 4326 (java) S 4303 4306 29212 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 73647577 16060325888 771921 33554432000 4194304 4196468 140726664031216 140599512514352 140602459264157 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4327] ppid=4303 vsize=15683912 memory=796 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4327/stat : 4327 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73647579 16060325888 771921 33554432000 4194304 4196468 140726664031216 140599109868960 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
Current children cumulated CPU time: 1373.68 s
Current children cumulated vsize: 15854628 KiB
Current children cumulated memory: 3238200 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1375.5 s]
/proc/loadavg: 2.00 2.07 2.11 3/226 4368
/proc/meminfo: memFree=20248456/32770624 swapFree=67076656/67108860
[pid=4306] ppid=4303 vsize=15683912 memory=3087684 CPUtime=19.75 cores=1,3,5,7
/proc/4306/stat : 4306 (java) S 4303 4306 29212 0 -1 1077944320 34589 0 0 0 1870 105 0 0 20 0 19 0 73646738 16060325888 771921 33554432000 4194304 4196468 140726664031216 140726664013760 140602459242231 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
/proc/4306/statm: 3920978 771921 3249 1 0 3881834 0
[pid=4322] ppid=4306 vsize=220036 memory=182216 CPUtime=1367.14 cores=1,3,5,7
/proc/4322/stat : 4322 (minisat_release) R 4306 4306 29212 0 -1 4202496 424963 0 0 0 136680 34 0 0 20 0 1 0 73647577 225316864 45554 33554432000 4194304 4308513 140728549963984 140728549960888 4276008 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 23588864 140728549966513 140728549967022 140728549967022 140728549969861 0
/proc/4322/statm: 55009 45554 353 28 0 51249 0
[pid=4306/tid=4308] ppid=4303 vsize=15683912 memory=1008 CPUtime=8.21 cores=1,3,5,7
/proc/4306/task/4308/stat : 4308 (java) S 4303 4306 29212 0 -1 1077944384 18905 0 0 0 772 49 0 0 20 0 19 0 73646738 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602431081472 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4309] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0.07 cores=1,3,5,7
/proc/4306/task/4309/stat : 4309 (java) S 4303 4306 29212 0 -1 1077944384 133 0 0 0 6 1 0 0 20 0 19 0 73646740 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602463484816 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4310] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0.07 cores=1,3,5,7
/proc/4306/task/4310/stat : 4310 (java) S 4303 4306 29212 0 -1 1077944384 39 0 0 0 6 1 0 0 20 0 19 0 73646740 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602277640976 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4311] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0.07 cores=1,3,5,7
/proc/4306/task/4311/stat : 4311 (java) S 4303 4306 29212 0 -1 1077944384 82 0 0 0 6 1 0 0 20 0 19 0 73646740 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602276588688 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4312] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0.07 cores=1,3,5,7
/proc/4306/task/4312/stat : 4312 (java) S 4303 4306 29212 0 -1 1077944384 111 0 0 0 6 1 0 0 20 0 19 0 73646740 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602275535888 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4313] ppid=4303 vsize=15683912 memory=150516 CPUtime=0.04 cores=1,3,5,7
/proc/4306/task/4313/stat : 4313 (java) S 4303 4306 29212 0 -1 1077944384 24 0 0 0 2 2 0 0 20 0 19 0 73646741 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601865971824 140602459253378 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4314] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4314/stat : 4314 (java) S 4303 4306 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 73646742 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601056027424 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4315] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4315/stat : 4315 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73646742 16060325888 771921 33554432000 4194304 4196468 140726664031216 140600787592304 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4316] ppid=4303 vsize=15683912 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4316/stat : 4316 (java) S 4303 4306 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73646744 16060325888 771921 33554432000 4194304 4196468 140726664031216 140600413083728 140602459260827 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4317] ppid=4303 vsize=15683912 memory=19164 CPUtime=4.41 cores=1,3,5,7
/proc/4306/task/4317/stat : 4317 (java) S 4303 4306 29212 0 -1 1077944384 6120 0 0 0 440 1 0 0 20 0 19 0 73646744 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601864919664 140602459253378 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4318] ppid=4303 vsize=15683912 memory=3087684 CPUtime=4.46 cores=1,3,5,7
/proc/4306/task/4318/stat : 4318 (java) S 4303 4306 29212 0 -1 1077944384 3676 0 0 0 445 1 0 0 20 0 19 0 73646744 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601863866864 140602459253378 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4319] ppid=4303 vsize=15683912 memory=3087684 CPUtime=1.43 cores=1,3,5,7
/proc/4306/task/4319/stat : 4319 (java) S 4303 4306 29212 0 -1 1077944384 4004 0 0 0 141 2 0 0 20 0 19 0 73646744 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601862814576 140602459253378 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4320] ppid=4303 vsize=15683912 memory=281198758242816 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4320/stat : 4320 (java) S 4303 4306 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73646745 16060325888 771921 33554432000 4194304 4196468 140726664031216 140599915178976 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4321] ppid=4303 vsize=15683912 memory=288285571665899270 CPUtime=0.81 cores=1,3,5,7
/proc/4306/task/4321/stat : 4321 (java) S 4303 4306 29212 0 -1 1077944384 93 0 0 0 36 45 0 0 20 0 19 0 73646745 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601794226608 140602459253378 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4323] ppid=4303 vsize=15683912 memory=150516 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4323/stat : 4323 (java) S 4303 4306 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73647577 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602264536000 140602459266841 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4325] ppid=4303 vsize=15683912 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4325/stat : 4325 (java) S 4303 4306 29212 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 73647577 16060325888 771921 33554432000 4194304 4196468 140726664031216 140599378292144 140602459264157 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4326] ppid=4303 vsize=15683912 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4326/stat : 4326 (java) S 4303 4306 29212 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 73647577 16060325888 771921 33554432000 4194304 4196468 140726664031216 140599512514352 140602459264157 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4327] ppid=4303 vsize=15683912 memory=19164 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4327/stat : 4327 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73647579 16060325888 771921 33554432000 4194304 4196468 140726664031216 140599109868960 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
Current children cumulated CPU time: 1386.89 s
Current children cumulated vsize: 15903948 KiB
Current children cumulated memory: 3269900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1375.53 s]
# the end of solver process 4306 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1385.52 s, system=1.42406 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1375.5 s]
/proc/loadavg: 2.00 2.07 2.11 3/226 4368
/proc/meminfo: memFree=20248456/32770624 swapFree=67076656/67108860
[pid=4306] ppid=4303 vsize=15683912 memory=3087684 CPUtime=19.75 cores=1,3,5,7
/proc/4306/stat : 4306 (java) S 4303 4306 29212 0 -1 1077944320 34589 0 0 0 1870 105 0 0 20 0 19 0 73646738 16060325888 771921 33554432000 4194304 4196468 140726664031216 140726664013760 140602459242231 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
/proc/4306/statm: 3920978 771921 3249 1 0 3881834 0
[pid=4322] ppid=4306 vsize=220036 memory=182216 CPUtime=1367.14 cores=1,3,5,7
/proc/4322/stat : 4322 (minisat_release) R 4306 4306 29212 0 -1 4202496 424963 0 0 0 136680 34 0 0 20 0 1 0 73647577 225316864 45554 33554432000 4194304 4308513 140728549963984 140728549960888 4276008 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 23588864 140728549966513 140728549967022 140728549967022 140728549969861 0
/proc/4322/statm: 55009 45554 353 28 0 51249 0
[pid=4306/tid=4308] ppid=4303 vsize=15683912 memory=1008 CPUtime=8.21 cores=1,3,5,7
/proc/4306/task/4308/stat : 4308 (java) S 4303 4306 29212 0 -1 1077944384 18905 0 0 0 772 49 0 0 20 0 19 0 73646738 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602431081472 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4309] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0.07 cores=1,3,5,7
/proc/4306/task/4309/stat : 4309 (java) S 4303 4306 29212 0 -1 1077944384 133 0 0 0 6 1 0 0 20 0 19 0 73646740 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602463484816 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4310] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0.07 cores=1,3,5,7
/proc/4306/task/4310/stat : 4310 (java) S 4303 4306 29212 0 -1 1077944384 39 0 0 0 6 1 0 0 20 0 19 0 73646740 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602277640976 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4311] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0.07 cores=1,3,5,7
/proc/4306/task/4311/stat : 4311 (java) S 4303 4306 29212 0 -1 1077944384 82 0 0 0 6 1 0 0 20 0 19 0 73646740 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602276588688 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4312] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0.07 cores=1,3,5,7
/proc/4306/task/4312/stat : 4312 (java) S 4303 4306 29212 0 -1 1077944384 111 0 0 0 6 1 0 0 20 0 19 0 73646740 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602275535888 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4313] ppid=4303 vsize=15683912 memory=150516 CPUtime=0.04 cores=1,3,5,7
/proc/4306/task/4313/stat : 4313 (java) S 4303 4306 29212 0 -1 1077944384 24 0 0 0 2 2 0 0 20 0 19 0 73646741 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601865971824 140602459253378 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4314] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4314/stat : 4314 (java) S 4303 4306 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 73646742 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601056027424 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4315] ppid=4303 vsize=15683912 memory=3087684 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4315/stat : 4315 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73646742 16060325888 771921 33554432000 4194304 4196468 140726664031216 140600787592304 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4316] ppid=4303 vsize=15683912 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4316/stat : 4316 (java) S 4303 4306 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73646744 16060325888 771921 33554432000 4194304 4196468 140726664031216 140600413083728 140602459260827 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4317] ppid=4303 vsize=15683912 memory=19164 CPUtime=4.41 cores=1,3,5,7
/proc/4306/task/4317/stat : 4317 (java) S 4303 4306 29212 0 -1 1077944384 6120 0 0 0 440 1 0 0 20 0 19 0 73646744 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601864919664 140602459253378 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4318] ppid=4303 vsize=15683912 memory=3087684 CPUtime=4.46 cores=1,3,5,7
/proc/4306/task/4318/stat : 4318 (java) S 4303 4306 29212 0 -1 1077944384 3676 0 0 0 445 1 0 0 20 0 19 0 73646744 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601863866864 140602459253378 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4319] ppid=4303 vsize=15683912 memory=3087684 CPUtime=1.43 cores=1,3,5,7
/proc/4306/task/4319/stat : 4319 (java) S 4303 4306 29212 0 -1 1077944384 4004 0 0 0 141 2 0 0 20 0 19 0 73646744 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601862814576 140602459253378 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4320] ppid=4303 vsize=15683912 memory=281198758242816 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4320/stat : 4320 (java) S 4303 4306 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73646745 16060325888 771921 33554432000 4194304 4196468 140726664031216 140599915178976 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4321] ppid=4303 vsize=15683912 memory=288285571665899270 CPUtime=0.81 cores=1,3,5,7
/proc/4306/task/4321/stat : 4321 (java) S 4303 4306 29212 0 -1 1077944384 93 0 0 0 36 45 0 0 20 0 19 0 73646745 16060325888 771921 33554432000 4194304 4196468 140726664031216 140601794226608 140602459253378 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4323] ppid=4303 vsize=15683912 memory=150516 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4323/stat : 4323 (java) S 4303 4306 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73647577 16060325888 771921 33554432000 4194304 4196468 140726664031216 140602264536000 140602459266841 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4325] ppid=4303 vsize=15683912 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4325/stat : 4325 (java) S 4303 4306 29212 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 73647577 16060325888 771921 33554432000 4194304 4196468 140726664031216 140599378292144 140602459264157 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4326] ppid=4303 vsize=15683912 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4326/stat : 4326 (java) S 4303 4306 29212 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 73647577 16060325888 771921 33554432000 4194304 4196468 140726664031216 140599512514352 140602459264157 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
[pid=4306/tid=4327] ppid=4303 vsize=15683912 memory=19164 CPUtime=0 cores=1,3,5,7
/proc/4306/task/4327/stat : 4327 (java) S 4303 4306 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73647579 16060325888 771921 33554432000 4194304 4196468 140726664031216 140599109868960 140602459252437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140726664037364 140726664037641 140726664037641 140726664040399 0
Current children cumulated CPU time: 1386.89 s
Current children cumulated vsize: 15903948 KiB
Current children cumulated memory: 3269900 KiB
Child status: 1
Real time (s): 1375.53
CPU time (s): 1386.95
CPU user time (s): 1385.52
CPU system time (s): 1.42406
CPU usage (%): 100.83
Max. virtual memory (cumulated for all children) (KiB): 15903948
Max. memory (cumulated for all children) (KiB): 3269900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1385.52
system time used= 1.42406
maximum resident set size= 3091412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 459622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35020
involuntary context switches= 496
# summary of solver processes directly reported to runsolver:
# pid: 4306
# total CPU time (s): 1386.95
# total CPU user time (s): 1385.52
# total CPU system time (s): 1.42406
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.63007 second user time and 14.1948 second system time
The end