0.64/0.53
0.64/0.53 scop order+minisat_release (2018-06-13)
0.64/0.53
0.64/0.56 c BEGIN-Prog: Thu Jul 26 08:08:19 CEST 2018
0.64/0.56 c PID: 6229
0.64/0.56 c IP: 172.20.3.150
0.64/0.56 c HOST: node150.alineos.net
0.64/0.57 c (0,0) Parsing Begin
1.69/1.10 c (0,0) Parsing End
1.69/1.11 c (0,0) CSP: 477 int (0 aux), 0 bool (0 aux), 225 ctr, max domain size 153
1.69/1.11 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.69/1.11 c (0,0) Constraint Name Generate Begin
1.92/1.11 c (0,0) Ctr:HOME/instance-4295751-1532585298.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.92/1.11 c (0,0) Constraint Name Generate End
1.92/1.11 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.92/1.11 c (0,0) CSP to CSPinCNF Begin
6.78/2.84 c (2,2) translated 23 (10%) constraints
8.09/3.63 c (3,3) translated 45 (20%) constraints
8.92/4.41 c (3,3) translated 68 (30%) constraints
9.66/5.17 c (4,4) translated 90 (40%) constraints
10.47/5.95 c (5,5) translated 113 (50%) constraints
11.20/6.70 c (6,6) translated 135 (60%) constraints
13.23/7.85 c (7,7) translated 158 (70%) constraints
17.21/9.03 c (8,8) translated 180 (80%) constraints
17.41/9.12 c (8,8) translated 203 (90%) constraints
17.97/9.35 c (8,8) translated 225 (100%) constraints
19.86/10.10 c (9,9) STATISTICS1:HOME/instance-4295751-1532585298.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,32472,151606,34359738368,153,153,36,34359738368:324;8589934592:324;256:34;153:10296;17:2763;1:1332,153:110016;17:113310;2:228942;1:6885,153:2;18:495;17:153;16:153;15:153;14:153;13:153;12:153;11:153;10:153;9:153;8:153;7:153;6:153;5:153;4:41463;3:37044;2:70092;1:521,36:324;34:324;9:34;2:14391;1:419364;0:153,
19.86/10.10 c (9,9) ===========================================
19.86/10.10 c (9,9) Order
19.86/10.10 c (9,9) ===========================================
21.07/10.44 c (9,9) translated 15161 (10%) constraints
21.98/10.70 c (10,9) translated 30322 (20%) constraints
22.50/10.93 c (10,10) translated 45482 (30%) constraints
22.99/11.13 c (10,10) translated 60643 (40%) constraints
23.24/11.33 c (10,10) translated 75803 (50%) constraints
23.84/11.98 c (10,10) translated 90964 (60%) constraints
23.84/11.98 c (11,10) translated 106125 (70%) constraints
23.84/11.98 c (11,11) translated 121285 (80%) constraints
24.78/12.38 c (11,11) translated 136446 (90%) constraints
28.92/13.86 c (13,13) translated 151606 (100%) constraints
28.92/13.86 c (13,13) CSP to CSPinCNF End
28.92/13.88 c (13,13) CSP: 5013 int (4536 aux), 37980 bool (37980 aux), 170244 ctr, max domain size 151
28.92/13.88 c (13,13) Heap : 2232 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
28.92/13.88 c (13,13) CSPinCNF Propagation Begin
33.07/15.55 c (15,14) 5418 values, 18426 unsatisfiable literals, and 13470 valid clauses are removed
33.07/15.55 c (15,14) CSPinCNF Propagation End
33.07/15.57 c (15,14) CSP: 8379 int (7902 aux), 34614 bool (34614 aux), 156774 ctr, max domain size 151
33.07/15.57 c (15,14) Heap : 364 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
33.07/15.57 c (15,14) Simplify CSPinCNF Begin
34.22/16.26 c (15,15) Simplify CSPinCNF End
34.22/16.28 c (15,15) CSP: 8379 int (7902 aux), 62424 bool (62424 aux), 184584 ctr, max domain size 151
34.22/16.28 c (15,15) Heap : 713 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
34.22/16.28 c (15,15) Calculate Precise Domain Begin
34.34/16.34 c (15,15) 9 values are removed by re-calculation
34.34/16.34 c (15,15) Calculate Precise Domain End
34.57/16.98 c (15,15) CSP: 8379 int (7902 aux), 62424 bool (62424 aux), 184584 ctr, max domain size 151
34.57/16.98 c (15,15) Heap : 768 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
34.57/16.98 c (15,15) CSPinCNF to SatSolver Begin
35.15/17.25 c (16,15) 18459 (10 %) CSP clauses are encoded (103347 SAT variables, 54557 SAT clauses)
35.34/17.34 c (16,15) 36917 (20 %) CSP clauses are encoded (103347 SAT variables, 73015 SAT clauses)
35.44/17.42 c (16,15) 55376 (30 %) CSP clauses are encoded (103347 SAT variables, 91474 SAT clauses)
35.55/17.51 c (16,15) 73834 (40 %) CSP clauses are encoded (103347 SAT variables, 109932 SAT clauses)
35.55/17.59 c (17,15) 92292 (50 %) CSP clauses are encoded (103347 SAT variables, 128390 SAT clauses)
35.65/17.68 c (17,16) 110751 (60 %) CSP clauses are encoded (103347 SAT variables, 146849 SAT clauses)
39.58/20.60 c (20,18) 129209 (70 %) CSP clauses are encoded (103347 SAT variables, 1402207 SAT clauses)
43.66/24.84 c (24,22) 147668 (80 %) CSP clauses are encoded (103347 SAT variables, 3109066 SAT clauses)
45.24/25.77 c (25,23) 166126 (90 %) CSP clauses are encoded (103347 SAT variables, 3388329 SAT clauses)
45.95/26.14 c (25,23) 184584 (100 %) CSP clauses are encoded (103347 SAT variables, 3480612 SAT clauses)
45.95/26.14 c (25,23) CSPinCNF to SatSolver End
45.95/26.14 c (25,23) Heap : 529 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
47.47/26.81 c (26,24) STATISTICS2:HOME/instance-4295751-1532585298.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,70803,184584,256,151,17,9,256:32;151:20592;96:135;64:1350;44:135;33:120;32:810;28:9;25:270;24:120;22:8;18:24;17:1467;16:4857;12:174;9:1926;8:358;6:40;4:527;1:2016,151:130158;17:100728;16:18000;12:549;11:517;7:37;6:175;5:1080;3:9432;2:284940;1:5076,17:288;16:288;15:144;14:144;13:144;12:144;11:144;10:144;9:178;8:144;7:144;6:144;5:144;4:39024;3:32805;2:103401;1:7160,9:32;7:2592;5:1944;3:2583;2:27819;1:459153,
47.48/27.38 c (26,24) SatSolver.solve Begin
47.48/27.38 c (26,24) 103347 bool, 3480628 clause
47.48/27.38 c (26,24) 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-4295751-1532585298.xml-scop-6229.cnf HOME/instance-4295751-1532585298.xml-scop-6229.cnf.out
48.26/28.11 c (27,0) receiving signal SIGTERM
48.26/28.11 s UNKNOWN
48.26/28.12 c (27,24) SatSolver is killed by some reasons.
48.26/28.12 c (27,24) 0,0,13,15,15,15,25,TO,TO,STOP-AFTER(DIMACS)
48.26/28.12 c END-Prog: Thu Jul 26 08:08:47 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 (5104 MiB free)
memory of node 1: 16384 MiB (13996 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295751-1532585298/watcher-4295751-1532585298 -o /tmp/evaluation-result-4295751-1532585298/solver-4295751-1532585298 -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-4295751-1532585298.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
Current StackSize limit: 8192 KiB
solver pid=6229, runsolver pid=6226
[startup+0.100133 s]*
/proc/loadavg: 2.08 2.08 2.06 3/215 6244
/proc/meminfo: memFree=19501096/32770624 swapFree=67108860/67108860
[pid=6229] ppid=6226 vsize=15011656 memory=70116 CPUtime=0.09 cores=1,3,5,7
/proc/6229/stat : 6229 (java) S 6226 6229 32649 0 -1 1077944320 6284 0 0 0 7 2 0 0 20 0 15 0 76093117 15371935744 17529 33554432000 4194304 4196468 140737137405760 140737137388304 140129537093367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
/proc/6229/statm: 3752914 17529 2729 1 0 3715374 0
[pid=6229/tid=6231] ppid=6226 vsize=15011656 memory=-8171376296011865461 CPUtime=0.07 cores=1,3,5,7
/proc/6229/task/6231/stat : 6231 (java) R 6226 6229 32649 0 -1 4202560 4425 0 0 0 6 1 0 0 20 0 15 0 76093117 15371935744 17594 33554432000 4194304 4196468 140737137405760 140129508919696 140129537115293 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6232] ppid=6226 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6232/stat : 6232 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093119 15371935744 17594 33554432000 4194304 4196468 140737137405760 140129541335568 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6233] ppid=6226 vsize=15011656 memory=140463731246720 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6233/stat : 6233 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093119 15371935744 17594 33554432000 4194304 4196468 140737137405760 140129355491984 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6234] ppid=6226 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6234/stat : 6234 (java) S 6226 6229 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76093119 15371935744 17594 33554432000 4194304 4196468 140737137405760 140129354438928 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6235] ppid=6226 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6235/stat : 6235 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093119 15371935744 17594 33554432000 4194304 4196468 140737137405760 140129353386384 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6236] ppid=6226 vsize=15011656 memory=140463731246720 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6236/stat : 6236 (java) S 6226 6229 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76093120 15371935744 17594 33554432000 4194304 4196468 140737137405760 140128575310576 140129537104514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6237] ppid=6226 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6237/stat : 6237 (java) S 6226 6229 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76093121 15371935744 17594 33554432000 4194304 4196468 140737137405760 140128072754848 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6238] ppid=6226 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6238/stat : 6238 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093121 15371935744 17594 33554432000 4194304 4196468 140737137405760 140127804318960 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6239] ppid=6226 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6239/stat : 6239 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76093123 15371935744 17594 33554432000 4194304 4196468 140737137405760 140127429810640 140129537111963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6240] ppid=6226 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6240/stat : 6240 (java) S 6226 6229 32649 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 76093123 15371935744 17594 33554432000 4194304 4196468 140737137405760 140128574257392 140129537104514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6241] ppid=6226 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6241/stat : 6241 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093123 15371935744 17594 33554432000 4194304 4196468 140737137405760 140128573204848 140129537104514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6242] ppid=6226 vsize=15011656 memory=140463731246720 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6242/stat : 6242 (java) S 6226 6229 32649 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 15 0 76093123 15371935744 17594 33554432000 4194304 4196468 140737137405760 140128572151792 140129537104514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6243] ppid=6226 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6243/stat : 6243 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76093124 15371935744 17594 33554432000 4194304 4196468 140737137405760 140126931904864 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6244] ppid=6226 vsize=15011656 memory=140463731246720 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093125 15371935744 17594 33554432000 4194304 4196468 140737137405760 140128571100208 140129537104514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 70116 KiB
[startup+0.210195 s]*
/proc/loadavg: 2.08 2.08 2.06 3/215 6244
/proc/meminfo: memFree=19483484/32770624 swapFree=67108860/67108860
[pid=6229] ppid=6226 vsize=15011656 memory=85052 CPUtime=0.23 cores=1,3,5,7
/proc/6229/stat : 6229 (java) S 6226 6229 32649 0 -1 1077944320 10230 0 0 0 20 3 0 0 20 0 15 0 76093117 15371935744 21263 33554432000 4194304 4196468 140737137405760 140737137388304 140129537093367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
/proc/6229/statm: 3752914 21263 2912 1 0 3715374 0
[pid=6229/tid=6231] ppid=6226 vsize=15011656 memory=8389772277269004345 CPUtime=0.18 cores=1,3,5,7
/proc/6229/task/6231/stat : 6231 (java) R 6226 6229 32649 0 -1 4202560 8145 0 0 0 16 2 0 0 20 0 15 0 76093117 15371935744 21328 33554432000 4194304 4196468 140737137405760 140129508914720 140129521173854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6232] ppid=6226 vsize=15011656 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6232/stat : 6232 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093119 15371935744 21328 33554432000 4194304 4196468 140737137405760 140129541335568 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6233] ppid=6226 vsize=15011656 memory=4049219787657709216 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6233/stat : 6233 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093119 15371935744 21328 33554432000 4194304 4196468 140737137405760 140129355491984 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6234] ppid=6226 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6234/stat : 6234 (java) S 6226 6229 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76093119 15371935744 21328 33554432000 4194304 4196468 140737137405760 140129354438928 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6235] ppid=6226 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6235/stat : 6235 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093119 15371935744 21328 33554432000 4194304 4196468 140737137405760 140129353386384 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6236] ppid=6226 vsize=15011656 memory=140463731246720 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6236/stat : 6236 (java) S 6226 6229 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76093120 15371935744 21328 33554432000 4194304 4196468 140737137405760 140128575310576 140129537104514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6237] ppid=6226 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6237/stat : 6237 (java) S 6226 6229 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76093121 15371935744 21328 33554432000 4194304 4196468 140737137405760 140128072754848 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6238] ppid=6226 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6238/stat : 6238 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093121 15371935744 21328 33554432000 4194304 4196468 140737137405760 140127804318960 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6239] ppid=6226 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6239/stat : 6239 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76093123 15371935744 21328 33554432000 4194304 4196468 140737137405760 140127429810640 140129537111963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6240] ppid=6226 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6240/stat : 6240 (java) S 6226 6229 32649 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 76093123 15371935744 21328 33554432000 4194304 4196468 140737137405760 140128574257392 140129537104514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6241] ppid=6226 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6241/stat : 6241 (java) S 6226 6229 32649 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 76093123 15371935744 21328 33554432000 4194304 4196468 140737137405760 140128573204848 140129537104514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6242] ppid=6226 vsize=15011656 memory=140463731246720 CPUtime=0.02 cores=1,3,5,7
/proc/6229/task/6242/stat : 6242 (java) S 6226 6229 32649 0 -1 1077944384 291 0 0 0 2 0 0 0 20 0 15 0 76093123 15371935744 21328 33554432000 4194304 4196468 140737137405760 140128572151792 140129537104514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6243] ppid=6226 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6243/stat : 6243 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76093124 15371935744 21328 33554432000 4194304 4196468 140737137405760 140126931904864 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6244] ppid=6226 vsize=15011656 memory=140463731246720 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093125 15371935744 21328 33554432000 4194304 4196468 140737137405760 140128571100208 140129537104514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85052 KiB
[startup+0.310036 s]*
/proc/loadavg: 2.08 2.08 2.06 3/215 6244
/proc/meminfo: memFree=19478212/32770624 swapFree=67108860/67108860
[pid=6229] ppid=6226 vsize=15011656 memory=89660 CPUtime=0.41 cores=1,3,5,7
/proc/6229/stat : 6229 (java) S 6226 6229 32649 0 -1 1077944320 10958 0 0 0 37 4 0 0 20 0 15 0 76093117 15371935744 22415 33554432000 4194304 4196468 140737137405760 140737137388304 140129537093367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
/proc/6229/statm: 3752914 22415 2980 1 0 3715374 0
[pid=6229/tid=6231] ppid=6226 vsize=15011656 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/6229/task/6231/stat : 6231 (java) R 6226 6229 32649 0 -1 4202560 8664 0 0 0 25 3 0 0 20 0 15 0 76093117 15371935744 22415 33554432000 4194304 4196468 140737137405760 140129508897296 140129518656923 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6232] ppid=6226 vsize=15011656 memory=4294967363 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6232/stat : 6232 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093119 15371935744 22415 33554432000 4194304 4196468 140737137405760 140129541335568 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6233] ppid=6226 vsize=15011656 memory=140463731246720 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6233/stat : 6233 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093119 15371935744 22415 33554432000 4194304 4196468 140737137405760 140129355491984 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6234] ppid=6226 vsize=15011656 memory=280927234362272 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6234/stat : 6234 (java) S 6226 6229 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76093119 15371935744 22415 33554432000 4194304 4196468 140737137405760 140129354438928 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6235] ppid=6226 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6235/stat : 6235 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093119 15371935744 22415 33554432000 4194304 4196468 140737137405760 140129353386384 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6236] ppid=6226 vsize=15011656 memory=280927348430160 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6236/stat : 6236 (java) S 6226 6229 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76093120 15371935744 22415 33554432000 4194304 4196468 140737137405760 140128575310576 140129537104514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6237] ppid=6226 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6237/stat : 6237 (java) S 6226 6229 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76093121 15371935744 22415 33554432000 4194304 4196468 140737137405760 140128072754848 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6238] ppid=6226 vsize=15011656 memory=64996 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6238/stat : 6238 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093121 15371935744 22415 33554432000 4194304 4196468 140737137405760 140127804318960 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6239] ppid=6226 vsize=15011656 memory=67300 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6239/stat : 6239 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76093123 15371935744 22415 33554432000 4194304 4196468 140737137405760 140127429810640 140129537111963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6240] ppid=6226 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6229/task/6240/stat : 6240 (java) S 6226 6229 32649 0 -1 1077944384 378 0 0 0 2 0 0 0 20 0 15 0 76093123 15371935744 22415 33554432000 4194304 4196468 140737137405760 140128574257392 140129537104514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6241] ppid=6226 vsize=15011656 memory=140463617218191 CPUtime=0.01 cores=1,3,5,7
/proc/6229/task/6241/stat : 6241 (java) S 6226 6229 32649 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 15 0 76093123 15371935744 22415 33554432000 4194304 4196468 140737137405760 140128573204848 140129537104514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6242] ppid=6226 vsize=15011656 memory=280927348450912 CPUtime=0.07 cores=1,3,5,7
/proc/6229/task/6242/stat : 6242 (java) S 6226 6229 32649 0 -1 1077944384 339 0 0 0 7 0 0 0 20 0 15 0 76093123 15371935744 22415 33554432000 4194304 4196468 140737137405760 140128572151792 140129537104514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6243] ppid=6226 vsize=15011656 memory=140463617199631 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6243/stat : 6243 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76093124 15371935744 22415 33554432000 4194304 4196468 140737137405760 140126931904864 140129537103573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6244] ppid=6226 vsize=15011656 memory=140463731246727 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093125 15371935744 22415 33554432000 4194304 4196468 140737137405760 140128571100208 140129537104514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89660 KiB
[startup+0.700847 s]
/proc/loadavg: 2.08 2.08 2.06 3/215 6244
/proc/meminfo: memFree=19452044/32770624 swapFree=67108860/67108860
[pid=6229] ppid=6226 vsize=15020052 memory=127236 CPUtime=0.97 cores=1,3,5,7
/proc/6229/stat : 6229 (java) S 6226 6229 32649 0 -1 1077944320 18063 0 0 0 92 5 0 0 20 0 15 0 76093117 15380533248 31809 33554432000 4194304 4196468 140737137405760 140737137388304 140129537093367 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
/proc/6229/statm: 3755013 31809 3145 1 0 3716398 0
[pid=6229/tid=6231] ppid=6226 vsize=15020052 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/6229/task/6231/stat : 6231 (java) R 6226 6229 32649 0 -1 4202560 15318 0 0 0 62 4 0 0 20 0 15 0 76093117 15380533248 31809 33554432000 4194304 4196468 140737137405760 140129508925280 140129537115293 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6232] ppid=6226 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6232/stat : 6232 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093119 15380533248 31809 33554432000 4194304 4196468 140737137405760 140129541335568 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6233] ppid=6226 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6233/stat : 6233 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093119 15380533248 31809 33554432000 4194304 4196468 140737137405760 140129355491984 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6234] ppid=6226 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6234/stat : 6234 (java) S 6226 6229 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76093119 15380533248 31809 33554432000 4194304 4196468 140737137405760 140129354438928 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6235] ppid=6226 vsize=15020052 memory=167247033150395 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6235/stat : 6235 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093119 15380533248 31809 33554432000 4194304 4196468 140737137405760 140129353386384 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6236] ppid=6226 vsize=15020052 memory=446415 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6236/stat : 6236 (java) S 6226 6229 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76093120 15380533248 31809 33554432000 4194304 4196468 140737137405760 140128575310576 140129537104514 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6237] ppid=6226 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6237/stat : 6237 (java) S 6226 6229 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76093121 15380533248 31809 33554432000 4194304 4196468 140737137405760 140128072754848 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6238] ppid=6226 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6238/stat : 6238 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093121 15380533248 31809 33554432000 4194304 4196468 140737137405760 140127804318960 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6239] ppid=6226 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6239/stat : 6239 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76093123 15380533248 31809 33554432000 4194304 4196468 140737137405760 140127429810640 140129537111963 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6240] ppid=6226 vsize=15020052 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/6229/task/6240/stat : 6240 (java) S 6226 6229 32649 0 -1 1077944384 465 0 0 0 5 0 0 0 20 0 15 0 76093123 15380533248 31809 33554432000 4194304 4196468 140737137405760 140128574257392 140129537104514 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6241] ppid=6226 vsize=15020052 memory=-3535359994705171810 CPUtime=0.08 cores=1,3,5,7
/proc/6229/task/6241/stat : 6241 (java) R 6226 6229 32649 0 -1 4202560 460 0 0 0 8 0 0 0 20 0 15 0 76093123 15380533248 31809 33554432000 4194304 4196468 140737137405760 140128573192720 140129518636686 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6242] ppid=6226 vsize=15020052 memory=8330969454845486047 CPUtime=0.15 cores=1,3,5,7
/proc/6229/task/6242/stat : 6242 (java) R 6226 6229 32649 0 -1 1077944384 480 0 0 0 15 0 0 0 20 0 15 0 76093123 15380533248 31809 33554432000 4194304 4196468 140737137405760 140128572151792 140129537104514 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6243] ppid=6226 vsize=15020052 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6243/stat : 6243 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76093124 15380533248 31809 33554432000 4194304 4196468 140737137405760 140126931904864 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6244] ppid=6226 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093125 15380533248 31809 33554432000 4194304 4196468 140737137405760 140128571100208 140129537104514 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127236 KiB
[startup+1.50144 s]
/proc/loadavg: 1.99 2.06 2.05 5/215 6244
/proc/meminfo: memFree=19416904/32770624 swapFree=67108860/67108860
[pid=6229] ppid=6226 vsize=15024148 memory=169500 CPUtime=2.92 cores=1,3,5,7
/proc/6229/stat : 6229 (java) S 6226 6229 32649 0 -1 1077944320 21392 0 0 0 285 7 0 0 20 0 15 0 76093117 15384727552 42375 33554432000 4194304 4196468 140737137405760 140737137388304 140129537093367 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
/proc/6229/statm: 3756037 42375 3203 1 0 3717422 0
[pid=6229/tid=6231] ppid=6226 vsize=15024148 memory=8099275751824117863 CPUtime=1.45 cores=1,3,5,7
/proc/6229/task/6231/stat : 6231 (java) R 6226 6229 32649 0 -1 4202560 16710 0 0 0 140 5 0 0 20 0 15 0 76093117 15384727552 42375 33554432000 4194304 4196468 140737137405760 140129508908880 140129522828421 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6232] ppid=6226 vsize=15024148 memory=7517472528255050599 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6232/stat : 6232 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093119 15384727552 42375 33554432000 4194304 4196468 140737137405760 140129541335568 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6233] ppid=6226 vsize=15024148 memory=7517468138865322344 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6233/stat : 6233 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093119 15384727552 42375 33554432000 4194304 4196468 140737137405760 140129355491984 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6234] ppid=6226 vsize=15024148 memory=55 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6234/stat : 6234 (java) S 6226 6229 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76093119 15384727552 42375 33554432000 4194304 4196468 140737137405760 140129354438928 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6235] ppid=6226 vsize=15024148 memory=10799 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6235/stat : 6235 (java) S 6226 6229 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76093119 15384727552 42375 33554432000 4194304 4196468 140737137405760 140129353386384 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6236] ppid=6226 vsize=15024148 memory=6442213902160126816 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6236/stat : 6236 (java) S 6226 6229 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76093120 15384727552 42375 33554432000 4194304 4196468 140737137405760 140128575310576 140129537104514 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
################
# More data... #
################
/proc/6229/task/6242/stat : 6242 (java) S 6226 6229 32649 0 -1 1077944384 6758 0 0 0 151 3 0 0 20 0 15 0 76093123 15384727552 776278 33554432000 4194304 4196468 140737137405760 140128572151792 140129537104514 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6243] ppid=6226 vsize=15024148 memory=280927234439552 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6243/stat : 6243 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76093124 15384727552 776278 33554432000 4194304 4196468 140737137405760 140126931904864 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6244] ppid=6226 vsize=15024148 memory=280927234444304 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76093125 15384727552 776278 33554432000 4194304 4196468 140737137405760 140128571100208 140129537104514 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
Current children cumulated CPU time: 25.68 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3105112 KiB
[startup+25.5015 s]
/proc/loadavg: 1.99 2.06 2.05 3/215 6244
/proc/meminfo: memFree=15785272/32770624 swapFree=67108860/67108860
[pid=6229] ppid=6226 vsize=15028312 memory=3464220 CPUtime=44.59 cores=1,3,5,7
/proc/6229/stat : 6229 (java) S 6226 6229 32649 0 -1 1077944320 59518 0 0 0 4345 114 0 0 20 0 15 0 76093117 15388991488 866055 33554432000 4194304 4196468 140737137405760 140737137388304 140129537093367 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
/proc/6229/statm: 3757078 866055 3259 1 0 3717934 0
[pid=6229/tid=6231] ppid=6226 vsize=15028312 memory=3464196 CPUtime=23.55 cores=1,3,5,7
/proc/6229/task/6231/stat : 6231 (java) R 6226 6229 32649 0 -1 4202560 21018 0 0 0 2301 54 0 0 20 0 15 0 76093117 15388991488 866055 33554432000 4194304 4196468 140737137405760 140129508931640 140129029195477 0 4 0 25189583 0 0 0 -1 1 0 0 112 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6232] ppid=6226 vsize=15028312 memory=3464196 CPUtime=0.74 cores=1,3,5,7
/proc/6229/task/6232/stat : 6232 (java) S 6226 6229 32649 0 -1 1077944384 719 0 0 0 62 12 0 0 20 0 15 0 76093119 15388991488 866055 33554432000 4194304 4196468 140737137405760 140129541335568 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6233] ppid=6226 vsize=15028312 memory=55 CPUtime=0.72 cores=1,3,5,7
/proc/6229/task/6233/stat : 6233 (java) S 6226 6229 32649 0 -1 1077944384 401 0 0 0 60 12 0 0 20 0 15 0 76093119 15388991488 866055 33554432000 4194304 4196468 140737137405760 140129355491984 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6234] ppid=6226 vsize=15028312 memory=241 CPUtime=0.74 cores=1,3,5,7
/proc/6229/task/6234/stat : 6234 (java) S 6226 6229 32649 0 -1 1077944384 2285 0 0 0 62 12 0 0 20 0 15 0 76093119 15388991488 866055 33554432000 4194304 4196468 140737137405760 140129354438928 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6235] ppid=6226 vsize=15028312 memory=3104220 CPUtime=0.74 cores=1,3,5,7
/proc/6229/task/6235/stat : 6235 (java) S 6226 6229 32649 0 -1 1077944384 360 0 0 0 62 12 0 0 20 0 15 0 76093119 15388991488 866055 33554432000 4194304 4196468 140737137405760 140129353386384 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6236] ppid=6226 vsize=15028312 memory=3398428 CPUtime=0.02 cores=1,3,5,7
/proc/6229/task/6236/stat : 6236 (java) S 6226 6229 32649 0 -1 1077944384 245 0 0 0 2 0 0 0 20 0 15 0 76093120 15388991488 866055 33554432000 4194304 4196468 140737137405760 140128575310576 140129537104514 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6237] ppid=6226 vsize=15028312 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6237/stat : 6237 (java) S 6226 6229 32649 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 76093121 15388991488 866055 33554432000 4194304 4196468 140737137405760 140128072754912 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6238] ppid=6226 vsize=15028312 memory=3398848 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6238/stat : 6238 (java) S 6226 6229 32649 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 76093121 15388991488 866055 33554432000 4194304 4196468 140737137405760 140127804318976 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6239] ppid=6226 vsize=15028312 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6239/stat : 6239 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76093123 15388991488 866055 33554432000 4194304 4196468 140737137405760 140127429810640 140129537111963 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6240] ppid=6226 vsize=15028312 memory=0 CPUtime=8.41 cores=1,3,5,7
/proc/6229/task/6240/stat : 6240 (java) R 6226 6229 32649 0 -1 4202560 13489 0 0 0 839 2 0 0 20 0 15 0 76093123 15388991488 866055 33554432000 4194304 4196468 140737137405760 140128574244944 140129518638778 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6241] ppid=6226 vsize=15028312 memory=140463731245537 CPUtime=7.85 cores=1,3,5,7
/proc/6229/task/6241/stat : 6241 (java) R 6226 6229 32649 0 -1 4202560 12006 0 0 0 782 3 0 0 20 0 15 0 76093123 15388991488 866055 33554432000 4194304 4196468 140737137405760 140128573191392 140129520996457 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6242] ppid=6226 vsize=15028312 memory=0 CPUtime=1.75 cores=1,3,5,7
/proc/6229/task/6242/stat : 6242 (java) S 6226 6229 32649 0 -1 1077944384 7438 0 0 0 172 3 0 0 20 0 15 0 76093123 15388991488 866055 33554432000 4194304 4196468 140737137405760 140128572151792 140129537104514 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6243] ppid=6226 vsize=15028312 memory=5792262874651971664 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6243/stat : 6243 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76093124 15388991488 866055 33554432000 4194304 4196468 140737137405760 140126931904864 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6244] ppid=6226 vsize=15028312 memory=7374469921005131344 CPUtime=0.01 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6229 32649 0 -1 1077944384 216 0 0 0 0 1 0 0 20 0 15 0 76093125 15388991488 866055 33554432000 4194304 4196468 140737137405760 140128571100208 140129537104514 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
Current children cumulated CPU time: 44.59 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3464220 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+28.1101 s]
/proc/loadavg: 1.99 2.05 2.05 3/220 6250
/proc/meminfo: memFree=15591952/32770624 swapFree=67108860/67108860
[pid=6229] ppid=6226 vsize=15683912 memory=3467464 CPUtime=47.56 cores=1,3,5,7
/proc/6229/stat : 6229 (java) S 6226 6229 32649 0 -1 1077944320 63323 0 0 0 4641 115 0 0 20 0 19 0 76093117 16060325888 866866 33554432000 4194304 4196468 140737137405760 140737137388304 140129537093367 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
/proc/6229/statm: 3920978 866866 3263 1 0 3881834 0
[pid=6245] ppid=6229 vsize=229508 memory=183024 CPUtime=0.7 cores=1,3,5,7
/proc/6245/stat : 6245 (minisat_release) R 6229 6229 32649 0 -1 4202496 35970 0 0 0 64 6 0 0 20 0 1 0 76095857 235016192 45690 33554432000 4194304 4308513 140728907775952 140728906724184 139649572203493 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 26185728 140728907784881 140728907785390 140728907785390 140728907788229 0
/proc/6245/statm: 57377 45690 316 28 0 53617 0
[pid=6229/tid=6231] ppid=6226 vsize=15683912 memory=241 CPUtime=24.77 cores=1,3,5,7
/proc/6229/task/6231/stat : 6231 (java) S 6226 6229 32649 0 -1 1077944384 22346 0 0 0 2423 54 0 0 20 0 19 0 76093117 16060325888 866866 33554432000 4194304 4196468 140737137405760 140129508932608 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 169 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6232] ppid=6226 vsize=15683912 memory=178 CPUtime=0.87 cores=1,3,5,7
/proc/6229/task/6232/stat : 6232 (java) S 6226 6229 32649 0 -1 1077944384 719 0 0 0 75 12 0 0 20 0 19 0 76093119 16060325888 866866 33554432000 4194304 4196468 140737137405760 140129541335568 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6233] ppid=6226 vsize=15683912 memory=0 CPUtime=0.85 cores=1,3,5,7
/proc/6229/task/6233/stat : 6233 (java) S 6226 6229 32649 0 -1 1077944384 401 0 0 0 73 12 0 0 20 0 19 0 76093119 16060325888 866866 33554432000 4194304 4196468 140737137405760 140129355491984 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6234] ppid=6226 vsize=15683912 memory=1754632 CPUtime=0.87 cores=1,3,5,7
/proc/6229/task/6234/stat : 6234 (java) S 6226 6229 32649 0 -1 1077944384 2286 0 0 0 75 12 0 0 20 0 19 0 76093119 16060325888 866866 33554432000 4194304 4196468 140737137405760 140129354438928 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6235] ppid=6226 vsize=15683912 memory=5792 CPUtime=0.87 cores=1,3,5,7
/proc/6229/task/6235/stat : 6235 (java) S 6226 6229 32649 0 -1 1077944384 361 0 0 0 75 12 0 0 20 0 19 0 76093119 16060325888 866866 33554432000 4194304 4196468 140737137405760 140129353386384 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6236] ppid=6226 vsize=15683912 memory=3398428 CPUtime=0.02 cores=1,3,5,7
/proc/6229/task/6236/stat : 6236 (java) S 6226 6229 32649 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 19 0 76093120 16060325888 866866 33554432000 4194304 4196468 140737137405760 140128575310576 140129537104514 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6237] ppid=6226 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6237/stat : 6237 (java) S 6226 6229 32649 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 76093121 16060325888 866866 33554432000 4194304 4196468 140737137405760 140128072754912 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6238] ppid=6226 vsize=15683912 memory=3398848 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6238/stat : 6238 (java) S 6226 6229 32649 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 76093121 16060325888 866866 33554432000 4194304 4196468 140737137405760 140127804318976 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6239] ppid=6226 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6239/stat : 6239 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76093123 16060325888 866866 33554432000 4194304 4196468 140737137405760 140127429810640 140129537111963 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6240] ppid=6226 vsize=15683912 memory=3467464 CPUtime=8.95 cores=1,3,5,7
/proc/6229/task/6240/stat : 6240 (java) S 6226 6229 32649 0 -1 1077944384 13761 0 0 0 893 2 0 0 20 0 19 0 76093123 16060325888 866866 33554432000 4194304 4196468 140737137405760 140128574257392 140129537104514 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6241] ppid=6226 vsize=15683912 memory=3464288 CPUtime=8.47 cores=1,3,5,7
/proc/6229/task/6241/stat : 6241 (java) S 6226 6229 32649 0 -1 1077944384 13084 0 0 0 844 3 0 0 20 0 19 0 76093123 16060325888 866866 33554432000 4194304 4196468 140737137405760 140128573204848 140129537104514 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6242] ppid=6226 vsize=15683912 memory=37 CPUtime=1.79 cores=1,3,5,7
/proc/6229/task/6242/stat : 6242 (java) S 6226 6229 32649 0 -1 1077944384 8444 0 0 0 176 3 0 0 20 0 19 0 76093123 16060325888 866866 33554432000 4194304 4196468 140737137405760 140128572151792 140129537104514 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6243] ppid=6226 vsize=15683912 memory=58 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6243/stat : 6243 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76093124 16060325888 866866 33554432000 4194304 4196468 140737137405760 140126931904864 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6244] ppid=6226 vsize=15683912 memory=288230574492221466 CPUtime=0.01 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6229 32649 0 -1 1077944384 216 0 0 0 0 1 0 0 20 0 19 0 76093125 16060325888 866866 33554432000 4194304 4196468 140737137405760 140128571100208 140129537104514 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6246] ppid=6226 vsize=15683912 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6246/stat : 6246 (java) S 6226 6229 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 76095857 16060325888 866866 33554432000 4194304 4196468 140737137405760 140129348118336 140129537117977 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6248] ppid=6226 vsize=15683912 memory=13573716680378929 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6248/stat : 6248 (java) S 6226 6229 32649 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 76095857 16060325888 866866 33554432000 4194304 4196468 140737137405760 140126529240880 140129537115293 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6249] ppid=6226 vsize=15683912 memory=928 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6249/stat : 6249 (java) S 6226 6229 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 76095857 16060325888 866866 33554432000 4194304 4196468 140737137405760 140126395018672 140129537115293 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6250] ppid=6226 vsize=15683912 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6250/stat : 6250 (java) S 6226 6229 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76095859 16060325888 866866 33554432000 4194304 4196468 140737137405760 140126126595360 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
Current children cumulated CPU time: 48.26 s
Current children cumulated vsize: 15913420 KiB
Current children cumulated memory: 3650488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+28.1552 s]
# the end of solver process 6229 was just reported to runsolver
# cumulated CPU time of all completed processes: user=47.0614 s, system=1.26662 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+28.1101 s]
/proc/loadavg: 1.99 2.05 2.05 3/220 6250
/proc/meminfo: memFree=15591952/32770624 swapFree=67108860/67108860
[pid=6229] ppid=6226 vsize=15683912 memory=3467464 CPUtime=47.56 cores=1,3,5,7
/proc/6229/stat : 6229 (java) S 6226 6229 32649 0 -1 1077944320 63323 0 0 0 4641 115 0 0 20 0 19 0 76093117 16060325888 866866 33554432000 4194304 4196468 140737137405760 140737137388304 140129537093367 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
/proc/6229/statm: 3920978 866866 3263 1 0 3881834 0
[pid=6245] ppid=6229 vsize=229508 memory=183024 CPUtime=0.7 cores=1,3,5,7
/proc/6245/stat : 6245 (minisat_release) R 6229 6229 32649 0 -1 4202496 35970 0 0 0 64 6 0 0 20 0 1 0 76095857 235016192 45690 33554432000 4194304 4308513 140728907775952 140728906724184 139649572203493 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 26185728 140728907784881 140728907785390 140728907785390 140728907788229 0
/proc/6245/statm: 57377 45690 316 28 0 53617 0
[pid=6229/tid=6231] ppid=6226 vsize=15683912 memory=241 CPUtime=24.77 cores=1,3,5,7
/proc/6229/task/6231/stat : 6231 (java) S 6226 6229 32649 0 -1 1077944384 22346 0 0 0 2423 54 0 0 20 0 19 0 76093117 16060325888 866866 33554432000 4194304 4196468 140737137405760 140129508932608 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 169 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6232] ppid=6226 vsize=15683912 memory=178 CPUtime=0.87 cores=1,3,5,7
/proc/6229/task/6232/stat : 6232 (java) S 6226 6229 32649 0 -1 1077944384 719 0 0 0 75 12 0 0 20 0 19 0 76093119 16060325888 866866 33554432000 4194304 4196468 140737137405760 140129541335568 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6233] ppid=6226 vsize=15683912 memory=0 CPUtime=0.85 cores=1,3,5,7
/proc/6229/task/6233/stat : 6233 (java) S 6226 6229 32649 0 -1 1077944384 401 0 0 0 73 12 0 0 20 0 19 0 76093119 16060325888 866866 33554432000 4194304 4196468 140737137405760 140129355491984 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6234] ppid=6226 vsize=15683912 memory=1754632 CPUtime=0.87 cores=1,3,5,7
/proc/6229/task/6234/stat : 6234 (java) S 6226 6229 32649 0 -1 1077944384 2286 0 0 0 75 12 0 0 20 0 19 0 76093119 16060325888 866866 33554432000 4194304 4196468 140737137405760 140129354438928 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6235] ppid=6226 vsize=15683912 memory=5792 CPUtime=0.87 cores=1,3,5,7
/proc/6229/task/6235/stat : 6235 (java) S 6226 6229 32649 0 -1 1077944384 361 0 0 0 75 12 0 0 20 0 19 0 76093119 16060325888 866866 33554432000 4194304 4196468 140737137405760 140129353386384 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6236] ppid=6226 vsize=15683912 memory=3398428 CPUtime=0.02 cores=1,3,5,7
/proc/6229/task/6236/stat : 6236 (java) S 6226 6229 32649 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 19 0 76093120 16060325888 866866 33554432000 4194304 4196468 140737137405760 140128575310576 140129537104514 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6237] ppid=6226 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6237/stat : 6237 (java) S 6226 6229 32649 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 76093121 16060325888 866866 33554432000 4194304 4196468 140737137405760 140128072754912 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6238] ppid=6226 vsize=15683912 memory=3398848 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6238/stat : 6238 (java) S 6226 6229 32649 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 76093121 16060325888 866866 33554432000 4194304 4196468 140737137405760 140127804318976 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6239] ppid=6226 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6239/stat : 6239 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76093123 16060325888 866866 33554432000 4194304 4196468 140737137405760 140127429810640 140129537111963 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6240] ppid=6226 vsize=15683912 memory=3467464 CPUtime=8.95 cores=1,3,5,7
/proc/6229/task/6240/stat : 6240 (java) S 6226 6229 32649 0 -1 1077944384 13761 0 0 0 893 2 0 0 20 0 19 0 76093123 16060325888 866866 33554432000 4194304 4196468 140737137405760 140128574257392 140129537104514 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6241] ppid=6226 vsize=15683912 memory=3464288 CPUtime=8.47 cores=1,3,5,7
/proc/6229/task/6241/stat : 6241 (java) S 6226 6229 32649 0 -1 1077944384 13084 0 0 0 844 3 0 0 20 0 19 0 76093123 16060325888 866866 33554432000 4194304 4196468 140737137405760 140128573204848 140129537104514 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6242] ppid=6226 vsize=15683912 memory=37 CPUtime=1.79 cores=1,3,5,7
/proc/6229/task/6242/stat : 6242 (java) S 6226 6229 32649 0 -1 1077944384 8444 0 0 0 176 3 0 0 20 0 19 0 76093123 16060325888 866866 33554432000 4194304 4196468 140737137405760 140128572151792 140129537104514 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6243] ppid=6226 vsize=15683912 memory=58 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6243/stat : 6243 (java) S 6226 6229 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76093124 16060325888 866866 33554432000 4194304 4196468 140737137405760 140126931904864 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6244] ppid=6226 vsize=15683912 memory=288230574492221466 CPUtime=0.01 cores=1,3,5,7
/proc/6229/task/6244/stat : 6244 (java) S 6226 6229 32649 0 -1 1077944384 216 0 0 0 0 1 0 0 20 0 19 0 76093125 16060325888 866866 33554432000 4194304 4196468 140737137405760 140128571100208 140129537104514 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6246] ppid=6226 vsize=15683912 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6246/stat : 6246 (java) S 6226 6229 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 76095857 16060325888 866866 33554432000 4194304 4196468 140737137405760 140129348118336 140129537117977 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6248] ppid=6226 vsize=15683912 memory=13573716680378929 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6248/stat : 6248 (java) S 6226 6229 32649 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 76095857 16060325888 866866 33554432000 4194304 4196468 140737137405760 140126529240880 140129537115293 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6249] ppid=6226 vsize=15683912 memory=928 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6249/stat : 6249 (java) S 6226 6229 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 76095857 16060325888 866866 33554432000 4194304 4196468 140737137405760 140126395018672 140129537115293 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
[pid=6229/tid=6250] ppid=6226 vsize=15683912 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/6229/task/6250/stat : 6250 (java) S 6226 6229 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76095859 16060325888 866866 33554432000 4194304 4196468 140737137405760 140126126595360 140129537103573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140737137406963 140737137407241 140737137407241 140737137409999 0
Current children cumulated CPU time: 48.26 s
Current children cumulated vsize: 15913420 KiB
Current children cumulated memory: 3650488 KiB
Child status: 1
Real time (s): 28.1552
CPU time (s): 48.3281
CPU user time (s): 47.0614
CPU system time (s): 1.26662
CPU usage (%): 171.649
Max. virtual memory (cumulated for all children) (KiB): 15913420
Max. memory (cumulated for all children) (KiB): 3650488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.0614
system time used= 1.26662
maximum resident set size= 3469908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99445
page faults= 0
swaps= 0
block input operations= 8
block output operations= 144448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7681
involuntary context switches= 118
# summary of solver processes directly reported to runsolver:
# pid: 6229
# total CPU time (s): 48.3281
# total CPU user time (s): 47.0614
# total CPU system time (s): 1.26662
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.181846 second user time and 0.32052 second system time
The end