0.65/0.52
0.65/0.52 scop order+minisat_release (2018-06-13)
0.65/0.52
0.65/0.55 c BEGIN-Prog: Thu Jul 26 03:27:58 CEST 2018
0.65/0.55 c PID: 4047
0.65/0.55 c IP: 172.20.3.150
0.65/0.55 c HOST: node150.alineos.net
0.65/0.55 c (0,0) Parsing Begin
2.99/1.31 c (0,0) Parsing End
2.99/1.32 c (0,0) CSP: 59 int (0 aux), 0 bool (0 aux), 556 ctr, max domain size 26
2.99/1.32 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.99/1.32 c (0,0) Constraint Name Generate Begin
2.99/1.33 c (0,0) Ctr:HOME/instance-4295580-1532568477.xml,ExtensionConflict:ExtensionSupport:IntVar
2.99/1.33 c (0,0) Constraint Name Generate End
2.99/1.33 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.99/1.33 c (0,0) CSP to CSPinCNF Begin
6.69/2.50 c (1,1) translated 56 (10%) constraints
8.55/3.14 c (2,2) translated 112 (20%) constraints
10.35/3.74 c (3,3) translated 167 (30%) constraints
11.86/4.28 c (3,3) translated 223 (40%) constraints
13.38/4.72 c (4,4) translated 278 (50%) constraints
14.31/5.10 c (4,4) translated 334 (60%) constraints
15.11/5.39 c (4,4) translated 390 (70%) constraints
15.80/5.68 c (5,5) translated 445 (80%) constraints
16.45/5.96 c (5,5) translated 501 (90%) constraints
16.95/6.24 c (5,5) translated 556 (100%) constraints
17.98/6.66 c (6,6) STATISTICS1:HOME/instance-4295580-1532568477.xml,ExtensionConflict:ExtensionSupport:IntVar,397,78161,-1,26,27,1,,26:295774;2:5028,27:13;4:66874;3:10420;2:854,1:300802;0:13,
17.98/6.66 c (6,6) ===========================================
17.98/6.66 c (6,6) Order
17.98/6.66 c (6,6) ===========================================
18.71/6.90 c (6,6) translated 7817 (10%) constraints
19.04/7.05 c (6,6) translated 15633 (20%) constraints
19.25/7.18 c (6,6) translated 23449 (30%) constraints
19.49/7.31 c (6,6) translated 31265 (40%) constraints
19.60/7.44 c (6,6) translated 39081 (50%) constraints
20.31/7.71 c (7,7) translated 46897 (60%) constraints
20.42/7.84 c (7,7) translated 54713 (70%) constraints
20.52/7.97 c (7,7) translated 62529 (80%) constraints
20.62/8.10 c (7,7) translated 70345 (90%) constraints
20.82/8.22 c (7,7) translated 78161 (100%) constraints
20.82/8.22 c (7,7) CSP to CSPinCNF End
20.82/8.22 c (7,7) CSP: 59 int (0 aux), 338 bool (338 aux), 78161 ctr, max domain size 26
20.82/8.22 c (7,7) Heap : 460 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
20.82/8.22 c (7,7) CSPinCNF Propagation Begin
21.70/8.63 c (8,7) 0 values, 6712 unsatisfiable literals, and 0 valid clauses are removed
21.70/8.63 c (8,7) CSPinCNF Propagation End
21.70/8.63 c (8,7) CSP: 59 int (0 aux), 338 bool (338 aux), 78161 ctr, max domain size 26
21.70/8.63 c (8,7) Heap : 842 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.70/8.63 c (8,7) Simplify CSPinCNF Begin
21.92/8.79 c (8,8) Simplify CSPinCNF End
21.92/8.79 c (8,8) CSP: 59 int (0 aux), 338 bool (338 aux), 78161 ctr, max domain size 26
21.92/8.79 c (8,8) Heap : 897 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
21.92/8.79 c (8,8) Calculate Precise Domain Begin
21.92/8.79 c (8,8) 0 values are removed by re-calculation
21.92/8.79 c (8,8) Calculate Precise Domain End
21.92/8.79 c (8,8) CSP: 59 int (0 aux), 338 bool (338 aux), 78161 ctr, max domain size 26
21.92/8.79 c (8,8) Heap : 897 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
21.92/8.79 c (8,8) CSPinCNF to SatSolver Begin
22.31/8.96 c (8,8) 7817 (10 %) CSP clauses are encoded (1813 SAT variables, 9232 SAT clauses)
22.66/9.02 c (8,8) 15633 (20 %) CSP clauses are encoded (1813 SAT variables, 17048 SAT clauses)
22.66/9.06 c (8,8) 23449 (30 %) CSP clauses are encoded (1813 SAT variables, 24864 SAT clauses)
22.81/9.11 c (8,8) 31265 (40 %) CSP clauses are encoded (1813 SAT variables, 32680 SAT clauses)
22.81/9.15 c (8,8) 39081 (50 %) CSP clauses are encoded (1813 SAT variables, 40496 SAT clauses)
22.91/9.20 c (8,8) 46897 (60 %) CSP clauses are encoded (1813 SAT variables, 48312 SAT clauses)
22.91/9.25 c (8,8) 54713 (70 %) CSP clauses are encoded (1813 SAT variables, 56128 SAT clauses)
23.01/9.30 c (8,8) 62529 (80 %) CSP clauses are encoded (1813 SAT variables, 63944 SAT clauses)
23.01/9.35 c (8,8) 70345 (90 %) CSP clauses are encoded (1813 SAT variables, 71760 SAT clauses)
23.01/9.40 c (8,8) 78161 (100 %) CSP clauses are encoded (1813 SAT variables, 79576 SAT clauses)
23.01/9.40 c (8,8) CSPinCNF to SatSolver End
23.01/9.40 c (8,8) Heap : 1388 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.74/9.70 c (9,9) STATISTICS2:HOME/instance-4295580-1532568477.xml,ExtensionConflict:ExtensionSupport:IntVar,397,78161,-1,26,26,1,,26:289075;2:5028,26:13;4:60609;3:16251;2:1288,1:294103,
23.74/9.70 c (9,9) SatSolver.solve Begin
23.74/9.70 c (9,9) 1813 bool, 79577 clause
23.74/9.70 c (9,9) 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-4295580-1532568477.xml-scop-4047.cnf HOME/instance-4295580-1532568477.xml-scop-4047.cnf.out
2520.08/2504.80 c (2504,9) SatSolver is killed by some reasons.
2520.08/2504.80 c (2504,9) 0,0,7,8,8,8,8,TO,TO,STOP-AFTER(DIMACS)
2520.08/2504.80 s UNKNOWN
2520.08/2504.80 c END-Prog: Thu Jul 26 04:09:42 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 (6710 MiB free)
memory of node 1: 16384 MiB (14001 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295580-1532568477/watcher-4295580-1532568477 -o /tmp/evaluation-result-4295580-1532568477/solver-4295580-1532568477 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295580-1532568477.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=4047, runsolver pid=4044
Current StackSize limit: 8192 KiB
[startup+0.100123 s]*
/proc/loadavg: 2.51 2.16 2.10 3/220 4062
/proc/meminfo: memFree=21150028/32770624 swapFree=67108860/67108860
[pid=4047] ppid=4044 vsize=15011656 memory=73492 CPUtime=0.11 cores=1,3,5,7
/proc/4047/stat : 4047 (java) S 4044 4047 32649 0 -1 1077944320 6546 0 0 0 9 2 0 0 20 0 15 0 74410988 15371935744 18373 33554432000 4194304 4196468 140734456002016 140734455984560 139882879266551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
/proc/4047/statm: 3752914 18373 2780 1 0 3715374 0
[pid=4047/tid=4049] ppid=4044 vsize=15011656 memory=7100839861464500584 CPUtime=0.08 cores=1,3,5,7
/proc/4047/task/4049/stat : 4049 (java) R 4044 4047 32649 0 -1 4202560 4946 0 0 0 7 1 0 0 20 0 15 0 74410988 15371935744 18703 33554432000 4194304 4196468 140734456002016 139882851078536 139882879278486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4050] ppid=4044 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4050/stat : 4050 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410990 15371935744 18703 33554432000 4194304 4196468 140734456002016 139882883508496 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4051] ppid=4044 vsize=15011656 memory=140632405026432 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4051/stat : 4051 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410990 15371935744 18703 33554432000 4194304 4196468 140734456002016 139882659211664 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4052] ppid=4044 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4052/stat : 4052 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410990 15371935744 18703 33554432000 4194304 4196468 140734456002016 139882658159120 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4053] ppid=4044 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4053/stat : 4053 (java) S 4044 4047 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74410990 15371935744 18703 33554432000 4194304 4196468 140734456002016 139882657106576 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4054] ppid=4044 vsize=15011656 memory=140632405026432 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4054/stat : 4054 (java) S 4044 4047 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74410991 15371935744 18703 33554432000 4194304 4196468 140734456002016 139882219391472 139882879277698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4055] ppid=4044 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4055/stat : 4055 (java) S 4044 4047 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74410992 15371935744 18703 33554432000 4194304 4196468 140734456002016 139881481233824 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4056] ppid=4044 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4056/stat : 4056 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410992 15371935744 18703 33554432000 4194304 4196468 140734456002016 139881246352880 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4057] ppid=4044 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4057/stat : 4057 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74410994 15371935744 18703 33554432000 4194304 4196468 140734456002016 139880871844560 139882879285147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4058] ppid=4044 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4058/stat : 4058 (java) S 4044 4047 32649 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 74410994 15371935744 18703 33554432000 4194304 4196468 140734456002016 139882218338288 139882879277698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4059] ppid=4044 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4059/stat : 4059 (java) R 4044 4047 32649 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 74410994 15371935744 18703 33554432000 4194304 4196468 140734456002016 139882217285744 139882879287898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4060] ppid=4044 vsize=15011656 memory=140632405026432 CPUtime=0.01 cores=1,3,5,7
/proc/4047/task/4060/stat : 4060 (java) R 4044 4047 32649 0 -1 4202560 274 0 0 0 1 0 0 0 20 0 15 0 74410994 15371935744 18703 33554432000 4194304 4196468 140734456002016 139882216233200 139882858576465 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4061] ppid=4044 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4061/stat : 4061 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74410995 15371935744 18703 33554432000 4194304 4196468 140734456002016 139880373938784 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4062] ppid=4044 vsize=15011656 memory=140632405026432 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4062/stat : 4062 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410995 15371935744 18703 33554432000 4194304 4196468 140734456002016 139882215181104 139882879277698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73492 KiB
[startup+0.210411 s]*
/proc/loadavg: 2.51 2.16 2.10 3/220 4062
/proc/meminfo: memFree=21133688/32770624 swapFree=67108860/67108860
[pid=4047] ppid=4044 vsize=15011656 memory=88292 CPUtime=0.25 cores=1,3,5,7
/proc/4047/stat : 4047 (java) S 4044 4047 32649 0 -1 1077944320 10452 0 0 0 22 3 0 0 20 0 15 0 74410988 15371935744 22073 33554432000 4194304 4196468 140734456002016 140734455984560 139882879266551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
/proc/4047/statm: 3752914 22073 2940 1 0 3715374 0
[pid=4047/tid=4049] ppid=4044 vsize=15011656 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/4047/task/4049/stat : 4049 (java) S 4044 4047 32649 0 -1 1077944384 8347 0 0 0 17 2 0 0 20 0 15 0 74410988 15371935744 22073 33554432000 4194304 4196468 140734456002016 139882851092464 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4050] ppid=4044 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4050/stat : 4050 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410990 15371935744 22073 33554432000 4194304 4196468 140734456002016 139882883508496 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4051] ppid=4044 vsize=15011656 memory=3618278468469368480 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4051/stat : 4051 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410990 15371935744 22073 33554432000 4194304 4196468 140734456002016 139882659211664 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4052] ppid=4044 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4052/stat : 4052 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410990 15371935744 22073 33554432000 4194304 4196468 140734456002016 139882658159120 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4053] ppid=4044 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4053/stat : 4053 (java) S 4044 4047 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74410990 15371935744 22073 33554432000 4194304 4196468 140734456002016 139882657106576 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4054] ppid=4044 vsize=15011656 memory=140632405026432 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4054/stat : 4054 (java) S 4044 4047 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74410991 15371935744 22073 33554432000 4194304 4196468 140734456002016 139882219391472 139882879277698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4055] ppid=4044 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4055/stat : 4055 (java) S 4044 4047 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74410992 15371935744 22073 33554432000 4194304 4196468 140734456002016 139881481233824 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4056] ppid=4044 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4056/stat : 4056 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410992 15371935744 22073 33554432000 4194304 4196468 140734456002016 139881246352880 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4057] ppid=4044 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4057/stat : 4057 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74410994 15371935744 22073 33554432000 4194304 4196468 140734456002016 139880871844560 139882879285147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4058] ppid=4044 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4058/stat : 4058 (java) R 4044 4047 32649 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 74410994 15371935744 22073 33554432000 4194304 4196468 140734456002016 139882218338384 139882879276757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4059] ppid=4044 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4059/stat : 4059 (java) R 4044 4047 32649 0 -1 4202560 139 0 0 0 0 0 0 0 20 0 15 0 74410994 15371935744 22073 33554432000 4194304 4196468 140734456002016 139882217277248 139882856520656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4060] ppid=4044 vsize=15011656 memory=140632405026432 CPUtime=0.03 cores=1,3,5,7
/proc/4047/task/4060/stat : 4060 (java) S 4044 4047 32649 0 -1 1077944384 297 0 0 0 3 0 0 0 20 0 15 0 74410994 15371935744 22073 33554432000 4194304 4196468 140734456002016 139882216233200 139882879277698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4061] ppid=4044 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4061/stat : 4061 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74410995 15371935744 22073 33554432000 4194304 4196468 140734456002016 139880373938784 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4062] ppid=4044 vsize=15011656 memory=140632405026432 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4062/stat : 4062 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410995 15371935744 22073 33554432000 4194304 4196468 140734456002016 139882215181104 139882879277698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88292 KiB
[startup+0.310266 s]*
/proc/loadavg: 2.51 2.16 2.10 4/220 4062
/proc/meminfo: memFree=21130028/32770624 swapFree=67108860/67108860
[pid=4047] ppid=4044 vsize=15011656 memory=91804 CPUtime=0.42 cores=1,3,5,7
/proc/4047/stat : 4047 (java) S 4044 4047 32649 0 -1 1077944320 10993 0 0 0 39 3 0 0 20 0 15 0 74410988 15371935744 22951 33554432000 4194304 4196468 140734456002016 140734455984560 139882879266551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
/proc/4047/statm: 3752914 22951 2980 1 0 3715374 0
[pid=4047/tid=4049] ppid=4044 vsize=15011656 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/4047/task/4049/stat : 4049 (java) R 4044 4047 32649 0 -1 4202560 8707 0 0 0 27 3 0 0 20 0 15 0 74410988 15371935744 22951 33554432000 4194304 4196468 140734456002016 139882851070704 139882338448335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4050] ppid=4044 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4050/stat : 4050 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410990 15371935744 22951 33554432000 4194304 4196468 140734456002016 139882883508496 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4051] ppid=4044 vsize=15011656 memory=140632405026432 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4051/stat : 4051 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410990 15371935744 22951 33554432000 4194304 4196468 140734456002016 139882659211664 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4052] ppid=4044 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4052/stat : 4052 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410990 15371935744 22951 33554432000 4194304 4196468 140734456002016 139882658159120 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4053] ppid=4044 vsize=15011656 memory=140632261763279 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4053/stat : 4053 (java) S 4044 4047 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74410990 15371935744 22951 33554432000 4194304 4196468 140734456002016 139882657106576 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4054] ppid=4044 vsize=15011656 memory=140632405026432 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4054/stat : 4054 (java) S 4044 4047 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74410991 15371935744 22951 33554432000 4194304 4196468 140734456002016 139882219391472 139882879277698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4055] ppid=4044 vsize=15011656 memory=140632261784015 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4055/stat : 4055 (java) S 4044 4047 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74410992 15371935744 22951 33554432000 4194304 4196468 140734456002016 139881481233824 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4056] ppid=4044 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4056/stat : 4056 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410992 15371935744 22951 33554432000 4194304 4196468 140734456002016 139881246352880 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4057] ppid=4044 vsize=15011656 memory=281264523540352 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4057/stat : 4057 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74410994 15371935744 22951 33554432000 4194304 4196468 140734456002016 139880871844560 139882879285147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4058] ppid=4044 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4047/task/4058/stat : 4058 (java) R 4044 4047 32649 0 -1 4202560 422 0 0 0 2 0 0 0 20 0 15 0 74410994 15371935744 22951 33554432000 4194304 4196468 140734456002016 139882218338288 139882863658772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4059] ppid=4044 vsize=15011656 memory=140632261795759 CPUtime=0.02 cores=1,3,5,7
/proc/4047/task/4059/stat : 4059 (java) R 4044 4047 32649 0 -1 1077944384 192 0 0 0 2 0 0 0 20 0 15 0 74410994 15371935744 22951 33554432000 4194304 4196468 140734456002016 139882217285744 139882879277698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4060] ppid=4044 vsize=15011656 memory=140632405026432 CPUtime=0.07 cores=1,3,5,7
/proc/4047/task/4060/stat : 4060 (java) S 4044 4047 32649 0 -1 1077944384 340 0 0 0 7 0 0 0 20 0 15 0 74410994 15371935744 22951 33554432000 4194304 4196468 140734456002016 139882216233200 139882879277698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4061] ppid=4044 vsize=15011656 memory=140632261800863 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4061/stat : 4061 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74410995 15371935744 22951 33554432000 4194304 4196468 140734456002016 139880373938784 139882879276757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4062] ppid=4044 vsize=15011656 memory=140632479437420 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4062/stat : 4062 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410995 15371935744 22951 33554432000 4194304 4196468 140734456002016 139882215181104 139882879277698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 91804 KiB
[startup+0.704069 s]
/proc/loadavg: 2.51 2.16 2.10 3/220 4062
/proc/meminfo: memFree=21107812/32770624 swapFree=67108860/67108860
[pid=4047] ppid=4044 vsize=15017928 memory=129568 CPUtime=1.04 cores=1,3,5,7
/proc/4047/stat : 4047 (java) S 4044 4047 32649 0 -1 1077944320 17489 0 0 0 99 5 0 0 20 0 15 0 74410988 15378358272 32392 33554432000 4194304 4196468 140734456002016 140734455984560 139882879266551 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
/proc/4047/statm: 3754482 32392 3157 1 0 3715886 0
[pid=4047/tid=4049] ppid=4044 vsize=15017928 memory=53 CPUtime=0.67 cores=1,3,5,7
/proc/4047/task/4049/stat : 4049 (java) R 4044 4047 32649 0 -1 4202560 14668 0 0 0 63 4 0 0 20 0 15 0 74410988 15378358272 32392 33554432000 4194304 4196468 140734456002016 139882851104112 139882879288477 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4050] ppid=4044 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4050/stat : 4050 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410990 15378358272 32392 33554432000 4194304 4196468 140734456002016 139882883508496 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4051] ppid=4044 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4051/stat : 4051 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410990 15378358272 32392 33554432000 4194304 4196468 140734456002016 139882659211664 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4052] ppid=4044 vsize=15017928 memory=79 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4052/stat : 4052 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410990 15378358272 32392 33554432000 4194304 4196468 140734456002016 139882658159120 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4053] ppid=4044 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4053/stat : 4053 (java) S 4044 4047 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74410990 15378358272 32392 33554432000 4194304 4196468 140734456002016 139882657106576 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4054] ppid=4044 vsize=15017928 memory=158044059083573 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4054/stat : 4054 (java) S 4044 4047 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74410991 15378358272 32392 33554432000 4194304 4196468 140734456002016 139882219391472 139882879277698 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4055] ppid=4044 vsize=15017928 memory=433534 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4055/stat : 4055 (java) S 4044 4047 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74410992 15378358272 32392 33554432000 4194304 4196468 140734456002016 139881481233824 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4056] ppid=4044 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4056/stat : 4056 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410992 15378358272 32392 33554432000 4194304 4196468 140734456002016 139881246352880 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4057] ppid=4044 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4057/stat : 4057 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74410994 15378358272 32392 33554432000 4194304 4196468 140734456002016 139880871844560 139882879285147 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4058] ppid=4044 vsize=15017928 memory=281264523313392 CPUtime=0.07 cores=1,3,5,7
/proc/4047/task/4058/stat : 4058 (java) R 4044 4047 32649 0 -1 4202560 504 0 0 0 7 0 0 0 20 0 15 0 74410994 15378358272 32392 33554432000 4194304 4196468 140734456002016 139882218338288 139882863946778 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4059] ppid=4044 vsize=15017928 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4047/task/4059/stat : 4059 (java) S 4044 4047 32649 0 -1 1077944384 436 0 0 0 9 0 0 0 20 0 15 0 74410994 15378358272 32392 33554432000 4194304 4196468 140734456002016 139882217277072 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4060] ppid=4044 vsize=15017928 memory=-6305712793468886400 CPUtime=0.18 cores=1,3,5,7
/proc/4047/task/4060/stat : 4060 (java) R 4044 4047 32649 0 -1 1077944384 542 0 0 0 18 0 0 0 20 0 15 0 74410994 15378358272 32392 33554432000 4194304 4196468 140734456002016 139882216228960 139882879276757 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4061] ppid=4044 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4061/stat : 4061 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74410995 15378358272 32392 33554432000 4194304 4196468 140734456002016 139880373938784 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4062] ppid=4044 vsize=15017928 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4062/stat : 4062 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410995 15378358272 32392 33554432000 4194304 4196468 140734456002016 139882215181104 139882879277698 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 129568 KiB
[startup+1.50067 s]
/proc/loadavg: 2.51 2.16 2.10 4/220 4062
/proc/meminfo: memFree=20998220/32770624 swapFree=67108860/67108860
[pid=4047] ppid=4044 vsize=15022100 memory=298360 CPUtime=3.63 cores=1,3,5,7
/proc/4047/stat : 4047 (java) S 4044 4047 32649 0 -1 1077944320 23201 0 0 0 354 9 0 0 20 0 15 0 74410988 15382630400 74590 33554432000 4194304 4196468 140734456002016 140734455984560 139882879266551 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
/proc/4047/statm: 3755525 74590 3202 1 0 3716910 0
[pid=4047/tid=4049] ppid=4044 vsize=15022100 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/4047/task/4049/stat : 4049 (java) R 4044 4047 32649 0 -1 4202560 15870 0 0 0 139 7 0 0 20 0 15 0 74410988 15382630400 74590 33554432000 4194304 4196468 140734456002016 139882851096608 139882879278486 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4050] ppid=4044 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4050/stat : 4050 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410990 15382630400 74590 33554432000 4194304 4196468 140734456002016 139882883508496 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4051] ppid=4044 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4051/stat : 4051 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410990 15382630400 74590 33554432000 4194304 4196468 140734456002016 139882659211664 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4052] ppid=4044 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4052/stat : 4052 (java) S 4044 4047 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74410990 15382630400 74590 33554432000 4194304 4196468 140734456002016 139882658159120 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4053] ppid=4044 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4053/stat : 4053 (java) S 4044 4047 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74410990 15382630400 74590 33554432000 4194304 4196468 140734456002016 139882657106576 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4054] ppid=4044 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4054/stat : 4054 (java) S 4044 4047 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74410991 15382630400 74590 33554432000 4194304 4196468 140734456002016 139882219391472 139882879277698 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
################
# More data... #
################
/proc/meminfo: memFree=18066056/32770624 swapFree=67108860/67108860
[pid=4047] ppid=4044 vsize=15683912 memory=3128444 CPUtime=25.07 cores=1,3,5,7
/proc/4047/stat : 4047 (java) S 4044 4047 32649 0 -1 1077944320 37592 0 0 0 2381 126 0 0 20 0 19 0 74410988 16060325888 782111 33554432000 4194304 4196468 140734456002016 140734455984560 139882879266551 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
/proc/4047/statm: 3920978 782111 3234 1 0 3881834 0
[pid=4064] ppid=4047 vsize=84068 memory=67808 CPUtime=2432.48 cores=1,3,5,7
/proc/4064/stat : 4064 (minisat_release) R 4047 4047 32649 0 -1 4202496 192544 0 0 0 243233 15 0 0 20 0 1 0 74411960 86085632 16952 33554432000 4194304 4308513 140735146106192 140735146103192 4276123 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 19398656 140735146107569 140735146108078 140735146108078 140735146110917 0
/proc/4064/statm: 21017 16952 353 28 0 17257 0
[pid=4047/tid=4049] ppid=4044 vsize=15683912 memory=3128444 CPUtime=9.57 cores=1,3,5,7
/proc/4047/task/4049/stat : 4049 (java) S 4044 4047 32649 0 -1 1077944384 19237 0 0 0 908 49 0 0 20 0 19 0 74410988 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882851105792 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4050] ppid=4044 vsize=15683912 memory=67860 CPUtime=0.13 cores=1,3,5,7
/proc/4047/task/4050/stat : 4050 (java) S 4044 4047 32649 0 -1 1077944384 57 0 0 0 10 3 0 0 20 0 19 0 74410990 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882883508496 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4051] ppid=4044 vsize=15683912 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/4047/task/4051/stat : 4051 (java) S 4044 4047 32649 0 -1 1077944384 55 0 0 0 10 3 0 0 20 0 19 0 74410990 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882659211664 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4052] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0.13 cores=1,3,5,7
/proc/4047/task/4052/stat : 4052 (java) S 4044 4047 32649 0 -1 1077944384 126 0 0 0 10 3 0 0 20 0 19 0 74410990 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882658159120 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4053] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0.13 cores=1,3,5,7
/proc/4047/task/4053/stat : 4053 (java) S 4044 4047 32649 0 -1 1077944384 73 0 0 0 10 3 0 0 20 0 19 0 74410990 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882657106576 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4054] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0.05 cores=1,3,5,7
/proc/4047/task/4054/stat : 4054 (java) S 4044 4047 32649 0 -1 1077944384 26 0 0 0 3 2 0 0 20 0 19 0 74410991 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882219391472 139882879277698 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4055] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4055/stat : 4055 (java) S 4044 4047 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 74410992 16060325888 782111 33554432000 4194304 4196468 140734456002016 139881481233888 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4056] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4056/stat : 4056 (java) S 4044 4047 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74410992 16060325888 782111 33554432000 4194304 4196468 140734456002016 139881246352864 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4057] ppid=4044 vsize=15683912 memory=9920 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4057/stat : 4057 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74410994 16060325888 782111 33554432000 4194304 4196468 140734456002016 139880871844560 139882879285147 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4058] ppid=4044 vsize=15683912 memory=281264525404192 CPUtime=6.56 cores=1,3,5,7
/proc/4047/task/4058/stat : 4058 (java) S 4044 4047 32649 0 -1 1077944384 6328 0 0 0 654 2 0 0 20 0 19 0 74410994 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882218338288 139882879277698 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4059] ppid=4044 vsize=15683912 memory=3128444 CPUtime=5.76 cores=1,3,5,7
/proc/4047/task/4059/stat : 4059 (java) S 4044 4047 32649 0 -1 1077944384 5439 0 0 0 575 1 0 0 20 0 19 0 74410994 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882217285744 139882879277698 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4060] ppid=4044 vsize=15683912 memory=3128444 CPUtime=1.37 cores=1,3,5,7
/proc/4047/task/4060/stat : 4060 (java) S 4044 4047 32649 0 -1 1077944384 4688 0 0 0 135 2 0 0 20 0 19 0 74410994 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882216233200 139882879277698 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4061] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4061/stat : 4061 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74410995 16060325888 782111 33554432000 4194304 4196468 140734456002016 139880373938784 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4062] ppid=4044 vsize=15683912 memory=67808 CPUtime=1.16 cores=1,3,5,7
/proc/4047/task/4062/stat : 4062 (java) S 4044 4047 32649 0 -1 1077944384 163 0 0 0 52 64 0 0 20 0 19 0 74410995 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882215181104 139882879277698 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4065] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4065/stat : 4065 (java) S 4044 4047 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74411960 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882320381504 139882879291161 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4067] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4067/stat : 4067 (java) S 4044 4047 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 74411960 16060325888 782111 33554432000 4194304 4196468 140734456002016 139879837052976 139882879288477 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4068] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4068/stat : 4068 (java) S 4044 4047 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 74411960 16060325888 782111 33554432000 4194304 4196468 140734456002016 139879971273904 139882879288477 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4069] ppid=4044 vsize=15683912 memory=65760 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4069/stat : 4069 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74411962 16060325888 782111 33554432000 4194304 4196468 140734456002016 139879568628768 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
Current children cumulated CPU time: 2457.55 s
Current children cumulated vsize: 15767980 KiB
Current children cumulated memory: 3196252 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/225 4249
/proc/meminfo: memFree=18065872/32770624 swapFree=67108860/67108860
[pid=4047] ppid=4044 vsize=15683912 memory=3128444 CPUtime=25.1 cores=1,3,5,7
/proc/4047/stat : 4047 (java) S 4044 4047 32649 0 -1 1077944320 37596 0 0 0 2383 127 0 0 20 0 19 0 74410988 16060325888 782111 33554432000 4194304 4196468 140734456002016 140734455984560 139882879266551 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
/proc/4047/statm: 3920978 782111 3234 1 0 3881834 0
[pid=4064] ppid=4047 vsize=84236 memory=67868 CPUtime=2492.47 cores=1,3,5,7
/proc/4064/stat : 4064 (minisat_release) R 4047 4047 32649 0 -1 4202496 196523 0 0 0 249232 15 0 0 20 0 1 0 74411960 86257664 16967 33554432000 4194304 4308513 140735146106192 140735146103192 4275920 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 19398656 140735146107569 140735146108078 140735146108078 140735146110917 0
/proc/4064/statm: 21059 16967 353 28 0 17299 0
[pid=4047/tid=4049] ppid=4044 vsize=15683912 memory=67864 CPUtime=9.57 cores=1,3,5,7
/proc/4047/task/4049/stat : 4049 (java) S 4044 4047 32649 0 -1 1077944384 19237 0 0 0 908 49 0 0 20 0 19 0 74410988 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882851105792 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4050] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0.13 cores=1,3,5,7
/proc/4047/task/4050/stat : 4050 (java) S 4044 4047 32649 0 -1 1077944384 57 0 0 0 10 3 0 0 20 0 19 0 74410990 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882883508496 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4051] ppid=4044 vsize=15683912 memory=67864 CPUtime=0.13 cores=1,3,5,7
/proc/4047/task/4051/stat : 4051 (java) S 4044 4047 32649 0 -1 1077944384 55 0 0 0 10 3 0 0 20 0 19 0 74410990 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882659211664 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4052] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0.13 cores=1,3,5,7
/proc/4047/task/4052/stat : 4052 (java) S 4044 4047 32649 0 -1 1077944384 126 0 0 0 10 3 0 0 20 0 19 0 74410990 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882658159120 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4053] ppid=4044 vsize=15683912 memory=67864 CPUtime=0.13 cores=1,3,5,7
/proc/4047/task/4053/stat : 4053 (java) S 4044 4047 32649 0 -1 1077944384 73 0 0 0 10 3 0 0 20 0 19 0 74410990 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882657106576 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4054] ppid=4044 vsize=15683912 memory=1292 CPUtime=0.05 cores=1,3,5,7
/proc/4047/task/4054/stat : 4054 (java) S 4044 4047 32649 0 -1 1077944384 26 0 0 0 3 2 0 0 20 0 19 0 74410991 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882219391472 139882879277698 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4055] ppid=4044 vsize=15683912 memory=67864 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4055/stat : 4055 (java) S 4044 4047 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 74410992 16060325888 782111 33554432000 4194304 4196468 140734456002016 139881481233888 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4056] ppid=4044 vsize=15683912 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4056/stat : 4056 (java) S 4044 4047 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74410992 16060325888 782111 33554432000 4194304 4196468 140734456002016 139881246352864 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4057] ppid=4044 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4057/stat : 4057 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74410994 16060325888 782111 33554432000 4194304 4196468 140734456002016 139880871844560 139882879285147 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4058] ppid=4044 vsize=15683912 memory=67864 CPUtime=6.56 cores=1,3,5,7
/proc/4047/task/4058/stat : 4058 (java) S 4044 4047 32649 0 -1 1077944384 6328 0 0 0 654 2 0 0 20 0 19 0 74410994 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882218338288 139882879277698 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4059] ppid=4044 vsize=15683912 memory=67864 CPUtime=5.76 cores=1,3,5,7
/proc/4047/task/4059/stat : 4059 (java) S 4044 4047 32649 0 -1 1077944384 5439 0 0 0 575 1 0 0 20 0 19 0 74410994 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882217285744 139882879277698 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4060] ppid=4044 vsize=15683912 memory=2424 CPUtime=1.37 cores=1,3,5,7
/proc/4047/task/4060/stat : 4060 (java) S 4044 4047 32649 0 -1 1077944384 4688 0 0 0 135 2 0 0 20 0 19 0 74410994 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882216233200 139882879277698 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4061] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4061/stat : 4061 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74410995 16060325888 782111 33554432000 4194304 4196468 140734456002016 139880373938784 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4062] ppid=4044 vsize=15683912 memory=4136 CPUtime=1.2 cores=1,3,5,7
/proc/4047/task/4062/stat : 4062 (java) S 4044 4047 32649 0 -1 1077944384 167 0 0 0 54 66 0 0 20 0 19 0 74410995 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882215181104 139882879277698 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4065] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4065/stat : 4065 (java) S 4044 4047 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74411960 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882320381504 139882879291161 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4067] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4067/stat : 4067 (java) S 4044 4047 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 74411960 16060325888 782111 33554432000 4194304 4196468 140734456002016 139879837052976 139882879288477 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4068] ppid=4044 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4068/stat : 4068 (java) S 4044 4047 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 74411960 16060325888 782111 33554432000 4194304 4196468 140734456002016 139879971273904 139882879288477 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4069] ppid=4044 vsize=15683912 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4069/stat : 4069 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74411962 16060325888 782111 33554432000 4194304 4196468 140734456002016 139879568628768 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
Current children cumulated CPU time: 2517.57 s
Current children cumulated vsize: 15768148 KiB
Current children cumulated memory: 3196312 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2504.8 s]
/proc/loadavg: 2.05 2.03 2.05 3/225 4249
/proc/meminfo: memFree=18066144/32770624 swapFree=67108860/67108860
[pid=4047] ppid=4044 vsize=15683912 memory=3128444 CPUtime=25.11 cores=1,3,5,7
/proc/4047/stat : 4047 (java) S 4044 4047 32649 0 -1 1077944320 37596 0 0 0 2384 127 0 0 20 0 19 0 74410988 16060325888 782111 33554432000 4194304 4196468 140734456002016 140734455984560 139882879266551 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
/proc/4047/statm: 3920978 782111 3234 1 0 3881834 0
[pid=4064] ppid=4047 vsize=84236 memory=67868 CPUtime=2494.97 cores=1,3,5,7
/proc/4064/stat : 4064 (minisat_release) R 4047 4047 32649 0 -1 4202496 196532 0 0 0 249482 15 0 0 20 0 1 0 74411960 86257664 16967 33554432000 4194304 4308513 140735146106192 140735146103192 4269801 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 19398656 140735146107569 140735146108078 140735146108078 140735146110917 0
/proc/4064/statm: 21059 16967 353 28 0 17299 0
[pid=4047/tid=4049] ppid=4044 vsize=15683912 memory=288230583166042426 CPUtime=9.57 cores=1,3,5,7
/proc/4047/task/4049/stat : 4049 (java) S 4044 4047 32649 0 -1 1077944384 19237 0 0 0 908 49 0 0 20 0 19 0 74410988 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882851105792 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4050] ppid=4044 vsize=15683912 memory=13573716680378915 CPUtime=0.13 cores=1,3,5,7
/proc/4047/task/4050/stat : 4050 (java) S 4044 4047 32649 0 -1 1077944384 57 0 0 0 10 3 0 0 20 0 19 0 74410990 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882883508496 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4051] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0.13 cores=1,3,5,7
/proc/4047/task/4051/stat : 4051 (java) S 4044 4047 32649 0 -1 1077944384 55 0 0 0 10 3 0 0 20 0 19 0 74410990 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882659211664 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4052] ppid=4044 vsize=15683912 memory=3128444 CPUtime=0.13 cores=1,3,5,7
/proc/4047/task/4052/stat : 4052 (java) S 4044 4047 32649 0 -1 1077944384 126 0 0 0 10 3 0 0 20 0 19 0 74410990 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882658159120 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4053] ppid=4044 vsize=15683912 memory=67868 CPUtime=0.13 cores=1,3,5,7
/proc/4047/task/4053/stat : 4053 (java) S 4044 4047 32649 0 -1 1077944384 73 0 0 0 10 3 0 0 20 0 19 0 74410990 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882657106576 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4054] ppid=4044 vsize=15683912 memory=4104 CPUtime=0.05 cores=1,3,5,7
/proc/4047/task/4054/stat : 4054 (java) S 4044 4047 32649 0 -1 1077944384 26 0 0 0 3 2 0 0 20 0 19 0 74410991 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882219391472 139882879277698 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4055] ppid=4044 vsize=15683912 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4055/stat : 4055 (java) S 4044 4047 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 74410992 16060325888 782111 33554432000 4194304 4196468 140734456002016 139881481233888 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4056] ppid=4044 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4056/stat : 4056 (java) S 4044 4047 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74410992 16060325888 782111 33554432000 4194304 4196468 140734456002016 139881246352864 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4057] ppid=4044 vsize=15683912 memory=22664 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4057/stat : 4057 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74410994 16060325888 782111 33554432000 4194304 4196468 140734456002016 139880871844560 139882879285147 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4058] ppid=4044 vsize=15683912 memory=1292 CPUtime=6.56 cores=1,3,5,7
/proc/4047/task/4058/stat : 4058 (java) S 4044 4047 32649 0 -1 1077944384 6328 0 0 0 654 2 0 0 20 0 19 0 74410994 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882218338288 139882879277698 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4059] ppid=4044 vsize=15683912 memory=2436 CPUtime=5.76 cores=1,3,5,7
/proc/4047/task/4059/stat : 4059 (java) S 4044 4047 32649 0 -1 1077944384 5439 0 0 0 575 1 0 0 20 0 19 0 74410994 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882217285744 139882879277698 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4060] ppid=4044 vsize=15683912 memory=1728 CPUtime=1.37 cores=1,3,5,7
/proc/4047/task/4060/stat : 4060 (java) S 4044 4047 32649 0 -1 1077944384 4688 0 0 0 135 2 0 0 20 0 19 0 74410994 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882216233200 139882879277698 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4061] ppid=4044 vsize=15683912 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4061/stat : 4061 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74410995 16060325888 782111 33554432000 4194304 4196468 140734456002016 139880373938784 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4062] ppid=4044 vsize=15683912 memory=5792 CPUtime=1.2 cores=1,3,5,7
/proc/4047/task/4062/stat : 4062 (java) S 4044 4047 32649 0 -1 1077944384 167 0 0 0 54 66 0 0 20 0 19 0 74410995 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882215181104 139882879277698 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4065] ppid=4044 vsize=15683912 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4065/stat : 4065 (java) S 4044 4047 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74411960 16060325888 782111 33554432000 4194304 4196468 140734456002016 139882320381504 139882879291161 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4067] ppid=4044 vsize=15683912 memory=9920 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4067/stat : 4067 (java) S 4044 4047 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 74411960 16060325888 782111 33554432000 4194304 4196468 140734456002016 139879837052976 139882879288477 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4068] ppid=4044 vsize=15683912 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4068/stat : 4068 (java) S 4044 4047 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 74411960 16060325888 782111 33554432000 4194304 4196468 140734456002016 139879971273904 139882879288477 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
[pid=4047/tid=4069] ppid=4044 vsize=15683912 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/4047/task/4069/stat : 4069 (java) S 4044 4047 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74411962 16060325888 782111 33554432000 4194304 4196468 140734456002016 139879568628768 139882879276757 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14094336 140734456009715 140734456009993 140734456009993 140734456012751 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 15768148 KiB
Current children cumulated memory: 3196312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2504.84 s]
# the end of solver process 4047 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.68 s, system=1.45666 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2504.84
CPU time (s): 2520.14
CPU user time (s): 2518.68
CPU system time (s): 1.45666
CPU usage (%): 100.611
Max. virtual memory (cumulated for all children) (KiB): 15786572
Max. memory (cumulated for all children) (KiB): 3214436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.68
system time used= 1.45666
maximum resident set size= 3129240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58771
involuntary context switches= 788
# summary of solver processes directly reported to runsolver:
# pid: 4047
# total CPU time (s): 2520.14
# total CPU user time (s): 2518.68
# total CPU system time (s): 1.45666
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1552 second user time and 25.2599 second system time
The end