0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Wed Jul 25 22:35:04 CEST 2018
0.67/0.55 c PID: 1995
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
2.99/1.41 c (0,0) Parsing End
2.99/1.41 c (0,0) CSP: 59 int (0 aux), 0 bool (0 aux), 549 ctr, max domain size 26
2.99/1.42 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.99/1.42 c (0,0) Constraint Name Generate Begin
2.99/1.43 c (0,0) Ctr:HOME/instance-4295642-1532550903.xml,ExtensionConflict:ExtensionSupport:IntVar
2.99/1.43 c (0,0) Constraint Name Generate End
2.99/1.43 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.99/1.43 c (0,0) CSP to CSPinCNF Begin
6.68/2.63 c (2,1) translated 55 (10%) constraints
8.25/3.15 c (2,2) translated 110 (20%) constraints
9.75/3.63 c (3,2) translated 165 (30%) constraints
10.98/4.10 c (3,3) translated 220 (40%) constraints
12.48/4.58 c (4,3) translated 275 (50%) constraints
14.00/5.02 c (4,4) translated 330 (60%) constraints
15.49/5.50 c (4,4) translated 385 (70%) constraints
16.39/5.85 c (5,5) translated 440 (80%) constraints
17.27/6.15 c (5,5) translated 495 (90%) constraints
17.62/6.41 c (5,5) translated 549 (100%) constraints
18.61/6.86 c (6,6) STATISTICS1:HOME/instance-4295642-1532550903.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.61/6.86 c (6,6) ===========================================
18.61/6.86 c (6,6) Both Encoding selects:
18.61/6.86 c (6,6) Order
18.61/6.86 c (6,6) ===========================================
19.10/7.08 c (6,6) translated 7805 (10%) constraints
19.61/7.23 c (6,6) translated 15610 (20%) constraints
19.75/7.37 c (6,6) translated 23415 (30%) constraints
20.02/7.50 c (6,6) translated 31220 (40%) constraints
20.12/7.64 c (7,6) translated 39025 (50%) constraints
20.84/7.91 c (7,7) translated 46830 (60%) constraints
20.95/8.04 c (7,7) translated 54635 (70%) constraints
21.05/8.17 c (7,7) translated 62440 (80%) constraints
21.24/8.30 c (7,7) translated 70245 (90%) constraints
21.34/8.43 c (7,7) translated 78050 (100%) constraints
21.34/8.43 c (7,7) CSP to CSPinCNF End
21.34/8.43 c (7,7) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
21.34/8.43 c (7,7) Heap : 460 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
21.34/8.43 c (7,7) CSPinCNF Propagation Begin
22.19/8.82 c (8,8) 0 values, 6651 unsatisfiable literals, and 0 valid clauses are removed
22.19/8.82 c (8,8) CSPinCNF Propagation End
22.19/8.83 c (8,8) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
22.19/8.83 c (8,8) Heap : 842 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
22.19/8.83 c (8,8) Simplify CSPinCNF Begin
22.42/8.98 c (8,8) Simplify CSPinCNF End
22.42/8.98 c (8,8) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
22.42/8.98 c (8,8) Heap : 897 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.42/8.98 c (8,8) Calculate Precise Domain Begin
22.42/8.98 c (8,8) 0 values are removed by re-calculation
22.42/8.98 c (8,8) Calculate Precise Domain End
22.42/8.98 c (8,8) CSP: 59 int (0 aux), 442 bool (442 aux), 78050 ctr, max domain size 26
22.42/8.98 c (8,8) Heap : 897 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.42/8.98 c (8,8) CSPinCNF to SatSolver Begin
22.86/9.15 c (8,8) 7805 (10 %) CSP clauses are encoded (1917 SAT variables, 9220 SAT clauses)
23.14/9.22 c (8,8) 15610 (20 %) CSP clauses are encoded (1917 SAT variables, 17025 SAT clauses)
23.14/9.26 c (8,8) 23415 (30 %) CSP clauses are encoded (1917 SAT variables, 24830 SAT clauses)
23.28/9.31 c (8,8) 31220 (40 %) CSP clauses are encoded (1917 SAT variables, 32635 SAT clauses)
23.28/9.36 c (8,8) 39025 (50 %) CSP clauses are encoded (1917 SAT variables, 40440 SAT clauses)
23.41/9.40 c (8,8) 46830 (60 %) CSP clauses are encoded (1917 SAT variables, 48245 SAT clauses)
23.41/9.45 c (8,8) 54635 (70 %) CSP clauses are encoded (1917 SAT variables, 56050 SAT clauses)
23.51/9.50 c (8,8) 62440 (80 %) CSP clauses are encoded (1917 SAT variables, 63855 SAT clauses)
23.51/9.55 c (9,8) 70245 (90 %) CSP clauses are encoded (1917 SAT variables, 71660 SAT clauses)
23.60/9.60 c (9,8) 78050 (100 %) CSP clauses are encoded (1917 SAT variables, 79465 SAT clauses)
23.60/9.60 c (9,8) CSPinCNF to SatSolver End
23.60/9.60 c (9,8) Heap : 1388 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.09/9.88 c (9,9) STATISTICS2:HOME/instance-4295642-1532550903.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.09/9.88 c (9,9) SatSolver.solve Begin
24.09/9.88 c (9,9) 1917 bool, 79466 clause
24.09/9.88 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-4295642-1532550903.xml-scop-1995.cnf HOME/instance-4295642-1532550903.xml-scop-1995.cnf.out
2520.06/2504.40 c (2503,9) SatSolver is killed by some reasons.
2520.06/2504.40 c (2503,9) 0,0,7,8,8,8,9,TO,TO,STOP-AFTER(DIMACS)
2520.06/2504.40 s UNKNOWN
2520.06/2504.40 c END-Prog: Wed Jul 25 23:16:47 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (5229 MiB free)
memory of node 1: 16384 MiB (15587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295642-1532550903/watcher-4295642-1532550903 -o /tmp/evaluation-result-4295642-1532550903/solver-4295642-1532550903 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295642-1532550903.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=1995, runsolver pid=1992
Current StackSize limit: 8192 KiB
[startup+0.101737 s]*
/proc/loadavg: 2.30 2.16 2.10 3/219 2010
/proc/meminfo: memFree=21253720/32770624 swapFree=67076568/67108860
[pid=1995] ppid=1992 vsize=15011656 memory=73644 CPUtime=0.11 cores=1,3,5,7
/proc/1995/stat : 1995 (java) S 1992 1995 29212 0 -1 1077944320 6576 0 0 0 9 2 0 0 20 0 15 0 72653467 15371935744 18411 33554432000 4194304 4196468 140726726529584 140726726512128 140161986535159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
/proc/1995/statm: 3752914 18411 2774 1 0 3715374 0
[pid=1995/tid=1997] ppid=1992 vsize=15011656 memory=7100839887284243048 CPUtime=0.08 cores=1,3,5,7
/proc/1995/task/1997/stat : 1997 (java) R 1992 1995 29212 0 -1 4202560 4775 0 0 0 7 1 0 0 20 0 15 0 72653468 15371935744 18477 33554432000 4194304 4196468 140726726529584 140161958347144 140161966810908 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1998] ppid=1992 vsize=15011656 memory=3472328295574039403 CPUtime=0 cores=1,3,5,7
/proc/1995/task/1998/stat : 1998 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72653469 15371935744 18543 33554432000 4194304 4196468 140726726529584 140161990777616 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1999] ppid=1992 vsize=15011656 memory=139668404328064 CPUtime=0 cores=1,3,5,7
/proc/1995/task/1999/stat : 1999 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653469 15371935744 18543 33554432000 4194304 4196468 140726726529584 140161766480784 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2000] ppid=1992 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2000/stat : 2000 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653469 15371935744 18543 33554432000 4194304 4196468 140726726529584 140161765428240 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2001] ppid=1992 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2001/stat : 2001 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72653469 15371935744 18543 33554432000 4194304 4196468 140726726529584 140161764375696 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2002] ppid=1992 vsize=15011656 memory=139668404328064 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2002/stat : 2002 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72653471 15371935744 18543 33554432000 4194304 4196468 140726726529584 140160845961200 140161986546306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2003] ppid=1992 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2003/stat : 2003 (java) S 1992 1995 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72653471 15371935744 18543 33554432000 4194304 4196468 140726726529584 140160620553120 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2004] ppid=1992 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2004/stat : 2004 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653471 15371935744 18543 33554432000 4194304 4196468 140726726529584 140160352117744 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2005] ppid=1992 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2005/stat : 2005 (java) S 1992 1995 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72653474 15371935744 18543 33554432000 4194304 4196468 140726726529584 140159977609424 140161986553755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2006] ppid=1992 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2006/stat : 2006 (java) S 1992 1995 29212 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 72653474 15371935744 18543 33554432000 4194304 4196468 140726726529584 140160844909040 140161986546306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2007] ppid=1992 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2007/stat : 2007 (java) S 1992 1995 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 72653474 15371935744 18543 33554432000 4194304 4196468 140726726529584 140160843856496 140161986546306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2008] ppid=1992 vsize=15011656 memory=139668404328064 CPUtime=0.01 cores=1,3,5,7
/proc/1995/task/2008/stat : 2008 (java) S 1992 1995 29212 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 72653474 15371935744 18543 33554432000 4194304 4196468 140726726529584 140160842803952 140161986546306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2009] ppid=1992 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2009/stat : 2009 (java) S 1992 1995 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72653474 15371935744 18609 33554432000 4194304 4196468 140726726529584 140159479704672 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2010] ppid=1992 vsize=15011656 memory=139668404328064 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2010/stat : 2010 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653474 15371935744 18609 33554432000 4194304 4196468 140726726529584 140160841750832 140161986546306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73644 KiB
[startup+0.210304 s]*
/proc/loadavg: 2.30 2.16 2.10 3/219 2010
/proc/meminfo: memFree=21241052/32770624 swapFree=67076568/67108860
[pid=1995] ppid=1992 vsize=15011656 memory=86724 CPUtime=0.25 cores=1,3,5,7
/proc/1995/stat : 1995 (java) S 1992 1995 29212 0 -1 1077944320 10090 0 0 0 22 3 0 0 20 0 15 0 72653467 15371935744 21681 33554432000 4194304 4196468 140726726529584 140726726512128 140161986535159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
/proc/1995/statm: 3752914 21681 2885 1 0 3715374 0
[pid=1995/tid=1997] ppid=1992 vsize=15011656 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/1995/task/1997/stat : 1997 (java) R 1992 1995 29212 0 -1 4202560 8002 0 0 0 17 2 0 0 20 0 15 0 72653468 15371935744 21681 33554432000 4194304 4196468 140726726529584 140161958361552 140161986557085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1998] ppid=1992 vsize=15011656 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/1995/task/1998/stat : 1998 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72653469 15371935744 21681 33554432000 4194304 4196468 140726726529584 140161990777616 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1999] ppid=1992 vsize=15011656 memory=288370044556039808 CPUtime=0 cores=1,3,5,7
/proc/1995/task/1999/stat : 1999 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653469 15371935744 21681 33554432000 4194304 4196468 140726726529584 140161766480784 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2000] ppid=1992 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2000/stat : 2000 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653469 15371935744 21681 33554432000 4194304 4196468 140726726529584 140161765428240 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2001] ppid=1992 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2001/stat : 2001 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72653469 15371935744 21681 33554432000 4194304 4196468 140726726529584 140161764375696 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2002] ppid=1992 vsize=15011656 memory=139668404328064 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2002/stat : 2002 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72653471 15371935744 21681 33554432000 4194304 4196468 140726726529584 140160845961200 140161986546306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2003] ppid=1992 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2003/stat : 2003 (java) S 1992 1995 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72653471 15371935744 21681 33554432000 4194304 4196468 140726726529584 140160620553120 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2004] ppid=1992 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2004/stat : 2004 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653471 15371935744 21681 33554432000 4194304 4196468 140726726529584 140160352117744 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2005] ppid=1992 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2005/stat : 2005 (java) S 1992 1995 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72653474 15371935744 21681 33554432000 4194304 4196468 140726726529584 140159977609424 140161986553755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2006] ppid=1992 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2006/stat : 2006 (java) S 1992 1995 29212 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 15 0 72653474 15371935744 21681 33554432000 4194304 4196468 140726726529584 140160844909040 140161986546306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2007] ppid=1992 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2007/stat : 2007 (java) S 1992 1995 29212 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 72653474 15371935744 21681 33554432000 4194304 4196468 140726726529584 140160843856496 140161986546306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2008] ppid=1992 vsize=15011656 memory=139668404328064 CPUtime=0.03 cores=1,3,5,7
/proc/1995/task/2008/stat : 2008 (java) R 1992 1995 29212 0 -1 4202560 286 0 0 0 3 0 0 0 20 0 15 0 72653474 15371935744 21681 33554432000 4194304 4196468 140726726529584 140160842803952 140161965024833 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2009] ppid=1992 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2009/stat : 2009 (java) S 1992 1995 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72653474 15371935744 21681 33554432000 4194304 4196468 140726726529584 140159479704672 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2010] ppid=1992 vsize=15011656 memory=139668404328064 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2010/stat : 2010 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653474 15371935744 21681 33554432000 4194304 4196468 140726726529584 140160841750832 140161986546306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86724 KiB
[startup+0.310318 s]*
/proc/loadavg: 2.30 2.16 2.10 3/219 2010
/proc/meminfo: memFree=21237516/32770624 swapFree=67076568/67108860
[pid=1995] ppid=1992 vsize=15011656 memory=90192 CPUtime=0.42 cores=1,3,5,7
/proc/1995/stat : 1995 (java) S 1992 1995 29212 0 -1 1077944320 10618 0 0 0 39 3 0 0 20 0 15 0 72653467 15371935744 22548 33554432000 4194304 4196468 140726726529584 140726726512128 140161986535159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
/proc/1995/statm: 3752914 22548 2977 1 0 3715374 0
[pid=1995/tid=1997] ppid=1992 vsize=15011656 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1995/task/1997/stat : 1997 (java) R 1992 1995 29212 0 -1 4202560 8368 0 0 0 27 2 0 0 20 0 15 0 72653468 15371935744 22548 33554432000 4194304 4196468 140726726529584 140161958339312 140161968098688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1998] ppid=1992 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/1998/stat : 1998 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72653469 15371935744 22548 33554432000 4194304 4196468 140726726529584 140161990777616 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1999] ppid=1992 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/1999/stat : 1999 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653469 15371935744 22548 33554432000 4194304 4196468 140726726529584 140161766480784 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2000] ppid=1992 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2000/stat : 2000 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653469 15371935744 22548 33554432000 4194304 4196468 140726726529584 140161765428240 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2001] ppid=1992 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2001/stat : 2001 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72653469 15371935744 22548 33554432000 4194304 4196468 140726726529584 140161764375696 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2002] ppid=1992 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2002/stat : 2002 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72653471 15371935744 22548 33554432000 4194304 4196468 140726726529584 140160845961200 140161986546306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2003] ppid=1992 vsize=15011656 memory=139668242934223 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2003/stat : 2003 (java) S 1992 1995 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72653471 15371935744 22548 33554432000 4194304 4196468 140726726529584 140160620553120 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2004] ppid=1992 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2004/stat : 2004 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653471 15371935744 22548 33554432000 4194304 4196468 140726726529584 140160352117744 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2005] ppid=1992 vsize=15011656 memory=279336485840768 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2005/stat : 2005 (java) S 1992 1995 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72653474 15371935744 22548 33554432000 4194304 4196468 140726726529584 140159977609424 140161986553755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2006] ppid=1992 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1995/task/2006/stat : 2006 (java) R 1992 1995 29212 0 -1 4202560 506 0 0 0 2 0 0 0 20 0 15 0 72653474 15371935744 22548 33554432000 4194304 4196468 140726726529584 140160844909040 140161972550336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2007] ppid=1992 vsize=15011656 memory=139668242962063 CPUtime=0.02 cores=1,3,5,7
/proc/1995/task/2007/stat : 2007 (java) S 1992 1995 29212 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 72653474 15371935744 22548 33554432000 4194304 4196468 140726726529584 140160843856496 140161986546306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2008] ppid=1992 vsize=15011656 memory=139668404328064 CPUtime=0.07 cores=1,3,5,7
/proc/1995/task/2008/stat : 2008 (java) R 1992 1995 29212 0 -1 1077944384 306 0 0 0 7 0 0 0 20 0 15 0 72653474 15371935744 22548 33554432000 4194304 4196468 140726726529584 140160842803952 140161986546306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2009] ppid=1992 vsize=15011656 memory=139668242967199 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2009/stat : 2009 (java) S 1992 1995 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72653474 15371935744 22548 33554432000 4194304 4196468 140726726529584 140159479704672 140161986545365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2010] ppid=1992 vsize=15011656 memory=139668476981531 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2010/stat : 2010 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653474 15371935744 22548 33554432000 4194304 4196468 140726726529584 140160841750832 140161986546306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90192 KiB
[startup+0.704856 s]
/proc/loadavg: 2.30 2.16 2.10 3/219 2010
/proc/meminfo: memFree=21212976/32770624 swapFree=67076568/67108860
[pid=1995] ppid=1992 vsize=15017928 memory=131912 CPUtime=1.06 cores=1,3,5,7
/proc/1995/stat : 1995 (java) S 1992 1995 29212 0 -1 1077944320 17600 0 0 0 101 5 0 0 20 0 15 0 72653467 15378358272 32978 33554432000 4194304 4196468 140726726529584 140726726512128 140161986535159 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
/proc/1995/statm: 3754482 32978 3157 1 0 3715886 0
[pid=1995/tid=1997] ppid=1992 vsize=15017928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/1995/task/1997/stat : 1997 (java) R 1992 1995 29212 0 -1 4202560 14751 0 0 0 63 4 0 0 20 0 15 0 72653468 15378358272 32978 33554432000 4194304 4196468 140726726529584 140161958364688 140161986547094 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1998] ppid=1992 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/1998/stat : 1998 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72653469 15378358272 32978 33554432000 4194304 4196468 140726726529584 140161990777616 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1999] ppid=1992 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/1999/stat : 1999 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653469 15378358272 32978 33554432000 4194304 4196468 140726726529584 140161766480784 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2000] ppid=1992 vsize=15017928 memory=54 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2000/stat : 2000 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653469 15378358272 32978 33554432000 4194304 4196468 140726726529584 140161765428240 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2001] ppid=1992 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2001/stat : 2001 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72653469 15378358272 32978 33554432000 4194304 4196468 140726726529584 140161764375696 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2002] ppid=1992 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2002/stat : 2002 (java) S 1992 1995 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 72653471 15378358272 32978 33554432000 4194304 4196468 140726726529584 140160845961200 140161986546306 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2003] ppid=1992 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2003/stat : 2003 (java) S 1992 1995 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72653471 15378358272 32978 33554432000 4194304 4196468 140726726529584 140160620553120 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2004] ppid=1992 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2004/stat : 2004 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653471 15378358272 32978 33554432000 4194304 4196468 140726726529584 140160352117744 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2005] ppid=1992 vsize=15017928 memory=7813587196152395573 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2005/stat : 2005 (java) S 1992 1995 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72653474 15378358272 32978 33554432000 4194304 4196468 140726726529584 140159977609424 140161986553755 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2006] ppid=1992 vsize=15017928 memory=7012755875661107284 CPUtime=0.08 cores=1,3,5,7
/proc/1995/task/2006/stat : 2006 (java) R 1992 1995 29212 0 -1 4202560 682 0 0 0 8 0 0 0 20 0 15 0 72653474 15378358272 32978 33554432000 4194304 4196468 140726726529584 140160844898832 140161972216598 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2007] ppid=1992 vsize=15017928 memory=7588675599774802240 CPUtime=0.1 cores=1,3,5,7
/proc/1995/task/2007/stat : 2007 (java) R 1992 1995 29212 0 -1 1077944384 345 0 0 0 10 0 0 0 20 0 15 0 72653474 15378358272 32978 33554432000 4194304 4196468 140726726529584 140160843846096 140161986545365 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2008] ppid=1992 vsize=15017928 memory=-7741331004330446197 CPUtime=0.18 cores=1,3,5,7
/proc/1995/task/2008/stat : 2008 (java) R 1992 1995 29212 0 -1 4202560 485 0 0 0 18 0 0 0 20 0 15 0 72653474 15378358272 32978 33554432000 4194304 4196468 140726726529584 140160842801208 140161986547094 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2009] ppid=1992 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2009/stat : 2009 (java) S 1992 1995 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72653474 15378358272 32978 33554432000 4194304 4196468 140726726529584 140159479704672 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2010] ppid=1992 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2010/stat : 2010 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653474 15378358272 32978 33554432000 4194304 4196468 140726726529584 140160841750832 140161986546306 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131912 KiB
[startup+1.50259 s]
/proc/loadavg: 2.27 2.15 2.10 6/219 2010
/proc/meminfo: memFree=21096252/32770624 swapFree=67076568/67108860
[pid=1995] ppid=1992 vsize=15023776 memory=295912 CPUtime=3.29 cores=1,3,5,7
/proc/1995/stat : 1995 (java) S 1992 1995 29212 0 -1 1077944320 22285 0 0 0 320 9 0 0 20 0 15 0 72653467 15384346624 73978 33554432000 4194304 4196468 140726726529584 140726726512128 140161986535159 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
/proc/1995/statm: 3755944 73978 3200 1 0 3717329 0
[pid=1995/tid=1997] ppid=1992 vsize=15023776 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/1995/task/1997/stat : 1997 (java) R 1992 1995 29212 0 -1 4202560 15754 0 0 0 128 6 0 0 20 0 15 0 72653468 15384346624 73978 33554432000 4194304 4196468 140726726529584 140161958349296 140161970615646 0 4 0 25189583 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1998] ppid=1992 vsize=15023776 memory=148266767627681 CPUtime=0 cores=1,3,5,7
/proc/1995/task/1998/stat : 1998 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72653469 15384346624 73978 33554432000 4194304 4196468 140726726529584 140161990777616 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1999] ppid=1992 vsize=15023776 memory=426674 CPUtime=0 cores=1,3,5,7
/proc/1995/task/1999/stat : 1999 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653469 15384346624 73978 33554432000 4194304 4196468 140726726529584 140161766480784 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2000] ppid=1992 vsize=15023776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2000/stat : 2000 (java) S 1992 1995 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72653469 15384346624 73978 33554432000 4194304 4196468 140726726529584 140161765428240 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2001] ppid=1992 vsize=15023776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2001/stat : 2001 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72653469 15384346624 73978 33554432000 4194304 4196468 140726726529584 140161764375696 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2002] ppid=1992 vsize=15023776 memory=279336485650672 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2002/stat : 2002 (java) S 1992 1995 29212 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 72653471 15384346624 73978 33554432000 4194304 4196468 140726726529584 140160845961200 140161986546306 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
################
# More data... #
################
/proc/meminfo: memFree=18013780/32770624 swapFree=67076588/67108860
[pid=1995] ppid=1992 vsize=15683912 memory=3123980 CPUtime=25.46 cores=1,3,5,7
/proc/1995/stat : 1995 (java) S 1992 1995 29212 0 -1 1077944320 37011 0 0 0 2427 119 0 0 20 0 19 0 72653467 16060325888 780995 33554432000 4194304 4196468 140726726529584 140726726512128 140161986535159 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
/proc/1995/statm: 3920978 780995 3237 1 0 3881834 0
[pid=2011] ppid=1995 vsize=96564 memory=78308 CPUtime=2432.46 cores=1,3,5,7
/proc/2011/stat : 2011 (minisat_release) R 1995 1995 29212 0 -1 4202496 141653 0 0 0 243232 14 0 0 20 0 1 0 72654457 98881536 19577 33554432000 4194304 4308513 140731084669424 140731084666424 4276151 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 30662656 140731084677809 140731084678318 140731084678318 140731084681157 0
/proc/2011/statm: 24141 19577 354 28 0 20381 0
[pid=1995/tid=1997] ppid=1992 vsize=15683912 memory=3123980 CPUtime=9.62 cores=1,3,5,7
/proc/1995/task/1997/stat : 1997 (java) S 1992 1995 29212 0 -1 1077944384 19306 0 0 0 916 46 0 0 20 0 19 0 72653468 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161958374400 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1998] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0.13 cores=1,3,5,7
/proc/1995/task/1998/stat : 1998 (java) S 1992 1995 29212 0 -1 1077944384 56 0 0 0 10 3 0 0 20 0 19 0 72653469 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161990777616 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1999] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0.12 cores=1,3,5,7
/proc/1995/task/1999/stat : 1999 (java) S 1992 1995 29212 0 -1 1077944384 67 0 0 0 10 2 0 0 20 0 19 0 72653469 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161766480784 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2000] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0.13 cores=1,3,5,7
/proc/1995/task/2000/stat : 2000 (java) S 1992 1995 29212 0 -1 1077944384 52 0 0 0 10 3 0 0 20 0 19 0 72653469 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161765428240 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2001] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0.12 cores=1,3,5,7
/proc/1995/task/2001/stat : 2001 (java) S 1992 1995 29212 0 -1 1077944384 134 0 0 0 10 2 0 0 20 0 19 0 72653469 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161764375696 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2002] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0.04 cores=1,3,5,7
/proc/1995/task/2002/stat : 2002 (java) S 1992 1995 29212 0 -1 1077944384 25 0 0 0 2 2 0 0 20 0 19 0 72653471 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160845961200 140161986546306 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2003] ppid=1992 vsize=15683912 memory=78308 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2003/stat : 2003 (java) S 1992 1995 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 72653471 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160620553184 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2004] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2004/stat : 2004 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72653471 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160352117744 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2005] ppid=1992 vsize=15683912 memory=5196 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2005/stat : 2005 (java) S 1992 1995 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140159977609424 140161986553755 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2006] ppid=1992 vsize=15683912 memory=12816 CPUtime=6.28 cores=1,3,5,7
/proc/1995/task/2006/stat : 2006 (java) S 1992 1995 29212 0 -1 1077944384 5576 0 0 0 627 1 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160844909040 140161986546306 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2007] ppid=1992 vsize=15683912 memory=776 CPUtime=6.4 cores=1,3,5,7
/proc/1995/task/2007/stat : 2007 (java) S 1992 1995 29212 0 -1 1077944384 6451 0 0 0 638 2 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160843856496 140161986546306 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2008] ppid=1992 vsize=15683912 memory=1876 CPUtime=1.37 cores=1,3,5,7
/proc/1995/task/2008/stat : 2008 (java) S 1992 1995 29212 0 -1 1077944384 3779 0 0 0 135 2 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160842803952 140161986546306 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2009] ppid=1992 vsize=15683912 memory=12816 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2009/stat : 2009 (java) S 1992 1995 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140159479704672 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2010] ppid=1992 vsize=15683912 memory=1332 CPUtime=1.13 cores=1,3,5,7
/proc/1995/task/2010/stat : 2010 (java) S 1992 1995 29212 0 -1 1077944384 165 0 0 0 51 62 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160841750832 140161986546306 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2012] ppid=1992 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2012/stat : 2012 (java) S 1992 1995 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72654457 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161761764416 140161986559769 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2014] ppid=1992 vsize=15683912 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2014/stat : 2014 (java) S 1992 1995 29212 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 72654457 16060325888 780995 33554432000 4194304 4196468 140726726529584 140158942817840 140161986557085 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2015] ppid=1992 vsize=15683912 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2015/stat : 2015 (java) S 1992 1995 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 72654457 16060325888 780995 33554432000 4194304 4196468 140726726529584 140159077039792 140161986557085 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2016] ppid=1992 vsize=15683912 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2016/stat : 2016 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72654459 16060325888 780995 33554432000 4194304 4196468 140726726529584 140158674394656 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
Current children cumulated CPU time: 2457.92 s
Current children cumulated vsize: 15780476 KiB
Current children cumulated memory: 3202288 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.14 2.13 3/225 2221
/proc/meminfo: memFree=18015468/32770624 swapFree=67076588/67108860
[pid=1995] ppid=1992 vsize=15683912 memory=3123980 CPUtime=25.49 cores=1,3,5,7
/proc/1995/stat : 1995 (java) S 1992 1995 29212 0 -1 1077944320 37015 0 0 0 2428 121 0 0 20 0 19 0 72653467 16060325888 780995 33554432000 4194304 4196468 140726726529584 140726726512128 140161986535159 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
/proc/1995/statm: 3920978 780995 3237 1 0 3881834 0
[pid=2011] ppid=1995 vsize=96564 memory=78428 CPUtime=2492.47 cores=1,3,5,7
/proc/2011/stat : 2011 (minisat_release) R 1995 1995 29212 0 -1 4202496 144610 0 0 0 249232 15 0 0 20 0 1 0 72654457 98881536 19607 33554432000 4194304 4308513 140731084669424 140731084666424 4276036 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 30662656 140731084677809 140731084678318 140731084678318 140731084681157 0
/proc/2011/statm: 24141 19607 354 28 0 20381 0
[pid=1995/tid=1997] ppid=1992 vsize=15683912 memory=3123980 CPUtime=9.62 cores=1,3,5,7
/proc/1995/task/1997/stat : 1997 (java) S 1992 1995 29212 0 -1 1077944384 19306 0 0 0 916 46 0 0 20 0 19 0 72653468 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161958374400 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1998] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0.13 cores=1,3,5,7
/proc/1995/task/1998/stat : 1998 (java) S 1992 1995 29212 0 -1 1077944384 56 0 0 0 10 3 0 0 20 0 19 0 72653469 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161990777616 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1999] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0.12 cores=1,3,5,7
/proc/1995/task/1999/stat : 1999 (java) S 1992 1995 29212 0 -1 1077944384 67 0 0 0 10 2 0 0 20 0 19 0 72653469 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161766480784 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2000] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0.13 cores=1,3,5,7
/proc/1995/task/2000/stat : 2000 (java) S 1992 1995 29212 0 -1 1077944384 52 0 0 0 10 3 0 0 20 0 19 0 72653469 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161765428240 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2001] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0.12 cores=1,3,5,7
/proc/1995/task/2001/stat : 2001 (java) S 1992 1995 29212 0 -1 1077944384 134 0 0 0 10 2 0 0 20 0 19 0 72653469 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161764375696 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2002] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0.04 cores=1,3,5,7
/proc/1995/task/2002/stat : 2002 (java) S 1992 1995 29212 0 -1 1077944384 25 0 0 0 2 2 0 0 20 0 19 0 72653471 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160845961200 140161986546306 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2003] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2003/stat : 2003 (java) S 1992 1995 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 72653471 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160620553184 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2004] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2004/stat : 2004 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72653471 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160352117744 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2005] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2005/stat : 2005 (java) S 1992 1995 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140159977609424 140161986553755 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2006] ppid=1992 vsize=15683912 memory=3123980 CPUtime=6.28 cores=1,3,5,7
/proc/1995/task/2006/stat : 2006 (java) S 1992 1995 29212 0 -1 1077944384 5576 0 0 0 627 1 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160844909040 140161986546306 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2007] ppid=1992 vsize=15683912 memory=3123980 CPUtime=6.4 cores=1,3,5,7
/proc/1995/task/2007/stat : 2007 (java) S 1992 1995 29212 0 -1 1077944384 6451 0 0 0 638 2 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160843856496 140161986546306 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2008] ppid=1992 vsize=15683912 memory=78416 CPUtime=1.37 cores=1,3,5,7
/proc/1995/task/2008/stat : 2008 (java) S 1992 1995 29212 0 -1 1077944384 3779 0 0 0 135 2 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160842803952 140161986546306 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2009] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2009/stat : 2009 (java) S 1992 1995 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140159479704672 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2010] ppid=1992 vsize=15683912 memory=78416 CPUtime=1.16 cores=1,3,5,7
/proc/1995/task/2010/stat : 2010 (java) S 1992 1995 29212 0 -1 1077944384 169 0 0 0 52 64 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160841750832 140161986546306 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2012] ppid=1992 vsize=15683912 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2012/stat : 2012 (java) S 1992 1995 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72654457 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161761764416 140161986559769 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2014] ppid=1992 vsize=15683912 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2014/stat : 2014 (java) S 1992 1995 29212 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 72654457 16060325888 780995 33554432000 4194304 4196468 140726726529584 140158942817840 140161986557085 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2015] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2015/stat : 2015 (java) S 1992 1995 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 72654457 16060325888 780995 33554432000 4194304 4196468 140726726529584 140159077039792 140161986557085 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2016] ppid=1992 vsize=15683912 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2016/stat : 2016 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72654459 16060325888 780995 33554432000 4194304 4196468 140726726529584 140158674394656 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
Current children cumulated CPU time: 2517.96 s
Current children cumulated vsize: 15780476 KiB
Current children cumulated memory: 3202408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2504.4 s]
/proc/loadavg: 2.05 2.14 2.13 3/225 2221
/proc/meminfo: memFree=18015468/32770624 swapFree=67076588/67108860
[pid=1995] ppid=1992 vsize=15683912 memory=3123980 CPUtime=25.49 cores=1,3,5,7
/proc/1995/stat : 1995 (java) S 1992 1995 29212 0 -1 1077944320 37015 0 0 0 2428 121 0 0 20 0 19 0 72653467 16060325888 780995 33554432000 4194304 4196468 140726726529584 140726726512128 140161986535159 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
/proc/1995/statm: 3920978 780995 3237 1 0 3881834 0
[pid=2011] ppid=1995 vsize=96564 memory=78428 CPUtime=2494.57 cores=1,3,5,7
/proc/2011/stat : 2011 (minisat_release) R 1995 1995 29212 0 -1 4202496 144619 0 0 0 249442 15 0 0 20 0 1 0 72654457 98881536 19607 33554432000 4194304 4308513 140731084669424 140731084666424 4276097 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 30662656 140731084677809 140731084678318 140731084678318 140731084681157 0
/proc/2011/statm: 24141 19607 354 28 0 20381 0
[pid=1995/tid=1997] ppid=1992 vsize=15683912 memory=960 CPUtime=9.62 cores=1,3,5,7
/proc/1995/task/1997/stat : 1997 (java) S 1992 1995 29212 0 -1 1077944384 19306 0 0 0 916 46 0 0 20 0 19 0 72653468 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161958374400 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1998] ppid=1992 vsize=15683912 memory=1220 CPUtime=0.13 cores=1,3,5,7
/proc/1995/task/1998/stat : 1998 (java) S 1992 1995 29212 0 -1 1077944384 56 0 0 0 10 3 0 0 20 0 19 0 72653469 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161990777616 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=1999] ppid=1992 vsize=15683912 memory=3123980 CPUtime=0.12 cores=1,3,5,7
/proc/1995/task/1999/stat : 1999 (java) S 1992 1995 29212 0 -1 1077944384 67 0 0 0 10 2 0 0 20 0 19 0 72653469 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161766480784 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2000] ppid=1992 vsize=15683912 memory=78428 CPUtime=0.13 cores=1,3,5,7
/proc/1995/task/2000/stat : 2000 (java) S 1992 1995 29212 0 -1 1077944384 52 0 0 0 10 3 0 0 20 0 19 0 72653469 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161765428240 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2001] ppid=1992 vsize=15683912 memory=4104 CPUtime=0.12 cores=1,3,5,7
/proc/1995/task/2001/stat : 2001 (java) S 1992 1995 29212 0 -1 1077944384 134 0 0 0 10 2 0 0 20 0 19 0 72653469 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161764375696 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2002] ppid=1992 vsize=15683912 memory=-5059952977386882957 CPUtime=0.04 cores=1,3,5,7
/proc/1995/task/2002/stat : 2002 (java) S 1992 1995 29212 0 -1 1077944384 25 0 0 0 2 2 0 0 20 0 19 0 72653471 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160845961200 140161986546306 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2003] ppid=1992 vsize=15683912 memory=78416 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2003/stat : 2003 (java) S 1992 1995 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 72653471 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160620553184 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2004] ppid=1992 vsize=15683912 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2004/stat : 2004 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72653471 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160352117744 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2005] ppid=1992 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2005/stat : 2005 (java) S 1992 1995 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140159977609424 140161986553755 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2006] ppid=1992 vsize=15683912 memory=0 CPUtime=6.28 cores=1,3,5,7
/proc/1995/task/2006/stat : 2006 (java) S 1992 1995 29212 0 -1 1077944384 5576 0 0 0 627 1 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160844909040 140161986546306 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2007] ppid=1992 vsize=15683912 memory=0 CPUtime=6.4 cores=1,3,5,7
/proc/1995/task/2007/stat : 2007 (java) S 1992 1995 29212 0 -1 1077944384 6451 0 0 0 638 2 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160843856496 140161986546306 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2008] ppid=1992 vsize=15683912 memory=0 CPUtime=1.37 cores=1,3,5,7
/proc/1995/task/2008/stat : 2008 (java) S 1992 1995 29212 0 -1 1077944384 3779 0 0 0 135 2 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160842803952 140161986546306 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2009] ppid=1992 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2009/stat : 2009 (java) S 1992 1995 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140159479704672 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2010] ppid=1992 vsize=15683912 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/1995/task/2010/stat : 2010 (java) S 1992 1995 29212 0 -1 1077944384 169 0 0 0 52 64 0 0 20 0 19 0 72653474 16060325888 780995 33554432000 4194304 4196468 140726726529584 140160841750832 140161986546306 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2012] ppid=1992 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2012/stat : 2012 (java) S 1992 1995 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72654457 16060325888 780995 33554432000 4194304 4196468 140726726529584 140161761764416 140161986559769 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2014] ppid=1992 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2014/stat : 2014 (java) S 1992 1995 29212 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 72654457 16060325888 780995 33554432000 4194304 4196468 140726726529584 140158942817840 140161986557085 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2015] ppid=1992 vsize=15683912 memory=209 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2015/stat : 2015 (java) S 1992 1995 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 72654457 16060325888 780995 33554432000 4194304 4196468 140726726529584 140159077039792 140161986557085 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
[pid=1995/tid=2016] ppid=1992 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1995/task/2016/stat : 2016 (java) S 1992 1995 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72654459 16060325888 780995 33554432000 4194304 4196468 140726726529584 140158674394656 140161986545365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38244352 140726726538228 140726726538505 140726726538505 140726726541263 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 15780476 KiB
Current children cumulated memory: 3202408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2504.43 s]
# the end of solver process 1995 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.71 s, system=1.39064 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2504.43
CPU time (s): 2520.1
CPU user time (s): 2518.71
CPU system time (s): 1.39064
CPU usage (%): 100.626
Max. virtual memory (cumulated for all children) (KiB): 15799144
Max. memory (cumulated for all children) (KiB): 3213228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.71
system time used= 1.39064
maximum resident set size= 3124924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181701
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= 58534
involuntary context switches= 826
# summary of solver processes directly reported to runsolver:
# pid: 1995
# total CPU time (s): 2520.1
# total CPU user time (s): 2518.71
# total CPU system time (s): 1.39064
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.417 second user time and 26.8019 second system time
The end