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 05:33:27 CEST 2018
0.65/0.55 c PID: 4900
0.65/0.55 c IP: 172.20.3.150
0.65/0.55 c HOST: node150.alineos.net
0.65/0.56 c (0,0) Parsing Begin
2.64/1.30 c (0,0) Parsing End
2.93/1.30 c (0,0) CSP: 59 int (0 aux), 0 bool (0 aux), 549 ctr, max domain size 26
2.93/1.30 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.93/1.30 c (0,0) Constraint Name Generate Begin
2.93/1.32 c (0,0) Ctr:HOME/instance-4295643-1532576007.xml,ExtensionConflict:ExtensionSupport:IntVar
2.93/1.32 c (0,0) Constraint Name Generate End
2.93/1.32 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.93/1.32 c (0,0) CSP to CSPinCNF Begin
6.42/2.52 c (1,1) translated 55 (10%) constraints
7.98/3.04 c (2,2) translated 110 (20%) constraints
9.47/3.53 c (3,2) translated 165 (30%) constraints
10.68/4.00 c (3,3) translated 220 (40%) constraints
12.20/4.48 c (3,3) translated 275 (50%) constraints
13.71/4.92 c (4,4) translated 330 (60%) constraints
15.18/5.42 c (4,4) translated 385 (70%) constraints
16.09/5.78 c (5,5) translated 440 (80%) constraints
16.98/6.10 c (5,5) translated 495 (90%) constraints
17.38/6.37 c (5,5) translated 549 (100%) constraints
18.32/6.78 c (6,6) STATISTICS1:HOME/instance-4295643-1532576007.xml,ExtensionConflict:ExtensionSupport:IntVar,501,78050,-1,26,27,1,,26:292081;2:6730,27:17;4:65335;3:11633;2:1065,1:298811;0:17,
18.32/6.78 c (6,6) ===========================================
18.32/6.78 c (6,6) Order
18.32/6.78 c (6,6) ===========================================
18.77/7.01 c (6,6) translated 7805 (10%) constraints
19.32/7.15 c (6,6) translated 15610 (20%) constraints
19.47/7.29 c (6,6) translated 23415 (30%) constraints
19.68/7.43 c (6,6) translated 31220 (40%) constraints
19.86/7.57 c (7,7) translated 39025 (50%) constraints
20.06/7.72 c (7,7) translated 46830 (60%) constraints
20.55/8.00 c (7,7) translated 54635 (70%) constraints
20.91/8.13 c (7,7) translated 62440 (80%) constraints
20.99/8.26 c (7,7) translated 70245 (90%) constraints
21.09/8.39 c (7,7) translated 78050 (100%) constraints
21.09/8.39 c (7,7) CSP to CSPinCNF End
21.09/8.39 c (7,7) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
21.09/8.39 c (7,7) Heap : 357 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
21.09/8.39 c (7,7) CSPinCNF Propagation Begin
21.89/8.79 c (8,8) 0 values, 6651 unsatisfiable literals, and 0 valid clauses are removed
21.89/8.79 c (8,8) CSPinCNF Propagation End
21.89/8.80 c (8,8) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
21.89/8.80 c (8,8) Heap : 743 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.89/8.80 c (8,8) Simplify CSPinCNF Begin
22.30/8.94 c (8,8) Simplify CSPinCNF End
22.30/8.94 c (8,8) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
22.30/8.94 c (8,8) Heap : 854 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
22.30/8.94 c (8,8) Calculate Precise Domain Begin
22.30/8.94 c (8,8) 0 values are removed by re-calculation
22.30/8.94 c (8,8) Calculate Precise Domain End
22.30/8.94 c (8,8) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
22.30/8.94 c (8,8) Heap : 854 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
22.30/8.94 c (8,8) CSPinCNF to SatSolver Begin
22.81/9.12 c (8,8) 7805 (10 %) CSP clauses are encoded (1917 SAT variables, 9220 SAT clauses)
22.81/9.18 c (8,8) 15610 (20 %) CSP clauses are encoded (1917 SAT variables, 17025 SAT clauses)
23.06/9.23 c (8,8) 23415 (30 %) CSP clauses are encoded (1917 SAT variables, 24830 SAT clauses)
23.06/9.27 c (8,8) 31220 (40 %) CSP clauses are encoded (1917 SAT variables, 32635 SAT clauses)
23.19/9.32 c (8,8) 39025 (50 %) CSP clauses are encoded (1917 SAT variables, 40440 SAT clauses)
23.19/9.36 c (8,8) 46830 (60 %) CSP clauses are encoded (1917 SAT variables, 48245 SAT clauses)
23.31/9.41 c (8,8) 54635 (70 %) CSP clauses are encoded (1917 SAT variables, 56050 SAT clauses)
23.31/9.45 c (8,8) 62440 (80 %) CSP clauses are encoded (1917 SAT variables, 63855 SAT clauses)
23.41/9.50 c (8,8) 70245 (90 %) CSP clauses are encoded (1917 SAT variables, 71660 SAT clauses)
23.41/9.55 c (9,8) 78050 (100 %) CSP clauses are encoded (1917 SAT variables, 79465 SAT clauses)
23.41/9.55 c (9,8) CSPinCNF to SatSolver End
23.41/9.55 c (9,8) Heap : 1295 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
24.03/9.83 c (9,9) STATISTICS2:HOME/instance-4295643-1532576007.xml,ExtensionConflict:ExtensionSupport:IntVar,501,78050,-1,26,26,1,,26:285447;2:6730,26:17;4:59112;3:17445;2:1476,1:292177,
24.03/9.83 c (9,9) SatSolver.solve Begin
24.03/9.83 c (9,9) 1917 bool, 79466 clause
24.03/9.83 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-4295643-1532576007.xml-scop-4900.cnf HOME/instance-4295643-1532576007.xml-scop-4900.cnf.out
2520.02/2504.60 c (2504,9) SatSolver is killed by some reasons.
2520.02/2504.60 c (2504,9) 0,0,7,8,8,8,9,TO,TO,STOP-AFTER(DIMACS)
2520.02/2504.60 s UNKNOWN
2520.02/2504.60 c (2504,0) receiving signal SIGTERM
2520.02/2504.60 c END-Prog: Thu Jul 26 06:15:11 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (6864 MiB free)
memory of node 1: 16384 MiB (14000 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295643-1532576007/watcher-4295643-1532576007 -o /tmp/evaluation-result-4295643-1532576007/solver-4295643-1532576007 -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-4295643-1532576007.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=4900, runsolver pid=4897
Current StackSize limit: 8192 KiB
[startup+0.100122 s]*
/proc/loadavg: 2.02 2.03 2.05 4/221 4915
/proc/meminfo: memFree=21307816/32770624 swapFree=67108860/67108860
[pid=4900] ppid=4897 vsize=15011656 memory=70632 CPUtime=0.11 cores=1,3,5,7
/proc/4900/stat : 4900 (java) S 4897 4900 32649 0 -1 1077944320 6911 0 0 0 9 2 0 0 20 0 15 0 75163925 15371935744 17658 33554432000 4194304 4196468 140732158852192 140732158834736 140554651209463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
/proc/4900/statm: 3752914 17658 2765 1 0 3715374 0
[pid=4900/tid=4902] ppid=4897 vsize=15011656 memory=7100839887183514216 CPUtime=0.09 cores=1,3,5,7
/proc/4900/task/4902/stat : 4902 (java) R 4897 4900 32649 0 -1 4202560 5201 0 0 0 7 2 0 0 20 0 15 0 75163925 15371935744 17922 33554432000 4194304 4196468 140732158852192 140554623021448 140554631485184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4903] ppid=4897 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4903/stat : 4903 (java) S 4897 4900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75163927 15371935744 17922 33554432000 4194304 4196468 140732158852192 140554655451792 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4904] ppid=4897 vsize=15011656 memory=140195422328448 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4904/stat : 4904 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163927 15371935744 17922 33554432000 4194304 4196468 140732158852192 140554484546064 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4905] ppid=4897 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4905/stat : 4905 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163927 15371935744 17922 33554432000 4194304 4196468 140732158852192 140554110318992 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4906] ppid=4897 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4906/stat : 4906 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163927 15371935744 17922 33554432000 4194304 4196468 140732158852192 140554109266192 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4907] ppid=4897 vsize=15011656 memory=140195422328448 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4907/stat : 4907 (java) S 4897 4900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75163928 15371935744 17922 33554432000 4194304 4196468 140732158852192 140553689607024 140554651220610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4908] ppid=4897 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4908/stat : 4908 (java) S 4897 4900 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75163929 15371935744 17922 33554432000 4194304 4196468 140732158852192 140553073190432 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4909] ppid=4897 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4909/stat : 4909 (java) S 4897 4900 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75163929 15371935744 17922 33554432000 4194304 4196468 140732158852192 140552938968432 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4910] ppid=4897 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4910/stat : 4910 (java) S 4897 4900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75163931 15371935744 17988 33554432000 4194304 4196468 140732158852192 140552564463952 140554651228059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4911] ppid=4897 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4911/stat : 4911 (java) S 4897 4900 32649 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 75163931 15371935744 17988 33554432000 4194304 4196468 140732158852192 140553688553840 140554651220610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4912] ppid=4897 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4912/stat : 4912 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163931 15371935744 17988 33554432000 4194304 4196468 140732158852192 140553687501040 140554651220610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4913] ppid=4897 vsize=15011656 memory=140195422328448 CPUtime=0.01 cores=1,3,5,7
/proc/4900/task/4913/stat : 4913 (java) S 4897 4900 32649 0 -1 1077944384 306 0 0 0 1 0 0 0 20 0 15 0 75163931 15371935744 17988 33554432000 4194304 4196468 140732158852192 140553686448240 140554651220610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4914] ppid=4897 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4914/stat : 4914 (java) S 4897 4900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75163932 15371935744 17988 33554432000 4194304 4196468 140732158852192 140552066558176 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4915] ppid=4897 vsize=15011656 memory=140195422328448 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4915/stat : 4915 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163932 15371935744 17988 33554432000 4194304 4196468 140732158852192 140553685396656 140554651220610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 70632 KiB
[startup+0.21047 s]*
/proc/loadavg: 2.02 2.03 2.05 3/221 4915
/proc/meminfo: memFree=21291632/32770624 swapFree=67108860/67108860
[pid=4900] ppid=4897 vsize=15011656 memory=86488 CPUtime=0.25 cores=1,3,5,7
/proc/4900/stat : 4900 (java) S 4897 4900 32649 0 -1 1077944320 11095 0 0 0 21 4 0 0 20 0 15 0 75163925 15371935744 21622 33554432000 4194304 4196468 140732158852192 140732158834736 140554651209463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
/proc/4900/statm: 3752914 21622 2884 1 0 3715374 0
[pid=4900/tid=4902] ppid=4897 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4900/task/4902/stat : 4902 (java) R 4897 4900 32649 0 -1 4202560 8903 0 0 0 17 3 0 0 20 0 15 0 75163925 15371935744 21622 33554432000 4194304 4196468 140732158852192 140554623035936 140554152846813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4903] ppid=4897 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4903/stat : 4903 (java) S 4897 4900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75163927 15371935744 21622 33554432000 4194304 4196468 140732158852192 140554655451792 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4904] ppid=4897 vsize=15011656 memory=140195422741380 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4904/stat : 4904 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163927 15371935744 21622 33554432000 4194304 4196468 140732158852192 140554484546064 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4905] ppid=4897 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4905/stat : 4905 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163927 15371935744 21622 33554432000 4194304 4196468 140732158852192 140554110318992 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4906] ppid=4897 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4906/stat : 4906 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163927 15371935744 21622 33554432000 4194304 4196468 140732158852192 140554109266192 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4907] ppid=4897 vsize=15011656 memory=140195422328448 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4907/stat : 4907 (java) S 4897 4900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75163928 15371935744 21622 33554432000 4194304 4196468 140732158852192 140553689607024 140554651220610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4908] ppid=4897 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4908/stat : 4908 (java) S 4897 4900 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75163929 15371935744 21622 33554432000 4194304 4196468 140732158852192 140553073190432 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4909] ppid=4897 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4909/stat : 4909 (java) S 4897 4900 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75163929 15371935744 21622 33554432000 4194304 4196468 140732158852192 140552938968432 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4910] ppid=4897 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4910/stat : 4910 (java) S 4897 4900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75163931 15371935744 21622 33554432000 4194304 4196468 140732158852192 140552564463952 140554651228059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4911] ppid=4897 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4911/stat : 4911 (java) S 4897 4900 32649 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 15 0 75163931 15371935744 21622 33554432000 4194304 4196468 140732158852192 140553688553840 140554651220610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4912] ppid=4897 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4912/stat : 4912 (java) S 4897 4900 32649 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 75163931 15371935744 21622 33554432000 4194304 4196468 140732158852192 140553687501040 140554651220610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4913] ppid=4897 vsize=15011656 memory=140195422328448 CPUtime=0.03 cores=1,3,5,7
/proc/4900/task/4913/stat : 4913 (java) R 4897 4900 32649 0 -1 4202560 365 0 0 0 3 0 0 0 20 0 15 0 75163931 15371935744 21622 33554432000 4194304 4196468 140732158852192 140553686448240 140554651230810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4914] ppid=4897 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4914/stat : 4914 (java) S 4897 4900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75163932 15371935744 21622 33554432000 4194304 4196468 140732158852192 140552066558176 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4915] ppid=4897 vsize=15011656 memory=140195422328448 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4915/stat : 4915 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163932 15371935744 21622 33554432000 4194304 4196468 140732158852192 140553685396656 140554651220610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86488 KiB
[startup+0.310544 s]*
/proc/loadavg: 2.02 2.03 2.05 3/221 4915
/proc/meminfo: memFree=21287956/32770624 swapFree=67108860/67108860
[pid=4900] ppid=4897 vsize=15011656 memory=90768 CPUtime=0.42 cores=1,3,5,7
/proc/4900/stat : 4900 (java) S 4897 4900 32649 0 -1 1077944320 11724 0 0 0 38 4 0 0 20 0 15 0 75163925 15371935744 22692 33554432000 4194304 4196468 140732158852192 140732158834736 140554651209463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
/proc/4900/statm: 3752914 22692 3036 1 0 3715374 0
[pid=4900/tid=4902] ppid=4897 vsize=15011656 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/4900/task/4902/stat : 4902 (java) R 4897 4900 32649 0 -1 4202560 9270 0 0 0 27 3 0 0 20 0 15 0 75163925 15371935744 22692 33554432000 4194304 4196468 140732158852192 140554623013392 140554152840768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4903] ppid=4897 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4903/stat : 4903 (java) S 4897 4900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75163927 15371935744 22692 33554432000 4194304 4196468 140732158852192 140554655451792 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4904] ppid=4897 vsize=15011656 memory=140195422328448 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4904/stat : 4904 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163927 15371935744 22692 33554432000 4194304 4196468 140732158852192 140554484546064 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4905] ppid=4897 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4905/stat : 4905 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163927 15371935744 22692 33554432000 4194304 4196468 140732158852192 140554110318992 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4906] ppid=4897 vsize=15011656 memory=140195315949775 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4906/stat : 4906 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163927 15371935744 22692 33554432000 4194304 4196468 140732158852192 140554109266192 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4907] ppid=4897 vsize=15011656 memory=140195422328448 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4907/stat : 4907 (java) S 4897 4900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75163928 15371935744 22692 33554432000 4194304 4196468 140732158852192 140553689607024 140554651220610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4908] ppid=4897 vsize=15011656 memory=140195315970511 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4908/stat : 4908 (java) S 4897 4900 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75163929 15371935744 22692 33554432000 4194304 4196468 140732158852192 140553073190432 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4909] ppid=4897 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4909/stat : 4909 (java) S 4897 4900 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75163929 15371935744 22692 33554432000 4194304 4196468 140732158852192 140552938968432 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4910] ppid=4897 vsize=15011656 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4910/stat : 4910 (java) S 4897 4900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75163931 15371935744 22692 33554432000 4194304 4196468 140732158852192 140552564463952 140554651228059 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4911] ppid=4897 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4900/task/4911/stat : 4911 (java) R 4897 4900 32649 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 15 0 75163931 15371935744 22692 33554432000 4194304 4196468 140732158852192 140553688553840 140554651220610 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4912] ppid=4897 vsize=15011656 memory=140195315982223 CPUtime=0.02 cores=1,3,5,7
/proc/4900/task/4912/stat : 4912 (java) R 4897 4900 32649 0 -1 4202560 150 0 0 0 2 0 0 0 20 0 15 0 75163931 15371935744 22692 33554432000 4194304 4196468 140732158852192 140553687501040 140554636317432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4913] ppid=4897 vsize=15011656 memory=140195422328448 CPUtime=0.07 cores=1,3,5,7
/proc/4900/task/4913/stat : 4913 (java) R 4897 4900 32649 0 -1 4202560 473 0 0 0 7 0 0 0 20 0 15 0 75163931 15371935744 22692 33554432000 4194304 4196468 140732158852192 140553686448240 140554644309163 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4914] ppid=4897 vsize=15011656 memory=140195315987359 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4914/stat : 4914 (java) S 4897 4900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75163932 15371935744 22692 33554432000 4194304 4196468 140732158852192 140552066558176 140554651219669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4915] ppid=4897 vsize=15011656 memory=140195497492373 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4915/stat : 4915 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163932 15371935744 22692 33554432000 4194304 4196468 140732158852192 140553685396656 140554651220610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90768 KiB
[startup+0.701985 s]
/proc/loadavg: 2.02 2.03 2.05 3/221 4915
/proc/meminfo: memFree=21264992/32770624 swapFree=67108860/67108860
[pid=4900] ppid=4897 vsize=15017928 memory=128720 CPUtime=1.01 cores=1,3,5,7
/proc/4900/stat : 4900 (java) S 4897 4900 32649 0 -1 1077944320 18381 0 0 0 95 6 0 0 20 0 15 0 75163925 15378358272 32180 33554432000 4194304 4196468 140732158852192 140732158834736 140554651209463 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
/proc/4900/statm: 3754482 32180 3144 1 0 3715886 0
[pid=4900/tid=4902] ppid=4897 vsize=15017928 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/4900/task/4902/stat : 4902 (java) R 4897 4900 32649 0 -1 4202560 15232 0 0 0 63 5 0 0 20 0 15 0 75163925 15378358272 32180 33554432000 4194304 4196468 140732158852192 140554623044912 140554635739309 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4903] ppid=4897 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4903/stat : 4903 (java) S 4897 4900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75163927 15378358272 32180 33554432000 4194304 4196468 140732158852192 140554655451792 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4904] ppid=4897 vsize=15017928 memory=79 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4904/stat : 4904 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163927 15378358272 32180 33554432000 4194304 4196468 140732158852192 140554484546064 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4905] ppid=4897 vsize=15017928 memory=1 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4905/stat : 4905 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163927 15378358272 32180 33554432000 4194304 4196468 140732158852192 140554110318992 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4906] ppid=4897 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4906/stat : 4906 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163927 15378358272 32180 33554432000 4194304 4196468 140732158852192 140554109266192 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4907] ppid=4897 vsize=15017928 memory=161270720374410 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4907/stat : 4907 (java) S 4897 4900 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75163928 15378358272 32180 33554432000 4194304 4196468 140732158852192 140553689607024 140554651220610 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4908] ppid=4897 vsize=15017928 memory=438912 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4908/stat : 4908 (java) S 4897 4900 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75163929 15378358272 32180 33554432000 4194304 4196468 140732158852192 140553073190432 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4909] ppid=4897 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4909/stat : 4909 (java) S 4897 4900 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75163929 15378358272 32180 33554432000 4194304 4196468 140732158852192 140552938968432 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4910] ppid=4897 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4910/stat : 4910 (java) S 4897 4900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75163931 15378358272 32180 33554432000 4194304 4196468 140732158852192 140552564463952 140554651228059 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4911] ppid=4897 vsize=15017928 memory=7809523229951467574 CPUtime=0.05 cores=1,3,5,7
/proc/4900/task/4911/stat : 4911 (java) R 4897 4900 32649 0 -1 4202560 667 0 0 0 5 0 0 0 20 0 15 0 75163931 15378358272 32180 33554432000 4194304 4196468 140732158852192 140553688553840 140554636118387 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4912] ppid=4897 vsize=15017928 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4900/task/4912/stat : 4912 (java) R 4897 4900 32649 0 -1 1077944384 386 0 0 0 8 0 0 0 20 0 15 0 75163931 15378358272 32180 33554432000 4194304 4196468 140732158852192 140553687487888 140554651219669 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4913] ppid=4897 vsize=15017928 memory=-3535359994705171810 CPUtime=0.17 cores=1,3,5,7
/proc/4900/task/4913/stat : 4913 (java) R 4897 4900 32649 0 -1 4202560 735 0 0 0 17 0 0 0 20 0 15 0 75163931 15378358272 32180 33554432000 4194304 4196468 140732158852192 140553686448240 140554635369697 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4914] ppid=4897 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4914/stat : 4914 (java) S 4897 4900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75163932 15378358272 32180 33554432000 4194304 4196468 140732158852192 140552066558176 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4915] ppid=4897 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4915/stat : 4915 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163932 15378358272 32180 33554432000 4194304 4196468 140732158852192 140553685396656 140554651220610 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 128720 KiB
[startup+1.50076 s]
/proc/loadavg: 2.02 2.03 2.05 5/221 4915
/proc/meminfo: memFree=21162604/32770624 swapFree=67108860/67108860
[pid=4900] ppid=4897 vsize=15022100 memory=293244 CPUtime=3.44 cores=1,3,5,7
/proc/4900/stat : 4900 (java) S 4897 4900 32649 0 -1 1077944320 22260 0 0 0 334 10 0 0 20 0 15 0 75163925 15382630400 73311 33554432000 4194304 4196468 140732158852192 140732158834736 140554651209463 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
/proc/4900/statm: 3755525 73311 3201 1 0 3716910 0
[pid=4900/tid=4902] ppid=4897 vsize=15022100 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/4900/task/4902/stat : 4902 (java) R 4897 4900 32649 0 -1 4202560 16486 0 0 0 139 8 0 0 20 0 15 0 75163925 15382630400 73311 33554432000 4194304 4196468 140732158852192 140554623043664 140554651221398 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4903] ppid=4897 vsize=15022100 memory=6440799921298822505 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4903/stat : 4903 (java) S 4897 4900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75163927 15382630400 73311 33554432000 4194304 4196468 140732158852192 140554655451792 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4904] ppid=4897 vsize=15022100 memory=7013630013527909714 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4904/stat : 4904 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163927 15382630400 73311 33554432000 4194304 4196468 140732158852192 140554484546064 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4905] ppid=4897 vsize=15022100 memory=7013630013527909714 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4905/stat : 4905 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163927 15382630400 73311 33554432000 4194304 4196468 140732158852192 140554110318992 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4906] ppid=4897 vsize=15022100 memory=7013630013527909714 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4906/stat : 4906 (java) S 4897 4900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75163927 15382630400 73311 33554432000 4194304 4196468 140732158852192 140554109266192 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4907] ppid=4897 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4907/stat : 4907 (java) S 4897 4900 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75163928 15382630400 73311 33554432000 4194304 4196468 140732158852192 140553689607024 140554651220610 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
################
# More data... #
################
/proc/meminfo: memFree=18071820/32770624 swapFree=67108860/67108860
[pid=4900] ppid=4897 vsize=15683912 memory=3129196 CPUtime=25.33 cores=1,3,5,7
/proc/4900/stat : 4900 (java) S 4897 4900 32649 0 -1 1077944320 34803 0 0 0 2408 125 0 0 20 0 19 0 75163925 16060325888 782299 33554432000 4194304 4196468 140732158852192 140732158834736 140554651209463 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
/proc/4900/statm: 3920978 782299 3236 1 0 3881834 0
[pid=4916] ppid=4900 vsize=96556 memory=78364 CPUtime=2432.34 cores=1,3,5,7
/proc/4916/stat : 4916 (minisat_release) R 4900 4900 32649 0 -1 4202496 141097 0 0 0 243223 11 0 0 20 0 1 0 75164910 98873344 19591 33554432000 4194304 4308513 140724475477584 140724475474584 4275601 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 22241280 140724475478705 140724475479214 140724475479214 140724475482053 0
/proc/4916/statm: 24139 19591 353 28 0 20379 0
[pid=4900/tid=4902] ppid=4897 vsize=15683912 memory=3129196 CPUtime=9.69 cores=1,3,5,7
/proc/4900/task/4902/stat : 4902 (java) S 4897 4900 32649 0 -1 1077944384 19911 0 0 0 919 50 0 0 20 0 19 0 75163925 16060325888 782299 33554432000 4194304 4196468 140732158852192 140554623048704 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4903] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0.13 cores=1,3,5,7
/proc/4900/task/4903/stat : 4903 (java) S 4897 4900 32649 0 -1 1077944384 76 0 0 0 10 3 0 0 20 0 19 0 75163927 16060325888 782299 33554432000 4194304 4196468 140732158852192 140554655451792 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4904] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0.13 cores=1,3,5,7
/proc/4900/task/4904/stat : 4904 (java) S 4897 4900 32649 0 -1 1077944384 56 0 0 0 10 3 0 0 20 0 19 0 75163927 16060325888 782299 33554432000 4194304 4196468 140732158852192 140554484546064 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4905] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0.14 cores=1,3,5,7
/proc/4900/task/4905/stat : 4905 (java) S 4897 4900 32649 0 -1 1077944384 56 0 0 0 11 3 0 0 20 0 19 0 75163927 16060325888 782299 33554432000 4194304 4196468 140732158852192 140554110318992 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4906] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0.14 cores=1,3,5,7
/proc/4900/task/4906/stat : 4906 (java) S 4897 4900 32649 0 -1 1077944384 127 0 0 0 11 3 0 0 20 0 19 0 75163927 16060325888 782299 33554432000 4194304 4196468 140732158852192 140554109266192 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4907] ppid=4897 vsize=15683912 memory=4136 CPUtime=0.04 cores=1,3,5,7
/proc/4900/task/4907/stat : 4907 (java) S 4897 4900 32649 0 -1 1077944384 24 0 0 0 2 2 0 0 20 0 19 0 75163928 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553689607024 140554651220610 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4908] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4908/stat : 4908 (java) S 4897 4900 32649 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 75163929 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553073190496 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4909] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4909/stat : 4909 (java) S 4897 4900 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 75163929 16060325888 782299 33554432000 4194304 4196468 140732158852192 140552938968432 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4910] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4910/stat : 4910 (java) S 4897 4900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75163931 16060325888 782299 33554432000 4194304 4196468 140732158852192 140552564463952 140554651228059 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4911] ppid=4897 vsize=15683912 memory=3129196 CPUtime=6.19 cores=1,3,5,7
/proc/4900/task/4911/stat : 4911 (java) S 4897 4900 32649 0 -1 1077944384 5181 0 0 0 617 2 0 0 20 0 19 0 75163931 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553688553840 140554651220610 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4912] ppid=4897 vsize=15683912 memory=3129196 CPUtime=6.32 cores=1,3,5,7
/proc/4900/task/4912/stat : 4912 (java) S 4897 4900 32649 0 -1 1077944384 2991 0 0 0 630 2 0 0 20 0 19 0 75163931 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553687501040 140554651220610 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4913] ppid=4897 vsize=15683912 memory=3129196 CPUtime=1.36 cores=1,3,5,7
/proc/4900/task/4913/stat : 4913 (java) S 4897 4900 32649 0 -1 1077944384 4791 0 0 0 134 2 0 0 20 0 19 0 75163931 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553686448240 140554651220610 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4914] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4914/stat : 4914 (java) S 4897 4900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75163932 16060325888 782299 33554432000 4194304 4196468 140732158852192 140552066558176 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4915] ppid=4897 vsize=15683912 memory=3129196 CPUtime=1.11 cores=1,3,5,7
/proc/4900/task/4915/stat : 4915 (java) S 4897 4900 32649 0 -1 1077944384 165 0 0 0 50 61 0 0 20 0 19 0 75163932 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553685396656 140554651220610 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4917] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4917/stat : 4917 (java) S 4897 4900 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75164910 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553677588160 140554651234073 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4919] ppid=4897 vsize=15683912 memory=78364 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4919/stat : 4919 (java) S 4897 4900 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 75164910 16060325888 782299 33554432000 4194304 4196468 140732158852192 140551529672368 140554651231389 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4920] ppid=4897 vsize=15683912 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4920/stat : 4920 (java) S 4897 4900 32649 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 75164910 16060325888 782299 33554432000 4194304 4196468 140732158852192 140551663894064 140554651231389 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4921] ppid=4897 vsize=15683912 memory=78364 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4921/stat : 4921 (java) S 4897 4900 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 75164912 16060325888 782299 33554432000 4194304 4196468 140732158852192 140551261248672 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
Current children cumulated CPU time: 2457.67 s
Current children cumulated vsize: 15780468 KiB
Current children cumulated memory: 3207560 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/225 5100
/proc/meminfo: memFree=18069908/32770624 swapFree=67108860/67108860
[pid=4900] ppid=4897 vsize=15683912 memory=3129196 CPUtime=25.37 cores=1,3,5,7
/proc/4900/stat : 4900 (java) S 4897 4900 32649 0 -1 1077944320 34807 0 0 0 2410 127 0 0 20 0 19 0 75163925 16060325888 782299 33554432000 4194304 4196468 140732158852192 140732158834736 140554651209463 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
/proc/4900/statm: 3920978 782299 3236 1 0 3881834 0
[pid=4916] ppid=4900 vsize=96556 memory=78440 CPUtime=2492.35 cores=1,3,5,7
/proc/4916/stat : 4916 (minisat_release) R 4900 4900 32649 0 -1 4202496 144054 0 0 0 249223 12 0 0 20 0 1 0 75164910 98873344 19610 33554432000 4194304 4308513 140724475477584 140724475474584 4275941 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 22241280 140724475478705 140724475479214 140724475479214 140724475482053 0
/proc/4916/statm: 24139 19610 353 28 0 20379 0
[pid=4900/tid=4902] ppid=4897 vsize=15683912 memory=3129196 CPUtime=9.69 cores=1,3,5,7
/proc/4900/task/4902/stat : 4902 (java) S 4897 4900 32649 0 -1 1077944384 19911 0 0 0 919 50 0 0 20 0 19 0 75163925 16060325888 782299 33554432000 4194304 4196468 140732158852192 140554623048704 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4903] ppid=4897 vsize=15683912 memory=14 CPUtime=0.13 cores=1,3,5,7
/proc/4900/task/4903/stat : 4903 (java) S 4897 4900 32649 0 -1 1077944384 76 0 0 0 10 3 0 0 20 0 19 0 75163927 16060325888 782299 33554432000 4194304 4196468 140732158852192 140554655451792 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4904] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0.13 cores=1,3,5,7
/proc/4900/task/4904/stat : 4904 (java) S 4897 4900 32649 0 -1 1077944384 56 0 0 0 10 3 0 0 20 0 19 0 75163927 16060325888 782299 33554432000 4194304 4196468 140732158852192 140554484546064 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4905] ppid=4897 vsize=15683912 memory=-5059952977386882957 CPUtime=0.14 cores=1,3,5,7
/proc/4900/task/4905/stat : 4905 (java) S 4897 4900 32649 0 -1 1077944384 56 0 0 0 11 3 0 0 20 0 19 0 75163927 16060325888 782299 33554432000 4194304 4196468 140732158852192 140554110318992 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4906] ppid=4897 vsize=15683912 memory=2240 CPUtime=0.14 cores=1,3,5,7
/proc/4900/task/4906/stat : 4906 (java) S 4897 4900 32649 0 -1 1077944384 127 0 0 0 11 3 0 0 20 0 19 0 75163927 16060325888 782299 33554432000 4194304 4196468 140732158852192 140554109266192 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4907] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0.04 cores=1,3,5,7
/proc/4900/task/4907/stat : 4907 (java) S 4897 4900 32649 0 -1 1077944384 24 0 0 0 2 2 0 0 20 0 19 0 75163928 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553689607024 140554651220610 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4908] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4908/stat : 4908 (java) S 4897 4900 32649 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 75163929 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553073190496 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4909] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4909/stat : 4909 (java) S 4897 4900 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 75163929 16060325888 782299 33554432000 4194304 4196468 140732158852192 140552938968432 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4910] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4910/stat : 4910 (java) S 4897 4900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75163931 16060325888 782299 33554432000 4194304 4196468 140732158852192 140552564463952 140554651228059 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4911] ppid=4897 vsize=15683912 memory=78440 CPUtime=6.19 cores=1,3,5,7
/proc/4900/task/4911/stat : 4911 (java) S 4897 4900 32649 0 -1 1077944384 5181 0 0 0 617 2 0 0 20 0 19 0 75163931 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553688553840 140554651220610 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4912] ppid=4897 vsize=15683912 memory=22876 CPUtime=6.32 cores=1,3,5,7
/proc/4900/task/4912/stat : 4912 (java) S 4897 4900 32649 0 -1 1077944384 2991 0 0 0 630 2 0 0 20 0 19 0 75163931 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553687501040 140554651220610 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4913] ppid=4897 vsize=15683912 memory=3129196 CPUtime=1.36 cores=1,3,5,7
/proc/4900/task/4913/stat : 4913 (java) S 4897 4900 32649 0 -1 1077944384 4791 0 0 0 134 2 0 0 20 0 19 0 75163931 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553686448240 140554651220610 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4914] ppid=4897 vsize=15683912 memory=78440 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4914/stat : 4914 (java) S 4897 4900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75163932 16060325888 782299 33554432000 4194304 4196468 140732158852192 140552066558176 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4915] ppid=4897 vsize=15683912 memory=3129196 CPUtime=1.14 cores=1,3,5,7
/proc/4900/task/4915/stat : 4915 (java) S 4897 4900 32649 0 -1 1077944384 169 0 0 0 51 63 0 0 20 0 19 0 75163932 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553685396656 140554651220610 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4917] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4917/stat : 4917 (java) S 4897 4900 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75164910 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553677588160 140554651234073 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4919] ppid=4897 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4919/stat : 4919 (java) S 4897 4900 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 75164910 16060325888 782299 33554432000 4194304 4196468 140732158852192 140551529672368 140554651231389 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4920] ppid=4897 vsize=15683912 memory=22876 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4920/stat : 4920 (java) S 4897 4900 32649 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 75164910 16060325888 782299 33554432000 4194304 4196468 140732158852192 140551663894064 140554651231389 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4921] ppid=4897 vsize=15683912 memory=3129196 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4921/stat : 4921 (java) S 4897 4900 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 75164912 16060325888 782299 33554432000 4194304 4196468 140732158852192 140551261248672 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
Current children cumulated CPU time: 2517.72 s
Current children cumulated vsize: 15780468 KiB
Current children cumulated memory: 3207636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2504.6 s]
/proc/loadavg: 2.02 2.03 2.05 3/225 5100
/proc/meminfo: memFree=18069908/32770624 swapFree=67108860/67108860
[pid=4900] ppid=4897 vsize=15683912 memory=3129196 CPUtime=25.37 cores=1,3,5,7
/proc/4900/stat : 4900 (java) S 4897 4900 32649 0 -1 1077944320 34807 0 0 0 2410 127 0 0 20 0 19 0 75163925 16060325888 782299 33554432000 4194304 4196468 140732158852192 140732158834736 140554651209463 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
/proc/4900/statm: 3920978 782299 3236 1 0 3881834 0
[pid=4916] ppid=4900 vsize=96556 memory=78440 CPUtime=2494.65 cores=1,3,5,7
/proc/4916/stat : 4916 (minisat_release) R 4900 4900 32649 0 -1 4202496 144062 0 0 0 249453 12 0 0 20 0 1 0 75164910 98873344 19610 33554432000 4194304 4308513 140724475477584 140724475474584 4276143 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 22241280 140724475478705 140724475479214 140724475479214 140724475482053 0
/proc/4916/statm: 24139 19610 353 28 0 20379 0
[pid=4900/tid=4902] ppid=4897 vsize=15683912 memory=956 CPUtime=9.69 cores=1,3,5,7
/proc/4900/task/4902/stat : 4902 (java) S 4897 4900 32649 0 -1 1077944384 19911 0 0 0 919 50 0 0 20 0 19 0 75163925 16060325888 782299 33554432000 4194304 4196468 140732158852192 140554623048704 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4903] ppid=4897 vsize=15683912 memory=2424 CPUtime=0.13 cores=1,3,5,7
/proc/4900/task/4903/stat : 4903 (java) S 4897 4900 32649 0 -1 1077944384 76 0 0 0 10 3 0 0 20 0 19 0 75163927 16060325888 782299 33554432000 4194304 4196468 140732158852192 140554655451792 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4904] ppid=4897 vsize=15683912 memory=18268 CPUtime=0.13 cores=1,3,5,7
/proc/4900/task/4904/stat : 4904 (java) S 4897 4900 32649 0 -1 1077944384 56 0 0 0 10 3 0 0 20 0 19 0 75163927 16060325888 782299 33554432000 4194304 4196468 140732158852192 140554484546064 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4905] ppid=4897 vsize=15683912 memory=14132 CPUtime=0.14 cores=1,3,5,7
/proc/4900/task/4905/stat : 4905 (java) S 4897 4900 32649 0 -1 1077944384 56 0 0 0 11 3 0 0 20 0 19 0 75163927 16060325888 782299 33554432000 4194304 4196468 140732158852192 140554110318992 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4906] ppid=4897 vsize=15683912 memory=4052 CPUtime=0.14 cores=1,3,5,7
/proc/4900/task/4906/stat : 4906 (java) S 4897 4900 32649 0 -1 1077944384 127 0 0 0 11 3 0 0 20 0 19 0 75163927 16060325888 782299 33554432000 4194304 4196468 140732158852192 140554109266192 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4907] ppid=4897 vsize=15683912 memory=644 CPUtime=0.04 cores=1,3,5,7
/proc/4900/task/4907/stat : 4907 (java) S 4897 4900 32649 0 -1 1077944384 24 0 0 0 2 2 0 0 20 0 19 0 75163928 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553689607024 140554651220610 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4908] ppid=4897 vsize=15683912 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4908/stat : 4908 (java) S 4897 4900 32649 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 75163929 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553073190496 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4909] ppid=4897 vsize=15683912 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4909/stat : 4909 (java) S 4897 4900 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 75163929 16060325888 782299 33554432000 4194304 4196468 140732158852192 140552938968432 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4910] ppid=4897 vsize=15683912 memory=956 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4910/stat : 4910 (java) S 4897 4900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75163931 16060325888 782299 33554432000 4194304 4196468 140732158852192 140552564463952 140554651228059 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4911] ppid=4897 vsize=15683912 memory=2424 CPUtime=6.19 cores=1,3,5,7
/proc/4900/task/4911/stat : 4911 (java) S 4897 4900 32649 0 -1 1077944384 5181 0 0 0 617 2 0 0 20 0 19 0 75163931 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553688553840 140554651220610 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4912] ppid=4897 vsize=15683912 memory=1576 CPUtime=6.32 cores=1,3,5,7
/proc/4900/task/4912/stat : 4912 (java) S 4897 4900 32649 0 -1 1077944384 2991 0 0 0 630 2 0 0 20 0 19 0 75163931 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553687501040 140554651220610 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4913] ppid=4897 vsize=15683912 memory=928 CPUtime=1.36 cores=1,3,5,7
/proc/4900/task/4913/stat : 4913 (java) S 4897 4900 32649 0 -1 1077944384 4791 0 0 0 134 2 0 0 20 0 19 0 75163931 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553686448240 140554651220610 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4914] ppid=4897 vsize=15683912 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4914/stat : 4914 (java) S 4897 4900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75163932 16060325888 782299 33554432000 4194304 4196468 140732158852192 140552066558176 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4915] ppid=4897 vsize=15683912 memory=4128 CPUtime=1.15 cores=1,3,5,7
/proc/4900/task/4915/stat : 4915 (java) S 4897 4900 32649 0 -1 1077944384 169 0 0 0 52 63 0 0 20 0 19 0 75163932 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553685396656 140554651220610 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4917] ppid=4897 vsize=15683912 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4917/stat : 4917 (java) S 4897 4900 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75164910 16060325888 782299 33554432000 4194304 4196468 140732158852192 140553677588160 140554651234073 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4919] ppid=4897 vsize=15683912 memory=7892 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4919/stat : 4919 (java) S 4897 4900 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 75164910 16060325888 782299 33554432000 4194304 4196468 140732158852192 140551529672368 140554651231389 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4920] ppid=4897 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4920/stat : 4920 (java) S 4897 4900 32649 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 75164910 16060325888 782299 33554432000 4194304 4196468 140732158852192 140551663894064 140554651231389 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
[pid=4900/tid=4921] ppid=4897 vsize=15683912 memory=8532 CPUtime=0 cores=1,3,5,7
/proc/4900/task/4921/stat : 4921 (java) S 4897 4900 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 75164912 16060325888 782299 33554432000 4194304 4196468 140732158852192 140551261248672 140554651219669 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140732158858227 140732158858505 140732158858505 140732158861263 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15780468 KiB
Current children cumulated memory: 3207636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2504.63 s]
# the end of solver process 4900 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.64 s, system=1.41966 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2504.63
CPU time (s): 2520.06
CPU user time (s): 2518.64
CPU system time (s): 1.41966
CPU usage (%): 100.616
Max. virtual memory (cumulated for all children) (KiB): 15799136
Max. memory (cumulated for all children) (KiB): 3218544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.64
system time used= 1.41966
maximum resident set size= 3133188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178976
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59031
involuntary context switches= 836
# summary of solver processes directly reported to runsolver:
# pid: 4900
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.64
# total CPU system time (s): 1.41966
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.41 second user time and 26.383 second system time
The end