0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Thu Jul 26 05:16:11 CEST 2018
0.67/0.55 c PID: 4784
0.67/0.55 c IP: 172.20.3.150
0.67/0.55 c HOST: node150.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.34/1.17 c (0,0) Parsing End
2.34/1.18 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 456 ctr, max domain size 23
2.34/1.19 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.34/1.19 c (0,0) Constraint Name Generate Begin
2.34/1.19 c (0,0) Ctr:HOME/instance-4295634-1532574970.xml,ExtensionConflict:ExtensionSupport:IntVar
2.34/1.19 c (0,0) Constraint Name Generate End
2.34/1.19 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.34/1.19 c (0,0) CSP to CSPinCNF Begin
5.09/2.15 c (1,1) translated 46 (10%) constraints
6.28/2.53 c (2,1) translated 92 (20%) constraints
7.20/2.86 c (2,2) translated 137 (30%) constraints
8.13/3.15 c (2,2) translated 183 (40%) constraints
9.01/3.42 c (2,2) translated 228 (50%) constraints
9.93/3.70 c (3,3) translated 274 (60%) constraints
10.54/3.99 c (3,3) translated 320 (70%) constraints
11.44/4.23 c (3,3) translated 365 (80%) constraints
12.05/4.46 c (3,3) translated 411 (90%) constraints
12.66/4.66 c (4,4) translated 456 (100%) constraints
13.90/5.02 c (4,4) STATISTICS1:HOME/instance-4295634-1532574970.xml,ExtensionConflict:ExtensionSupport:IntVar,326,50237,-1,23,24,1,,23:188503;2:3777,24:12;4:42009;3:7536;2:680,1:192280;0:12,
13.90/5.02 c (4,4) ===========================================
13.90/5.02 c (4,4) Order
13.90/5.02 c (4,4) ===========================================
14.26/5.18 c (4,4) translated 5024 (10%) constraints
14.53/5.29 c (4,4) translated 10048 (20%) constraints
14.84/5.39 c (4,4) translated 15072 (30%) constraints
15.47/5.52 c (4,4) translated 20095 (40%) constraints
15.78/5.63 c (5,5) translated 25119 (50%) constraints
16.07/5.73 c (5,5) translated 30143 (60%) constraints
16.26/5.82 c (5,5) translated 35166 (70%) constraints
16.36/5.91 c (5,5) translated 40190 (80%) constraints
16.36/6.00 c (5,5) translated 45214 (90%) constraints
16.47/6.09 c (5,5) translated 50237 (100%) constraints
16.47/6.09 c (5,5) CSP to CSPinCNF End
16.47/6.09 c (5,5) CSP: 50 int (0 aux), 276 bool (276 aux), 50237 ctr, max domain size 23
16.47/6.09 c (5,5) Heap : 2027 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.47/6.09 c (5,5) CSPinCNF Propagation Begin
17.33/6.45 c (5,5) 0 values, 4945 unsatisfiable literals, and 0 valid clauses are removed
17.33/6.45 c (5,5) CSPinCNF Propagation End
17.33/6.45 c (5,5) CSP: 50 int (0 aux), 276 bool (276 aux), 50237 ctr, max domain size 23
17.33/6.45 c (5,5) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.33/6.45 c (5,5) Simplify CSPinCNF Begin
17.53/6.58 c (6,6) Simplify CSPinCNF End
17.53/6.58 c (6,6) CSP: 50 int (0 aux), 276 bool (276 aux), 50237 ctr, max domain size 23
17.53/6.58 c (6,6) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.53/6.58 c (6,6) Calculate Precise Domain Begin
17.53/6.58 c (6,6) 0 values are removed by re-calculation
17.53/6.58 c (6,6) Calculate Precise Domain End
17.53/6.58 c (6,6) CSP: 50 int (0 aux), 276 bool (276 aux), 50237 ctr, max domain size 23
17.53/6.58 c (6,6) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.53/6.58 c (6,6) CSPinCNF to SatSolver Begin
18.00/6.73 c (6,6) 5024 (10 %) CSP clauses are encoded (1376 SAT variables, 6073 SAT clauses)
18.30/6.81 c (6,6) 10048 (20 %) CSP clauses are encoded (1376 SAT variables, 11097 SAT clauses)
18.30/6.86 c (6,6) 15072 (30 %) CSP clauses are encoded (1376 SAT variables, 16121 SAT clauses)
18.60/6.91 c (6,6) 20095 (40 %) CSP clauses are encoded (1376 SAT variables, 21144 SAT clauses)
18.60/6.95 c (6,6) 25119 (50 %) CSP clauses are encoded (1376 SAT variables, 26168 SAT clauses)
18.60/6.98 c (6,6) 30143 (60 %) CSP clauses are encoded (1376 SAT variables, 31192 SAT clauses)
18.80/7.02 c (6,6) 35166 (70 %) CSP clauses are encoded (1376 SAT variables, 36215 SAT clauses)
18.80/7.06 c (6,6) 40190 (80 %) CSP clauses are encoded (1376 SAT variables, 41239 SAT clauses)
18.80/7.10 c (6,6) 45214 (90 %) CSP clauses are encoded (1376 SAT variables, 46263 SAT clauses)
18.90/7.14 c (6,6) 50237 (100 %) CSP clauses are encoded (1376 SAT variables, 51286 SAT clauses)
18.90/7.14 c (6,6) CSPinCNF to SatSolver End
18.90/7.14 c (6,6) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.72/7.48 c (6,6) STATISTICS2:HOME/instance-4295634-1532574970.xml,ExtensionConflict:ExtensionSupport:IntVar,326,50237,-1,23,23,1,,23:183570;2:3777,23:12;4:37457;3:11707;2:1061,1:187347,
19.72/7.48 c (6,6) SatSolver.solve Begin
19.72/7.48 c (6,6) 1376 bool, 51287 clause
19.72/7.48 c (6,6) 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-4295634-1532574970.xml-scop-4784.cnf HOME/instance-4295634-1532574970.xml-scop-4784.cnf.out
2520.00/2506.30 c (2505,0) receiving signal SIGTERM
2520.00/2506.30 s UNKNOWN
2520.00/2506.30 c (2505,6) SatSolver is killed by some reasons.
2520.00/2506.30 c (2505,6) 0,0,5,5,6,6,6,TO,TO,STOP-AFTER(DIMACS)
2520.00/2506.30 c END-Prog: Thu Jul 26 05:57:57 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 (9863 MiB free)
memory of node 1: 16384 MiB (10911 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295634-1532574970/watcher-4295634-1532574970 -o /tmp/evaluation-result-4295634-1532574970/solver-4295634-1532574970 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32680 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295634-1532574970.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=4784, runsolver pid=4781
[startup+0.100121 s]*
/proc/loadavg: 2.00 2.01 2.05 3/219 4799
/proc/meminfo: memFree=21212660/32770624 swapFree=67108860/67108860
[pid=4784] ppid=4781 vsize=15011656 memory=73928 CPUtime=0.11 cores=0,2,4,6
/proc/4784/stat : 4784 (java) S 4781 4784 32649 0 -1 1077944320 6112 0 0 0 9 2 0 0 20 0 15 0 75060297 15371935744 18482 33554432000 4194304 4196468 140729650558720 140729650541264 139740790853367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
/proc/4784/statm: 3752914 18482 2781 1 0 3715374 0
[pid=4784/tid=4786] ppid=4781 vsize=15011656 memory=7100839852823775848 CPUtime=0.09 cores=0,2,4,6
/proc/4784/task/4786/stat : 4786 (java) R 4781 4784 32649 0 -1 4202560 4545 0 0 0 8 1 0 0 20 0 15 0 75060298 15371935744 18812 33554432000 4194304 4196468 140729650558720 139740762665352 139740771129127 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4787] ppid=4781 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4787/stat : 4787 (java) S 4781 4784 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75060299 15371935744 18812 33554432000 4194304 4196468 140729650558720 139740795096208 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4788] ppid=4781 vsize=15011656 memory=140458339600000 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4788/stat : 4788 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060299 15371935744 18812 33554432000 4194304 4196468 140729650558720 139740252027920 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4789] ppid=4781 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4789/stat : 4789 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060299 15371935744 18812 33554432000 4194304 4196468 140729650558720 139740250975120 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4790] ppid=4781 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4790/stat : 4790 (java) S 4781 4784 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75060299 15371935744 18812 33554432000 4194304 4196468 140729650558720 139740249922320 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4791] ppid=4781 vsize=15011656 memory=140458339600000 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4791/stat : 4791 (java) S 4781 4784 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75060301 15371935744 18812 33554432000 4194304 4196468 140729650558720 139739560626544 139740790864514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4792] ppid=4781 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4792/stat : 4792 (java) S 4781 4784 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75060301 15371935744 18812 33554432000 4194304 4196468 140729650558720 139739445322784 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4793] ppid=4781 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4793/stat : 4793 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060301 15371935744 18812 33554432000 4194304 4196468 140729650558720 139739176887152 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4794] ppid=4781 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4794/stat : 4794 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75060304 15371935744 18812 33554432000 4194304 4196468 140729650558720 139738802378576 139740790871963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4795] ppid=4781 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4795/stat : 4795 (java) S 4781 4784 32649 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 75060304 15371935744 18812 33554432000 4194304 4196468 140729650558720 139739559574384 139740790864514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4796] ppid=4781 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4796/stat : 4796 (java) S 4781 4784 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75060304 15371935744 18878 33554432000 4194304 4196468 140729650558720 139739558521584 139740790864514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4797] ppid=4781 vsize=15011656 memory=140458339600000 CPUtime=0.01 cores=0,2,4,6
/proc/4784/task/4797/stat : 4797 (java) S 4781 4784 32649 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 75060304 15371935744 18878 33554432000 4194304 4196468 140729650558720 139739557468784 139740790864514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4798] ppid=4781 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4798/stat : 4798 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75060304 15371935744 18878 33554432000 4194304 4196468 140729650558720 139738304473824 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4799] ppid=4781 vsize=15011656 memory=140458339600000 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4799/stat : 4799 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060304 15371935744 18878 33554432000 4194304 4196468 140729650558720 139739556416176 139740790864514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73928 KiB
[startup+0.210319 s]*
/proc/loadavg: 2.00 2.01 2.05 4/219 4799
/proc/meminfo: memFree=21199452/32770624 swapFree=67108860/67108860
[pid=4784] ppid=4781 vsize=15011656 memory=86752 CPUtime=0.25 cores=0,2,4,6
/proc/4784/stat : 4784 (java) S 4781 4784 32649 0 -1 1077944320 9588 0 0 0 23 2 0 0 20 0 15 0 75060297 15371935744 21688 33554432000 4194304 4196468 140729650558720 140729650541264 139740790853367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
/proc/4784/statm: 3752914 21688 2894 1 0 3715374 0
[pid=4784/tid=4786] ppid=4781 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/4784/task/4786/stat : 4786 (java) R 4781 4784 32649 0 -1 4202560 7500 0 0 0 18 2 0 0 20 0 15 0 75060298 15371935744 21688 33554432000 4194304 4196468 140729650558720 139740762676976 139740774933854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4787] ppid=4781 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4787/stat : 4787 (java) S 4781 4784 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75060299 15371935744 21688 33554432000 4194304 4196468 140729650558720 139740795096208 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4788] ppid=4781 vsize=15011656 memory=3618278294403942048 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4788/stat : 4788 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060299 15371935744 21688 33554432000 4194304 4196468 140729650558720 139740252027920 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4789] ppid=4781 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4789/stat : 4789 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060299 15371935744 21688 33554432000 4194304 4196468 140729650558720 139740250975120 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4790] ppid=4781 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4790/stat : 4790 (java) S 4781 4784 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75060299 15371935744 21688 33554432000 4194304 4196468 140729650558720 139740249922320 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4791] ppid=4781 vsize=15011656 memory=140458339600000 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4791/stat : 4791 (java) S 4781 4784 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75060301 15371935744 21688 33554432000 4194304 4196468 140729650558720 139739560626544 139740790864514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4792] ppid=4781 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4792/stat : 4792 (java) S 4781 4784 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75060301 15371935744 21688 33554432000 4194304 4196468 140729650558720 139739445322784 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4793] ppid=4781 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4793/stat : 4793 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060301 15371935744 21688 33554432000 4194304 4196468 140729650558720 139739176887152 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4794] ppid=4781 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4794/stat : 4794 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75060304 15371935744 21688 33554432000 4194304 4196468 140729650558720 139738802378576 139740790871963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4795] ppid=4781 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4784/task/4795/stat : 4795 (java) R 4781 4784 32649 0 -1 4202560 418 0 0 0 1 0 0 0 20 0 15 0 75060304 15371935744 21688 33554432000 4194304 4196468 140729650558720 139739559565888 139740776516096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4796] ppid=4781 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4796/stat : 4796 (java) R 4781 4784 32649 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 75060304 15371935744 21688 33554432000 4194304 4196468 140729650558720 139739558521584 139740790864514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4797] ppid=4781 vsize=15011656 memory=140458339600000 CPUtime=0.03 cores=0,2,4,6
/proc/4784/task/4797/stat : 4797 (java) S 4781 4784 32649 0 -1 1077944384 290 0 0 0 3 0 0 0 20 0 15 0 75060304 15371935744 21688 33554432000 4194304 4196468 140729650558720 139739557468784 139740790864514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4798] ppid=4781 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4798/stat : 4798 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75060304 15371935744 21688 33554432000 4194304 4196468 140729650558720 139738304473824 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4799] ppid=4781 vsize=15011656 memory=140458339600000 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4799/stat : 4799 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060304 15371935744 21688 33554432000 4194304 4196468 140729650558720 139739556416176 139740790864514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86752 KiB
[startup+0.310325 s]*
/proc/loadavg: 2.00 2.01 2.05 3/219 4799
/proc/meminfo: memFree=21196164/32770624 swapFree=67108860/67108860
[pid=4784] ppid=4781 vsize=15011656 memory=90220 CPUtime=0.43 cores=0,2,4,6
/proc/4784/stat : 4784 (java) S 4781 4784 32649 0 -1 1077944320 10124 0 0 0 40 3 0 0 20 0 15 0 75060297 15371935744 22555 33554432000 4194304 4196468 140729650558720 140729650541264 139740790853367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
/proc/4784/statm: 3752914 22555 2996 1 0 3715374 0
[pid=4784/tid=4786] ppid=4781 vsize=15011656 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/4784/task/4786/stat : 4786 (java) R 4781 4784 32649 0 -1 4202560 7874 0 0 0 27 2 0 0 20 0 15 0 75060298 15371935744 22555 33554432000 4194304 4196468 140729650558720 139740762683696 139740774933854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4787] ppid=4781 vsize=15011656 memory=140462476328143 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4787/stat : 4787 (java) S 4781 4784 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75060299 15371935744 22555 33554432000 4194304 4196468 140729650558720 139740795096208 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4788] ppid=4781 vsize=15011656 memory=140458339600000 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4788/stat : 4788 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060299 15371935744 22555 33554432000 4194304 4196468 140729650558720 139740252027920 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4789] ppid=4781 vsize=15011656 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4789/stat : 4789 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060299 15371935744 22555 33554432000 4194304 4196468 140729650558720 139740250975120 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4790] ppid=4781 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4790/stat : 4790 (java) S 4781 4784 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75060299 15371935744 22555 33554432000 4194304 4196468 140729650558720 139740249922320 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4791] ppid=4781 vsize=15011656 memory=140458339600000 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4791/stat : 4791 (java) S 4781 4784 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75060301 15371935744 22555 33554432000 4194304 4196468 140729650558720 139739560626544 139740790864514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4792] ppid=4781 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4792/stat : 4792 (java) S 4781 4784 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75060301 15371935744 22555 33554432000 4194304 4196468 140729650558720 139739445322784 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4793] ppid=4781 vsize=15011656 memory=280916362756896 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4793/stat : 4793 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060301 15371935744 22555 33554432000 4194304 4196468 140729650558720 139739176887152 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4794] ppid=4781 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4794/stat : 4794 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75060304 15371935744 22555 33554432000 4194304 4196468 140729650558720 139738802378576 139740790871963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4795] ppid=4781 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4784/task/4795/stat : 4795 (java) S 4781 4784 32649 0 -1 1077944384 524 0 0 0 3 0 0 0 20 0 15 0 75060304 15371935744 22555 33554432000 4194304 4196468 140729650558720 139739559574384 139740790864514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4796] ppid=4781 vsize=15011656 memory=140458181400207 CPUtime=0.01 cores=0,2,4,6
/proc/4784/task/4796/stat : 4796 (java) S 4781 4784 32649 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 15 0 75060304 15371935744 22555 33554432000 4194304 4196468 140729650558720 139739558521584 139740790864514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4797] ppid=4781 vsize=15011656 memory=140458339600000 CPUtime=0.07 cores=0,2,4,6
/proc/4784/task/4797/stat : 4797 (java) S 4781 4784 32649 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 15 0 75060304 15371935744 22555 33554432000 4194304 4196468 140729650558720 139739557468784 139740790864514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4798] ppid=4781 vsize=15011656 memory=140458181405343 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4798/stat : 4798 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75060304 15371935744 22555 33554432000 4194304 4196468 140729650558720 139738304473824 139740790863573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4799] ppid=4781 vsize=15011656 memory=140458414660297 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4799/stat : 4799 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060304 15371935744 22555 33554432000 4194304 4196468 140729650558720 139739556416176 139740790864514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90220 KiB
[startup+0.700698 s]
/proc/loadavg: 2.00 2.01 2.05 3/219 4799
/proc/meminfo: memFree=21171732/32770624 swapFree=67108860/67108860
[pid=4784] ppid=4781 vsize=15017928 memory=129480 CPUtime=1.03 cores=0,2,4,6
/proc/4784/stat : 4784 (java) S 4781 4784 32649 0 -1 1077944320 17093 0 0 0 98 5 0 0 20 0 15 0 75060297 15378358272 32370 33554432000 4194304 4196468 140729650558720 140729650541264 139740790853367 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
/proc/4784/statm: 3754482 32370 3142 1 0 3715886 0
[pid=4784/tid=4786] ppid=4781 vsize=15017928 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4784/task/4786/stat : 4786 (java) R 4781 4784 32649 0 -1 4202560 14263 0 0 0 63 4 0 0 20 0 15 0 75060298 15378358272 32370 33554432000 4194304 4196468 140729650558720 139740762675664 139740790875293 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4787] ppid=4781 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4787/stat : 4787 (java) S 4781 4784 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75060299 15378358272 32370 33554432000 4194304 4196468 140729650558720 139740795096208 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4788] ppid=4781 vsize=15017928 memory=79 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4788/stat : 4788 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060299 15378358272 32370 33554432000 4194304 4196468 140729650558720 139740252027920 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4789] ppid=4781 vsize=15017928 memory=1 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4789/stat : 4789 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060299 15378358272 32370 33554432000 4194304 4196468 140729650558720 139740250975120 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4790] ppid=4781 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4790/stat : 4790 (java) S 4781 4784 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75060299 15378358272 32370 33554432000 4194304 4196468 140729650558720 139740249922320 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4791] ppid=4781 vsize=15017928 memory=161035369588246 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4791/stat : 4791 (java) S 4781 4784 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75060301 15378358272 32370 33554432000 4194304 4196468 140729650558720 139739560626544 139740790864514 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4792] ppid=4781 vsize=15017928 memory=438846 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4792/stat : 4792 (java) S 4781 4784 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75060301 15378358272 32370 33554432000 4194304 4196468 140729650558720 139739445322784 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4793] ppid=4781 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4793/stat : 4793 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060301 15378358272 32370 33554432000 4194304 4196468 140729650558720 139739176887152 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4794] ppid=4781 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4794/stat : 4794 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75060304 15378358272 32370 33554432000 4194304 4196468 140729650558720 139738802378576 139740790871963 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4795] ppid=4781 vsize=15017928 memory=7809523229951467574 CPUtime=0.07 cores=0,2,4,6
/proc/4784/task/4795/stat : 4795 (java) S 4781 4784 32649 0 -1 1077944384 692 0 0 0 7 0 0 0 20 0 15 0 75060304 15378358272 32370 33554432000 4194304 4196468 140729650558720 139739559574384 139740790864514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4796] ppid=4781 vsize=15017928 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4784/task/4796/stat : 4796 (java) R 4781 4784 32649 0 -1 4202560 323 0 0 0 8 0 0 0 20 0 15 0 75060304 15378358272 32370 33554432000 4194304 4196468 140729650558720 139739558511376 139740774858417 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4797] ppid=4781 vsize=15017928 memory=-3535359994705171810 CPUtime=0.18 cores=0,2,4,6
/proc/4784/task/4797/stat : 4797 (java) R 4781 4784 32649 0 -1 4202560 474 0 0 0 18 0 0 0 20 0 15 0 75060304 15378358272 32370 33554432000 4194304 4196468 140729650558720 139739557464512 139740769343008 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4798] ppid=4781 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4798/stat : 4798 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75060304 15378358272 32370 33554432000 4194304 4196468 140729650558720 139738304473824 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4799] ppid=4781 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4799/stat : 4799 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060304 15378358272 32370 33554432000 4194304 4196468 140729650558720 139739556416176 139740790864514 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 129480 KiB
[startup+1.50154 s]
/proc/loadavg: 2.00 2.01 2.05 3/219 4799
/proc/meminfo: memFree=21078800/32770624 swapFree=67108860/67108860
[pid=4784] ppid=4781 vsize=15022100 memory=247660 CPUtime=3.16 cores=0,2,4,6
/proc/4784/stat : 4784 (java) S 4781 4784 32649 0 -1 1077944320 20993 0 0 0 307 9 0 0 20 0 15 0 75060297 15382630400 61915 33554432000 4194304 4196468 140729650558720 140729650541264 139740790853367 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
/proc/4784/statm: 3755525 61915 3203 1 0 3716910 0
[pid=4784/tid=4786] ppid=4781 vsize=15022100 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/4784/task/4786/stat : 4786 (java) R 4781 4784 32649 0 -1 4202560 15545 0 0 0 140 6 0 0 20 0 15 0 75060298 15382630400 61915 33554432000 4194304 4196468 140729650558720 139740762681040 139740273465159 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4787] ppid=4781 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4787/stat : 4787 (java) S 4781 4784 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75060299 15382630400 61915 33554432000 4194304 4196468 140729650558720 139740795096208 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4788] ppid=4781 vsize=15022100 memory=8945 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4788/stat : 4788 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060299 15382630400 61915 33554432000 4194304 4196468 140729650558720 139740252027920 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4789] ppid=4781 vsize=15022100 memory=14972261161934601 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4789/stat : 4789 (java) S 4781 4784 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75060299 15382630400 61915 33554432000 4194304 4196468 140729650558720 139740250975120 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4790] ppid=4781 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4790/stat : 4790 (java) S 4781 4784 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75060299 15382630400 61915 33554432000 4194304 4196468 140729650558720 139740249922320 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4791] ppid=4781 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4791/stat : 4791 (java) S 4781 4784 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75060301 15382630400 61915 33554432000 4194304 4196468 140729650558720 139739560626544 139740790864514 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
################
# More data... #
################
/proc/meminfo: memFree=18131228/32770624 swapFree=67108860/67108860
[pid=4784] ppid=4781 vsize=15683912 memory=3012496 CPUtime=21.41 cores=0,2,4,6
/proc/4784/stat : 4784 (java) S 4781 4784 32649 0 -1 1077944320 35491 0 0 0 2032 109 0 0 20 0 19 0 75060297 16060325888 753124 33554432000 4194304 4196468 140729650558720 140729650541264 139740790853367 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
/proc/4784/statm: 3920978 753124 3234 1 0 3881834 0
[pid=4800] ppid=4784 vsize=123792 memory=99140 CPUtime=2494.59 cores=0,2,4,6
/proc/4800/stat : 4800 (minisat_release) R 4784 4784 32649 0 -1 4202496 176469 0 0 0 249446 13 0 0 20 0 1 0 75061047 126763008 24785 33554432000 4194304 4308513 140730631962608 140730631959608 4276112 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 20742144 140730631967409 140730631967918 140730631967918 140730631970757 0
/proc/4800/statm: 30948 24785 353 28 0 27188 0
[pid=4784/tid=4786] ppid=4781 vsize=15683912 memory=3012496 CPUtime=7.41 cores=0,2,4,6
/proc/4784/task/4786/stat : 4786 (java) S 4781 4784 32649 0 -1 1077944384 18564 0 0 0 695 46 0 0 20 0 19 0 75060298 16060325888 753124 33554432000 4194304 4196468 140729650558720 139740762692608 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4787] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0.07 cores=0,2,4,6
/proc/4784/task/4787/stat : 4787 (java) S 4781 4784 32649 0 -1 1077944384 38 0 0 0 6 1 0 0 20 0 19 0 75060299 16060325888 753124 33554432000 4194304 4196468 140729650558720 139740795096208 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4788] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0.07 cores=0,2,4,6
/proc/4784/task/4788/stat : 4788 (java) S 4781 4784 32649 0 -1 1077944384 90 0 0 0 6 1 0 0 20 0 19 0 75060299 16060325888 753124 33554432000 4194304 4196468 140729650558720 139740252027920 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4789] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0.06 cores=0,2,4,6
/proc/4784/task/4789/stat : 4789 (java) S 4781 4784 32649 0 -1 1077944384 46 0 0 0 5 1 0 0 20 0 19 0 75060299 16060325888 753124 33554432000 4194304 4196468 140729650558720 139740250975120 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4790] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0.06 cores=0,2,4,6
/proc/4784/task/4790/stat : 4790 (java) S 4781 4784 32649 0 -1 1077944384 36 0 0 0 5 1 0 0 20 0 19 0 75060299 16060325888 753124 33554432000 4194304 4196468 140729650558720 139740249922320 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4791] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0.04 cores=0,2,4,6
/proc/4784/task/4791/stat : 4791 (java) S 4781 4784 32649 0 -1 1077944384 22 0 0 0 2 2 0 0 20 0 19 0 75060301 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739560626544 139740790864514 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4792] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4792/stat : 4792 (java) S 4781 4784 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 75060301 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739445322784 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4793] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4793/stat : 4793 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75060301 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739176887152 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4794] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4794/stat : 4794 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139738802378576 139740790871963 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4795] ppid=4781 vsize=15683912 memory=-5059952977386882957 CPUtime=5.55 cores=0,2,4,6
/proc/4784/task/4795/stat : 4795 (java) S 4781 4784 32649 0 -1 1077944384 4183 0 0 0 554 1 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739559574384 139740790864514 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4796] ppid=4781 vsize=15683912 memory=1428 CPUtime=5.56 cores=0,2,4,6
/proc/4784/task/4796/stat : 4796 (java) S 4781 4784 32649 0 -1 1077944384 5027 0 0 0 555 1 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739558521584 139740790864514 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4797] ppid=4781 vsize=15683912 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/4784/task/4797/stat : 4797 (java) S 4781 4784 32649 0 -1 1077944384 5935 0 0 0 131 2 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739557468784 139740790864514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4798] ppid=4781 vsize=15683912 memory=114 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4798/stat : 4798 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139738304473824 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4799] ppid=4781 vsize=15683912 memory=1228 CPUtime=1.14 cores=0,2,4,6
/proc/4784/task/4799/stat : 4799 (java) S 4781 4784 32649 0 -1 1077944384 167 0 0 0 60 54 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739556416176 139740790864514 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4801] ppid=4781 vsize=15683912 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4801/stat : 4801 (java) S 4781 4784 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75061047 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739848275136 139740790877977 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4803] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4803/stat : 4803 (java) S 4781 4784 32649 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 75061047 16060325888 753124 33554432000 4194304 4196468 140729650558720 139737767586992 139740790875293 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4804] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4804/stat : 4804 (java) S 4781 4784 32649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 75061048 16060325888 753124 33554432000 4194304 4196468 140729650558720 139737633366064 139740790875293 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4805] ppid=4781 vsize=15683912 memory=99140 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4805/stat : 4805 (java) S 4781 4784 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 75061051 16060325888 753124 33554432000 4194304 4196468 140729650558720 139737901817504 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
Current children cumulated CPU time: 2516 s
Current children cumulated vsize: 15807704 KiB
Current children cumulated memory: 3111636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/225 4962
/proc/meminfo: memFree=18131228/32770624 swapFree=67108860/67108860
[pid=4784] ppid=4781 vsize=15683912 memory=3012496 CPUtime=21.41 cores=0,2,4,6
/proc/4784/stat : 4784 (java) S 4781 4784 32649 0 -1 1077944320 35491 0 0 0 2032 109 0 0 20 0 19 0 75060297 16060325888 753124 33554432000 4194304 4196468 140729650558720 140729650541264 139740790853367 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
/proc/4784/statm: 3920978 753124 3234 1 0 3881834 0
[pid=4800] ppid=4784 vsize=123792 memory=99140 CPUtime=2498.59 cores=0,2,4,6
/proc/4800/stat : 4800 (minisat_release) R 4784 4784 32649 0 -1 4202496 176482 0 0 0 249846 13 0 0 20 0 1 0 75061047 126763008 24785 33554432000 4194304 4308513 140730631962608 140730631959608 4276036 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 20742144 140730631967409 140730631967918 140730631967918 140730631970757 0
/proc/4800/statm: 30948 24785 353 28 0 27188 0
[pid=4784/tid=4786] ppid=4781 vsize=15683912 memory=3012496 CPUtime=7.41 cores=0,2,4,6
/proc/4784/task/4786/stat : 4786 (java) S 4781 4784 32649 0 -1 1077944384 18564 0 0 0 695 46 0 0 20 0 19 0 75060298 16060325888 753124 33554432000 4194304 4196468 140729650558720 139740762692608 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4787] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0.07 cores=0,2,4,6
/proc/4784/task/4787/stat : 4787 (java) S 4781 4784 32649 0 -1 1077944384 38 0 0 0 6 1 0 0 20 0 19 0 75060299 16060325888 753124 33554432000 4194304 4196468 140729650558720 139740795096208 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4788] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0.07 cores=0,2,4,6
/proc/4784/task/4788/stat : 4788 (java) S 4781 4784 32649 0 -1 1077944384 90 0 0 0 6 1 0 0 20 0 19 0 75060299 16060325888 753124 33554432000 4194304 4196468 140729650558720 139740252027920 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4789] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0.06 cores=0,2,4,6
/proc/4784/task/4789/stat : 4789 (java) S 4781 4784 32649 0 -1 1077944384 46 0 0 0 5 1 0 0 20 0 19 0 75060299 16060325888 753124 33554432000 4194304 4196468 140729650558720 139740250975120 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4790] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0.06 cores=0,2,4,6
/proc/4784/task/4790/stat : 4790 (java) S 4781 4784 32649 0 -1 1077944384 36 0 0 0 5 1 0 0 20 0 19 0 75060299 16060325888 753124 33554432000 4194304 4196468 140729650558720 139740249922320 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4791] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0.04 cores=0,2,4,6
/proc/4784/task/4791/stat : 4791 (java) S 4781 4784 32649 0 -1 1077944384 22 0 0 0 2 2 0 0 20 0 19 0 75060301 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739560626544 139740790864514 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4792] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4792/stat : 4792 (java) S 4781 4784 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 75060301 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739445322784 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4793] ppid=4781 vsize=15683912 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4793/stat : 4793 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75060301 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739176887152 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4794] ppid=4781 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4794/stat : 4794 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139738802378576 139740790871963 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4795] ppid=4781 vsize=15683912 memory=3012496 CPUtime=5.55 cores=0,2,4,6
/proc/4784/task/4795/stat : 4795 (java) S 4781 4784 32649 0 -1 1077944384 4183 0 0 0 554 1 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739559574384 139740790864514 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4796] ppid=4781 vsize=15683912 memory=3012496 CPUtime=5.56 cores=0,2,4,6
/proc/4784/task/4796/stat : 4796 (java) S 4781 4784 32649 0 -1 1077944384 5027 0 0 0 555 1 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739558521584 139740790864514 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4797] ppid=4781 vsize=15683912 memory=-5059952977386882957 CPUtime=1.33 cores=0,2,4,6
/proc/4784/task/4797/stat : 4797 (java) S 4781 4784 32649 0 -1 1077944384 5935 0 0 0 131 2 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739557468784 139740790864514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4798] ppid=4781 vsize=15683912 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4798/stat : 4798 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139738304473824 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4799] ppid=4781 vsize=15683912 memory=3012496 CPUtime=1.14 cores=0,2,4,6
/proc/4784/task/4799/stat : 4799 (java) S 4781 4784 32649 0 -1 1077944384 167 0 0 0 60 54 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739556416176 139740790864514 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4801] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4801/stat : 4801 (java) S 4781 4784 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75061047 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739848275136 139740790877977 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4803] ppid=4781 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4803/stat : 4803 (java) S 4781 4784 32649 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 75061047 16060325888 753124 33554432000 4194304 4196468 140729650558720 139737767586992 139740790875293 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4804] ppid=4781 vsize=15683912 memory=114 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4804/stat : 4804 (java) S 4781 4784 32649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 75061048 16060325888 753124 33554432000 4194304 4196468 140729650558720 139737633366064 139740790875293 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4805] ppid=4781 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4805/stat : 4805 (java) S 4781 4784 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 75061051 16060325888 753124 33554432000 4194304 4196468 140729650558720 139737901817504 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15807704 KiB
Current children cumulated memory: 3111636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.34 s]
# the end of solver process 4784 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.8 s, system=1.25648 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2506.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/225 4962
/proc/meminfo: memFree=18131228/32770624 swapFree=67108860/67108860
[pid=4784] ppid=4781 vsize=15683912 memory=3012496 CPUtime=21.41 cores=0,2,4,6
/proc/4784/stat : 4784 (java) S 4781 4784 32649 0 -1 1077944320 35491 0 0 0 2032 109 0 0 20 0 19 0 75060297 16060325888 753124 33554432000 4194304 4196468 140729650558720 140729650541264 139740790853367 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
/proc/4784/statm: 3920978 753124 3234 1 0 3881834 0
[pid=4800] ppid=4784 vsize=123792 memory=99140 CPUtime=2498.59 cores=0,2,4,6
/proc/4800/stat : 4800 (minisat_release) R 4784 4784 32649 0 -1 4202496 176482 0 0 0 249846 13 0 0 20 0 1 0 75061047 126763008 24785 33554432000 4194304 4308513 140730631962608 140730631959608 4276036 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 20742144 140730631967409 140730631967918 140730631967918 140730631970757 0
/proc/4800/statm: 30948 24785 353 28 0 27188 0
[pid=4784/tid=4786] ppid=4781 vsize=15683912 memory=3012496 CPUtime=7.41 cores=0,2,4,6
/proc/4784/task/4786/stat : 4786 (java) S 4781 4784 32649 0 -1 1077944384 18564 0 0 0 695 46 0 0 20 0 19 0 75060298 16060325888 753124 33554432000 4194304 4196468 140729650558720 139740762692608 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4787] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0.07 cores=0,2,4,6
/proc/4784/task/4787/stat : 4787 (java) S 4781 4784 32649 0 -1 1077944384 38 0 0 0 6 1 0 0 20 0 19 0 75060299 16060325888 753124 33554432000 4194304 4196468 140729650558720 139740795096208 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4788] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0.07 cores=0,2,4,6
/proc/4784/task/4788/stat : 4788 (java) S 4781 4784 32649 0 -1 1077944384 90 0 0 0 6 1 0 0 20 0 19 0 75060299 16060325888 753124 33554432000 4194304 4196468 140729650558720 139740252027920 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4789] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0.06 cores=0,2,4,6
/proc/4784/task/4789/stat : 4789 (java) S 4781 4784 32649 0 -1 1077944384 46 0 0 0 5 1 0 0 20 0 19 0 75060299 16060325888 753124 33554432000 4194304 4196468 140729650558720 139740250975120 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4790] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0.06 cores=0,2,4,6
/proc/4784/task/4790/stat : 4790 (java) S 4781 4784 32649 0 -1 1077944384 36 0 0 0 5 1 0 0 20 0 19 0 75060299 16060325888 753124 33554432000 4194304 4196468 140729650558720 139740249922320 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4791] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0.04 cores=0,2,4,6
/proc/4784/task/4791/stat : 4791 (java) S 4781 4784 32649 0 -1 1077944384 22 0 0 0 2 2 0 0 20 0 19 0 75060301 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739560626544 139740790864514 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4792] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4792/stat : 4792 (java) S 4781 4784 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 75060301 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739445322784 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4793] ppid=4781 vsize=15683912 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4793/stat : 4793 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75060301 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739176887152 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4794] ppid=4781 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4794/stat : 4794 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139738802378576 139740790871963 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4795] ppid=4781 vsize=15683912 memory=3012496 CPUtime=5.55 cores=0,2,4,6
/proc/4784/task/4795/stat : 4795 (java) S 4781 4784 32649 0 -1 1077944384 4183 0 0 0 554 1 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739559574384 139740790864514 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4796] ppid=4781 vsize=15683912 memory=3012496 CPUtime=5.56 cores=0,2,4,6
/proc/4784/task/4796/stat : 4796 (java) S 4781 4784 32649 0 -1 1077944384 5027 0 0 0 555 1 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739558521584 139740790864514 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4797] ppid=4781 vsize=15683912 memory=-5059952977386882957 CPUtime=1.33 cores=0,2,4,6
/proc/4784/task/4797/stat : 4797 (java) S 4781 4784 32649 0 -1 1077944384 5935 0 0 0 131 2 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739557468784 139740790864514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4798] ppid=4781 vsize=15683912 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4798/stat : 4798 (java) S 4781 4784 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139738304473824 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4799] ppid=4781 vsize=15683912 memory=3012496 CPUtime=1.14 cores=0,2,4,6
/proc/4784/task/4799/stat : 4799 (java) S 4781 4784 32649 0 -1 1077944384 167 0 0 0 60 54 0 0 20 0 19 0 75060304 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739556416176 139740790864514 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4801] ppid=4781 vsize=15683912 memory=3012496 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4801/stat : 4801 (java) S 4781 4784 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75061047 16060325888 753124 33554432000 4194304 4196468 140729650558720 139739848275136 139740790877977 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4803] ppid=4781 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4803/stat : 4803 (java) S 4781 4784 32649 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 75061047 16060325888 753124 33554432000 4194304 4196468 140729650558720 139737767586992 139740790875293 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4804] ppid=4781 vsize=15683912 memory=114 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4804/stat : 4804 (java) S 4781 4784 32649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 75061048 16060325888 753124 33554432000 4194304 4196468 140729650558720 139737633366064 139740790875293 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
[pid=4784/tid=4805] ppid=4781 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/4784/task/4805/stat : 4805 (java) S 4781 4784 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 75061051 16060325888 753124 33554432000 4194304 4196468 140729650558720 139737901817504 139740790863573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24408064 140729650562035 140729650562313 140729650562313 140729650565071 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15807704 KiB
Current children cumulated memory: 3111636 KiB
Child status: 1
Real time (s): 2506.34
CPU time (s): 2520.05
CPU user time (s): 2518.8
CPU system time (s): 1.25648
CPU usage (%): 100.547
Max. virtual memory (cumulated for all children) (KiB): 15826360
Max. memory (cumulated for all children) (KiB): 3111636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.8
system time used= 1.25648
maximum resident set size= 3014012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212073
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58958
involuntary context switches= 3223
# summary of solver processes directly reported to runsolver:
# pid: 4784
# total CPU time (s): 2520.05
# total CPU user time (s): 2518.8
# total CPU system time (s): 1.25648
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3475 second user time and 24.8321 second system time
The end