0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Thu Jul 26 08:52:39 CEST 2018
0.67/0.54 c PID: 7221
0.67/0.54 c IP: 172.20.3.150
0.67/0.54 c HOST: node150.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.45/1.24 c (0,0) Parsing End
2.45/1.25 c (0,0) CSP: 780 int (0 aux), 0 bool (0 aux), 762 ctr, max domain size 20
2.45/1.25 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.45/1.25 c (0,0) Constraint Name Generate Begin
2.45/1.27 c (0,0) Ctr:HOME/instance-4295850-1532587958.xml,AllDifferentMatrix:Element:Instantiation:IntVar
2.45/1.27 c (0,0) Constraint Name Generate End
2.45/1.27 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.45/1.27 c (0,0) CSP to CSPinCNF Begin
4.76/2.07 c (1,1) translated 77 (10%) constraints
5.07/2.16 c (1,1) translated 153 (20%) constraints
5.35/2.25 c (1,1) translated 229 (30%) constraints
5.65/2.32 c (1,1) translated 305 (40%) constraints
5.65/2.39 c (1,1) translated 381 (50%) constraints
5.97/2.45 c (1,1) translated 458 (60%) constraints
6.27/2.50 c (1,1) translated 534 (70%) constraints
6.27/2.56 c (2,2) translated 610 (80%) constraints
6.49/2.61 c (2,2) translated 686 (90%) constraints
6.49/2.66 c (2,2) translated 762 (100%) constraints
7.33/2.90 c (2,2) STATISTICS1:HOME/instance-4295850-1532587958.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.33/2.90 c (2,2) ===========================================
7.33/2.90 c (2,2) Order
7.33/2.90 c (2,2) ===========================================
7.73/3.05 c (2,2) translated 2290 (10%) constraints
8.05/3.13 c (2,2) translated 4580 (20%) constraints
8.32/3.20 c (2,2) translated 6870 (30%) constraints
8.96/3.47 c (2,2) translated 9160 (40%) constraints
9.86/3.72 c (3,3) translated 11450 (50%) constraints
10.32/3.91 c (3,3) translated 13740 (60%) constraints
10.77/4.12 c (3,3) translated 16030 (70%) constraints
11.06/4.30 c (3,3) translated 18320 (80%) constraints
11.29/4.50 c (3,3) translated 20610 (90%) constraints
11.39/4.68 c (4,4) translated 22900 (100%) constraints
11.39/4.68 c (4,4) CSP to CSPinCNF End
11.39/4.69 c (4,4) CSP: 780 int (0 aux), 14820 bool (14820 aux), 53320 ctr, max domain size 20
11.39/4.69 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
11.39/4.69 c (4,4) CSPinCNF Propagation Begin
12.45/5.06 c (4,4) 2 values, 1988 unsatisfiable literals, and 360 valid clauses are removed
12.45/5.06 c (4,4) CSPinCNF Propagation End
12.45/5.06 c (4,4) CSP: 780 int (0 aux), 14820 bool (14820 aux), 52960 ctr, max domain size 20
12.45/5.06 c (4,4) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.45/5.07 c (4,4) Simplify CSPinCNF Begin
13.49/5.47 c (4,4) Simplify CSPinCNF End
13.49/5.48 c (4,4) CSP: 780 int (0 aux), 29860 bool (29860 aux), 68000 ctr, max domain size 20
13.49/5.48 c (4,4) Heap : 1577 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.49/5.48 c (4,4) Calculate Precise Domain Begin
13.49/5.48 c (4,4) 0 values are removed by re-calculation
13.49/5.48 c (4,4) Calculate Precise Domain End
13.49/5.48 c (4,4) CSP: 780 int (0 aux), 29860 bool (29860 aux), 68000 ctr, max domain size 20
13.49/5.48 c (4,4) Heap : 1577 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.49/5.48 c (4,4) CSPinCNF to SatSolver Begin
14.96/6.00 c (5,5) 6800 (10 %) CSP clauses are encoded (44220 SAT variables, 97097 SAT clauses)
15.54/6.24 c (5,5) 13600 (20 %) CSP clauses are encoded (44220 SAT variables, 180901 SAT clauses)
15.79/6.46 c (5,5) 20400 (30 %) CSP clauses are encoded (44220 SAT variables, 264091 SAT clauses)
16.00/6.68 c (6,6) 27200 (40 %) CSP clauses are encoded (44220 SAT variables, 348423 SAT clauses)
16.30/6.91 c (6,6) 34000 (50 %) CSP clauses are encoded (44220 SAT variables, 432532 SAT clauses)
16.51/7.13 c (6,6) 40800 (60 %) CSP clauses are encoded (44220 SAT variables, 516623 SAT clauses)
17.08/7.43 c (6,6) 47600 (70 %) CSP clauses are encoded (44220 SAT variables, 601052 SAT clauses)
17.28/7.62 c (7,6) 54400 (80 %) CSP clauses are encoded (44220 SAT variables, 685294 SAT clauses)
17.49/7.81 c (7,7) 61200 (90 %) CSP clauses are encoded (44220 SAT variables, 769484 SAT clauses)
17.59/8.00 c (7,7) 68000 (100 %) CSP clauses are encoded (44220 SAT variables, 853775 SAT clauses)
17.59/8.00 c (7,7) CSPinCNF to SatSolver End
17.59/8.00 c (7,7) Heap : 971 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
18.26/8.26 c (7,7) STATISTICS2:HOME/instance-4295850-1532587958.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.26/8.26 c (7,7) SatSolver.solve Begin
18.26/8.26 c (7,7) 44220 bool, 853776 clause
18.26/8.26 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-4295850-1532587958.xml-scop-7221.cnf HOME/instance-4295850-1532587958.xml-scop-7221.cnf.out
1390.08/1379.11 c (1378,0) receiving signal SIGTERM
1390.08/1379.11 s UNKNOWN
1390.08/1379.11 c (1378,7) SatSolver is killed by some reasons.
1390.08/1379.11 c (1378,7) 0,0,4,4,4,4,7,TO,TO,STOP-AFTER(DIMACS)
1390.08/1379.11 c END-Prog: Thu Jul 26 09:15:37 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 (9017 MiB free)
memory of node 1: 16384 MiB (13995 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295850-1532587958/watcher-4295850-1532587958 -o /tmp/evaluation-result-4295850-1532587958/solver-4295850-1532587958 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295850-1532587958.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=7221, runsolver pid=7218
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 2.09 2.05 2.05 3/221 7236
/proc/meminfo: memFree=23505040/32770624 swapFree=67108860/67108860
[pid=7221] ppid=7218 vsize=15011656 memory=72256 CPUtime=0.11 cores=1,3,5,7
/proc/7221/stat : 7221 (java) S 7218 7221 32649 0 -1 1077944320 6795 0 0 0 9 2 0 0 20 0 15 0 76359077 15371935744 18064 33554432000 4194304 4196468 140727730736240 140727730718784 140002434477815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
/proc/7221/statm: 3752914 18064 2751 1 0 3715374 0
[pid=7221/tid=7223] ppid=7218 vsize=15011656 memory=7100839887217068648 CPUtime=0.09 cores=1,3,5,7
/proc/7221/task/7223/stat : 7223 (java) R 7218 7221 32649 0 -1 4202560 5166 0 0 0 8 1 0 0 20 0 15 0 76359078 15371935744 18328 33554432000 4194304 4196468 140727730736240 140002406263936 140002414753536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7224] ppid=7218 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7224/stat : 7224 (java) S 7218 7221 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76359079 15371935744 18328 33554432000 4194304 4196468 140727730736240 140002438720016 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7225] ppid=7218 vsize=15011656 memory=139870055618176 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7225/stat : 7225 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359079 15371935744 18328 33554432000 4194304 4196468 140727730736240 140002252876432 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7226] ppid=7218 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7226/stat : 7226 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359079 15371935744 18328 33554432000 4194304 4196468 140727730736240 140002251823376 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7227] ppid=7218 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7227/stat : 7227 (java) S 7218 7221 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76359079 15371935744 18328 33554432000 4194304 4196468 140727730736240 140002250770832 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7228] ppid=7218 vsize=15011656 memory=139870055618176 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7228/stat : 7228 (java) S 7218 7221 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76359081 15371935744 18328 33554432000 4194304 4196468 140727730736240 140001472174832 140002434488962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7229] ppid=7218 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7229/stat : 7229 (java) S 7218 7221 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76359081 15371935744 18328 33554432000 4194304 4196468 140727730736240 140000968566432 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7230] ppid=7218 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7230/stat : 7230 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359082 15371935744 18394 33554432000 4194304 4196468 140727730736240 140000700130544 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7231] ppid=7218 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7231/stat : 7231 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76359084 15371935744 18394 33554432000 4194304 4196468 140727730736240 140000325622224 140002434496411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7232] ppid=7218 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7232/stat : 7232 (java) S 7218 7221 32649 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 76359084 15371935744 18394 33554432000 4194304 4196468 140727730736240 140001471121648 140002434488962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7233] ppid=7218 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7233/stat : 7233 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76359084 15371935744 18394 33554432000 4194304 4196468 140727730736240 140001470069104 140002434488962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7234] ppid=7218 vsize=15011656 memory=139870055618176 CPUtime=0.01 cores=1,3,5,7
/proc/7221/task/7234/stat : 7234 (java) S 7218 7221 32649 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 76359084 15371935744 18394 33554432000 4194304 4196468 140727730736240 140001469016048 140002434488962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7235] ppid=7218 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7235/stat : 7235 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76359084 15371935744 18394 33554432000 4194304 4196468 140727730736240 139999827716448 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7236] ppid=7218 vsize=15011656 memory=139870055618176 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7236/stat : 7236 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359084 15371935744 18394 33554432000 4194304 4196468 140727730736240 140001467964464 140002434488962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72256 KiB
[startup+0.21045 s]*
/proc/loadavg: 2.09 2.05 2.05 3/221 7236
/proc/meminfo: memFree=23491584/32770624 swapFree=67108860/67108860
[pid=7221] ppid=7218 vsize=15011656 memory=85600 CPUtime=0.26 cores=1,3,5,7
/proc/7221/stat : 7221 (java) S 7218 7221 32649 0 -1 1077944320 10364 0 0 0 23 3 0 0 20 0 15 0 76359077 15371935744 21400 33554432000 4194304 4196468 140727730736240 140727730718784 140002434477815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
/proc/7221/statm: 3752914 21400 2869 1 0 3715374 0
[pid=7221/tid=7223] ppid=7218 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/7221/task/7223/stat : 7223 (java) R 7218 7221 32649 0 -1 4202560 8263 0 0 0 18 2 0 0 20 0 15 0 76359078 15371935744 21400 33554432000 4194304 4196468 140727730736240 140002406307360 140002418558228 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7224] ppid=7218 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7224/stat : 7224 (java) S 7218 7221 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76359079 15371935744 21400 33554432000 4194304 4196468 140727730736240 140002438720016 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7225] ppid=7218 vsize=15011656 memory=139870055977057 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7225/stat : 7225 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359079 15371935744 21400 33554432000 4194304 4196468 140727730736240 140002252876432 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7226] ppid=7218 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7226/stat : 7226 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359079 15371935744 21400 33554432000 4194304 4196468 140727730736240 140002251823376 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7227] ppid=7218 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7227/stat : 7227 (java) S 7218 7221 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76359079 15371935744 21400 33554432000 4194304 4196468 140727730736240 140002250770832 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7228] ppid=7218 vsize=15011656 memory=139870055618176 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7228/stat : 7228 (java) S 7218 7221 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76359081 15371935744 21400 33554432000 4194304 4196468 140727730736240 140001472174832 140002434488962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7229] ppid=7218 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7229/stat : 7229 (java) S 7218 7221 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76359081 15371935744 21400 33554432000 4194304 4196468 140727730736240 140000968566432 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7230] ppid=7218 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7230/stat : 7230 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359082 15371935744 21400 33554432000 4194304 4196468 140727730736240 140000700130544 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7231] ppid=7218 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7231/stat : 7231 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76359084 15371935744 21400 33554432000 4194304 4196468 140727730736240 140000325622224 140002434496411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7232] ppid=7218 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/7221/task/7232/stat : 7232 (java) R 7218 7221 32649 0 -1 4202560 449 0 0 0 1 0 0 0 20 0 15 0 76359084 15371935744 21400 33554432000 4194304 4196468 140727730736240 140001471121648 140002411907766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7233] ppid=7218 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7233/stat : 7233 (java) R 7218 7221 32649 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 76359084 15371935744 21400 33554432000 4194304 4196468 140727730736240 140001470069104 140002434488962 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7234] ppid=7218 vsize=15011656 memory=139870055618176 CPUtime=0.03 cores=1,3,5,7
/proc/7221/task/7234/stat : 7234 (java) S 7218 7221 32649 0 -1 1077944384 284 0 0 0 3 0 0 0 20 0 15 0 76359084 15371935744 21400 33554432000 4194304 4196468 140727730736240 140001469016048 140002434488962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7235] ppid=7218 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7235/stat : 7235 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76359084 15371935744 21400 33554432000 4194304 4196468 140727730736240 139999827716448 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7236] ppid=7218 vsize=15011656 memory=139870055618176 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7236/stat : 7236 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359084 15371935744 21400 33554432000 4194304 4196468 140727730736240 140001467964464 140002434488962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85600 KiB
[startup+0.310578 s]*
/proc/loadavg: 2.09 2.05 2.05 3/221 7236
/proc/meminfo: memFree=23487800/32770624 swapFree=67108860/67108860
[pid=7221] ppid=7218 vsize=15011656 memory=89668 CPUtime=0.43 cores=1,3,5,7
/proc/7221/stat : 7221 (java) S 7218 7221 32649 0 -1 1077944320 10991 0 0 0 40 3 0 0 20 0 15 0 76359077 15371935744 22417 33554432000 4194304 4196468 140727730736240 140727730718784 140002434477815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
/proc/7221/statm: 3752914 22417 3014 1 0 3715374 0
[pid=7221/tid=7223] ppid=7218 vsize=15011656 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/7221/task/7223/stat : 7223 (java) R 7218 7221 32649 0 -1 4202560 8692 0 0 0 27 2 0 0 20 0 15 0 76359078 15371935744 22417 33554432000 4194304 4196468 140727730736240 140002406306960 140002416041312 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7224] ppid=7218 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7224/stat : 7224 (java) S 7218 7221 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76359079 15371935744 22417 33554432000 4194304 4196468 140727730736240 140002438720016 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7225] ppid=7218 vsize=15011656 memory=139870055618176 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7225/stat : 7225 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359079 15371935744 22417 33554432000 4194304 4196468 140727730736240 140002252876432 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7226] ppid=7218 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7226/stat : 7226 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359079 15371935744 22417 33554432000 4194304 4196468 140727730736240 140002251823376 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7227] ppid=7218 vsize=15011656 memory=139869905068239 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7227/stat : 7227 (java) S 7218 7221 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76359079 15371935744 22417 33554432000 4194304 4196468 140727730736240 140002250770832 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7228] ppid=7218 vsize=15011656 memory=139870055618176 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7228/stat : 7228 (java) S 7218 7221 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76359081 15371935744 22417 33554432000 4194304 4196468 140727730736240 140001472174832 140002434488962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7229] ppid=7218 vsize=15011656 memory=139869905088975 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7229/stat : 7229 (java) S 7218 7221 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76359081 15371935744 22417 33554432000 4194304 4196468 140727730736240 140000968566432 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7230] ppid=7218 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7230/stat : 7230 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359082 15371935744 22417 33554432000 4194304 4196468 140727730736240 140000700130544 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7231] ppid=7218 vsize=15011656 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7231/stat : 7231 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76359084 15371935744 22417 33554432000 4194304 4196468 140727730736240 140000325622224 140002434496411 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7232] ppid=7218 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7221/task/7232/stat : 7232 (java) S 7218 7221 32649 0 -1 1077944384 544 0 0 0 3 0 0 0 20 0 15 0 76359084 15371935744 22417 33554432000 4194304 4196468 140727730736240 140001471121648 140002434488962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7233] ppid=7218 vsize=15011656 memory=139869905100687 CPUtime=0.01 cores=1,3,5,7
/proc/7221/task/7233/stat : 7233 (java) S 7218 7221 32649 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 15 0 76359084 15371935744 22417 33554432000 4194304 4196468 140727730736240 140001470069104 140002434488962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7234] ppid=7218 vsize=15011656 memory=139870055618176 CPUtime=0.07 cores=1,3,5,7
/proc/7221/task/7234/stat : 7234 (java) S 7218 7221 32649 0 -1 1077944384 329 0 0 0 7 0 0 0 20 0 15 0 76359084 15371935744 22417 33554432000 4194304 4196468 140727730736240 140001469016048 140002434488962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7235] ppid=7218 vsize=15011656 memory=139869905105823 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7235/stat : 7235 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76359084 15371935744 22417 33554432000 4194304 4196468 140727730736240 139999827716448 140002434488021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7236] ppid=7218 vsize=15011656 memory=139870131977253 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7236/stat : 7236 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359084 15371935744 22417 33554432000 4194304 4196468 140727730736240 140001467964464 140002434488962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89668 KiB
[startup+0.702465 s]
/proc/loadavg: 2.09 2.05 2.05 4/221 7236
/proc/meminfo: memFree=23463616/32770624 swapFree=67108860/67108860
[pid=7221] ppid=7218 vsize=15017928 memory=131516 CPUtime=1.04 cores=1,3,5,7
/proc/7221/stat : 7221 (java) S 7218 7221 32649 0 -1 1077944320 18082 0 0 0 100 4 0 0 20 0 15 0 76359077 15378358272 32879 33554432000 4194304 4196468 140727730736240 140727730718784 140002434477815 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
/proc/7221/statm: 3754482 32879 3141 1 0 3715886 0
[pid=7221/tid=7223] ppid=7218 vsize=15017928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/7221/task/7223/stat : 7223 (java) R 7218 7221 32649 0 -1 4202560 15216 0 0 0 64 3 0 0 20 0 15 0 76359078 15378358272 32879 33554432000 4194304 4196468 140727730736240 140002406315392 140002419911229 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7224] ppid=7218 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7224/stat : 7224 (java) S 7218 7221 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76359079 15378358272 32879 33554432000 4194304 4196468 140727730736240 140002438720016 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7225] ppid=7218 vsize=15017928 memory=79 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7225/stat : 7225 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359079 15378358272 32879 33554432000 4194304 4196468 140727730736240 140002252876432 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7226] ppid=7218 vsize=15017928 memory=1 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7226/stat : 7226 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359079 15378358272 32879 33554432000 4194304 4196468 140727730736240 140002251823376 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7227] ppid=7218 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7227/stat : 7227 (java) S 7218 7221 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76359079 15378358272 32879 33554432000 4194304 4196468 140727730736240 140002250770832 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7228] ppid=7218 vsize=15017928 memory=170913928589211 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7228/stat : 7228 (java) S 7218 7221 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76359081 15378358272 32879 33554432000 4194304 4196468 140727730736240 140001472174832 140002434488962 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7229] ppid=7218 vsize=15017928 memory=446437 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7229/stat : 7229 (java) S 7218 7221 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76359081 15378358272 32879 33554432000 4194304 4196468 140727730736240 140000968566432 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7230] ppid=7218 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7230/stat : 7230 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359082 15378358272 32879 33554432000 4194304 4196468 140727730736240 140000700130544 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7231] ppid=7218 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7231/stat : 7231 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76359084 15378358272 32879 33554432000 4194304 4196468 140727730736240 140000325622224 140002434496411 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7232] ppid=7218 vsize=15017928 memory=7809523229951467574 CPUtime=0.11 cores=1,3,5,7
/proc/7221/task/7232/stat : 7232 (java) R 7218 7221 32649 0 -1 4202560 773 0 0 0 11 0 0 0 20 0 15 0 76359084 15378358272 32879 33554432000 4194304 4196468 140727730736240 140001471113600 140002414325909 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7233] ppid=7218 vsize=15017928 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/7221/task/7233/stat : 7233 (java) R 7218 7221 32649 0 -1 4202560 226 0 0 0 6 0 0 0 20 0 15 0 76359084 15378358272 32879 33554432000 4194304 4196468 140727730736240 140001470054984 140002415995703 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7234] ppid=7218 vsize=15017928 memory=-3535359994705171810 CPUtime=0.18 cores=1,3,5,7
/proc/7221/task/7234/stat : 7234 (java) S 7218 7221 32649 0 -1 1077944384 525 0 0 0 18 0 0 0 20 0 15 0 76359084 15378358272 32879 33554432000 4194304 4196468 140727730736240 140001469016048 140002434488962 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7235] ppid=7218 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7235/stat : 7235 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76359084 15378358272 32879 33554432000 4194304 4196468 140727730736240 139999827716448 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7236] ppid=7218 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7236/stat : 7236 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359084 15378358272 32879 33554432000 4194304 4196468 140727730736240 140001467964464 140002434488962 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131516 KiB
[startup+1.50147 s]
/proc/loadavg: 2.09 2.05 2.05 4/221 7236
/proc/meminfo: memFree=23428636/32770624 swapFree=67108860/67108860
[pid=7221] ppid=7218 vsize=15022100 memory=207940 CPUtime=3.31 cores=1,3,5,7
/proc/7221/stat : 7221 (java) S 7218 7221 32649 0 -1 1077944320 21325 0 0 0 324 7 0 0 20 0 15 0 76359077 15382630400 51985 33554432000 4194304 4196468 140727730736240 140727730718784 140002434477815 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
/proc/7221/statm: 3755525 51985 3207 1 0 3716910 0
[pid=7221/tid=7223] ppid=7218 vsize=15022100 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/7221/task/7223/stat : 7223 (java) R 7218 7221 32649 0 -1 4202560 16373 0 0 0 142 5 0 0 20 0 15 0 76359078 15382630400 51985 33554432000 4194304 4196468 140727730736240 140002406309776 140001931553177 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7224] ppid=7218 vsize=15022100 memory=6081074896818426217 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7224/stat : 7224 (java) S 7218 7221 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76359079 15382630400 51985 33554432000 4194304 4196468 140727730736240 140002438720016 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7225] ppid=7218 vsize=15022100 memory=7013621200154291284 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7225/stat : 7225 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359079 15382630400 51985 33554432000 4194304 4196468 140727730736240 140002252876432 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7226] ppid=7218 vsize=15022100 memory=7013621200154291284 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7226/stat : 7226 (java) S 7218 7221 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76359079 15382630400 51985 33554432000 4194304 4196468 140727730736240 140002251823376 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7227] ppid=7218 vsize=15022100 memory=7013621200154291284 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7227/stat : 7227 (java) S 7218 7221 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76359079 15382630400 51985 33554432000 4194304 4196468 140727730736240 140002250770832 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7228] ppid=7218 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7228/stat : 7228 (java) S 7218 7221 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76359081 15382630400 51985 33554432000 4194304 4196468 140727730736240 140001472174832 140002434488962 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
################
# More data... #
################
/proc/meminfo: memFree=19168612/32770624 swapFree=67108860/67108860
[pid=7221] ppid=7218 vsize=15683912 memory=3089164 CPUtime=19.29 cores=1,3,5,7
/proc/7221/stat : 7221 (java) S 7218 7221 32649 0 -1 1077944320 34678 0 0 0 1824 105 0 0 20 0 19 0 76359077 16060325888 772291 33554432000 4194304 4196468 140727730736240 140727730718784 140002434477815 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
/proc/7221/statm: 3920978 772291 3248 1 0 3881834 0
[pid=7237] ppid=7221 vsize=170716 memory=150516 CPUtime=1353.97 cores=1,3,5,7
/proc/7237/stat : 7237 (minisat_release) R 7221 7221 32649 0 -1 4202496 437417 0 0 0 135363 34 0 0 20 0 1 0 76359905 174813184 37629 33554432000 4194304 4308513 140731725261760 140731725258760 4275941 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 13467648 140731725263537 140731725264046 140731725264046 140731725266885 0
/proc/7237/statm: 42679 37629 353 28 0 38919 0
[pid=7221/tid=7223] ppid=7218 vsize=15683912 memory=3089164 CPUtime=8.18 cores=1,3,5,7
/proc/7221/task/7223/stat : 7223 (java) S 7218 7221 32649 0 -1 1077944384 18813 0 0 0 769 49 0 0 20 0 19 0 76359078 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002406317056 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7224] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0.08 cores=1,3,5,7
/proc/7221/task/7224/stat : 7224 (java) S 7218 7221 32649 0 -1 1077944384 142 0 0 0 7 1 0 0 20 0 19 0 76359079 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002438720016 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7225] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0.08 cores=1,3,5,7
/proc/7221/task/7225/stat : 7225 (java) S 7218 7221 32649 0 -1 1077944384 35 0 0 0 7 1 0 0 20 0 19 0 76359079 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002252876432 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7226] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0.08 cores=1,3,5,7
/proc/7221/task/7226/stat : 7226 (java) S 7218 7221 32649 0 -1 1077944384 109 0 0 0 7 1 0 0 20 0 19 0 76359079 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002251823376 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7227] ppid=7218 vsize=15683912 memory=150516 CPUtime=0.08 cores=1,3,5,7
/proc/7221/task/7227/stat : 7227 (java) S 7218 7221 32649 0 -1 1077944384 82 0 0 0 7 1 0 0 20 0 19 0 76359079 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002250770832 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7228] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0.04 cores=1,3,5,7
/proc/7221/task/7228/stat : 7228 (java) S 7218 7221 32649 0 -1 1077944384 23 0 0 0 2 2 0 0 20 0 19 0 76359081 16060325888 772291 33554432000 4194304 4196468 140727730736240 140001472174832 140002434488962 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7229] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7229/stat : 7229 (java) S 7218 7221 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 76359081 16060325888 772291 33554432000 4194304 4196468 140727730736240 140000968566432 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7230] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7230/stat : 7230 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76359082 16060325888 772291 33554432000 4194304 4196468 140727730736240 140000700130560 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7231] ppid=7218 vsize=15683912 memory=150516 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7231/stat : 7231 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 140000325622224 140002434496411 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7232] ppid=7218 vsize=15683912 memory=3089164 CPUtime=4.27 cores=1,3,5,7
/proc/7221/task/7232/stat : 7232 (java) S 7218 7221 32649 0 -1 1077944384 4659 0 0 0 426 1 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 140001471121648 140002434488962 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7233] ppid=7218 vsize=15683912 memory=3089164 CPUtime=4.18 cores=1,3,5,7
/proc/7221/task/7233/stat : 7233 (java) S 7218 7221 32649 0 -1 1077944384 5292 0 0 0 417 1 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 140001470069104 140002434488962 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7234] ppid=7218 vsize=15683912 memory=3089164 CPUtime=1.4 cores=1,3,5,7
/proc/7221/task/7234/stat : 7234 (java) S 7218 7221 32649 0 -1 1077944384 4026 0 0 0 139 1 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 140001469016048 140002434488962 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7235] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7235/stat : 7235 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 139999827716448 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7236] ppid=7218 vsize=15683912 memory=150516 CPUtime=0.8 cores=1,3,5,7
/proc/7221/task/7236/stat : 7236 (java) S 7218 7221 32649 0 -1 1077944384 91 0 0 0 33 47 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 140001467964464 140002434488962 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7238] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7238/stat : 7238 (java) S 7218 7221 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 76359905 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002244118336 140002434502425 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7240] ppid=7218 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7240/stat : 7240 (java) S 7218 7221 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 76359905 16060325888 772291 33554432000 4194304 4196468 140727730736240 139999290830640 140002434499741 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7241] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7241/stat : 7241 (java) S 7218 7221 32649 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 76359905 16060325888 772291 33554432000 4194304 4196468 140727730736240 139999425052080 140002434499741 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7242] ppid=7218 vsize=15683912 memory=150516 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7242/stat : 7242 (java) S 7218 7221 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 76359907 16060325888 772291 33554432000 4194304 4196468 140727730736240 139999022406944 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
Current children cumulated CPU time: 1373.26 s
Current children cumulated vsize: 15854628 KiB
Current children cumulated memory: 3239680 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1379.11 s]
/proc/loadavg: 2.00 2.02 2.05 3/225 7545
/proc/meminfo: memFree=19168860/32770624 swapFree=67108860/67108860
[pid=7221] ppid=7218 vsize=15683912 memory=3089164 CPUtime=19.3 cores=1,3,5,7
/proc/7221/stat : 7221 (java) S 7218 7221 32649 0 -1 1077944320 34680 0 0 0 1824 106 0 0 20 0 19 0 76359077 16060325888 772291 33554432000 4194304 4196468 140727730736240 140727730718784 140002434477815 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
/proc/7221/statm: 3920978 772291 3248 1 0 3881834 0
[pid=7237] ppid=7221 vsize=220036 memory=182652 CPUtime=1370.78 cores=1,3,5,7
/proc/7237/stat : 7237 (minisat_release) R 7221 7221 32649 0 -1 4202496 437883 0 0 0 137043 35 0 0 20 0 1 0 76359905 225316864 45663 33554432000 4194304 4308513 140731725261760 140731725258760 140330569754633 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 13467648 140731725263537 140731725264046 140731725264046 140731725266885 0
/proc/7237/statm: 55009 45663 353 28 0 51249 0
[pid=7221/tid=7223] ppid=7218 vsize=15683912 memory=3089164 CPUtime=8.18 cores=1,3,5,7
/proc/7221/task/7223/stat : 7223 (java) S 7218 7221 32649 0 -1 1077944384 18813 0 0 0 769 49 0 0 20 0 19 0 76359078 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002406317056 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7224] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0.08 cores=1,3,5,7
/proc/7221/task/7224/stat : 7224 (java) S 7218 7221 32649 0 -1 1077944384 142 0 0 0 7 1 0 0 20 0 19 0 76359079 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002438720016 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7225] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0.08 cores=1,3,5,7
/proc/7221/task/7225/stat : 7225 (java) S 7218 7221 32649 0 -1 1077944384 35 0 0 0 7 1 0 0 20 0 19 0 76359079 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002252876432 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7226] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0.08 cores=1,3,5,7
/proc/7221/task/7226/stat : 7226 (java) S 7218 7221 32649 0 -1 1077944384 109 0 0 0 7 1 0 0 20 0 19 0 76359079 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002251823376 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7227] ppid=7218 vsize=15683912 memory=150516 CPUtime=0.08 cores=1,3,5,7
/proc/7221/task/7227/stat : 7227 (java) S 7218 7221 32649 0 -1 1077944384 82 0 0 0 7 1 0 0 20 0 19 0 76359079 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002250770832 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7228] ppid=7218 vsize=15683912 memory=150516 CPUtime=0.04 cores=1,3,5,7
/proc/7221/task/7228/stat : 7228 (java) S 7218 7221 32649 0 -1 1077944384 23 0 0 0 2 2 0 0 20 0 19 0 76359081 16060325888 772291 33554432000 4194304 4196468 140727730736240 140001472174832 140002434488962 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7229] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7229/stat : 7229 (java) S 7218 7221 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 76359081 16060325888 772291 33554432000 4194304 4196468 140727730736240 140000968566432 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7230] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7230/stat : 7230 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76359082 16060325888 772291 33554432000 4194304 4196468 140727730736240 140000700130560 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7231] ppid=7218 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7231/stat : 7231 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 140000325622224 140002434496411 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7232] ppid=7218 vsize=15683912 memory=3089164 CPUtime=4.27 cores=1,3,5,7
/proc/7221/task/7232/stat : 7232 (java) S 7218 7221 32649 0 -1 1077944384 4659 0 0 0 426 1 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 140001471121648 140002434488962 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7233] ppid=7218 vsize=15683912 memory=150516 CPUtime=4.18 cores=1,3,5,7
/proc/7221/task/7233/stat : 7233 (java) S 7218 7221 32649 0 -1 1077944384 5292 0 0 0 417 1 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 140001470069104 140002434488962 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7234] ppid=7218 vsize=15683912 memory=3089164 CPUtime=1.4 cores=1,3,5,7
/proc/7221/task/7234/stat : 7234 (java) S 7218 7221 32649 0 -1 1077944384 4026 0 0 0 139 1 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 140001469016048 140002434488962 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7235] ppid=7218 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7235/stat : 7235 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 139999827716448 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7236] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0.82 cores=1,3,5,7
/proc/7221/task/7236/stat : 7236 (java) S 7218 7221 32649 0 -1 1077944384 93 0 0 0 34 48 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 140001467964464 140002434488962 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7238] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7238/stat : 7238 (java) S 7218 7221 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 76359905 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002244118336 140002434502425 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7240] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7240/stat : 7240 (java) S 7218 7221 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 76359905 16060325888 772291 33554432000 4194304 4196468 140727730736240 139999290830640 140002434499741 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7241] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7241/stat : 7241 (java) S 7218 7221 32649 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 76359905 16060325888 772291 33554432000 4194304 4196468 140727730736240 139999425052080 140002434499741 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7242] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7242/stat : 7242 (java) S 7218 7221 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 76359907 16060325888 772291 33554432000 4194304 4196468 140727730736240 139999022406944 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
Current children cumulated CPU time: 1390.08 s
Current children cumulated vsize: 15903948 KiB
Current children cumulated memory: 3271816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1379.14 s]
# the end of solver process 7221 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1388.68 s, system=1.45089 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1379.11 s]
/proc/loadavg: 2.00 2.02 2.05 3/225 7545
/proc/meminfo: memFree=19168860/32770624 swapFree=67108860/67108860
[pid=7221] ppid=7218 vsize=15683912 memory=3089164 CPUtime=19.3 cores=1,3,5,7
/proc/7221/stat : 7221 (java) S 7218 7221 32649 0 -1 1077944320 34680 0 0 0 1824 106 0 0 20 0 19 0 76359077 16060325888 772291 33554432000 4194304 4196468 140727730736240 140727730718784 140002434477815 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
/proc/7221/statm: 3920978 772291 3248 1 0 3881834 0
[pid=7237] ppid=7221 vsize=220036 memory=182652 CPUtime=1370.78 cores=1,3,5,7
/proc/7237/stat : 7237 (minisat_release) R 7221 7221 32649 0 -1 4202496 437883 0 0 0 137043 35 0 0 20 0 1 0 76359905 225316864 45663 33554432000 4194304 4308513 140731725261760 140731725258760 140330569754633 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 13467648 140731725263537 140731725264046 140731725264046 140731725266885 0
/proc/7237/statm: 55009 45663 353 28 0 51249 0
[pid=7221/tid=7223] ppid=7218 vsize=15683912 memory=3089164 CPUtime=8.18 cores=1,3,5,7
/proc/7221/task/7223/stat : 7223 (java) S 7218 7221 32649 0 -1 1077944384 18813 0 0 0 769 49 0 0 20 0 19 0 76359078 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002406317056 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7224] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0.08 cores=1,3,5,7
/proc/7221/task/7224/stat : 7224 (java) S 7218 7221 32649 0 -1 1077944384 142 0 0 0 7 1 0 0 20 0 19 0 76359079 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002438720016 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7225] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0.08 cores=1,3,5,7
/proc/7221/task/7225/stat : 7225 (java) S 7218 7221 32649 0 -1 1077944384 35 0 0 0 7 1 0 0 20 0 19 0 76359079 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002252876432 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7226] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0.08 cores=1,3,5,7
/proc/7221/task/7226/stat : 7226 (java) S 7218 7221 32649 0 -1 1077944384 109 0 0 0 7 1 0 0 20 0 19 0 76359079 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002251823376 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7227] ppid=7218 vsize=15683912 memory=150516 CPUtime=0.08 cores=1,3,5,7
/proc/7221/task/7227/stat : 7227 (java) S 7218 7221 32649 0 -1 1077944384 82 0 0 0 7 1 0 0 20 0 19 0 76359079 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002250770832 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7228] ppid=7218 vsize=15683912 memory=150516 CPUtime=0.04 cores=1,3,5,7
/proc/7221/task/7228/stat : 7228 (java) S 7218 7221 32649 0 -1 1077944384 23 0 0 0 2 2 0 0 20 0 19 0 76359081 16060325888 772291 33554432000 4194304 4196468 140727730736240 140001472174832 140002434488962 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7229] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7229/stat : 7229 (java) S 7218 7221 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 76359081 16060325888 772291 33554432000 4194304 4196468 140727730736240 140000968566432 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7230] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7230/stat : 7230 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76359082 16060325888 772291 33554432000 4194304 4196468 140727730736240 140000700130560 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7231] ppid=7218 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7231/stat : 7231 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 140000325622224 140002434496411 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7232] ppid=7218 vsize=15683912 memory=3089164 CPUtime=4.27 cores=1,3,5,7
/proc/7221/task/7232/stat : 7232 (java) S 7218 7221 32649 0 -1 1077944384 4659 0 0 0 426 1 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 140001471121648 140002434488962 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7233] ppid=7218 vsize=15683912 memory=150516 CPUtime=4.18 cores=1,3,5,7
/proc/7221/task/7233/stat : 7233 (java) S 7218 7221 32649 0 -1 1077944384 5292 0 0 0 417 1 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 140001470069104 140002434488962 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7234] ppid=7218 vsize=15683912 memory=3089164 CPUtime=1.4 cores=1,3,5,7
/proc/7221/task/7234/stat : 7234 (java) S 7218 7221 32649 0 -1 1077944384 4026 0 0 0 139 1 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 140001469016048 140002434488962 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7235] ppid=7218 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7235/stat : 7235 (java) S 7218 7221 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 139999827716448 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7236] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0.82 cores=1,3,5,7
/proc/7221/task/7236/stat : 7236 (java) S 7218 7221 32649 0 -1 1077944384 93 0 0 0 34 48 0 0 20 0 19 0 76359084 16060325888 772291 33554432000 4194304 4196468 140727730736240 140001467964464 140002434488962 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7238] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7238/stat : 7238 (java) S 7218 7221 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 76359905 16060325888 772291 33554432000 4194304 4196468 140727730736240 140002244118336 140002434502425 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7240] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7240/stat : 7240 (java) S 7218 7221 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 76359905 16060325888 772291 33554432000 4194304 4196468 140727730736240 139999290830640 140002434499741 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7241] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7241/stat : 7241 (java) S 7218 7221 32649 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 76359905 16060325888 772291 33554432000 4194304 4196468 140727730736240 139999425052080 140002434499741 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
[pid=7221/tid=7242] ppid=7218 vsize=15683912 memory=3089164 CPUtime=0 cores=1,3,5,7
/proc/7221/task/7242/stat : 7242 (java) S 7218 7221 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 76359907 16060325888 772291 33554432000 4194304 4196468 140727730736240 139999022406944 140002434488021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24559616 140727730738163 140727730738441 140727730738441 140727730741199 0
Current children cumulated CPU time: 1390.08 s
Current children cumulated vsize: 15903948 KiB
Current children cumulated memory: 3271816 KiB
Child status: 1
Real time (s): 1379.14
CPU time (s): 1390.13
CPU user time (s): 1388.68
CPU system time (s): 1.45089
CPU usage (%): 100.797
Max. virtual memory (cumulated for all children) (KiB): 15903948
Max. memory (cumulated for all children) (KiB): 3271816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1388.68
system time used= 1.45089
maximum resident set size= 3092268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472619
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35056
involuntary context switches= 410
# summary of solver processes directly reported to runsolver:
# pid: 7221
# total CPU time (s): 1390.13
# total CPU user time (s): 1388.68
# total CPU system time (s): 1.45089
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.05196 second user time and 14.8293 second system time
The end