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: Mon Jul 23 13:46:32 CEST 2018
0.67/0.55 c PID: 5870
0.67/0.55 c IP: 172.20.3.105
0.67/0.55 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
4.93/1.99 c (1,1) Parsing End
4.93/2.00 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 41
4.93/2.00 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.93/2.00 c (1,1) Constraint Name Generate Begin
5.27/2.04 c (1,1) Ctr:HOME/instance-4293466-1532346391.xml,Dist:Eq:IntVar:Le:Num
5.27/2.04 c (1,1) Constraint Name Generate End
5.27/2.04 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.27/2.04 c (1,1) CSP to CSPinCNF Begin
6.21/2.31 c (1,1) translated 411 (10%) constraints
6.21/2.38 c (1,1) translated 821 (20%) constraints
6.54/2.43 c (1,1) translated 1231 (30%) constraints
6.54/2.47 c (1,1) translated 1642 (40%) constraints
6.84/2.52 c (1,1) translated 2052 (50%) constraints
6.84/2.56 c (2,2) translated 2462 (60%) constraints
7.14/2.60 c (2,2) translated 2873 (70%) constraints
7.14/2.64 c (2,2) translated 3283 (80%) constraints
7.14/2.67 c (2,2) translated 3693 (90%) constraints
7.44/2.79 c (2,2) translated 4103 (100%) constraints
7.84/2.87 c (2,2) STATISTICS1:HOME/instance-4293466-1532346391.xml,Dist:Eq:IntVar:Le:Num,680,4783,41,41,2,2,41:3314;34:5144;22:368;6:60,41:9348;34:7956;22:404;6:64,2:4103;1:680,2:8886,
7.84/2.87 c (2,2) ===========================================
7.84/2.87 c (2,2) Order
7.84/2.87 c (2,2) ===========================================
8.18/2.91 c (2,2) translated 479 (10%) constraints
8.18/2.93 c (2,2) translated 957 (20%) constraints
8.18/2.95 c (2,2) translated 1435 (30%) constraints
8.18/2.97 c (2,2) translated 1914 (40%) constraints
8.18/2.98 c (2,2) translated 2392 (50%) constraints
8.52/3.01 c (2,2) translated 2870 (60%) constraints
8.52/3.02 c (2,2) translated 3349 (70%) constraints
8.52/3.03 c (2,2) translated 3827 (80%) constraints
8.52/3.05 c (2,2) translated 4305 (90%) constraints
8.52/3.06 c (2,2) translated 4783 (100%) constraints
8.52/3.07 c (2,2) CSP to CSPinCNF End
8.52/3.07 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 41
8.52/3.07 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.52/3.07 c (2,2) CSPinCNF Propagation Begin
11.02/4.53 c (4,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
11.02/4.53 c (4,3) CSPinCNF Propagation End
11.02/4.53 c (4,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 41
11.02/4.53 c (4,3) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.02/4.53 c (4,3) Simplify CSPinCNF Begin
11.54/4.78 c (4,4) Simplify CSPinCNF End
11.54/4.79 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 41
11.54/4.79 c (4,4) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.54/4.79 c (4,4) Calculate Precise Domain Begin
11.54/4.79 c (4,4) 0 values are removed by re-calculation
11.54/4.79 c (4,4) Calculate Precise Domain End
11.54/4.79 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 41
11.54/4.79 c (4,4) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.54/4.79 c (4,4) CSPinCNF to SatSolver Begin
12.88/5.12 c (4,4) 1299 (10 %) CSP clauses are encoded (32718 SAT variables, 53445 SAT clauses)
13.16/5.25 c (4,4) 2598 (20 %) CSP clauses are encoded (32718 SAT variables, 82649 SAT clauses)
13.42/5.36 c (4,4) 3897 (30 %) CSP clauses are encoded (32718 SAT variables, 109787 SAT clauses)
13.65/5.47 c (4,4) 5196 (40 %) CSP clauses are encoded (32718 SAT variables, 139274 SAT clauses)
13.88/5.58 c (5,5) 6495 (50 %) CSP clauses are encoded (32718 SAT variables, 169464 SAT clauses)
14.07/5.67 c (5,5) 7794 (60 %) CSP clauses are encoded (32718 SAT variables, 200496 SAT clauses)
14.19/5.75 c (5,5) 9093 (70 %) CSP clauses are encoded (32718 SAT variables, 231420 SAT clauses)
14.37/5.87 c (5,5) 10392 (80 %) CSP clauses are encoded (32718 SAT variables, 262500 SAT clauses)
14.57/5.95 c (5,5) 11691 (90 %) CSP clauses are encoded (32718 SAT variables, 292620 SAT clauses)
14.79/6.02 c (5,5) 12989 (100 %) CSP clauses are encoded (32718 SAT variables, 320631 SAT clauses)
14.79/6.02 c (5,5) CSPinCNF to SatSolver End
14.79/6.02 c (5,5) Heap : 219 MiB used (max 10795 MiB), NonHeap : 36 MiB used (max 0 MiB)
15.11/6.12 c (5,5) STATISTICS2:HOME/instance-4293466-1532346391.xml,Dist:Eq:IntVar:Le:Num,8886,12989,41,41,2,2,41:3314;34:5144;22:368;6:60,41:9348;34:7956;22:404;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
15.11/6.12 c (5,5) SatSolver.solve Begin
15.11/6.12 c (5,5) 32718 bool, 320643 clause
15.11/6.12 c (5,5) 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-4293466-1532346391.xml-scop-5870.cnf HOME/instance-4293466-1532346391.xml-scop-5870.cnf.out
16.92/7.62 c (7,0) c This is COMiniSatPS.
16.92/7.62 c (7,0) c WARNING: for repeatability, setting FPU to use double precision
16.92/7.62 c (7,0) c ============================[ Problem Statistics ]=============================
16.92/7.62 c (7,0) c | |
16.92/7.62 c (7,0) c | Number of variables: 32718 |
16.92/7.62 c (7,0) c | Number of clauses: 320643 |
16.92/7.62 c (7,0) c | Parse time: 0.12 s |
16.92/7.62 c (7,0) c | Eliminated clauses: 0.08 Mb |
16.92/7.62 c (7,0) c Reduced to 28500 vars, 316302 cls (grow=0)
16.92/7.62 c (7,0) c No iterative elimination performed. (vars=28500, c/v ratio=11.1)
16.92/7.62 c (7,0) c | Simplification time: 0.35 s |
16.92/7.62 c (7,0) c | |
16.92/7.62 c (7,0) c ============================[ Search Statistics ]==============================
16.92/7.62 c (7,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
16.92/7.62 c (7,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
16.92/7.62 c (7,0) c ===============================================================================
16.92/7.62 c (7,0) c ===============================================================================
16.92/7.62 c (7,0) c restarts : 6
16.92/7.62 c (7,0) c conflicts : 15067 (10286 /sec)
16.92/7.62 c (7,0) c decisions : 19365 (0.00 % random) (13220 /sec)
16.92/7.62 c (7,0) c propagations : 2969474 (2027155 /sec)
16.92/7.62 c (7,0) c conflict literals : 210822 (33.73 % deleted)
16.92/7.62 c (7,0) c CPU time : 1.46485 s
16.92/7.62 c (7,0)
16.92/7.62 c (7,0) s UNSATISFIABLE
16.92/7.63 c (7,5) SatSolver.solve End
16.92/7.63 c (7,5) Heap : 349 MiB used (max 10795 MiB), NonHeap : 38 MiB used (max 0 MiB)
16.92/7.63 c (7,5) Show results Begin
16.92/7.63 s UNSATISFIABLE
16.92/7.63 c (7,5) Show results End
16.92/7.63 c (7,5) Heap : 349 MiB used (max 10795 MiB), NonHeap : 38 MiB used (max 0 MiB)
16.92/7.63 c (7,5) 1,1,2,4,4,4,5,7,7,STOP-AFTER(ALL)
16.92/7.63 c END-Prog: Mon Jul 23 13:46:39 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 (4339 MiB free)
memory of node 1: 16384 MiB (10540 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293466-1532346391/watcher-4293466-1532346391 -o /tmp/evaluation-result-4293466-1532346391/solver-4293466-1532346391 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293466-1532346391.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=5870, runsolver pid=5867
[startup+0.100176 s]*
/proc/loadavg: 2.30 2.08 2.07 3/220 5885
/proc/meminfo: memFree=15176396/32770624 swapFree=67108860/67108860
[pid=5870] ppid=5867 vsize=15011656 memory=74404 CPUtime=0.12 cores=0,2,4,6
/proc/5870/stat : 5870 (java) S 5867 5870 2271 0 -1 1077944320 6267 0 0 0 10 2 0 0 20 0 15 0 52202309 15371935744 18601 33554432000 4194304 4196468 140728346596560 140728346579104 139718887079671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
/proc/5870/statm: 3752914 18601 2782 1 0 3715374 0
[pid=5870/tid=5872] ppid=5867 vsize=15011656 memory=4571611717160768403 CPUtime=0.09 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (java) R 5867 5870 2271 0 -1 4202560 4568 0 0 0 8 1 0 0 20 0 15 0 52202309 15371935744 18799 33554432000 4194304 4196468 140728346596560 139718858883872 139718867355499 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5873] ppid=5867 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202311 15371935744 18799 33554432000 4194304 4196468 140728346596560 139718891321744 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5874] ppid=5867 vsize=15011656 memory=139726982100608 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5874/stat : 5874 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202311 15371935744 18799 33554432000 4194304 4196468 140728346596560 139718347532560 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5875] ppid=5867 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5875/stat : 5875 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202311 15371935744 18799 33554432000 4194304 4196468 140728346596560 139718346480272 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5876] ppid=5867 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5876/stat : 5876 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52202311 15371935744 18865 33554432000 4194304 4196468 140728346596560 139718345427472 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5877] ppid=5867 vsize=15011656 memory=139726982100608 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5877/stat : 5877 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202312 15371935744 18865 33554432000 4194304 4196468 140728346596560 139717880253040 139718887090818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5878] ppid=5867 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5878/stat : 5878 (java) S 5867 5870 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52202313 15371935744 18865 33554432000 4194304 4196468 140728346596560 139717500724512 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5879] ppid=5867 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5879/stat : 5879 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52202313 15371935744 18865 33554432000 4194304 4196468 140728346596560 139717232289392 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5880] ppid=5867 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5880/stat : 5880 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52202315 15371935744 18865 33554432000 4194304 4196468 140728346596560 139716857780816 139718887098267 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5881] ppid=5867 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5881/stat : 5881 (java) S 5867 5870 2271 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 52202315 15371935744 18865 33554432000 4194304 4196468 140728346596560 139717879199856 139718887090818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5882] ppid=5867 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5882/stat : 5882 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202315 15371935744 18865 33554432000 4194304 4196468 140728346596560 139717878147056 139718887090818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5883] ppid=5867 vsize=15011656 memory=139726982100608 CPUtime=0.01 cores=0,2,4,6
/proc/5870/task/5883/stat : 5883 (java) S 5867 5870 2271 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 52202315 15371935744 18865 33554432000 4194304 4196468 140728346596560 139717877094768 139718887090818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5884] ppid=5867 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5884/stat : 5884 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52202316 15371935744 18865 33554432000 4194304 4196468 140728346596560 139716359875040 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5885] ppid=5867 vsize=15011656 memory=139726982100608 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5885/stat : 5885 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52202316 15371935744 18865 33554432000 4194304 4196468 140728346596560 139717876042672 139718887090818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74404 KiB
[startup+0.210514 s]*
/proc/loadavg: 2.30 2.08 2.07 3/220 5885
/proc/meminfo: memFree=15159372/32770624 swapFree=67108860/67108860
[pid=5870] ppid=5867 vsize=15011656 memory=88936 CPUtime=0.25 cores=0,2,4,6
/proc/5870/stat : 5870 (java) S 5867 5870 2271 0 -1 1077944320 10187 0 0 0 23 2 0 0 20 0 15 0 52202309 15371935744 22234 33554432000 4194304 4196468 140728346596560 140728346579104 139718887079671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
/proc/5870/statm: 3752914 22234 2876 1 0 3715374 0
[pid=5870/tid=5872] ppid=5867 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (java) R 5867 5870 2271 0 -1 4202560 8086 0 0 0 18 2 0 0 20 0 15 0 52202309 15371935744 22234 33554432000 4194304 4196468 140728346596560 139718858905584 139718871160158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5873] ppid=5867 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202311 15371935744 22234 33554432000 4194304 4196468 140728346596560 139718891321744 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5874] ppid=5867 vsize=15011656 memory=139726982115674 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5874/stat : 5874 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202311 15371935744 22234 33554432000 4194304 4196468 140728346596560 139718347532560 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5875] ppid=5867 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5875/stat : 5875 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202311 15371935744 22234 33554432000 4194304 4196468 140728346596560 139718346480272 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5876] ppid=5867 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5876/stat : 5876 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52202311 15371935744 22234 33554432000 4194304 4196468 140728346596560 139718345427472 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5877] ppid=5867 vsize=15011656 memory=139726982100608 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5877/stat : 5877 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202312 15371935744 22234 33554432000 4194304 4196468 140728346596560 139717880253040 139718887090818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5878] ppid=5867 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5878/stat : 5878 (java) S 5867 5870 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52202313 15371935744 22234 33554432000 4194304 4196468 140728346596560 139717500724512 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5879] ppid=5867 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5879/stat : 5879 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52202313 15371935744 22234 33554432000 4194304 4196468 140728346596560 139717232289392 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5880] ppid=5867 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5880/stat : 5880 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52202315 15371935744 22234 33554432000 4194304 4196468 140728346596560 139716857780816 139718887098267 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5881] ppid=5867 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5881/stat : 5881 (java) R 5867 5870 2271 0 -1 4202560 454 0 0 0 0 0 0 0 20 0 15 0 52202315 15371935744 22234 33554432000 4194304 4196468 140728346596560 139717879191360 139718866304405 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5882] ppid=5867 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5882/stat : 5882 (java) R 5867 5870 2271 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 52202315 15371935744 22234 33554432000 4194304 4196468 140728346596560 139717878147056 139718887090818 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5883] ppid=5867 vsize=15011656 memory=139726982100608 CPUtime=0.03 cores=0,2,4,6
/proc/5870/task/5883/stat : 5883 (java) S 5867 5870 2271 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 15 0 52202315 15371935744 22234 33554432000 4194304 4196468 140728346596560 139717877094768 139718887090818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5884] ppid=5867 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5884/stat : 5884 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52202316 15371935744 22234 33554432000 4194304 4196468 140728346596560 139716359875040 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5885] ppid=5867 vsize=15011656 memory=139726982100608 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5885/stat : 5885 (java) R 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52202316 15371935744 22234 33554432000 4194304 4196468 140728346596560 139717876042672 139718887090818 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88936 KiB
[startup+0.310555 s]*
/proc/loadavg: 2.30 2.08 2.07 3/220 5885
/proc/meminfo: memFree=15156192/32770624 swapFree=67108860/67108860
[pid=5870] ppid=5867 vsize=15011656 memory=92300 CPUtime=0.43 cores=0,2,4,6
/proc/5870/stat : 5870 (java) S 5867 5870 2271 0 -1 1077944320 10654 0 0 0 40 3 0 0 20 0 15 0 52202309 15371935744 23075 33554432000 4194304 4196468 140728346596560 140728346579104 139718887079671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
/proc/5870/statm: 3752914 23075 2978 1 0 3715374 0
[pid=5870/tid=5872] ppid=5867 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (java) R 5867 5870 2271 0 -1 4202560 8390 0 0 0 27 2 0 0 20 0 15 0 52202309 15371935744 23075 33554432000 4194304 4196468 140728346596560 139718858903760 139718871160158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5873] ppid=5867 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202311 15371935744 23075 33554432000 4194304 4196468 140728346596560 139718891321744 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5874] ppid=5867 vsize=15011656 memory=3977017336120228602 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5874/stat : 5874 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202311 15371935744 23075 33554432000 4194304 4196468 140728346596560 139718347532560 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5875] ppid=5867 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5875/stat : 5875 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202311 15371935744 23075 33554432000 4194304 4196468 140728346596560 139718346480272 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5876] ppid=5867 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5876/stat : 5876 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52202311 15371935744 23075 33554432000 4194304 4196468 140728346596560 139718345427472 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5877] ppid=5867 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5877/stat : 5877 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202312 15371935744 23075 33554432000 4194304 4196468 140728346596560 139717880253040 139718887090818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5878] ppid=5867 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5878/stat : 5878 (java) S 5867 5870 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52202313 15371935744 23075 33554432000 4194304 4196468 140728346596560 139717500724512 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5879] ppid=5867 vsize=15011656 memory=139726982100608 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5879/stat : 5879 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52202313 15371935744 23075 33554432000 4194304 4196468 140728346596560 139717232289392 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5880] ppid=5867 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5880/stat : 5880 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52202315 15371935744 23075 33554432000 4194304 4196468 140728346596560 139716857780816 139718887098267 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5881] ppid=5867 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5870/task/5881/stat : 5881 (java) R 5867 5870 2271 0 -1 4202560 522 0 0 0 2 0 0 0 20 0 15 0 52202315 15371935744 23075 33554432000 4194304 4196468 140728346596560 139717879199856 139718864422688 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5882] ppid=5867 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5870/task/5882/stat : 5882 (java) R 5867 5870 2271 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 52202315 15371935744 23075 33554432000 4194304 4196468 140728346596560 139717878147056 139718887090818 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5883] ppid=5867 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5870/task/5883/stat : 5883 (java) R 5867 5870 2271 0 -1 4202560 310 0 0 0 7 0 0 0 20 0 15 0 52202315 15371935744 23075 33554432000 4194304 4196468 140728346596560 139717877094768 139718887101018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5884] ppid=5867 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5884/stat : 5884 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52202316 15371935744 23075 33554432000 4194304 4196468 140728346596560 139716359875040 139718887089877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5885] ppid=5867 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5885/stat : 5885 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52202316 15371935744 23075 33554432000 4194304 4196468 140728346596560 139717876042672 139718887090818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 92300 KiB
[startup+0.701594 s]
/proc/loadavg: 2.30 2.08 2.07 3/220 5885
/proc/meminfo: memFree=15135048/32770624 swapFree=67108860/67108860
[pid=5870] ppid=5867 vsize=15017928 memory=131428 CPUtime=1.04 cores=0,2,4,6
/proc/5870/stat : 5870 (java) S 5867 5870 2271 0 -1 1077944320 16974 0 0 0 99 5 0 0 20 0 15 0 52202309 15378358272 32857 33554432000 4194304 4196468 140728346596560 140728346579104 139718887079671 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
/proc/5870/statm: 3754482 32857 3144 1 0 3715886 0
[pid=5870/tid=5872] ppid=5867 vsize=15017928 memory=796 CPUtime=0.67 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (java) R 5867 5870 2271 0 -1 4202560 14210 0 0 0 63 4 0 0 20 0 15 0 52202309 15378358272 32857 33554432000 4194304 4196468 140728346596560 139718858915440 139718392286097 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5873] ppid=5867 vsize=15017928 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202311 15378358272 32857 33554432000 4194304 4196468 140728346596560 139718891321744 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5874] ppid=5867 vsize=15017928 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5874/stat : 5874 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202311 15378358272 32857 33554432000 4194304 4196468 140728346596560 139718347532560 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5875] ppid=5867 vsize=15017928 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5875/stat : 5875 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202311 15378358272 32857 33554432000 4194304 4196468 140728346596560 139718346480272 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5876] ppid=5867 vsize=15017928 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5876/stat : 5876 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52202311 15378358272 32857 33554432000 4194304 4196468 140728346596560 139718345427472 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5877] ppid=5867 vsize=15017928 memory=279453658031904 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5877/stat : 5877 (java) S 5867 5870 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52202312 15378358272 32857 33554432000 4194304 4196468 140728346596560 139717880253040 139718887090818 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5878] ppid=5867 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5878/stat : 5878 (java) S 5867 5870 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52202313 15378358272 32857 33554432000 4194304 4196468 140728346596560 139717500724512 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5879] ppid=5867 vsize=15017928 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5879/stat : 5879 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52202313 15378358272 32857 33554432000 4194304 4196468 140728346596560 139717232289392 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5880] ppid=5867 vsize=15017928 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5880/stat : 5880 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52202315 15378358272 32857 33554432000 4194304 4196468 140728346596560 139716857780816 139718887098267 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5881] ppid=5867 vsize=15017928 memory=8380 CPUtime=0.09 cores=0,2,4,6
/proc/5870/task/5881/stat : 5881 (java) R 5867 5870 2271 0 -1 4202560 751 0 0 0 9 0 0 0 20 0 15 0 52202315 15378358272 32857 33554432000 4194304 4196468 140728346596560 139717879191808 139718867715537 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5882] ppid=5867 vsize=15017928 memory=7307210974946176466 CPUtime=0.07 cores=0,2,4,6
/proc/5870/task/5882/stat : 5882 (java) R 5867 5870 2271 0 -1 4202560 182 0 0 0 7 0 0 0 20 0 15 0 52202315 15378358272 32857 33554432000 4194304 4196468 140728346596560 139717878133560 139718867538194 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5883] ppid=5867 vsize=15017928 memory=7302135314614015847 CPUtime=0.18 cores=0,2,4,6
/proc/5870/task/5883/stat : 5883 (java) R 5867 5870 2271 0 -1 4202560 489 0 0 0 18 0 0 0 20 0 15 0 52202315 15378358272 32857 33554432000 4194304 4196468 140728346596560 139717877091200 139718871656769 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5884] ppid=5867 vsize=15017928 memory=7885635084775281008 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5884/stat : 5884 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52202316 15378358272 32857 33554432000 4194304 4196468 140728346596560 139716359875040 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5885] ppid=5867 vsize=15017928 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5885/stat : 5885 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52202316 15378358272 32857 33554432000 4194304 4196468 140728346596560 139717876042672 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131428 KiB
[startup+1.50159 s]
/proc/loadavg: 2.30 2.08 2.07 6/220 5885
/proc/meminfo: memFree=14915100/32770624 swapFree=67108860/67108860
[pid=5870] ppid=5867 vsize=15022100 memory=401480 CPUtime=3.67 cores=0,2,4,6
/proc/5870/stat : 5870 (java) S 5867 5870 2271 0 -1 1077944320 21145 0 0 0 357 10 0 0 20 0 15 0 52202309 15382630400 100370 33554432000 4194304 4196468 140728346596560 140728346579104 139718887079671 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
/proc/5870/statm: 3755525 100370 3203 1 0 3716910 0
[pid=5870/tid=5872] ppid=5867 vsize=15022100 memory=288230377108275491 CPUtime=1.47 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (java) R 5867 5870 2271 0 -1 4202560 15508 0 0 0 138 9 0 0 20 0 15 0 52202309 15382630400 100370 33554432000 4194304 4196468 140728346596560 139718858914960 139718390213216 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5873] ppid=5867 vsize=15022100 memory=288293289789228285 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202311 15382630400 100370 33554432000 4194304 4196468 140728346596560 139718891321744 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5874] ppid=5867 vsize=15022100 memory=288285580272600099 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5874/stat : 5874 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202311 15382630400 100370 33554432000 4194304 4196468 140728346596560 139718347532560 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5875] ppid=5867 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5875/stat : 5875 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52202311 15382630400 100370 33554432000 4194304 4196468 140728346596560 139718346480272 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5876] ppid=5867 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5876/stat : 5876 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52202311 15382630400 100370 33554432000 4194304 4196468 140728346596560 139718345427472 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5877] ppid=5867 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5877/stat : 5877 (java) S 5867 5870 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52202312 15382630400 100370 33554432000 4194304 4196468 140728346596560 139717880253040 139718887090818 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
################
# More data... #
################
[pid=5870/tid=5880] ppid=5867 vsize=15683912 memory=166 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5880/stat : 5880 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139716857780816 139718887098267 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5881] ppid=5867 vsize=15683912 memory=4136 CPUtime=4.02 cores=0,2,4,6
/proc/5870/task/5881/stat : 5881 (java) S 5867 5870 2271 0 -1 1077944384 4745 0 0 0 401 1 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717879199856 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5882] ppid=5867 vsize=15683912 memory=16876 CPUtime=3.72 cores=0,2,4,6
/proc/5870/task/5882/stat : 5882 (java) S 5867 5870 2271 0 -1 1077944384 3602 0 0 0 371 1 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717878147056 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5883] ppid=5867 vsize=15683912 memory=2420 CPUtime=1.48 cores=0,2,4,6
/proc/5870/task/5883/stat : 5883 (java) S 5867 5870 2271 0 -1 1077944384 4949 0 0 0 147 1 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717877094768 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5884] ppid=5867 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5884/stat : 5884 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52202316 16060325888 746771 33554432000 4194304 4196468 140728346596560 139716359875040 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5885] ppid=5867 vsize=15683912 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5885/stat : 5885 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52202316 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717876042672 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
Current children cumulated CPU time: 15.48 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 2987084 KiB
[startup+7.65308 s]
# the end of solver process 5870 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16.3954 s, system=0.605844 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40095 s]
/proc/loadavg: 2.43 2.11 2.08 4/220 5885
/proc/meminfo: memFree=12254536/32770624 swapFree=67108860/67108860
[pid=5870] ppid=5867 vsize=15683912 memory=2987084 CPUtime=15.48 cores=0,2,4,6
/proc/5870/stat : 5870 (java) S 5867 5870 2271 0 -1 1077944320 32978 0 0 0 1492 56 0 0 20 0 19 0 52202309 16060325888 746771 33554432000 4194304 4196468 140728346596560 140728346579104 139718887079671 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
/proc/5870/statm: 3920978 746771 3247 1 0 3881834 0
[pid=5870/tid=5872] ppid=5867 vsize=15683912 memory=6656426216303648864 CPUtime=6.11 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (java) S 5867 5870 2271 0 -1 1077944384 17895 0 0 0 561 50 0 0 20 0 19 0 52202309 16060325888 746771 33554432000 4194304 4196468 140728346596560 139718858918912 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5873] ppid=5867 vsize=15683912 memory=8112282956445269571 CPUtime=0.02 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (java) S 5867 5870 2271 0 -1 1077944384 81 0 0 0 2 0 0 0 20 0 19 0 52202311 16060325888 746771 33554432000 4194304 4196468 140728346596560 139718891321744 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5874] ppid=5867 vsize=15683912 memory=164968351776596 CPUtime=0.02 cores=0,2,4,6
/proc/5870/task/5874/stat : 5874 (java) S 5867 5870 2271 0 -1 1077944384 83 0 0 0 2 0 0 0 20 0 19 0 52202311 16060325888 746771 33554432000 4194304 4196468 140728346596560 139718347532560 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5875] ppid=5867 vsize=15683912 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5870/task/5875/stat : 5875 (java) S 5867 5870 2271 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 19 0 52202311 16060325888 746771 33554432000 4194304 4196468 140728346596560 139718346480272 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5876] ppid=5867 vsize=15683912 memory=1292 CPUtime=0.01 cores=0,2,4,6
/proc/5870/task/5876/stat : 5876 (java) S 5867 5870 2271 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 19 0 52202311 16060325888 746771 33554432000 4194304 4196468 140728346596560 139718345427472 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5877] ppid=5867 vsize=15683912 memory=1728 CPUtime=0.01 cores=0,2,4,6
/proc/5870/task/5877/stat : 5877 (java) S 5867 5870 2271 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 19 0 52202312 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717880253040 139718887090818 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5878] ppid=5867 vsize=15683912 memory=796 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5878/stat : 5878 (java) S 5867 5870 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52202313 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717500724512 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5879] ppid=5867 vsize=15683912 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5879/stat : 5879 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52202313 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717232289408 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5880] ppid=5867 vsize=15683912 memory=2886344 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5880/stat : 5880 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139716857780816 139718887098267 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5881] ppid=5867 vsize=15683912 memory=960 CPUtime=4.02 cores=0,2,4,6
/proc/5870/task/5881/stat : 5881 (java) S 5867 5870 2271 0 -1 1077944384 4745 0 0 0 401 1 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717879199856 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5882] ppid=5867 vsize=15683912 memory=1232 CPUtime=3.72 cores=0,2,4,6
/proc/5870/task/5882/stat : 5882 (java) S 5867 5870 2271 0 -1 1077944384 3602 0 0 0 371 1 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717878147056 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5883] ppid=5867 vsize=15683912 memory=2344 CPUtime=1.48 cores=0,2,4,6
/proc/5870/task/5883/stat : 5883 (java) S 5867 5870 2271 0 -1 1077944384 4949 0 0 0 147 1 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717877094768 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5884] ppid=5867 vsize=15683912 memory=928 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5884/stat : 5884 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52202316 16060325888 746771 33554432000 4194304 4196468 140728346596560 139716359875040 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5885] ppid=5867 vsize=15683912 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5885/stat : 5885 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52202316 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717876042672 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
Current children cumulated CPU time: 15.48 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 2987084 KiB
[startup+7.20084 s]
/proc/loadavg: 2.40 2.11 2.08 3/225 5891
/proc/meminfo: memFree=12216592/32770624 swapFree=67108860/67108860
[pid=5870] ppid=5867 vsize=15683912 memory=2987084 CPUtime=15.48 cores=0,2,4,6
/proc/5870/stat : 5870 (java) S 5867 5870 2271 0 -1 1077944320 32978 0 0 0 1492 56 0 0 20 0 19 0 52202309 16060325888 746771 33554432000 4194304 4196468 140728346596560 140728346579104 139718887079671 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
/proc/5870/statm: 3920978 746771 3247 1 0 3881834 0
[pid=5886] ppid=5870 vsize=56280 memory=35024 CPUtime=1.04 cores=0,2,4,6
/proc/5886/stat : 5886 (minisat_release) R 5870 5870 2271 0 -1 4202496 11183 0 0 0 103 1 0 0 20 0 1 0 52202923 57630720 8756 33554432000 4194304 4308513 140734542158128 140734542155176 4276465 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 37113856 140734542164657 140734542165166 140734542165166 140734542168005 0
/proc/5886/statm: 14070 8756 334 28 0 10310 0
[pid=5870/tid=5872] ppid=5867 vsize=15683912 memory=7451604037588378988 CPUtime=6.11 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (java) S 5867 5870 2271 0 -1 1077944384 17895 0 0 0 561 50 0 0 20 0 19 0 52202309 16060325888 746771 33554432000 4194304 4196468 140728346596560 139718858918912 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5873] ppid=5867 vsize=15683912 memory=7308329997382871659 CPUtime=0.02 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (java) S 5867 5870 2271 0 -1 1077944384 81 0 0 0 2 0 0 0 20 0 19 0 52202311 16060325888 746771 33554432000 4194304 4196468 140728346596560 139718891321744 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5874] ppid=5867 vsize=15683912 memory=2508 CPUtime=0.02 cores=0,2,4,6
/proc/5870/task/5874/stat : 5874 (java) S 5867 5870 2271 0 -1 1077944384 83 0 0 0 2 0 0 0 20 0 19 0 52202311 16060325888 746771 33554432000 4194304 4196468 140728346596560 139718347532560 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5875] ppid=5867 vsize=15683912 memory=2985064 CPUtime=0.02 cores=0,2,4,6
/proc/5870/task/5875/stat : 5875 (java) S 5867 5870 2271 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 19 0 52202311 16060325888 746771 33554432000 4194304 4196468 140728346596560 139718346480272 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5876] ppid=5867 vsize=15683912 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/5870/task/5876/stat : 5876 (java) S 5867 5870 2271 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 19 0 52202311 16060325888 746771 33554432000 4194304 4196468 140728346596560 139718345427472 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5877] ppid=5867 vsize=15683912 memory=4872558044660077418 CPUtime=0.01 cores=0,2,4,6
/proc/5870/task/5877/stat : 5877 (java) S 5867 5870 2271 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 19 0 52202312 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717880253040 139718887090818 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5878] ppid=5867 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5878/stat : 5878 (java) S 5867 5870 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52202313 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717500724512 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5879] ppid=5867 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5879/stat : 5879 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52202313 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717232289408 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5880] ppid=5867 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5880/stat : 5880 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139716857780816 139718887098267 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5881] ppid=5867 vsize=15683912 memory=0 CPUtime=4.02 cores=0,2,4,6
/proc/5870/task/5881/stat : 5881 (java) S 5867 5870 2271 0 -1 1077944384 4745 0 0 0 401 1 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717879199856 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5882] ppid=5867 vsize=15683912 memory=0 CPUtime=3.72 cores=0,2,4,6
/proc/5870/task/5882/stat : 5882 (java) S 5867 5870 2271 0 -1 1077944384 3602 0 0 0 371 1 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717878147056 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5883] ppid=5867 vsize=15683912 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/5870/task/5883/stat : 5883 (java) S 5867 5870 2271 0 -1 1077944384 4949 0 0 0 147 1 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717877094768 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5884] ppid=5867 vsize=15683912 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5884/stat : 5884 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52202316 16060325888 746771 33554432000 4194304 4196468 140728346596560 139716359875040 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5885] ppid=5867 vsize=15683912 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5885/stat : 5885 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52202316 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717876042672 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5887] ppid=5867 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5887/stat : 5887 (java) S 5867 5870 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52202923 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717971383744 139718887104281 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5889] ppid=5867 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5889/stat : 5889 (java) S 5867 5870 2271 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 52202924 16060325888 746771 33554432000 4194304 4196468 140728346596560 139715957211056 139718887101597 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5890] ppid=5867 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5890/stat : 5890 (java) S 5867 5870 2271 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 52202924 16060325888 746771 33554432000 4194304 4196468 140728346596560 139715822988592 139718887101597 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5891] ppid=5867 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5891/stat : 5891 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52202926 16060325888 746771 33554432000 4194304 4196468 140728346596560 139715554565024 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
Current children cumulated CPU time: 16.52 s
Current children cumulated vsize: 15740192 KiB
Current children cumulated memory: 3022108 KiB
[startup+7.60094 s]
/proc/loadavg: 2.40 2.11 2.08 3/225 5891
/proc/meminfo: memFree=12216592/32770624 swapFree=67108860/67108860
[pid=5870] ppid=5867 vsize=15683912 memory=2987084 CPUtime=15.48 cores=0,2,4,6
/proc/5870/stat : 5870 (java) S 5867 5870 2271 0 -1 1077944320 32978 0 0 0 1492 56 0 0 20 0 19 0 52202309 16060325888 746771 33554432000 4194304 4196468 140728346596560 140728346579104 139718887079671 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
/proc/5870/statm: 3920978 746771 3247 1 0 3881834 0
[pid=5886] ppid=5870 vsize=56280 memory=35024 CPUtime=1.44 cores=0,2,4,6
/proc/5886/stat : 5886 (minisat_release) R 5870 5870 2271 0 -1 4202496 11184 0 0 0 143 1 0 0 20 0 1 0 52202923 57630720 8756 33554432000 4194304 4308513 140734542158128 140734542155176 4262652 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 37113856 140734542164657 140734542165166 140734542165166 140734542168005 0
/proc/5886/statm: 14070 8756 334 28 0 10310 0
[pid=5870/tid=5872] ppid=5867 vsize=15683912 memory=9924 CPUtime=6.11 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (java) S 5867 5870 2271 0 -1 1077944384 17895 0 0 0 561 50 0 0 20 0 19 0 52202309 16060325888 746771 33554432000 4194304 4196468 140728346596560 139718858918912 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5873] ppid=5867 vsize=15683912 memory=-5059952977386882957 CPUtime=0.02 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (java) S 5867 5870 2271 0 -1 1077944384 81 0 0 0 2 0 0 0 20 0 19 0 52202311 16060325888 746771 33554432000 4194304 4196468 140728346596560 139718891321744 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5874] ppid=5867 vsize=15683912 memory=1936 CPUtime=0.02 cores=0,2,4,6
/proc/5870/task/5874/stat : 5874 (java) S 5867 5870 2271 0 -1 1077944384 83 0 0 0 2 0 0 0 20 0 19 0 52202311 16060325888 746771 33554432000 4194304 4196468 140728346596560 139718347532560 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5875] ppid=5867 vsize=15683912 memory=1196 CPUtime=0.02 cores=0,2,4,6
/proc/5870/task/5875/stat : 5875 (java) S 5867 5870 2271 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 19 0 52202311 16060325888 746771 33554432000 4194304 4196468 140728346596560 139718346480272 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5876] ppid=5867 vsize=15683912 memory=8380 CPUtime=0.01 cores=0,2,4,6
/proc/5870/task/5876/stat : 5876 (java) S 5867 5870 2271 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 19 0 52202311 16060325888 746771 33554432000 4194304 4196468 140728346596560 139718345427472 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5877] ppid=5867 vsize=15683912 memory=4616 CPUtime=0.01 cores=0,2,4,6
/proc/5870/task/5877/stat : 5877 (java) S 5867 5870 2271 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 19 0 52202312 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717880253040 139718887090818 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5878] ppid=5867 vsize=15683912 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5878/stat : 5878 (java) S 5867 5870 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52202313 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717500724512 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5879] ppid=5867 vsize=15683912 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5879/stat : 5879 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52202313 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717232289408 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5880] ppid=5867 vsize=15683912 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5880/stat : 5880 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139716857780816 139718887098267 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5881] ppid=5867 vsize=15683912 memory=18448 CPUtime=4.02 cores=0,2,4,6
/proc/5870/task/5881/stat : 5881 (java) S 5867 5870 2271 0 -1 1077944384 4745 0 0 0 401 1 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717879199856 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5882] ppid=5867 vsize=15683912 memory=10256 CPUtime=3.72 cores=0,2,4,6
/proc/5870/task/5882/stat : 5882 (java) S 5867 5870 2271 0 -1 1077944384 3602 0 0 0 371 1 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717878147056 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5883] ppid=5867 vsize=15683912 memory=644 CPUtime=1.48 cores=0,2,4,6
/proc/5870/task/5883/stat : 5883 (java) S 5867 5870 2271 0 -1 1077944384 4949 0 0 0 147 1 0 0 20 0 19 0 52202315 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717877094768 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5884] ppid=5867 vsize=15683912 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5884/stat : 5884 (java) S 5867 5870 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52202316 16060325888 746771 33554432000 4194304 4196468 140728346596560 139716359875040 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5885] ppid=5867 vsize=15683912 memory=960 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5885/stat : 5885 (java) S 5867 5870 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52202316 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717876042672 139718887090818 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5887] ppid=5867 vsize=15683912 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5887/stat : 5887 (java) S 5867 5870 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52202923 16060325888 746771 33554432000 4194304 4196468 140728346596560 139717971383744 139718887104281 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5889] ppid=5867 vsize=15683912 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5889/stat : 5889 (java) S 5867 5870 2271 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 52202924 16060325888 746771 33554432000 4194304 4196468 140728346596560 139715957211056 139718887101597 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5890] ppid=5867 vsize=15683912 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5890/stat : 5890 (java) S 5867 5870 2271 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 52202924 16060325888 746771 33554432000 4194304 4196468 140728346596560 139715822988592 139718887101597 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
[pid=5870/tid=5891] ppid=5867 vsize=15683912 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5891/stat : 5891 (java) S 5867 5870 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52202926 16060325888 746771 33554432000 4194304 4196468 140728346596560 139715554565024 139718887089877 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140728346604531 140728346604809 140728346604809 140728346607567 0
Current children cumulated CPU time: 16.92 s
Current children cumulated vsize: 15740192 KiB
Current children cumulated memory: 3022108 KiB
Child status: 0
Real time (s): 7.65317
CPU time (s): 17.0012
CPU user time (s): 16.3954
CPU system time (s): 0.605844
CPU usage (%): 222.146
Max. virtual memory (cumulated for all children) (KiB): 15740192
Max. memory (cumulated for all children) (KiB): 3022108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.3954
system time used= 0.605844
maximum resident set size= 2990500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44224
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4219
involuntary context switches= 60
# summary of solver processes directly reported to runsolver:
# pid: 5870
# total CPU time (s): 17.0012
# total CPU user time (s): 16.3954
# total CPU system time (s): 0.605844
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.074016 second user time and 0.116257 second system time
The end