0.55/0.51
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Thu Jul 26 11:44:40 CEST 2018
0.67/0.54 c PID: 8726
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
3.50/1.54 c (1,1) Parsing End
3.50/1.55 c (1,1) CSP: 616 int (0 aux), 0 bool (0 aux), 253 ctr, max domain size 196
3.50/1.55 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.50/1.55 c (1,1) Constraint Name Generate Begin
3.50/1.56 c (1,1) Ctr:HOME/instance-4296172-1532598279.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
3.50/1.56 c (1,1) Constraint Name Generate End
3.50/1.56 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.50/1.56 c (1,1) CSP to CSPinCNF Begin
31.65/18.94 c (18,18) translated 26 (10%) constraints
49.04/34.75 c (34,33) translated 51 (20%) constraints
67.25/50.75 c (50,48) translated 76 (30%) constraints
86.26/67.45 c (66,64) translated 102 (40%) constraints
103.72/83.29 c (82,79) translated 127 (50%) constraints
120.55/98.93 c (98,95) translated 152 (60%) constraints
137.61/115.15 c (114,111) translated 178 (70%) constraints
150.98/127.68 c (127,123) translated 203 (80%) constraints
150.98/127.68 c (127,123) translated 228 (90%) constraints
150.98/127.68 c (127,123) translated 253 (100%) constraints
156.63/131.85 c (131,127) STATISTICS1:HOME/instance-4296172-1532598279.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,228172,1465060,196,196,197,2,196:19110,196:115052;21:1739556;2:2500176;1:133868,197:196;196:2;5:26264;4:610540;3:220304;2:607698;1:56,2:19110;1:4450488;0:196,
156.63/131.85 c (131,127) ===========================================
156.63/131.85 c (131,127) Both Encoding selects:
156.63/131.85 c (131,127) Order
156.63/131.85 c (131,127) ===========================================
160.47/134.31 c (133,129) translated 146506 (10%) constraints
162.60/136.40 c (135,131) translated 293012 (20%) constraints
165.25/138.64 c (138,134) translated 439518 (30%) constraints
167.37/140.73 c (140,136) translated 586024 (40%) constraints
169.47/142.82 c (142,138) translated 732530 (50%) constraints
172.91/145.25 c (144,140) translated 879036 (60%) constraints
175.01/147.34 c (146,142) translated 1025542 (70%) constraints
177.11/149.46 c (148,144) translated 1172048 (80%) constraints
179.21/151.60 c (151,146) translated 1318554 (90%) constraints
183.06/154.15 c (153,148) translated 1465060 (100%) constraints
183.06/154.15 c (153,148) CSP to CSPinCNF End
183.22/154.23 c (153,148) CSP: 616 int (0 aux), 227556 bool (227556 aux), 1465116 ctr, max domain size 196
183.22/154.23 c (153,148) Heap : 2100 MiB used (max 10823 MiB), NonHeap : 30 MiB used (max 0 MiB)
183.22/154.23 c (153,148) CSPinCNF Propagation Begin
224.01/187.19 c (186,179) 47718 values, 250600 unsatisfiable literals, and 276085 valid clauses are removed
224.01/187.19 c (186,179) CSPinCNF Propagation End
224.10/187.26 c (186,179) CSP: 40654 int (40038 aux), 187518 bool (187518 aux), 1189031 ctr, max domain size 196
224.10/187.26 c (186,179) Heap : 2613 MiB used (max 10713 MiB), NonHeap : 31 MiB used (max 0 MiB)
224.10/187.26 c (186,179) Simplify CSPinCNF Begin
226.68/189.35 c (188,181) Simplify CSPinCNF End
226.78/189.43 c (188,181) CSP: 40654 int (40038 aux), 225738 bool (225738 aux), 1227251 ctr, max domain size 196
226.78/189.43 c (188,181) Heap : 3860 MiB used (max 10713 MiB), NonHeap : 31 MiB used (max 0 MiB)
226.78/189.43 c (188,181) Calculate Precise Domain Begin
226.78/189.43 c (188,181) 0 values are removed by re-calculation
226.78/189.43 c (188,181) Calculate Precise Domain End
226.88/189.51 c (188,181) CSP: 40654 int (40038 aux), 225738 bool (225738 aux), 1227251 ctr, max domain size 196
226.88/189.51 c (188,181) Heap : 3860 MiB used (max 10713 MiB), NonHeap : 31 MiB used (max 0 MiB)
226.88/189.51 c (188,181) CSPinCNF to SatSolver Begin
243.66/203.20 c (202,194) 122726 (10 %) CSP clauses are encoded (263558 SAT variables, 5000149 SAT clauses)
244.31/203.83 c (203,194) 245451 (20 %) CSP clauses are encoded (263558 SAT variables, 5122874 SAT clauses)
244.92/204.46 c (203,195) 368176 (30 %) CSP clauses are encoded (263558 SAT variables, 5245599 SAT clauses)
245.53/205.08 c (204,196) 490901 (40 %) CSP clauses are encoded (263558 SAT variables, 5368324 SAT clauses)
246.24/205.72 c (205,196) 613626 (50 %) CSP clauses are encoded (263558 SAT variables, 5491049 SAT clauses)
246.84/206.35 c (205,197) 736351 (60 %) CSP clauses are encoded (263558 SAT variables, 5613774 SAT clauses)
247.44/206.98 c (206,198) 859076 (70 %) CSP clauses are encoded (263558 SAT variables, 5736499 SAT clauses)
248.15/207.61 c (207,198) 981801 (80 %) CSP clauses are encoded (263558 SAT variables, 5859224 SAT clauses)
248.75/208.24 c (207,199) 1104526 (90 %) CSP clauses are encoded (263558 SAT variables, 5981949 SAT clauses)
249.37/208.88 c (208,199) 1227251 (100 %) CSP clauses are encoded (263558 SAT variables, 6104674 SAT clauses)
249.37/208.88 c (208,199) CSPinCNF to SatSolver End
249.37/208.88 c (208,199) Heap : 3149 MiB used (max 10881 MiB), NonHeap : 31 MiB used (max 0 MiB)
252.85/211.71 c (211,202) STATISTICS2:HOME/instance-4296172-1532598279.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,266392,1227251,196,196,196,2,196:20592;52:16080;4:1548,196:112608;52:23664;21:1502394;4:1588;2:2086502,196:145;144:1;52:48;5:19776;4:483216;3:177602;2:546463,2:38220;1:3650316,
252.85/211.71 c (211,202) SatSolver.solve Begin
252.85/211.71 c (211,202) 263558 bool, 6104675 clause
252.85/211.72 c (211,202) 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-4296172-1532598279.xml-scop-8726.cnf HOME/instance-4296172-1532598279.xml-scop-8726.cnf.out
253.54/212.30 c (211,0) receiving signal SIGTERM
253.54/212.30 s UNKNOWN
253.54/212.31 c (211,202) SatSolver is killed by some reasons.
253.54/212.31 c (211,202) 1,1,153,186,188,188,208,TO,TO,STOP-AFTER(DIMACS)
253.54/212.31 c END-Prog: Thu Jul 26 11:48:11 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 (4380 MiB free)
memory of node 1: 16384 MiB (7799 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296172-1532598279/watcher-4296172-1532598279 -o /tmp/evaluation-result-4296172-1532598279/solver-4296172-1532598279 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532594602-7725 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4296172-1532598279.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=8726, runsolver pid=8723
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 2.08 2.06 2.02 3/221 8741
/proc/meminfo: memFree=12414268/32770624 swapFree=67108860/67108860
[pid=8726] ppid=8723 vsize=15011656 memory=71544 CPUtime=0.11 cores=1,3,5,7
/proc/8726/stat : 8726 (java) S 8723 8726 6157 0 -1 1077944320 6589 0 0 0 10 1 0 0 20 0 15 0 77391100 15371935744 17886 33554432000 4194304 4196468 140735934550560 140735934533104 139700868501239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
/proc/8726/statm: 3752914 17886 2759 1 0 3715374 0
[pid=8726/tid=8728] ppid=8723 vsize=15011656 memory=-8393745925659800667 CPUtime=0.09 cores=1,3,5,7
/proc/8726/task/8728/stat : 8728 (java) R 8723 8726 6157 0 -1 4202560 4883 0 0 0 8 1 0 0 20 0 15 0 77391100 15371935744 18084 33554432000 4194304 4196468 140735934550560 139700840313224 139700848776960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8729] ppid=8723 vsize=15011656 memory=3472468708818965712 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8729/stat : 8729 (java) S 8723 8726 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391102 15371935744 18084 33554432000 4194304 4196468 140735934550560 139700872743312 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8730] ppid=8723 vsize=15011656 memory=140579923814016 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8730/stat : 8730 (java) S 8723 8726 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391102 15371935744 18150 33554432000 4194304 4196468 140735934550560 139700663826704 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8731] ppid=8723 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8731/stat : 8731 (java) S 8723 8726 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391102 15371935744 18150 33554432000 4194304 4196468 140735934550560 139700662774416 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8732] ppid=8723 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8732/stat : 8732 (java) S 8723 8726 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391102 15371935744 18150 33554432000 4194304 4196468 140735934550560 139700661721616 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8733] ppid=8723 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8733/stat : 8733 (java) S 8723 8726 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391103 15371935744 18150 33554432000 4194304 4196468 140735934550560 139699839515248 139700868512386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8734] ppid=8723 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8734/stat : 8734 (java) S 8723 8726 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77391104 15371935744 18150 33554432000 4194304 4196468 140735934550560 139699448440096 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8735] ppid=8723 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8735/stat : 8735 (java) S 8723 8726 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77391104 15371935744 18150 33554432000 4194304 4196468 140735934550560 139699314218608 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8736] ppid=8723 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8736/stat : 8736 (java) S 8723 8726 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391106 15371935744 18150 33554432000 4194304 4196468 140735934550560 139698939714128 139700868519835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8737] ppid=8723 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8737/stat : 8737 (java) S 8723 8726 6157 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 77391106 15371935744 18150 33554432000 4194304 4196468 140735934550560 139699838462064 139700868512386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8738] ppid=8723 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8738/stat : 8738 (java) S 8723 8726 6157 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 77391106 15371935744 18150 33554432000 4194304 4196468 140735934550560 139699837409264 139700868512386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8739] ppid=8723 vsize=15011656 memory=140579923814016 CPUtime=0.01 cores=1,3,5,7
/proc/8726/task/8739/stat : 8739 (java) S 8723 8726 6157 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 77391106 15371935744 18150 33554432000 4194304 4196468 140735934550560 139699836356976 139700868512386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8740] ppid=8723 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8740/stat : 8740 (java) S 8723 8726 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391107 15371935744 18150 33554432000 4194304 4196468 140735934550560 139698441808352 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8741] ppid=8723 vsize=15011656 memory=140579923814016 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8741/stat : 8741 (java) S 8723 8726 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391107 15371935744 18150 33554432000 4194304 4196468 140735934550560 139699835304880 139700868512386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71544 KiB
[startup+0.210506 s]*
/proc/loadavg: 2.08 2.06 2.02 3/221 8741
/proc/meminfo: memFree=12400068/32770624 swapFree=67108860/67108860
[pid=8726] ppid=8723 vsize=15011656 memory=83860 CPUtime=0.26 cores=1,3,5,7
/proc/8726/stat : 8726 (java) S 8723 8726 6157 0 -1 1077944320 9888 0 0 0 24 2 0 0 20 0 15 0 77391100 15371935744 20965 33554432000 4194304 4196468 140735934550560 140735934533104 139700868501239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
/proc/8726/statm: 3752914 20965 2940 1 0 3715374 0
[pid=8726/tid=8728] ppid=8723 vsize=15011656 memory=-8340259002029870941 CPUtime=0.19 cores=1,3,5,7
/proc/8726/task/8728/stat : 8728 (java) R 8723 8726 6157 0 -1 4202560 7763 0 0 0 18 1 0 0 20 0 15 0 77391100 15371935744 20965 33554432000 4194304 4196468 140735934550560 139700840327152 139700868513174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8729] ppid=8723 vsize=15011656 memory=5793855830933707193 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8729/stat : 8729 (java) S 8723 8726 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391102 15371935744 20965 33554432000 4194304 4196468 140735934550560 139700872743312 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8730] ppid=8723 vsize=15011656 memory=140579923814016 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8730/stat : 8730 (java) S 8723 8726 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391102 15371935744 20965 33554432000 4194304 4196468 140735934550560 139700663826704 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8731] ppid=8723 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8731/stat : 8731 (java) S 8723 8726 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391102 15371935744 20965 33554432000 4194304 4196468 140735934550560 139700662774416 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8732] ppid=8723 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8732/stat : 8732 (java) S 8723 8726 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391102 15371935744 20965 33554432000 4194304 4196468 140735934550560 139700661721616 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8733] ppid=8723 vsize=15011656 memory=140579923814016 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8733/stat : 8733 (java) S 8723 8726 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391103 15371935744 20965 33554432000 4194304 4196468 140735934550560 139699839515248 139700868512386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8734] ppid=8723 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8734/stat : 8734 (java) S 8723 8726 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77391104 15371935744 20965 33554432000 4194304 4196468 140735934550560 139699448440096 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8735] ppid=8723 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8735/stat : 8735 (java) S 8723 8726 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77391104 15371935744 20965 33554432000 4194304 4196468 140735934550560 139699314218608 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8736] ppid=8723 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8736/stat : 8736 (java) S 8723 8726 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391106 15371935744 20965 33554432000 4194304 4196468 140735934550560 139698939714128 139700868519835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8737] ppid=8723 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8737/stat : 8737 (java) R 8723 8726 6157 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 77391106 15371935744 20965 33554432000 4194304 4196468 140735934550560 139699838462064 139700868512386 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8738] ppid=8723 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8726/task/8738/stat : 8738 (java) R 8723 8726 6157 0 -1 4202560 410 0 0 0 1 0 0 0 20 0 15 0 77391106 15371935744 20965 33554432000 4194304 4196468 140735934550560 139699837409264 139700849135388 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8739] ppid=8723 vsize=15011656 memory=140579923814016 CPUtime=0.03 cores=1,3,5,7
/proc/8726/task/8739/stat : 8739 (java) R 8723 8726 6157 0 -1 4202560 293 0 0 0 3 0 0 0 20 0 15 0 77391106 15371935744 20965 33554432000 4194304 4196468 140735934550560 139699836354768 139700868511445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8740] ppid=8723 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8740/stat : 8740 (java) S 8723 8726 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391107 15371935744 20965 33554432000 4194304 4196468 140735934550560 139698441808352 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8741] ppid=8723 vsize=15011656 memory=140579923814016 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8741/stat : 8741 (java) S 8723 8726 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391107 15371935744 20965 33554432000 4194304 4196468 140735934550560 139699835304880 139700868512386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83860 KiB
[startup+0.310563 s]*
/proc/loadavg: 2.08 2.06 2.02 3/221 8741
/proc/meminfo: memFree=12397116/32770624 swapFree=67108860/67108860
[pid=8726] ppid=8723 vsize=15011656 memory=87664 CPUtime=0.43 cores=1,3,5,7
/proc/8726/stat : 8726 (java) S 8723 8726 6157 0 -1 1077944320 10501 0 0 0 40 3 0 0 20 0 15 0 77391100 15371935744 21916 33554432000 4194304 4196468 140735934550560 140735934533104 139700868501239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
/proc/8726/statm: 3752914 21916 2982 1 0 3715374 0
[pid=8726/tid=8728] ppid=8723 vsize=15011656 memory=-8340259002029870941 CPUtime=0.3 cores=1,3,5,7
/proc/8726/task/8728/stat : 8728 (java) R 8723 8726 6157 0 -1 4202560 8195 0 0 0 28 2 0 0 20 0 15 0 77391100 15371935744 21916 33554432000 4194304 4196468 140735934550560 139700840305392 139700868522586 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8729] ppid=8723 vsize=15011656 memory=5793855830933707193 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8729/stat : 8729 (java) S 8723 8726 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391102 15371935744 21916 33554432000 4194304 4196468 140735934550560 139700872743312 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8730] ppid=8723 vsize=15011656 memory=281159706452608 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8730/stat : 8730 (java) S 8723 8726 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391102 15371935744 21916 33554432000 4194304 4196468 140735934550560 139700663826704 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8731] ppid=8723 vsize=15011656 memory=281159565304832 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8731/stat : 8731 (java) S 8723 8726 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391102 15371935744 21916 33554432000 4194304 4196468 140735934550560 139700662774416 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8732] ppid=8723 vsize=15011656 memory=140579782638607 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8732/stat : 8732 (java) S 8723 8726 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391102 15371935744 21982 33554432000 4194304 4196468 140735934550560 139700661721616 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8733] ppid=8723 vsize=15011656 memory=281159706459520 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8733/stat : 8733 (java) S 8723 8726 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391103 15371935744 21982 33554432000 4194304 4196468 140735934550560 139699839515248 139700868512386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8734] ppid=8723 vsize=15011656 memory=140579782643215 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8734/stat : 8734 (java) S 8723 8726 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77391104 15371935744 21982 33554432000 4194304 4196468 140735934550560 139699448440096 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8735] ppid=8723 vsize=15011656 memory=140579782653245 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8735/stat : 8735 (java) S 8723 8726 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77391104 15371935744 21982 33554432000 4194304 4196468 140735934550560 139699314218608 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8736] ppid=8723 vsize=15011656 memory=140579782655934 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8736/stat : 8736 (java) S 8723 8726 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391106 15371935744 21982 33554432000 4194304 4196468 140735934550560 139698939714128 139700868519835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8737] ppid=8723 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8726/task/8737/stat : 8737 (java) R 8723 8726 6157 0 -1 1077944384 154 0 0 0 2 0 0 0 20 0 15 0 77391106 15371935744 21982 33554432000 4194304 4196468 140735934550560 139699838462064 139700868512386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8738] ppid=8723 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8726/task/8738/stat : 8738 (java) R 8723 8726 6157 0 -1 4202560 464 0 0 0 2 0 0 0 20 0 15 0 77391106 15371935744 21982 33554432000 4194304 4196468 140735934550560 139699837409264 139700860790688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8739] ppid=8723 vsize=15011656 memory=140579923814016 CPUtime=0.07 cores=1,3,5,7
/proc/8726/task/8739/stat : 8739 (java) S 8723 8726 6157 0 -1 1077944384 337 0 0 0 7 0 0 0 20 0 15 0 77391106 15371935744 21982 33554432000 4194304 4196468 140735934550560 139699836356976 139700868512386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8740] ppid=8723 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8740/stat : 8740 (java) S 8723 8726 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391107 15371935744 21982 33554432000 4194304 4196468 140735934550560 139698441808352 139700868511445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8741] ppid=8723 vsize=15011656 memory=140579923885560 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8741/stat : 8741 (java) S 8723 8726 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391107 15371935744 21982 33554432000 4194304 4196468 140735934550560 139699835304880 139700868512386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87664 KiB
[startup+0.700752 s]
/proc/loadavg: 2.08 2.06 2.02 3/221 8741
/proc/meminfo: memFree=12371940/32770624 swapFree=67108860/67108860
[pid=8726] ppid=8723 vsize=15017928 memory=131236 CPUtime=1.03 cores=1,3,5,7
/proc/8726/stat : 8726 (java) S 8723 8726 6157 0 -1 1077944320 17522 0 0 0 98 5 0 0 20 0 15 0 77391100 15378358272 32809 33554432000 4194304 4196468 140735934550560 140735934533104 139700868501239 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
/proc/8726/statm: 3754482 32809 3136 1 0 3715886 0
[pid=8726/tid=8728] ppid=8723 vsize=15017928 memory=55 CPUtime=0.67 cores=1,3,5,7
/proc/8726/task/8728/stat : 8728 (java) R 8723 8726 6157 0 -1 4202560 14713 0 0 0 63 4 0 0 20 0 15 0 77391100 15378358272 32809 33554432000 4194304 4196468 140735934550560 139700840331840 139700852581726 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8729] ppid=8723 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8729/stat : 8729 (java) S 8723 8726 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391102 15378358272 32809 33554432000 4194304 4196468 140735934550560 139700872743312 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8730] ppid=8723 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8730/stat : 8730 (java) S 8723 8726 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391102 15378358272 32809 33554432000 4194304 4196468 140735934550560 139700663826704 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8731] ppid=8723 vsize=15017928 memory=7886766292050916917 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8731/stat : 8731 (java) S 8723 8726 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391102 15378358272 32809 33554432000 4194304 4196468 140735934550560 139700662774416 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8732] ppid=8723 vsize=15017928 memory=5787495302107849536 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8732/stat : 8732 (java) S 8723 8726 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391102 15378358272 32809 33554432000 4194304 4196468 140735934550560 139700661721616 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8733] ppid=8723 vsize=15017928 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8733/stat : 8733 (java) S 8723 8726 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77391103 15378358272 32809 33554432000 4194304 4196468 140735934550560 139699839515248 139700868512386 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8734] ppid=8723 vsize=15017928 memory=8540 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8734/stat : 8734 (java) S 8723 8726 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77391104 15378358272 32809 33554432000 4194304 4196468 140735934550560 139699448440096 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8735] ppid=8723 vsize=15017928 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8735/stat : 8735 (java) S 8723 8726 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77391104 15378358272 32809 33554432000 4194304 4196468 140735934550560 139699314218608 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8736] ppid=8723 vsize=15017928 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8736/stat : 8736 (java) S 8723 8726 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391106 15378358272 32809 33554432000 4194304 4196468 140735934550560 139698939714128 139700868519835 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8737] ppid=8723 vsize=15017928 memory=4612 CPUtime=0.08 cores=1,3,5,7
/proc/8726/task/8737/stat : 8737 (java) S 8723 8726 6157 0 -1 1077944384 378 0 0 0 8 0 0 0 20 0 15 0 77391106 15378358272 32809 33554432000 4194304 4196468 140735934550560 139699838462064 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8738] ppid=8723 vsize=15017928 memory=1012 CPUtime=0.08 cores=1,3,5,7
/proc/8726/task/8738/stat : 8738 (java) S 8723 8726 6157 0 -1 1077944384 554 0 0 0 8 0 0 0 20 0 15 0 77391106 15378358272 32809 33554432000 4194304 4196468 140735934550560 139699837409264 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8739] ppid=8723 vsize=15017928 memory=1436 CPUtime=0.17 cores=1,3,5,7
/proc/8726/task/8739/stat : 8739 (java) R 8723 8726 6157 0 -1 4202560 517 0 0 0 17 0 0 0 20 0 15 0 77391106 15378358272 32809 33554432000 4194304 4196468 140735934550560 139699836354232 139700868513174 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8740] ppid=8723 vsize=15017928 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8740/stat : 8740 (java) S 8723 8726 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391107 15378358272 32809 33554432000 4194304 4196468 140735934550560 139698441808352 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8741] ppid=8723 vsize=15017928 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8741/stat : 8741 (java) S 8723 8726 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391107 15378358272 32809 33554432000 4194304 4196468 140735934550560 139699835304880 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131236 KiB
[startup+1.50162 s]
/proc/loadavg: 2.08 2.06 2.02 6/221 8741
/proc/meminfo: memFree=12265952/32770624 swapFree=67108860/67108860
[pid=8726] ppid=8723 vsize=15022100 memory=387116 CPUtime=3.5 cores=1,3,5,7
/proc/8726/stat : 8726 (java) S 8723 8726 6157 0 -1 1077944320 22177 0 0 0 339 11 0 0 20 0 15 0 77391100 15382630400 96779 33554432000 4194304 4196468 140735934550560 140735934533104 139700868501239 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
/proc/8726/statm: 3755525 96779 3196 1 0 3716910 0
[pid=8726/tid=8728] ppid=8723 vsize=15022100 memory=4140 CPUtime=1.47 cores=1,3,5,7
/proc/8726/task/8728/stat : 8728 (java) R 8723 8726 6157 0 -1 4202560 15545 0 0 0 139 8 0 0 20 0 15 0 77391100 15382630400 96791 33554432000 4194304 4196468 140735934550560 139700840339584 139700337929696 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8729] ppid=8723 vsize=15022100 memory=23052 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8729/stat : 8729 (java) S 8723 8726 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391102 15382630400 96791 33554432000 4194304 4196468 140735934550560 139700872743312 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8730] ppid=8723 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8730/stat : 8730 (java) S 8723 8726 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391102 15382630400 96791 33554432000 4194304 4196468 140735934550560 139700663826704 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8731] ppid=8723 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8731/stat : 8731 (java) S 8723 8726 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391102 15382630400 96791 33554432000 4194304 4196468 140735934550560 139700662774416 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8732] ppid=8723 vsize=15022100 memory=55 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8732/stat : 8732 (java) S 8723 8726 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391102 15382630400 96791 33554432000 4194304 4196468 140735934550560 139700661721616 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8733] ppid=8723 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8733/stat : 8733 (java) S 8723 8726 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77391103 15382630400 96791 33554432000 4194304 4196468 140735934550560 139699839515248 139700868512386 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
################
# More data... #
################
/proc/8726/task/8739/stat : 8739 (java) S 8723 8726 6157 0 -1 1077944384 7508 0 0 0 146 2 0 0 20 0 15 0 77391106 15384727552 1202547 33554432000 4194304 4196468 140735934550560 139699836356976 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8740] ppid=8723 vsize=15024148 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8740/stat : 8740 (java) S 8723 8726 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391107 15384727552 1202547 33554432000 4194304 4196468 140735934550560 139698441808352 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8741] ppid=8723 vsize=15024148 memory=2400 CPUtime=0.05 cores=1,3,5,7
/proc/8726/task/8741/stat : 8741 (java) S 8723 8726 6157 0 -1 1077944384 185 0 0 0 2 3 0 0 20 0 15 0 77391107 15384727552 1202547 33554432000 4194304 4196468 140735934550560 139699835304880 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
Current children cumulated CPU time: 123.95 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 4810188 KiB
[startup+162.301 s]
/proc/loadavg: 1.95 2.07 2.04 3/220 8743
/proc/meminfo: memFree=6468424/32770624 swapFree=67108860/67108860
[pid=8726] ppid=8723 vsize=15024148 memory=6004444 CPUtime=195.42 cores=1,3,5,7
/proc/8726/stat : 8726 (java) S 8723 8726 6157 0 -1 1077944320 78823 0 0 0 19201 341 0 0 20 0 15 0 77391100 15384727552 1501111 33554432000 4194304 4196468 140735934550560 140735934533104 139700868501239 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
/proc/8726/statm: 3756037 1501111 3247 1 0 3717422 0
[pid=8726/tid=8728] ppid=8723 vsize=15024148 memory=5221128 CPUtime=156.32 cores=1,3,5,7
/proc/8726/task/8728/stat : 8728 (java) R 8723 8726 6157 0 -1 4202560 28548 0 0 0 15587 45 0 0 20 0 15 0 77391100 15384727552 1501111 33554432000 4194304 4196468 140735934550560 139700840337728 139700348953744 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8729] ppid=8723 vsize=15024148 memory=5221128 CPUtime=5.85 cores=1,3,5,7
/proc/8726/task/8729/stat : 8729 (java) S 8723 8726 6157 0 -1 1077944384 2337 0 0 0 520 65 0 0 20 0 15 0 77391102 15384727552 1501111 33554432000 4194304 4196468 140735934550560 139700872743312 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8730] ppid=8723 vsize=15024148 memory=5221128 CPUtime=5.85 cores=1,3,5,7
/proc/8726/task/8730/stat : 8730 (java) S 8723 8726 6157 0 -1 1077944384 3472 0 0 0 516 69 0 0 20 0 15 0 77391102 15384727552 1501111 33554432000 4194304 4196468 140735934550560 139700663826704 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8731] ppid=8723 vsize=15024148 memory=5368676 CPUtime=5.85 cores=1,3,5,7
/proc/8726/task/8731/stat : 8731 (java) S 8723 8726 6157 0 -1 1077944384 3762 0 0 0 511 74 0 0 20 0 15 0 77391102 15384727552 1501111 33554432000 4194304 4196468 140735934550560 139700662774416 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8732] ppid=8723 vsize=15024148 memory=5452644 CPUtime=5.87 cores=1,3,5,7
/proc/8726/task/8732/stat : 8732 (java) S 8723 8726 6157 0 -1 1077944384 3490 0 0 0 515 72 0 0 20 0 15 0 77391102 15384727552 1501111 33554432000 4194304 4196468 140735934550560 139700661721616 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8733] ppid=8723 vsize=15024148 memory=5579620 CPUtime=0.04 cores=1,3,5,7
/proc/8726/task/8733/stat : 8733 (java) S 8723 8726 6157 0 -1 1077944384 820 0 0 0 4 0 0 0 20 0 15 0 77391103 15384727552 1501111 33554432000 4194304 4196468 140735934550560 139699839515248 139700868512386 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8734] ppid=8723 vsize=15024148 memory=5580504 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8734/stat : 8734 (java) S 8723 8726 6157 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 77391104 15384727552 1501111 33554432000 4194304 4196468 140735934550560 139699448440160 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8735] ppid=8723 vsize=15024148 memory=5625564 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8735/stat : 8735 (java) S 8723 8726 6157 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 77391104 15384727552 1501111 33554432000 4194304 4196468 140735934550560 139699314218624 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8736] ppid=8723 vsize=15024148 memory=6004444 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8736/stat : 8736 (java) S 8723 8726 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391106 15384727552 1501111 33554432000 4194304 4196468 140735934550560 139698939714128 139700868519835 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8737] ppid=8723 vsize=15024148 memory=6004444 CPUtime=7.55 cores=1,3,5,7
/proc/8726/task/8737/stat : 8737 (java) S 8723 8726 6157 0 -1 1077944384 9415 0 0 0 752 3 0 0 20 0 15 0 77391106 15384727552 1501111 33554432000 4194304 4196468 140735934550560 139699838462064 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8738] ppid=8723 vsize=15024148 memory=6004444 CPUtime=6.21 cores=1,3,5,7
/proc/8726/task/8738/stat : 8738 (java) S 8723 8726 6157 0 -1 1077944384 11934 0 0 0 619 2 0 0 20 0 15 0 77391106 15384727552 1501111 33554432000 4194304 4196468 140735934550560 139699837409264 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8739] ppid=8723 vsize=15024148 memory=281159565389856 CPUtime=1.71 cores=1,3,5,7
/proc/8726/task/8739/stat : 8739 (java) S 8723 8726 6157 0 -1 1077944384 13402 0 0 0 168 3 0 0 20 0 15 0 77391106 15384727552 1501111 33554432000 4194304 4196468 140735934550560 139699836356976 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8740] ppid=8723 vsize=15024148 memory=4441160 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8740/stat : 8740 (java) S 8723 8726 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391107 15384727552 1501111 33554432000 4194304 4196468 140735934550560 139698441808352 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8741] ppid=8723 vsize=15024148 memory=6004444 CPUtime=0.08 cores=1,3,5,7
/proc/8726/task/8741/stat : 8741 (java) S 8723 8726 6157 0 -1 1077944384 224 0 0 0 3 5 0 0 20 0 15 0 77391107 15384727552 1501111 33554432000 4194304 4196468 140735934550560 139699835304880 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
Current children cumulated CPU time: 195.42 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 6004444 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+212.301 s]
/proc/loadavg: 1.76 2.00 2.02 3/225 8750
/proc/meminfo: memFree=5506788/32770624 swapFree=67108860/67108860
[pid=8726] ppid=8723 vsize=15683912 memory=6735128 CPUtime=252.99 cores=1,3,5,7
/proc/8726/stat : 8726 (java) S 8723 8726 6157 0 -1 1077944320 97926 0 0 0 24848 451 0 0 20 0 19 0 77391100 16060325888 1683782 33554432000 4194304 4196468 140735934550560 140735934533104 139700868501239 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
/proc/8726/statm: 3920978 1683782 3265 1 0 3881834 0
[pid=8745] ppid=8726 vsize=200840 memory=164724 CPUtime=0.55 cores=1,3,5,7
/proc/8745/stat : 8745 (minisat_release) R 8726 8726 6157 0 -1 4202496 35005 0 0 0 49 6 0 0 20 0 1 0 77412273 205660160 41181 33554432000 4194304 4308513 140722606622608 140722605571176 139794109328357 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 28741632 140722606625457 140722606625966 140722606625966 140722606628805 0
/proc/8745/statm: 50210 41181 316 28 0 46450 0
[pid=8726/tid=8728] ppid=8723 vsize=15683912 memory=6732060 CPUtime=203.34 cores=1,3,5,7
/proc/8726/task/8728/stat : 8728 (java) S 8723 8726 6157 0 -1 1077944384 32876 0 0 0 20269 65 0 0 20 0 19 0 77391100 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139700840340480 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 45 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8729] ppid=8723 vsize=15683912 memory=6309680 CPUtime=7.82 cores=1,3,5,7
/proc/8726/task/8729/stat : 8729 (java) S 8723 8726 6157 0 -1 1077944384 3277 0 0 0 696 86 0 0 20 0 19 0 77391102 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139700872743312 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8730] ppid=8723 vsize=15683912 memory=6731912 CPUtime=7.82 cores=1,3,5,7
/proc/8726/task/8730/stat : 8730 (java) S 8723 8726 6157 0 -1 1077944384 4493 0 0 0 692 90 0 0 20 0 19 0 77391102 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139700663826704 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8731] ppid=8723 vsize=15683912 memory=6732060 CPUtime=7.82 cores=1,3,5,7
/proc/8726/task/8731/stat : 8731 (java) S 8723 8726 6157 0 -1 1077944384 5558 0 0 0 687 95 0 0 20 0 19 0 77391102 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139700662774416 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8732] ppid=8723 vsize=15683912 memory=6735128 CPUtime=7.82 cores=1,3,5,7
/proc/8726/task/8732/stat : 8732 (java) S 8723 8726 6157 0 -1 1077944384 4942 0 0 0 689 93 0 0 20 0 19 0 77391102 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139700661721616 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8733] ppid=8723 vsize=15683912 memory=4124 CPUtime=0.05 cores=1,3,5,7
/proc/8726/task/8733/stat : 8733 (java) S 8723 8726 6157 0 -1 1077944384 1702 0 0 0 5 0 0 0 20 0 19 0 77391103 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699839515248 139700868512386 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8734] ppid=8723 vsize=15683912 memory=6732060 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8734/stat : 8734 (java) S 8723 8726 6157 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 77391104 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699448440160 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8735] ppid=8723 vsize=15683912 memory=6732060 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8735/stat : 8735 (java) S 8723 8726 6157 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 19 0 77391104 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699314218624 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8736] ppid=8723 vsize=15683912 memory=6731912 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8736/stat : 8736 (java) S 8723 8726 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77391106 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139698939714128 139700868519835 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8737] ppid=8723 vsize=15683912 memory=6731912 CPUtime=8.73 cores=1,3,5,7
/proc/8726/task/8737/stat : 8737 (java) S 8723 8726 6157 0 -1 1077944384 11949 0 0 0 869 4 0 0 20 0 19 0 77391106 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699838462064 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8738] ppid=8723 vsize=15683912 memory=6735128 CPUtime=7.45 cores=1,3,5,7
/proc/8726/task/8738/stat : 8738 (java) S 8723 8726 6157 0 -1 1077944384 16283 0 0 0 742 3 0 0 20 0 19 0 77391106 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699837409264 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8739] ppid=8723 vsize=15683912 memory=6735128 CPUtime=1.9 cores=1,3,5,7
/proc/8726/task/8739/stat : 8739 (java) S 8723 8726 6157 0 -1 1077944384 15052 0 0 0 186 4 0 0 20 0 19 0 77391106 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699836356976 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8740] ppid=8723 vsize=15683912 memory=6731904 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8740/stat : 8740 (java) S 8723 8726 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77391107 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139698441808352 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8741] ppid=8723 vsize=15683912 memory=6731904 CPUtime=0.11 cores=1,3,5,7
/proc/8726/task/8741/stat : 8741 (java) S 8723 8726 6157 0 -1 1077944384 258 0 0 0 4 7 0 0 20 0 19 0 77391107 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699835304880 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8746] ppid=8723 vsize=15683912 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8746/stat : 8746 (java) S 8723 8726 6157 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77412274 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699817272768 139700868525849 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8748] ppid=8723 vsize=15683912 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8748/stat : 8748 (java) S 8723 8726 6157 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 77412274 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139698039144368 139700868523165 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8749] ppid=8723 vsize=15683912 memory=15258134151170443 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8749/stat : 8749 (java) S 8723 8726 6157 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 77412274 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139697904921904 139700868523165 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8750] ppid=8723 vsize=15683912 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8750/stat : 8750 (java) S 8723 8726 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77412276 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139697636498336 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
Current children cumulated CPU time: 253.54 s
Current children cumulated vsize: 15884752 KiB
Current children cumulated memory: 6899852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+212.357 s]
# the end of solver process 8726 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.984 s, system=4.62745 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+212.301 s]
/proc/loadavg: 1.76 2.00 2.02 3/225 8750
/proc/meminfo: memFree=5506788/32770624 swapFree=67108860/67108860
[pid=8726] ppid=8723 vsize=15683912 memory=6735128 CPUtime=252.99 cores=1,3,5,7
/proc/8726/stat : 8726 (java) S 8723 8726 6157 0 -1 1077944320 97926 0 0 0 24848 451 0 0 20 0 19 0 77391100 16060325888 1683782 33554432000 4194304 4196468 140735934550560 140735934533104 139700868501239 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
/proc/8726/statm: 3920978 1683782 3265 1 0 3881834 0
[pid=8745] ppid=8726 vsize=200840 memory=164724 CPUtime=0.55 cores=1,3,5,7
/proc/8745/stat : 8745 (minisat_release) R 8726 8726 6157 0 -1 4202496 35005 0 0 0 49 6 0 0 20 0 1 0 77412273 205660160 41181 33554432000 4194304 4308513 140722606622608 140722605571176 139794109328357 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 28741632 140722606625457 140722606625966 140722606625966 140722606628805 0
/proc/8745/statm: 50210 41181 316 28 0 46450 0
[pid=8726/tid=8728] ppid=8723 vsize=15683912 memory=6732060 CPUtime=203.34 cores=1,3,5,7
/proc/8726/task/8728/stat : 8728 (java) S 8723 8726 6157 0 -1 1077944384 32876 0 0 0 20269 65 0 0 20 0 19 0 77391100 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139700840340480 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 45 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8729] ppid=8723 vsize=15683912 memory=6309680 CPUtime=7.82 cores=1,3,5,7
/proc/8726/task/8729/stat : 8729 (java) S 8723 8726 6157 0 -1 1077944384 3277 0 0 0 696 86 0 0 20 0 19 0 77391102 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139700872743312 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8730] ppid=8723 vsize=15683912 memory=6731912 CPUtime=7.82 cores=1,3,5,7
/proc/8726/task/8730/stat : 8730 (java) S 8723 8726 6157 0 -1 1077944384 4493 0 0 0 692 90 0 0 20 0 19 0 77391102 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139700663826704 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8731] ppid=8723 vsize=15683912 memory=6732060 CPUtime=7.82 cores=1,3,5,7
/proc/8726/task/8731/stat : 8731 (java) S 8723 8726 6157 0 -1 1077944384 5558 0 0 0 687 95 0 0 20 0 19 0 77391102 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139700662774416 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8732] ppid=8723 vsize=15683912 memory=6735128 CPUtime=7.82 cores=1,3,5,7
/proc/8726/task/8732/stat : 8732 (java) S 8723 8726 6157 0 -1 1077944384 4942 0 0 0 689 93 0 0 20 0 19 0 77391102 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139700661721616 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8733] ppid=8723 vsize=15683912 memory=4124 CPUtime=0.05 cores=1,3,5,7
/proc/8726/task/8733/stat : 8733 (java) S 8723 8726 6157 0 -1 1077944384 1702 0 0 0 5 0 0 0 20 0 19 0 77391103 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699839515248 139700868512386 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8734] ppid=8723 vsize=15683912 memory=6732060 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8734/stat : 8734 (java) S 8723 8726 6157 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 77391104 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699448440160 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8735] ppid=8723 vsize=15683912 memory=6732060 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8735/stat : 8735 (java) S 8723 8726 6157 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 19 0 77391104 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699314218624 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8736] ppid=8723 vsize=15683912 memory=6731912 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8736/stat : 8736 (java) S 8723 8726 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77391106 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139698939714128 139700868519835 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8737] ppid=8723 vsize=15683912 memory=6731912 CPUtime=8.73 cores=1,3,5,7
/proc/8726/task/8737/stat : 8737 (java) S 8723 8726 6157 0 -1 1077944384 11949 0 0 0 869 4 0 0 20 0 19 0 77391106 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699838462064 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8738] ppid=8723 vsize=15683912 memory=6735128 CPUtime=7.45 cores=1,3,5,7
/proc/8726/task/8738/stat : 8738 (java) S 8723 8726 6157 0 -1 1077944384 16283 0 0 0 742 3 0 0 20 0 19 0 77391106 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699837409264 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8739] ppid=8723 vsize=15683912 memory=6735128 CPUtime=1.9 cores=1,3,5,7
/proc/8726/task/8739/stat : 8739 (java) S 8723 8726 6157 0 -1 1077944384 15052 0 0 0 186 4 0 0 20 0 19 0 77391106 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699836356976 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8740] ppid=8723 vsize=15683912 memory=6731904 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8740/stat : 8740 (java) S 8723 8726 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77391107 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139698441808352 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8741] ppid=8723 vsize=15683912 memory=6731904 CPUtime=0.11 cores=1,3,5,7
/proc/8726/task/8741/stat : 8741 (java) S 8723 8726 6157 0 -1 1077944384 258 0 0 0 4 7 0 0 20 0 19 0 77391107 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699835304880 139700868512386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8746] ppid=8723 vsize=15683912 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8746/stat : 8746 (java) S 8723 8726 6157 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77412274 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139699817272768 139700868525849 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8748] ppid=8723 vsize=15683912 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8748/stat : 8748 (java) S 8723 8726 6157 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 77412274 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139698039144368 139700868523165 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8749] ppid=8723 vsize=15683912 memory=15258134151170443 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8749/stat : 8749 (java) S 8723 8726 6157 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 77412274 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139697904921904 139700868523165 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
[pid=8726/tid=8750] ppid=8723 vsize=15683912 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/8726/task/8750/stat : 8750 (java) S 8723 8726 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77412276 16060325888 1683782 33554432000 4194304 4196468 140735934550560 139697636498336 139700868511445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12677120 140735934559220 140735934559497 140735934559497 140735934562255 0
Current children cumulated CPU time: 253.54 s
Current children cumulated vsize: 15884752 KiB
Current children cumulated memory: 6899852 KiB
Child status: 1
Real time (s): 212.358
CPU time (s): 253.612
CPU user time (s): 248.984
CPU system time (s): 4.62745
CPU usage (%): 119.427
Max. virtual memory (cumulated for all children) (KiB): 15884752
Max. memory (cumulated for all children) (KiB): 6899852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.984
system time used= 4.62745
maximum resident set size= 6737672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133117
page faults= 0
swaps= 0
block input operations= 8
block output operations= 266088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11257
involuntary context switches= 576
# summary of solver processes directly reported to runsolver:
# pid: 8726
# total CPU time (s): 253.612
# total CPU user time (s): 248.984
# total CPU system time (s): 4.62745
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17962 second user time and 2.14507 second system time
The end