0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Thu Jul 26 11:26:09 CEST 2018
0.67/0.55 c PID: 8196
0.67/0.55 c IP: 172.20.3.107
0.67/0.55 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.32/1.29 c (0,0) Parsing End
2.32/1.30 c (0,0) CSP: 496 int (0 aux), 0 bool (0 aux), 482 ctr, max domain size 256
2.32/1.30 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.32/1.30 c (0,0) Constraint Name Generate Begin
2.61/1.34 c (0,0) Ctr:HOME/instance-4295930-1532597169.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num
2.61/1.34 c (0,0) Constraint Name Generate End
2.61/1.34 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.61/1.34 c (0,0) CSP to CSPinCNF Begin
5.83/2.44 c (1,1) translated 49 (10%) constraints
6.42/2.78 c (2,2) translated 97 (20%) constraints
6.84/3.11 c (2,2) translated 145 (30%) constraints
7.13/3.43 c (2,2) translated 193 (40%) constraints
7.45/3.75 c (3,3) translated 241 (50%) constraints
7.45/3.78 c (3,3) translated 290 (60%) constraints
7.45/3.78 c (3,3) translated 338 (70%) constraints
7.45/3.79 c (3,3) translated 386 (80%) constraints
7.45/3.80 c (3,3) translated 434 (90%) constraints
7.64/3.80 c (3,3) translated 482 (100%) constraints
8.62/4.19 c (3,3) STATISTICS1:HOME/instance-4295930-1532597169.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,496,65600,256,256,16,3,256:480;16:3360;1:480,256:61680;16:66240;1:4400,16:64;3:61440;2:3840;1:256,3:480;2:3840;1:185376,
8.62/4.19 c (3,3) ===========================================
8.62/4.19 c (3,3) Both Encoding selects:
8.62/4.19 c (3,3) Order
8.62/4.19 c (3,3) ===========================================
10.26/4.67 c (4,4) translated 6560 (10%) constraints
11.30/5.08 c (4,4) translated 13120 (20%) constraints
11.77/5.44 c (4,4) translated 19680 (30%) constraints
12.10/5.80 c (5,5) translated 26240 (40%) constraints
12.54/6.16 c (5,5) translated 32800 (50%) constraints
12.96/6.52 c (5,5) translated 39360 (60%) constraints
13.30/6.87 c (6,6) translated 45920 (70%) constraints
13.73/7.23 c (6,6) translated 52480 (80%) constraints
14.03/7.58 c (7,7) translated 59040 (90%) constraints
14.44/7.95 c (7,7) translated 65600 (100%) constraints
14.44/7.95 c (7,7) CSP to CSPinCNF End
14.44/7.95 c (7,7) CSP: 496 int (0 aux), 4096 bool (4096 aux), 188736 ctr, max domain size 256
14.44/7.96 c (7,7) Heap : 2478 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.44/7.96 c (7,7) CSPinCNF Propagation Begin
18.48/9.40 c (8,8) 848 values, 11412 unsatisfiable literals, and 18496 valid clauses are removed
18.48/9.40 c (8,8) CSPinCNF Propagation End
18.48/9.40 c (8,8) CSP: 800 int (304 aux), 3792 bool (3792 aux), 170240 ctr, max domain size 254
18.48/9.40 c (8,8) Heap : 556 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
18.48/9.40 c (8,8) Simplify CSPinCNF Begin
19.49/9.84 c (9,9) Simplify CSPinCNF End
19.49/9.85 c (9,9) CSP: 800 int (304 aux), 11344 bool (11344 aux), 177792 ctr, max domain size 254
19.49/9.85 c (9,9) Heap : 721 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
19.49/9.85 c (9,9) Calculate Precise Domain Begin
19.49/9.85 c (9,9) 0 values are removed by re-calculation
19.49/9.85 c (9,9) Calculate Precise Domain End
19.49/9.85 c (9,9) CSP: 800 int (304 aux), 11344 bool (11344 aux), 177792 ctr, max domain size 254
19.49/9.85 c (9,9) Heap : 721 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
19.49/9.85 c (9,9) CSPinCNF to SatSolver Begin
21.56/10.54 c (10,9) 17780 (10 %) CSP clauses are encoded (74484 SAT variables, 178495 SAT clauses)
21.76/10.62 c (10,9) 35559 (20 %) CSP clauses are encoded (74484 SAT variables, 196274 SAT clauses)
21.88/10.70 c (10,9) 53338 (30 %) CSP clauses are encoded (74484 SAT variables, 214053 SAT clauses)
21.88/10.77 c (10,10) 71117 (40 %) CSP clauses are encoded (74484 SAT variables, 231832 SAT clauses)
21.98/10.85 c (10,10) 88896 (50 %) CSP clauses are encoded (74484 SAT variables, 249611 SAT clauses)
22.07/10.93 c (10,10) 106676 (60 %) CSP clauses are encoded (74484 SAT variables, 267391 SAT clauses)
22.07/11.00 c (10,10) 124455 (70 %) CSP clauses are encoded (74484 SAT variables, 285170 SAT clauses)
22.18/11.08 c (10,10) 142234 (80 %) CSP clauses are encoded (74484 SAT variables, 302949 SAT clauses)
22.28/11.15 c (10,10) 160013 (90 %) CSP clauses are encoded (74484 SAT variables, 320728 SAT clauses)
23.20/11.55 c (11,10) 177792 (100 %) CSP clauses are encoded (74484 SAT variables, 455754 SAT clauses)
23.20/11.55 c (11,10) CSPinCNF to SatSolver End
23.20/11.55 c (11,10) Heap : 1825 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.19/12.01 c (11,11) STATISTICS2:HOME/instance-4295930-1532597169.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,12144,177792,256,254,14,3,256:364;225:104;196:12;16:4368;15:2024;14:328;1:832,254:79248;253:13156;237:23700;236:944;220:2640;16:94276;15:25168;14:2708;2:177496;1:832,14:60;3:55832;2:121420;1:480,3:480;2:7552;1:403624,
24.19/12.01 c (11,11) SatSolver.solve Begin
24.19/12.01 c (11,11) 74484 bool, 455948 clause
24.19/12.01 c (11,11) 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-4295930-1532597169.xml-scop-8196.cnf HOME/instance-4295930-1532597169.xml-scop-8196.cnf.out
797.84/784.70 c (784,0) receiving signal SIGTERM
797.84/784.70 s UNKNOWN
797.84/784.70 c (784,11) SatSolver is killed by some reasons.
797.84/784.70 c (784,11) 0,0,7,8,9,9,11,TO,TO,STOP-AFTER(DIMACS)
797.84/784.70 c END-Prog: Thu Jul 26 11:39:14 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 (4398 MiB free)
memory of node 1: 16384 MiB (7804 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295930-1532597169/watcher-4295930-1532597169 -o /tmp/evaluation-result-4295930-1532597169/solver-4295930-1532597169 -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-4295930-1532597169.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=8196, runsolver pid=8193
Current StackSize limit: 8192 KiB
[startup+0.101102 s]*
/proc/loadavg: 2.14 2.06 1.97 3/220 8211
/proc/meminfo: memFree=12437424/32770624 swapFree=67108860/67108860
[pid=8196] ppid=8193 vsize=15011656 memory=71052 CPUtime=0.12 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8193 8196 6157 0 -1 1077944320 7004 0 0 0 9 3 0 0 20 0 15 0 77280078 15371935744 17763 33554432000 4194304 4196468 140731177708464 140731177691008 140396962828023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
/proc/8196/statm: 3752914 17763 2780 1 0 3715374 0
[pid=8196/tid=8198] ppid=8193 vsize=15011656 memory=-8393745925659800667 CPUtime=0.08 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) R 8193 8196 6157 0 -1 4202560 5301 0 0 0 6 2 0 0 20 0 15 0 77280078 15371935744 18027 33554432000 4194304 4196468 140731177708464 140396934640008 140396943103783 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8199] ppid=8193 vsize=15011656 memory=3472468837201855696 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8193 8196 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77280080 15371935744 18027 33554432000 4194304 4196468 140731177708464 140396967070352 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8200] ppid=8193 vsize=15011656 memory=140708306704000 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8193 8196 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77280080 15371935744 18027 33554432000 4194304 4196468 140731177708464 140396781226512 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8201] ppid=8193 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8193 8196 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77280080 15371935744 18027 33554432000 4194304 4196468 140731177708464 140396780173712 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8202] ppid=8193 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8193 8196 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77280080 15371935744 18027 33554432000 4194304 4196468 140731177708464 140396779120912 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8203] ppid=8193 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8193 8196 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77280081 15371935744 18027 33554432000 4194304 4196468 140731177708464 140396001143664 140396962839170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8204] ppid=8193 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8193 8196 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77280082 15371935744 18027 33554432000 4194304 4196468 140731177708464 140395501577760 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8205] ppid=8193 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8193 8196 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77280082 15371935744 18027 33554432000 4194304 4196468 140731177708464 140395367355760 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8206] ppid=8193 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8193 8196 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77280084 15371935744 18093 33554432000 4194304 4196468 140731177708464 140394992851280 140396962846619 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8207] ppid=8193 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8193 8196 6157 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 77280084 15371935744 18093 33554432000 4194304 4196468 140731177708464 140396000090480 140396962839170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8208] ppid=8193 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8193 8196 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77280084 15371935744 18093 33554432000 4194304 4196468 140731177708464 140395999037680 140396962839170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8209] ppid=8193 vsize=15011656 memory=140708306704000 CPUtime=0.01 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8193 8196 6157 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 77280084 15371935744 18093 33554432000 4194304 4196468 140731177708464 140395997984880 140396962839170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8210] ppid=8193 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8193 8196 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77280085 15371935744 18093 33554432000 4194304 4196468 140731177708464 140394494945504 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8211] ppid=8193 vsize=15011656 memory=140708306704000 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8211/stat : 8211 (java) S 8193 8196 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77280085 15371935744 18093 33554432000 4194304 4196468 140731177708464 140395996933296 140396962839170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71052 KiB
[startup+0.210327 s]*
/proc/loadavg: 2.14 2.06 1.97 3/220 8211
/proc/meminfo: memFree=12424448/32770624 swapFree=67108860/67108860
[pid=8196] ppid=8193 vsize=15011656 memory=83628 CPUtime=0.26 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8193 8196 6157 0 -1 1077944320 10385 0 0 0 22 4 0 0 20 0 15 0 77280078 15371935744 20907 33554432000 4194304 4196468 140731177708464 140731177691008 140396962828023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
/proc/8196/statm: 3752914 20907 2890 1 0 3715374 0
[pid=8196/tid=8198] ppid=8193 vsize=15011656 memory=-8340259002029870941 CPUtime=0.2 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8193 8196 6157 0 -1 1077944384 8275 0 0 0 17 3 0 0 20 0 15 0 77280078 15371935744 20907 33554432000 4194304 4196468 140731177708464 140396934653936 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8199] ppid=8193 vsize=15011656 memory=5793855959316597177 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8193 8196 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77280080 15371935744 20907 33554432000 4194304 4196468 140731177708464 140396967070352 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8200] ppid=8193 vsize=15011656 memory=140708306704000 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8193 8196 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77280080 15371935744 20907 33554432000 4194304 4196468 140731177708464 140396781226512 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8201] ppid=8193 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8193 8196 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77280080 15371935744 20907 33554432000 4194304 4196468 140731177708464 140396780173712 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8202] ppid=8193 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8193 8196 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77280080 15371935744 20907 33554432000 4194304 4196468 140731177708464 140396779120912 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8203] ppid=8193 vsize=15011656 memory=140708306704000 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8193 8196 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77280081 15371935744 20907 33554432000 4194304 4196468 140731177708464 140396001143664 140396962839170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8204] ppid=8193 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8193 8196 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77280082 15371935744 20907 33554432000 4194304 4196468 140731177708464 140395501577760 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8205] ppid=8193 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8193 8196 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77280082 15371935744 20907 33554432000 4194304 4196468 140731177708464 140395367355760 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8206] ppid=8193 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8193 8196 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77280084 15371935744 20907 33554432000 4194304 4196468 140731177708464 140394992851280 140396962846619 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8207] ppid=8193 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) R 8193 8196 6157 0 -1 4202560 444 0 0 0 1 0 0 0 20 0 15 0 77280084 15371935744 20907 33554432000 4194304 4196468 140731177708464 140396000090480 140396946292300 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8208] ppid=8193 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) R 8193 8196 6157 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 77280084 15371935744 20907 33554432000 4194304 4196468 140731177708464 140395999037680 140396962839170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8209] ppid=8193 vsize=15011656 memory=140708306704000 CPUtime=0.03 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) R 8193 8196 6157 0 -1 4202560 289 0 0 0 3 0 0 0 20 0 15 0 77280084 15371935744 20907 33554432000 4194304 4196468 140731177708464 140395997984880 140396962839958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8210] ppid=8193 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8193 8196 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77280085 15371935744 20907 33554432000 4194304 4196468 140731177708464 140394494945504 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8211] ppid=8193 vsize=15011656 memory=140708306704000 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8211/stat : 8211 (java) S 8193 8196 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77280085 15371935744 20907 33554432000 4194304 4196468 140731177708464 140395996933296 140396962839170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83628 KiB
[startup+0.31045 s]*
/proc/loadavg: 2.14 2.06 1.97 3/220 8211
/proc/meminfo: memFree=12420540/32770624 swapFree=67108860/67108860
[pid=8196] ppid=8193 vsize=15011656 memory=87968 CPUtime=0.43 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8193 8196 6157 0 -1 1077944320 11000 0 0 0 39 4 0 0 20 0 15 0 77280078 15371935744 21992 33554432000 4194304 4196468 140731177708464 140731177691008 140396962828023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
/proc/8196/statm: 3752914 21992 3035 1 0 3715374 0
[pid=8196/tid=8198] ppid=8193 vsize=15011656 memory=-8340259002029870941 CPUtime=0.29 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) R 8193 8196 6157 0 -1 4202560 8710 0 0 0 26 3 0 0 20 0 15 0 77280078 15371935744 21992 33554432000 4194304 4196468 140731177708464 140396934632176 140396962839958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8199] ppid=8193 vsize=15011656 memory=5793855959316597177 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8193 8196 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77280080 15371935744 21992 33554432000 4194304 4196468 140731177708464 140396967070352 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8200] ppid=8193 vsize=15011656 memory=281416468599424 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8193 8196 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77280080 15371935744 21992 33554432000 4194304 4196468 140731177708464 140396781226512 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8201] ppid=8193 vsize=15011656 memory=281416323818496 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8193 8196 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77280080 15371935744 21992 33554432000 4194304 4196468 140731177708464 140396780173712 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8202] ppid=8193 vsize=15011656 memory=140708161895439 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8193 8196 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77280080 15371935744 21992 33554432000 4194304 4196468 140731177708464 140396779120912 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8203] ppid=8193 vsize=15011656 memory=281416468606336 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8193 8196 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77280081 15371935744 21992 33554432000 4194304 4196468 140731177708464 140396001143664 140396962839170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8204] ppid=8193 vsize=15011656 memory=140708161900047 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8193 8196 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77280082 15371935744 21992 33554432000 4194304 4196468 140731177708464 140395501577760 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8205] ppid=8193 vsize=15011656 memory=140708161910077 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8193 8196 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77280082 15371935744 21992 33554432000 4194304 4196468 140731177708464 140395367355760 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8206] ppid=8193 vsize=15011656 memory=140708161912766 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8193 8196 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77280084 15371935744 21992 33554432000 4194304 4196468 140731177708464 140394992851280 140396962846619 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8207] ppid=8193 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) R 8193 8196 6157 0 -1 4202560 466 0 0 0 2 0 0 0 20 0 15 0 77280084 15371935744 21992 33554432000 4194304 4196468 140731177708464 140396000090480 140396955933745 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8208] ppid=8193 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) R 8193 8196 6157 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 15 0 77280084 15371935744 21992 33554432000 4194304 4196468 140731177708464 140395999037680 140396962839170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8209] ppid=8193 vsize=15011656 memory=140708306704000 CPUtime=0.08 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) R 8193 8196 6157 0 -1 4202560 333 0 0 0 8 0 0 0 20 0 15 0 77280084 15371935744 21992 33554432000 4194304 4196468 140731177708464 140395997981248 140396941392909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8210] ppid=8193 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8193 8196 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77280085 15371935744 21992 33554432000 4194304 4196468 140731177708464 140394494945504 140396962838229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8211] ppid=8193 vsize=15011656 memory=140708306775052 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8211/stat : 8211 (java) R 8193 8196 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77280085 15371935744 21992 33554432000 4194304 4196468 140731177708464 140395996933296 140396962839170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87968 KiB
[startup+0.700797 s]
/proc/loadavg: 2.14 2.06 1.97 3/220 8211
/proc/meminfo: memFree=12396108/32770624 swapFree=67108860/67108860
[pid=8196] ppid=8193 vsize=15020052 memory=127712 CPUtime=1 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8193 8196 6157 0 -1 1077944320 18174 0 0 0 94 6 0 0 20 0 15 0 77280078 15380533248 31928 33554432000 4194304 4196468 140731177708464 140731177691008 140396962828023 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
/proc/8196/statm: 3755013 31928 3156 1 0 3716398 0
[pid=8196/tid=8198] ppid=8193 vsize=15020052 memory=55 CPUtime=0.67 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) R 8193 8196 6157 0 -1 4202560 15410 0 0 0 61 6 0 0 20 0 15 0 77280078 15380533248 31928 33554432000 4194304 4196468 140731177708464 140396934664656 140396962839958 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8199] ppid=8193 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8193 8196 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77280080 15380533248 31928 33554432000 4194304 4196468 140731177708464 140396967070352 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8200] ppid=8193 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8193 8196 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77280080 15380533248 31928 33554432000 4194304 4196468 140731177708464 140396781226512 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8201] ppid=8193 vsize=15020052 memory=7886766292050916917 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8193 8196 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77280080 15380533248 31928 33554432000 4194304 4196468 140731177708464 140396780173712 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8202] ppid=8193 vsize=15020052 memory=5787495302107849536 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8193 8196 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77280080 15380533248 31928 33554432000 4194304 4196468 140731177708464 140396779120912 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8203] ppid=8193 vsize=15020052 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8193 8196 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77280081 15380533248 31928 33554432000 4194304 4196468 140731177708464 140396001143664 140396962839170 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8204] ppid=8193 vsize=15020052 memory=8540 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8193 8196 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77280082 15380533248 31928 33554432000 4194304 4196468 140731177708464 140395501577760 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8205] ppid=8193 vsize=15020052 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8193 8196 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77280082 15380533248 31928 33554432000 4194304 4196468 140731177708464 140395367355760 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8206] ppid=8193 vsize=15020052 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8193 8196 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77280084 15380533248 31928 33554432000 4194304 4196468 140731177708464 140394992851280 140396962846619 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8207] ppid=8193 vsize=15020052 memory=4612 CPUtime=0.06 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) R 8193 8196 6157 0 -1 4202560 557 0 0 0 6 0 0 0 20 0 15 0 77280084 15380533248 31928 33554432000 4194304 4196468 140731177708464 140396000090480 140396947225117 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8208] ppid=8193 vsize=15020052 memory=1012 CPUtime=0.09 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) R 8193 8196 6157 0 -1 1077944384 360 0 0 0 9 0 0 0 20 0 15 0 77280084 15380533248 31928 33554432000 4194304 4196468 140731177708464 140395999037680 140396962839170 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8209] ppid=8193 vsize=15020052 memory=1436 CPUtime=0.16 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) R 8193 8196 6157 0 -1 4202560 486 0 0 0 16 0 0 0 20 0 15 0 77280084 15380533248 31928 33554432000 4194304 4196468 140731177708464 140395997984880 140396941503056 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8210] ppid=8193 vsize=15020052 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8193 8196 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77280085 15380533248 31928 33554432000 4194304 4196468 140731177708464 140394494945504 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8211] ppid=8193 vsize=15020052 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8211/stat : 8211 (java) S 8193 8196 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77280085 15380533248 31928 33554432000 4194304 4196468 140731177708464 140395996933296 140396962839170 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127712 KiB
[startup+1.50213 s]
/proc/loadavg: 2.14 2.06 1.97 5/220 8211
/proc/meminfo: memFree=12361928/32770624 swapFree=67108860/67108860
[pid=8196] ppid=8193 vsize=15022100 memory=217524 CPUtime=3.11 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8193 8196 6157 0 -1 1077944320 21194 0 0 0 302 9 0 0 20 0 15 0 77280078 15382630400 54381 33554432000 4194304 4196468 140731177708464 140731177691008 140396962828023 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
/proc/8196/statm: 3755525 54381 3207 1 0 3716910 0
[pid=8196/tid=8198] ppid=8193 vsize=15022100 memory=4140 CPUtime=1.46 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) R 8193 8196 6157 0 -1 4202560 16503 0 0 0 138 8 0 0 20 0 15 0 77280078 15382630400 54381 33554432000 4194304 4196468 140731177708464 140396934664912 140396962839958 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8199] ppid=8193 vsize=15022100 memory=23040 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8193 8196 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77280080 15382630400 54381 33554432000 4194304 4196468 140731177708464 140396967070352 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8200] ppid=8193 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8193 8196 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77280080 15382630400 54381 33554432000 4194304 4196468 140731177708464 140396781226512 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8201] ppid=8193 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8193 8196 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77280080 15382630400 54381 33554432000 4194304 4196468 140731177708464 140396780173712 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8202] ppid=8193 vsize=15022100 memory=55 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8193 8196 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77280080 15382630400 54381 33554432000 4194304 4196468 140731177708464 140396779120912 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8203] ppid=8193 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8193 8196 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77280081 15382630400 54381 33554432000 4194304 4196468 140731177708464 140396001143664 140396962839170 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
################
# More data... #
################
/proc/meminfo: memFree=9217328/32770624 swapFree=67108860/67108860
[pid=8196] ppid=8193 vsize=15683912 memory=3160468 CPUtime=25.13 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8193 8196 6157 0 -1 1077944320 36254 0 0 0 2413 100 0 0 20 0 19 0 77280078 16060325888 790117 33554432000 4194304 4196468 140731177708464 140731177691008 140396962828023 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
/proc/8196/statm: 3920978 790117 3246 1 0 3881834 0
[pid=8212] ppid=8196 vsize=116192 memory=95708 CPUtime=750.28 cores=1,3,5,7
/proc/8212/stat : 8212 (minisat_release) R 8196 8196 6157 0 -1 4202496 186353 0 0 0 75010 18 0 0 20 0 1 0 77281281 118980608 23927 33554432000 4194304 4308513 140734960691888 140734960689336 4262652 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 11366400 140734960698033 140734960698542 140734960698542 140734960701381 0
/proc/8212/statm: 29048 23927 354 28 0 25288 0
[pid=8196/tid=8198] ppid=8193 vsize=15683912 memory=3160468 CPUtime=11.81 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8193 8196 6157 0 -1 1077944384 19622 0 0 0 1132 49 0 0 20 0 19 0 77280078 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396934667264 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8199] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0.2 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8193 8196 6157 0 -1 1077944384 81 0 0 0 15 5 0 0 20 0 19 0 77280080 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396967070352 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8200] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0.19 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8193 8196 6157 0 -1 1077944384 111 0 0 0 15 4 0 0 20 0 19 0 77280080 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396781226512 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8201] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0.19 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8193 8196 6157 0 -1 1077944384 81 0 0 0 15 4 0 0 20 0 19 0 77280080 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396780173712 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8202] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0.19 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8193 8196 6157 0 -1 1077944384 110 0 0 0 15 4 0 0 20 0 19 0 77280080 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396779120912 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8203] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0.02 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8193 8196 6157 0 -1 1077944384 23 0 0 0 2 0 0 0 20 0 19 0 77280081 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396001143664 140396962839170 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8204] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8193 8196 6157 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 77280082 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395501577824 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8205] ppid=8193 vsize=15683912 memory=7092157134018603349 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8193 8196 6157 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 77280082 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395367355760 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8206] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8193 8196 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77280084 16060325888 790117 33554432000 4194304 4196468 140731177708464 140394992851280 140396962846619 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8207] ppid=8193 vsize=15683912 memory=95708 CPUtime=5.32 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8193 8196 6157 0 -1 1077944384 6769 0 0 0 530 2 0 0 20 0 19 0 77280084 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396000090480 140396962839170 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8208] ppid=8193 vsize=15683912 memory=129004 CPUtime=5.18 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8193 8196 6157 0 -1 1077944384 3691 0 0 0 517 1 0 0 20 0 19 0 77280084 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395999037680 140396962839170 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8209] ppid=8193 vsize=15683912 memory=2400 CPUtime=1.47 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8193 8196 6157 0 -1 1077944384 4311 0 0 0 146 1 0 0 20 0 19 0 77280084 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395997984880 140396962839170 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8210] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8193 8196 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77280085 16060325888 790117 33554432000 4194304 4196468 140731177708464 140394494945504 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8211] ppid=8193 vsize=15683912 memory=127044 CPUtime=0.47 cores=1,3,5,7
/proc/8196/task/8211/stat : 8211 (java) S 8193 8196 6157 0 -1 1077944384 53 0 0 0 19 28 0 0 20 0 19 0 77280085 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395996933296 140396962839170 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8213] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8213/stat : 8213 (java) S 8193 8196 6157 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77281281 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395980666560 140396962852633 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8215] ppid=8193 vsize=15683912 memory=131140 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8215/stat : 8215 (java) S 8193 8196 6157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 77281281 16060325888 790117 33554432000 4194304 4196468 140731177708464 140393958063792 140396962849949 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8216] ppid=8193 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8216/stat : 8216 (java) S 8193 8196 6157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 77281281 16060325888 790117 33554432000 4194304 4196468 140731177708464 140393689628208 140396962849949 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8217] ppid=8193 vsize=15683912 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8217/stat : 8217 (java) S 8193 8196 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 77281283 16060325888 790117 33554432000 4194304 4196468 140731177708464 140394226506912 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
Current children cumulated CPU time: 775.41 s
Current children cumulated vsize: 15800104 KiB
Current children cumulated memory: 3256176 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+784.701 s]
/proc/loadavg: 2.00 2.01 1.99 3/225 8239
/proc/meminfo: memFree=9187548/32770624 swapFree=67108860/67108860
[pid=8196] ppid=8193 vsize=15683912 memory=3160468 CPUtime=25.15 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8193 8196 6157 0 -1 1077944320 36254 0 0 0 2414 101 0 0 20 0 19 0 77280078 16060325888 790117 33554432000 4194304 4196468 140731177708464 140731177691008 140396962828023 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
/proc/8196/statm: 3920978 790117 3246 1 0 3881834 0
[pid=8212] ppid=8196 vsize=195952 memory=157236 CPUtime=772.69 cores=1,3,5,7
/proc/8212/stat : 8212 (minisat_release) R 8196 8196 6157 0 -1 4202496 187165 0 0 0 77249 20 0 0 20 0 1 0 77281281 200654848 39309 33554432000 4194304 4308513 140734960691888 140734960689336 4275601 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 11366400 140734960698033 140734960698542 140734960698542 140734960701381 0
/proc/8212/statm: 48988 39309 354 28 0 45228 0
[pid=8196/tid=8198] ppid=8193 vsize=15683912 memory=3160468 CPUtime=11.81 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8193 8196 6157 0 -1 1077944384 19622 0 0 0 1132 49 0 0 20 0 19 0 77280078 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396934667264 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8199] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0.2 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8193 8196 6157 0 -1 1077944384 81 0 0 0 15 5 0 0 20 0 19 0 77280080 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396967070352 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8200] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0.19 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8193 8196 6157 0 -1 1077944384 111 0 0 0 15 4 0 0 20 0 19 0 77280080 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396781226512 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8201] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0.19 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8193 8196 6157 0 -1 1077944384 81 0 0 0 15 4 0 0 20 0 19 0 77280080 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396780173712 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8202] ppid=8193 vsize=15683912 memory=128952 CPUtime=0.19 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8193 8196 6157 0 -1 1077944384 110 0 0 0 15 4 0 0 20 0 19 0 77280080 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396779120912 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8203] ppid=8193 vsize=15683912 memory=124468 CPUtime=0.02 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8193 8196 6157 0 -1 1077944384 23 0 0 0 2 0 0 0 20 0 19 0 77280081 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396001143664 140396962839170 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8204] ppid=8193 vsize=15683912 memory=95708 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8193 8196 6157 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 77280082 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395501577824 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8205] ppid=8193 vsize=15683912 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8193 8196 6157 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 77280082 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395367355760 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8206] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8193 8196 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77280084 16060325888 790117 33554432000 4194304 4196468 140731177708464 140394992851280 140396962846619 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8207] ppid=8193 vsize=15683912 memory=4140 CPUtime=5.32 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8193 8196 6157 0 -1 1077944384 6769 0 0 0 530 2 0 0 20 0 19 0 77280084 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396000090480 140396962839170 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8208] ppid=8193 vsize=15683912 memory=3160468 CPUtime=5.18 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8193 8196 6157 0 -1 1077944384 3691 0 0 0 517 1 0 0 20 0 19 0 77280084 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395999037680 140396962839170 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8209] ppid=8193 vsize=15683912 memory=95708 CPUtime=1.47 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8193 8196 6157 0 -1 1077944384 4311 0 0 0 146 1 0 0 20 0 19 0 77280084 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395997984880 140396962839170 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8210] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8193 8196 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77280085 16060325888 790117 33554432000 4194304 4196468 140731177708464 140394494945504 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8211] ppid=8193 vsize=15683912 memory=124468 CPUtime=0.49 cores=1,3,5,7
/proc/8196/task/8211/stat : 8211 (java) S 8193 8196 6157 0 -1 1077944384 53 0 0 0 20 29 0 0 20 0 19 0 77280085 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395996933296 140396962839170 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8213] ppid=8193 vsize=15683912 memory=125724 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8213/stat : 8213 (java) S 8193 8196 6157 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77281281 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395980666560 140396962852633 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8215] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8215/stat : 8215 (java) S 8193 8196 6157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 77281281 16060325888 790117 33554432000 4194304 4196468 140731177708464 140393958063792 140396962849949 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8216] ppid=8193 vsize=15683912 memory=125204 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8216/stat : 8216 (java) S 8193 8196 6157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 77281281 16060325888 790117 33554432000 4194304 4196468 140731177708464 140393689628208 140396962849949 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8217] ppid=8193 vsize=15683912 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8217/stat : 8217 (java) S 8193 8196 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 77281283 16060325888 790117 33554432000 4194304 4196468 140731177708464 140394226506912 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
Current children cumulated CPU time: 797.84 s
Current children cumulated vsize: 15879864 KiB
Current children cumulated memory: 3317704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+784.727 s]
# the end of solver process 8196 was just reported to runsolver
# cumulated CPU time of all completed processes: user=796.643 s, system=1.24253 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+784.701 s]
/proc/loadavg: 2.00 2.01 1.99 3/225 8239
/proc/meminfo: memFree=9187548/32770624 swapFree=67108860/67108860
[pid=8196] ppid=8193 vsize=15683912 memory=3160468 CPUtime=25.15 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8193 8196 6157 0 -1 1077944320 36254 0 0 0 2414 101 0 0 20 0 19 0 77280078 16060325888 790117 33554432000 4194304 4196468 140731177708464 140731177691008 140396962828023 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
/proc/8196/statm: 3920978 790117 3246 1 0 3881834 0
[pid=8212] ppid=8196 vsize=195952 memory=157236 CPUtime=772.69 cores=1,3,5,7
/proc/8212/stat : 8212 (minisat_release) R 8196 8196 6157 0 -1 4202496 187165 0 0 0 77249 20 0 0 20 0 1 0 77281281 200654848 39309 33554432000 4194304 4308513 140734960691888 140734960689336 4275601 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 11366400 140734960698033 140734960698542 140734960698542 140734960701381 0
/proc/8212/statm: 48988 39309 354 28 0 45228 0
[pid=8196/tid=8198] ppid=8193 vsize=15683912 memory=3160468 CPUtime=11.81 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8193 8196 6157 0 -1 1077944384 19622 0 0 0 1132 49 0 0 20 0 19 0 77280078 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396934667264 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8199] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0.2 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8193 8196 6157 0 -1 1077944384 81 0 0 0 15 5 0 0 20 0 19 0 77280080 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396967070352 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8200] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0.19 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8193 8196 6157 0 -1 1077944384 111 0 0 0 15 4 0 0 20 0 19 0 77280080 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396781226512 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8201] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0.19 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8193 8196 6157 0 -1 1077944384 81 0 0 0 15 4 0 0 20 0 19 0 77280080 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396780173712 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8202] ppid=8193 vsize=15683912 memory=128952 CPUtime=0.19 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8193 8196 6157 0 -1 1077944384 110 0 0 0 15 4 0 0 20 0 19 0 77280080 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396779120912 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8203] ppid=8193 vsize=15683912 memory=124468 CPUtime=0.02 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8193 8196 6157 0 -1 1077944384 23 0 0 0 2 0 0 0 20 0 19 0 77280081 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396001143664 140396962839170 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8204] ppid=8193 vsize=15683912 memory=95708 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8193 8196 6157 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 77280082 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395501577824 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8205] ppid=8193 vsize=15683912 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8193 8196 6157 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 77280082 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395367355760 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8206] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8193 8196 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77280084 16060325888 790117 33554432000 4194304 4196468 140731177708464 140394992851280 140396962846619 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8207] ppid=8193 vsize=15683912 memory=4140 CPUtime=5.32 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8193 8196 6157 0 -1 1077944384 6769 0 0 0 530 2 0 0 20 0 19 0 77280084 16060325888 790117 33554432000 4194304 4196468 140731177708464 140396000090480 140396962839170 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8208] ppid=8193 vsize=15683912 memory=3160468 CPUtime=5.18 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8193 8196 6157 0 -1 1077944384 3691 0 0 0 517 1 0 0 20 0 19 0 77280084 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395999037680 140396962839170 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8209] ppid=8193 vsize=15683912 memory=95708 CPUtime=1.47 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8193 8196 6157 0 -1 1077944384 4311 0 0 0 146 1 0 0 20 0 19 0 77280084 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395997984880 140396962839170 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8210] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8193 8196 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77280085 16060325888 790117 33554432000 4194304 4196468 140731177708464 140394494945504 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8211] ppid=8193 vsize=15683912 memory=124468 CPUtime=0.49 cores=1,3,5,7
/proc/8196/task/8211/stat : 8211 (java) S 8193 8196 6157 0 -1 1077944384 53 0 0 0 20 29 0 0 20 0 19 0 77280085 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395996933296 140396962839170 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8213] ppid=8193 vsize=15683912 memory=125724 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8213/stat : 8213 (java) S 8193 8196 6157 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77281281 16060325888 790117 33554432000 4194304 4196468 140731177708464 140395980666560 140396962852633 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8215] ppid=8193 vsize=15683912 memory=3160468 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8215/stat : 8215 (java) S 8193 8196 6157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 77281281 16060325888 790117 33554432000 4194304 4196468 140731177708464 140393958063792 140396962849949 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8216] ppid=8193 vsize=15683912 memory=125204 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8216/stat : 8216 (java) S 8193 8196 6157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 77281281 16060325888 790117 33554432000 4194304 4196468 140731177708464 140393689628208 140396962849949 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
[pid=8196/tid=8217] ppid=8193 vsize=15683912 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8217/stat : 8217 (java) S 8193 8196 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 77281283 16060325888 790117 33554432000 4194304 4196468 140731177708464 140394226506912 140396962838229 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140731177710580 140731177710857 140731177710857 140731177713615 0
Current children cumulated CPU time: 797.84 s
Current children cumulated vsize: 15879864 KiB
Current children cumulated memory: 3317704 KiB
Child status: 1
Real time (s): 784.727
CPU time (s): 797.886
CPU user time (s): 796.643
CPU system time (s): 1.24253
CPU usage (%): 101.677
Max. virtual memory (cumulated for all children) (KiB): 15879864
Max. memory (cumulated for all children) (KiB): 3317704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 796.643
system time used= 1.24253
maximum resident set size= 3165040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22294
involuntary context switches= 332
# summary of solver processes directly reported to runsolver:
# pid: 8196
# total CPU time (s): 797.886
# total CPU user time (s): 796.643
# total CPU system time (s): 1.24253
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63078 second user time and 8.07336 second system time
The end