0.67/0.53
0.67/0.53 scop order+minisat_release (2018-06-13)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Mon Jul 23 13:58:41 CEST 2018
0.67/0.55 c PID: 7430
0.67/0.55 c IP: 172.20.3.105
0.67/0.55 c HOST: node105.alineos.net
0.67/0.56 c (0,0) Parsing Begin
1.39/0.93 c (0,0) Parsing End
1.39/0.94 c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
1.39/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.94 c (0,0) Constraint Name Generate Begin
1.39/0.94 c (0,0) Ctr:HOME/instance-4293793-1532347120.xml,IntVar:Num:WeightedSum
1.39/0.94 c (0,0) Constraint Name Generate End
1.39/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.94 c (0,0) CSP to CSPinCNF Begin
1.59/1.05 c (0,0) translated 5 (10%) constraints
1.59/1.06 c (0,0) translated 9 (20%) constraints
1.59/1.07 c (0,0) translated 13 (30%) constraints
1.59/1.08 c (0,0) translated 17 (40%) constraints
1.59/1.09 c (0,0) translated 21 (50%) constraints
1.59/1.10 c (0,0) translated 26 (60%) constraints
1.59/1.11 c (0,0) translated 30 (70%) constraints
1.86/1.11 c (0,0) translated 34 (80%) constraints
1.86/1.12 c (0,0) translated 38 (90%) constraints
1.86/1.12 c (0,0) translated 42 (100%) constraints
1.86/1.17 c (0,0) STATISTICS1:HOME/instance-4293793-1532347120.xml,IntVar:Num:WeightedSum,220,42,1024,2,1,11,1024:20;512:22,2:440,1:42,11:20;10:22,
1.86/1.17 c (0,0) ===========================================
1.86/1.17 c (0,0) Order
1.86/1.17 c (0,0) ===========================================
1.86/1.18 c (0,0) translated 5 (10%) constraints
1.86/1.18 c (0,0) translated 9 (20%) constraints
1.86/1.19 c (0,0) translated 13 (30%) constraints
1.86/1.19 c (0,0) translated 17 (40%) constraints
1.86/1.19 c (0,0) translated 21 (50%) constraints
1.86/1.19 c (0,0) translated 26 (60%) constraints
1.86/1.20 c (0,0) translated 30 (70%) constraints
1.86/1.20 c (0,0) translated 34 (80%) constraints
2.10/1.21 c (0,0) translated 38 (90%) constraints
2.10/1.21 c (0,0) translated 42 (100%) constraints
2.10/1.21 c (0,0) CSP to CSPinCNF End
2.10/1.21 c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.10/1.21 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.10/1.21 c (0,0) CSPinCNF Propagation Begin
2.10/1.22 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.10/1.22 c (0,0) CSPinCNF Propagation End
2.10/1.22 c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.10/1.22 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.10/1.22 c (0,0) Simplify CSPinCNF Begin
2.10/1.23 c (0,0) Simplify CSPinCNF End
2.10/1.23 c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.10/1.23 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.10/1.23 c (0,0) Calculate Precise Domain Begin
2.10/1.23 c (0,0) 0 values are removed by re-calculation
2.10/1.23 c (0,0) Calculate Precise Domain End
2.10/1.23 c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.10/1.23 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.10/1.23 c (0,0) CSPinCNF to SatSolver Begin
2.10/1.28 c (0,0) 5 (10 %) CSP clauses are encoded (220 SAT variables, 4 SAT clauses)
2.10/1.28 c (0,0) 9 (20 %) CSP clauses are encoded (220 SAT variables, 8 SAT clauses)
2.10/1.29 c (0,0) 13 (30 %) CSP clauses are encoded (220 SAT variables, 12 SAT clauses)
2.10/1.29 c (0,0) 17 (40 %) CSP clauses are encoded (220 SAT variables, 16 SAT clauses)
2.32/1.30 c (0,0) 21 (50 %) CSP clauses are encoded (220 SAT variables, 20 SAT clauses)
2.32/1.32 c (0,0) 26 (60 %) CSP clauses are encoded (220 SAT variables, 187 SAT clauses)
2.32/1.34 c (0,0) 30 (70 %) CSP clauses are encoded (220 SAT variables, 407 SAT clauses)
2.32/1.34 c (0,0) 34 (80 %) CSP clauses are encoded (220 SAT variables, 627 SAT clauses)
2.32/1.35 c (0,0) 38 (90 %) CSP clauses are encoded (220 SAT variables, 847 SAT clauses)
2.32/1.36 c (0,0) 42 (100 %) CSP clauses are encoded (220 SAT variables, 1067 SAT clauses)
2.32/1.36 c (0,0) CSPinCNF to SatSolver End
2.32/1.36 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.32/1.37 c (0,0) STATISTICS2:HOME/instance-4293793-1532347120.xml,IntVar:Num:WeightedSum,220,42,1024,2,1,11,1024:20;512:22,2:440,1:42,11:20;10:22,
2.32/1.37 c (0,0) SatSolver.solve Begin
2.32/1.37 c (0,0) 220 bool, 1122 clause
2.32/1.37 c (0,0) 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-4293793-1532347120.xml-scop-7430.cnf HOME/instance-4293793-1532347120.xml-scop-7430.cnf.out
49.85/48.56 c (48,0) c This is COMiniSatPS.
49.85/48.56 c (48,0) c WARNING: for repeatability, setting FPU to use double precision
49.85/48.56 c (48,0) c ============================[ Problem Statistics ]=============================
49.85/48.56 c (48,0) c | |
49.85/48.56 c (48,0) c | Number of variables: 220 |
49.85/48.56 c (48,0) c | Number of clauses: 1122 |
49.85/48.56 c (48,0) c | Parse time: 0.00 s |
49.85/48.56 c (48,0) c | Eliminated clauses: 0.00 Mb |
49.85/48.56 c (48,0) c Reduced to 198 vars, 1100 cls (grow=0)
49.85/48.56 c (48,0) c No iterative elimination performed. (vars=198, c/v ratio=5.6)
49.85/48.56 c (48,0) c | Simplification time: 0.00 s |
49.85/48.56 c (48,0) c | |
49.85/48.56 c (48,0) c ============================[ Search Statistics ]==============================
49.85/48.56 c (48,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
49.85/48.56 c (48,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
49.85/48.56 c (48,0) c ===============================================================================
49.85/48.56 c (48,0) c ===============================================================================
49.85/48.56 c (48,0) c restarts : 46
49.85/48.56 c (48,0) c conflicts : 1641908 (34828 /sec)
49.85/48.56 c (48,0) c decisions : 2079460 (0.00 % random) (44109 /sec)
49.85/48.56 c (48,0) c propagations : 19144285 (406084 /sec)
49.85/48.56 c (48,0) c conflict literals : 47058457 (18.20 % deleted)
49.85/48.56 c (48,0) c CPU time : 47.1437 s
49.85/48.56 c (48,0)
49.85/48.56 c (48,0) s UNSATISFIABLE
49.85/48.56 c (48,0) SatSolver.solve End
49.85/48.56 c (48,0) Heap : 394 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
49.85/48.56 c (48,0) Show results Begin
49.85/48.56 s UNSATISFIABLE
49.85/48.56 c (48,0) Show results End
49.85/48.56 c (48,0) Heap : 394 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
49.85/48.56 c (48,0) 0,0,0,0,0,0,0,48,48,STOP-AFTER(ALL)
49.85/48.56 c END-Prog: Mon Jul 23 13:59:29 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 (4338 MiB free)
memory of node 1: 16384 MiB (10509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293793-1532347120/watcher-4293793-1532347120 -o /tmp/evaluation-result-4293793-1532347120/solver-4293793-1532347120 -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-4293793-1532347120.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
solver pid=7430, runsolver pid=7427
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 2.17 2.10 2.10 3/220 7445
/proc/meminfo: memFree=15142664/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=15011656 memory=73208 CPUtime=0.11 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 2271 0 -1 1077944320 7008 0 0 0 9 2 0 0 20 0 15 0 52275198 15371935744 18302 33554432000 4194304 4196468 140734190731136 140734190713680 140666106048247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
/proc/7430/statm: 3752914 18302 2755 1 0 3715374 0
[pid=7430/tid=7432] ppid=7427 vsize=15011656 memory=4716007276406739859 CPUtime=0.09 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) R 7427 7430 2271 0 -1 4202560 5138 0 0 0 8 1 0 0 20 0 15 0 52275198 15371935744 18302 33554432000 4194304 4196468 140734190731136 140666077862608 140666089235056 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7433] ppid=7427 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52275200 15371935744 18302 33554432000 4194304 4196468 140734190731136 140666110290320 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7434] ppid=7427 vsize=15011656 memory=140556494628480 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275200 15371935744 18302 33554432000 4194304 4196468 140734190731136 140665885993232 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7435] ppid=7427 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52275200 15371935744 18302 33554432000 4194304 4196468 140734190731136 140665884940944 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7436] ppid=7427 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275200 15371935744 18302 33554432000 4194304 4196468 140734190731136 140665564424720 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7437] ppid=7427 vsize=15011656 memory=140556494628480 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52275201 15371935744 18302 33554432000 4194304 4196468 140734190731136 140665076832880 140666106059394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7438] ppid=7427 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7427 7430 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52275202 15371935744 18302 33554432000 4194304 4196468 140734190731136 140664675231008 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7439] ppid=7427 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275202 15371935744 18302 33554432000 4194304 4196468 140734190731136 140664406795888 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7440] ppid=7427 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7427 7430 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52275205 15371935744 18302 33554432000 4194304 4196468 140734190731136 140664032287312 140666106066843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7441] ppid=7427 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7427 7430 2271 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 52275205 15371935744 18302 33554432000 4194304 4196468 140734190731136 140665075779696 140666106059394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7442] ppid=7427 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7427 7430 2271 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 52275205 15371935744 18302 33554432000 4194304 4196468 140734190731136 140665074726896 140666106059394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7443] ppid=7427 vsize=15011656 memory=140556494628480 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) R 7427 7430 2271 0 -1 4202560 260 0 0 0 0 0 0 0 20 0 15 0 52275205 15371935744 18302 33554432000 4194304 4196468 140734190731136 140665073670488 140666086375072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7444] ppid=7427 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7427 7430 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52275205 15371935744 18302 33554432000 4194304 4196468 140734190731136 140663534381536 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7445] ppid=7427 vsize=15011656 memory=140556494628480 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275205 15371935744 18302 33554432000 4194304 4196468 140734190731136 140665072622512 140666106059394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73208 KiB
[startup+0.210448 s]*
/proc/loadavg: 2.17 2.10 2.10 3/220 7445
/proc/meminfo: memFree=15128340/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=15011656 memory=86860 CPUtime=0.25 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 2271 0 -1 1077944320 10570 0 0 0 23 2 0 0 20 0 15 0 52275198 15371935744 21715 33554432000 4194304 4196468 140734190731136 140734190713680 140666106048247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
/proc/7430/statm: 3752914 21715 2932 1 0 3715374 0
[pid=7430/tid=7432] ppid=7427 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) R 7427 7430 2271 0 -1 4202560 8480 0 0 0 18 2 0 0 20 0 15 0 52275198 15371935744 21715 33554432000 4194304 4196468 140734190731136 140666077874640 140666106069594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7433] ppid=7427 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52275200 15371935744 21715 33554432000 4194304 4196468 140734190731136 140666110290320 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7434] ppid=7427 vsize=15011656 memory=140556494643546 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275200 15371935744 21715 33554432000 4194304 4196468 140734190731136 140665885993232 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7435] ppid=7427 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52275200 15371935744 21715 33554432000 4194304 4196468 140734190731136 140665884940944 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7436] ppid=7427 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275200 15371935744 21715 33554432000 4194304 4196468 140734190731136 140665564424720 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7437] ppid=7427 vsize=15011656 memory=140556494628480 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52275201 15371935744 21715 33554432000 4194304 4196468 140734190731136 140665076832880 140666106059394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7438] ppid=7427 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7427 7430 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52275202 15371935744 21715 33554432000 4194304 4196468 140734190731136 140664675231008 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7439] ppid=7427 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275202 15371935744 21715 33554432000 4194304 4196468 140734190731136 140664406795888 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7440] ppid=7427 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7427 7430 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52275205 15371935744 21715 33554432000 4194304 4196468 140734190731136 140664032287312 140666106066843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7441] ppid=7427 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7427 7430 2271 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 52275205 15371935744 21715 33554432000 4194304 4196468 140734190731136 140665075779696 140666106059394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7442] ppid=7427 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7427 7430 2271 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 52275205 15371935744 21715 33554432000 4194304 4196468 140734190731136 140665074726896 140666106059394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7443] ppid=7427 vsize=15011656 memory=140556494628480 CPUtime=0.03 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) R 7427 7430 2271 0 -1 4202560 275 0 0 0 3 0 0 0 20 0 15 0 52275205 15371935744 21715 33554432000 4194304 4196468 140734190731136 140665073674608 140666106069594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7444] ppid=7427 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7427 7430 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52275205 15371935744 21715 33554432000 4194304 4196468 140734190731136 140663534381536 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7445] ppid=7427 vsize=15011656 memory=140556494628480 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275205 15371935744 21715 33554432000 4194304 4196468 140734190731136 140665072622512 140666106059394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86860 KiB
[startup+0.3104 s]*
/proc/loadavg: 2.17 2.10 2.10 3/220 7445
/proc/meminfo: memFree=15124680/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=15011656 memory=90068 CPUtime=0.43 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 2271 0 -1 1077944320 11092 0 0 0 39 4 0 0 20 0 15 0 52275198 15371935744 22517 33554432000 4194304 4196468 140734190731136 140734190713680 140666106048247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
/proc/7430/statm: 3752914 22517 2981 1 0 3715374 0
[pid=7430/tid=7432] ppid=7427 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) R 7427 7430 2271 0 -1 4202560 8842 0 0 0 27 2 0 0 20 0 15 0 52275198 15371935744 22517 33554432000 4194304 4196468 140734190731136 140666077861952 140666086873148 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7433] ppid=7427 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52275200 15371935744 22517 33554432000 4194304 4196468 140734190731136 140666110290320 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7434] ppid=7427 vsize=15011656 memory=3977017336120228602 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275200 15371935744 22517 33554432000 4194304 4196468 140734190731136 140665885993232 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7435] ppid=7427 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52275200 15371935744 22517 33554432000 4194304 4196468 140734190731136 140665884940944 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7436] ppid=7427 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275200 15371935744 22517 33554432000 4194304 4196468 140734190731136 140665564424720 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7437] ppid=7427 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52275201 15371935744 22517 33554432000 4194304 4196468 140734190731136 140665076832880 140666106059394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7438] ppid=7427 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7427 7430 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52275202 15371935744 22517 33554432000 4194304 4196468 140734190731136 140664675231008 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7439] ppid=7427 vsize=15011656 memory=140556494628480 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275202 15371935744 22517 33554432000 4194304 4196468 140734190731136 140664406795888 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7440] ppid=7427 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7427 7430 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52275205 15371935744 22517 33554432000 4194304 4196468 140734190731136 140664032287312 140666106066843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7441] ppid=7427 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7427 7430 2271 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 15 0 52275205 15371935744 22517 33554432000 4194304 4196468 140734190731136 140665075779696 140666106059394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7442] ppid=7427 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7427 7430 2271 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 15 0 52275205 15371935744 22517 33554432000 4194304 4196468 140734190731136 140665074726896 140666106059394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7443] ppid=7427 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7427 7430 2271 0 -1 1077944384 295 0 0 0 7 0 0 0 20 0 15 0 52275205 15371935744 22517 33554432000 4194304 4196468 140734190731136 140665073674608 140666106059394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7444] ppid=7427 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7427 7430 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52275205 15371935744 22517 33554432000 4194304 4196468 140734190731136 140663534381536 140666106058453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7445] ppid=7427 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275205 15371935744 22517 33554432000 4194304 4196468 140734190731136 140665072622512 140666106059394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90068 KiB
[startup+0.701842 s]
/proc/loadavg: 2.17 2.10 2.10 3/220 7445
/proc/meminfo: memFree=15101364/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=15020052 memory=131388 CPUtime=1 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 2271 0 -1 1077944320 18131 0 0 0 94 6 0 0 20 0 15 0 52275198 15380533248 32847 33554432000 4194304 4196468 140734190731136 140734190713680 140666106048247 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
/proc/7430/statm: 3755013 32847 3162 1 0 3716398 0
[pid=7430/tid=7432] ppid=7427 vsize=15020052 memory=796 CPUtime=0.67 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) R 7427 7430 2271 0 -1 4202560 15465 0 0 0 63 4 0 0 20 0 15 0 52275198 15380533248 32847 33554432000 4194304 4196468 140734190731136 140666077883920 140666090128734 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7433] ppid=7427 vsize=15020052 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52275200 15380533248 32847 33554432000 4194304 4196468 140734190731136 140666110290320 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7434] ppid=7427 vsize=15020052 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275200 15380533248 32847 33554432000 4194304 4196468 140734190731136 140665885993232 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7435] ppid=7427 vsize=15020052 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52275200 15380533248 32847 33554432000 4194304 4196468 140734190731136 140665884940944 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7436] ppid=7427 vsize=15020052 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275200 15380533248 32847 33554432000 4194304 4196468 140734190731136 140665564424720 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7437] ppid=7427 vsize=15020052 memory=281112723367712 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52275201 15380533248 32847 33554432000 4194304 4196468 140734190731136 140665076832880 140666106059394 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7438] ppid=7427 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7427 7430 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52275202 15380533248 32847 33554432000 4194304 4196468 140734190731136 140664675231008 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7439] ppid=7427 vsize=15020052 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275202 15380533248 32847 33554432000 4194304 4196468 140734190731136 140664406795888 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7440] ppid=7427 vsize=15020052 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7427 7430 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52275205 15380533248 32847 33554432000 4194304 4196468 140734190731136 140664032287312 140666106066843 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7441] ppid=7427 vsize=15020052 memory=8380 CPUtime=0.06 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7427 7430 2271 0 -1 1077944384 527 0 0 0 6 0 0 0 20 0 15 0 52275205 15380533248 32847 33554432000 4194304 4196468 140734190731136 140665075779696 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7442] ppid=7427 vsize=15020052 memory=7307210974946176466 CPUtime=0.09 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7427 7430 2271 0 -1 1077944384 407 0 0 0 9 0 0 0 20 0 15 0 52275205 15380533248 32847 33554432000 4194304 4196468 140734190731136 140665074726896 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7443] ppid=7427 vsize=15020052 memory=7302135314614015847 CPUtime=0.15 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7427 7430 2271 0 -1 1077944384 392 0 0 0 15 0 0 0 20 0 15 0 52275205 15380533248 32847 33554432000 4194304 4196468 140734190731136 140665073674608 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7444] ppid=7427 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7427 7430 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52275205 15380533248 32847 33554432000 4194304 4196468 140734190731136 140663534381536 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7445] ppid=7427 vsize=15020052 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52275205 15380533248 32847 33554432000 4194304 4196468 140734190731136 140665072622512 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 131388 KiB
[startup+1.50161 s]
/proc/loadavg: 2.17 2.10 2.10 4/220 7445
/proc/meminfo: memFree=15075056/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=15681864 memory=185960 CPUtime=2.75 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 2271 0 -1 1077944320 22002 0 0 0 267 8 0 0 20 0 19 0 52275198 16058228736 46490 33554432000 4194304 4196468 140734190731136 140734190713680 140666106048247 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
/proc/7430/statm: 3920466 46490 3217 1 0 3881322 0
[pid=7430/tid=7432] ppid=7427 vsize=15681864 memory=288230377108275491 CPUtime=1.4 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) S 7427 7430 2271 0 -1 1077944384 17141 0 0 0 134 6 0 0 20 0 19 0 52275198 16058228736 46490 33554432000 4194304 4196468 140734190731136 140666077887488 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7433] ppid=7427 vsize=15681864 memory=288293289789228285 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140666110290320 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7434] ppid=7427 vsize=15681864 memory=288285580272600099 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665885993232 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7435] ppid=7427 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665884940944 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7436] ppid=7427 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665564424720 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7437] ppid=7427 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52275201 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665076832880 140666106059394 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
################
# More data... #
################
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665072622512 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7447] ppid=7427 vsize=15681864 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7447/stat : 7447 (java) S 7427 7430 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52275337 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665145238976 140666106072857 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7449] ppid=7427 vsize=15681864 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7449/stat : 7449 (java) S 7427 7430 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 52275338 16058228736 46490 33554432000 4194304 4196468 140734190731136 140662997499824 140666106070173 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7450] ppid=7427 vsize=15681864 memory=9924 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7450/stat : 7450 (java) S 7427 7430 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52275338 16058228736 46490 33554432000 4194304 4196468 140734190731136 140662729063728 140666106070173 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7451] ppid=7427 vsize=15681864 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7451/stat : 7451 (java) S 7427 7430 2271 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 52275340 16058228736 46490 33554432000 4194304 4196468 140734190731136 140663265942432 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
Current children cumulated CPU time: 48.55 s
Current children cumulated vsize: 15723564 KiB
Current children cumulated memory: 209608 KiB
[startup+48.0008 s]*
/proc/loadavg: 2.07 2.08 2.10 3/225 7451
/proc/meminfo: memFree=15008020/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=15681864 memory=185960 CPUtime=2.76 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 2271 0 -1 1077944320 22009 0 0 0 267 9 0 0 20 0 19 0 52275198 16058228736 46490 33554432000 4194304 4196468 140734190731136 140734190713680 140666106048247 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
/proc/7430/statm: 3920466 46490 3217 1 0 3881322 0
[pid=7446] ppid=7430 vsize=41700 memory=23648 CPUtime=46.6 cores=0,2,4,6
/proc/7446/stat : 7446 (minisat_release) R 7430 7430 2271 0 -1 4202496 21984 0 0 0 4659 1 0 0 20 0 1 0 52275337 42700800 5912 33554432000 4194304 4308513 140729872587872 140729872584872 4275992 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 24035328 140729872589489 140729872589998 140729872589998 140729872592837 0
/proc/7446/statm: 10425 5912 351 28 0 6665 0
[pid=7430/tid=7432] ppid=7427 vsize=15681864 memory=3008 CPUtime=1.4 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) S 7427 7430 2271 0 -1 1077944384 17141 0 0 0 134 6 0 0 20 0 19 0 52275198 16058228736 46490 33554432000 4194304 4196468 140734190731136 140666077887488 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7433] ppid=7427 vsize=15681864 memory=2884 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140666110290320 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7434] ppid=7427 vsize=15681864 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665885993232 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7435] ppid=7427 vsize=15681864 memory=23648 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665884940944 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7436] ppid=7427 vsize=15681864 memory=16098156739823870 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665564424720 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7437] ppid=7427 vsize=15681864 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 2271 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 52275201 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665076832880 140666106059394 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7438] ppid=7427 vsize=15681864 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7427 7430 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52275202 16058228736 46490 33554432000 4194304 4196468 140734190731136 140664675231008 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7439] ppid=7427 vsize=15681864 memory=16098156739823870 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52275202 16058228736 46490 33554432000 4194304 4196468 140734190731136 140664406795888 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7440] ppid=7427 vsize=15681864 memory=844 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7427 7430 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140664032287312 140666106066843 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7441] ppid=7427 vsize=15681864 memory=1412 CPUtime=0.35 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7427 7430 2271 0 -1 1077944384 1103 0 0 0 35 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665075779696 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7442] ppid=7427 vsize=15681864 memory=185960 CPUtime=0.35 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7427 7430 2271 0 -1 1077944384 706 0 0 0 35 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665074726896 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7443] ppid=7427 vsize=15681864 memory=-5059952977386882957 CPUtime=0.61 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7427 7430 2271 0 -1 1077944384 1654 0 0 0 61 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665073674608 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7444] ppid=7427 vsize=15681864 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7427 7430 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140663534381536 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7445] ppid=7427 vsize=15681864 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665072622512 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7447] ppid=7427 vsize=15681864 memory=23648 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7447/stat : 7447 (java) S 7427 7430 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52275337 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665145238976 140666106072857 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7449] ppid=7427 vsize=15681864 memory=8380 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7449/stat : 7449 (java) S 7427 7430 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 52275338 16058228736 46490 33554432000 4194304 4196468 140734190731136 140662997499824 140666106070173 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7450] ppid=7427 vsize=15681864 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7450/stat : 7450 (java) S 7427 7430 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52275338 16058228736 46490 33554432000 4194304 4196468 140734190731136 140662729063728 140666106070173 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7451] ppid=7427 vsize=15681864 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7451/stat : 7451 (java) S 7427 7430 2271 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 52275340 16058228736 46490 33554432000 4194304 4196468 140734190731136 140663265942432 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
Current children cumulated CPU time: 49.36 s
Current children cumulated vsize: 15723564 KiB
Current children cumulated memory: 209608 KiB
[startup+48.4007 s]
/proc/loadavg: 2.07 2.08 2.10 3/225 7451
/proc/meminfo: memFree=15008020/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=15681864 memory=185960 CPUtime=2.76 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 2271 0 -1 1077944320 22009 0 0 0 267 9 0 0 20 0 19 0 52275198 16058228736 46490 33554432000 4194304 4196468 140734190731136 140734190713680 140666106048247 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
/proc/7430/statm: 3920466 46490 3217 1 0 3881322 0
[pid=7446] ppid=7430 vsize=41700 memory=23648 CPUtime=46.99 cores=0,2,4,6
/proc/7446/stat : 7446 (minisat_release) R 7430 7430 2271 0 -1 4202496 21999 0 0 0 4698 1 0 0 20 0 1 0 52275337 42700800 5912 33554432000 4194304 4308513 140729872587872 140729872584872 4276143 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 24035328 140729872589489 140729872589998 140729872589998 140729872592837 0
/proc/7446/statm: 10425 5912 351 28 0 6665 0
[pid=7430/tid=7432] ppid=7427 vsize=15681864 memory=23648 CPUtime=1.4 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) S 7427 7430 2271 0 -1 1077944384 17141 0 0 0 134 6 0 0 20 0 19 0 52275198 16058228736 46490 33554432000 4194304 4196468 140734190731136 140666077887488 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7433] ppid=7427 vsize=15681864 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140666110290320 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7434] ppid=7427 vsize=15681864 memory=928 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665885993232 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7435] ppid=7427 vsize=15681864 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665884940944 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7436] ppid=7427 vsize=15681864 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665564424720 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7437] ppid=7427 vsize=15681864 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 2271 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 52275201 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665076832880 140666106059394 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7438] ppid=7427 vsize=15681864 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7427 7430 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52275202 16058228736 46490 33554432000 4194304 4196468 140734190731136 140664675231008 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7439] ppid=7427 vsize=15681864 memory=920 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52275202 16058228736 46490 33554432000 4194304 4196468 140734190731136 140664406795888 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7440] ppid=7427 vsize=15681864 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7427 7430 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140664032287312 140666106066843 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7441] ppid=7427 vsize=15681864 memory=1228 CPUtime=0.35 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7427 7430 2271 0 -1 1077944384 1103 0 0 0 35 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665075779696 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7442] ppid=7427 vsize=15681864 memory=1704 CPUtime=0.35 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7427 7430 2271 0 -1 1077944384 706 0 0 0 35 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665074726896 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7443] ppid=7427 vsize=15681864 memory=9924 CPUtime=0.61 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7427 7430 2271 0 -1 1077944384 1654 0 0 0 61 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665073674608 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7444] ppid=7427 vsize=15681864 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7427 7430 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140663534381536 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7445] ppid=7427 vsize=15681864 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665072622512 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7447] ppid=7427 vsize=15681864 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7447/stat : 7447 (java) S 7427 7430 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52275337 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665145238976 140666106072857 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7449] ppid=7427 vsize=15681864 memory=8380 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7449/stat : 7449 (java) S 7427 7430 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 52275338 16058228736 46490 33554432000 4194304 4196468 140734190731136 140662997499824 140666106070173 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7450] ppid=7427 vsize=15681864 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7450/stat : 7450 (java) S 7427 7430 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52275338 16058228736 46490 33554432000 4194304 4196468 140734190731136 140662729063728 140666106070173 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7451] ppid=7427 vsize=15681864 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7451/stat : 7451 (java) S 7427 7430 2271 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 52275340 16058228736 46490 33554432000 4194304 4196468 140734190731136 140663265942432 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
Current children cumulated CPU time: 49.75 s
Current children cumulated vsize: 15723564 KiB
Current children cumulated memory: 209608 KiB
[startup+48.5008 s]
/proc/loadavg: 2.07 2.08 2.10 3/225 7451
/proc/meminfo: memFree=15008020/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=15681864 memory=185960 CPUtime=2.76 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 2271 0 -1 1077944320 22009 0 0 0 267 9 0 0 20 0 19 0 52275198 16058228736 46490 33554432000 4194304 4196468 140734190731136 140734190713680 140666106048247 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
/proc/7430/statm: 3920466 46490 3217 1 0 3881322 0
[pid=7446] ppid=7430 vsize=41700 memory=23648 CPUtime=47.09 cores=0,2,4,6
/proc/7446/stat : 7446 (minisat_release) R 7430 7430 2271 0 -1 4202496 22003 0 0 0 4708 1 0 0 20 0 1 0 52275337 42700800 5912 33554432000 4194304 4308513 140729872587872 140729872584872 4275923 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 24035328 140729872589489 140729872589998 140729872589998 140729872592837 0
/proc/7446/statm: 10425 5912 351 28 0 6665 0
[pid=7430/tid=7432] ppid=7427 vsize=15681864 memory=15868 CPUtime=1.4 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) S 7427 7430 2271 0 -1 1077944384 17141 0 0 0 134 6 0 0 20 0 19 0 52275198 16058228736 46490 33554432000 4194304 4196468 140734190731136 140666077887488 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7433] ppid=7427 vsize=15681864 memory=23648 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140666110290320 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7434] ppid=7427 vsize=15681864 memory=185960 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665885993232 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7435] ppid=7427 vsize=15681864 memory=18548 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665884940944 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7436] ppid=7427 vsize=15681864 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52275200 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665564424720 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7437] ppid=7427 vsize=15681864 memory=16900 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 2271 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 52275201 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665076832880 140666106059394 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7438] ppid=7427 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7427 7430 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52275202 16058228736 46490 33554432000 4194304 4196468 140734190731136 140664675231008 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7439] ppid=7427 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7427 7430 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52275202 16058228736 46490 33554432000 4194304 4196468 140734190731136 140664406795888 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7440] ppid=7427 vsize=15681864 memory=185960 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7427 7430 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140664032287312 140666106066843 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7441] ppid=7427 vsize=15681864 memory=18548 CPUtime=0.35 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7427 7430 2271 0 -1 1077944384 1103 0 0 0 35 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665075779696 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7442] ppid=7427 vsize=15681864 memory=4136 CPUtime=0.35 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7427 7430 2271 0 -1 1077944384 706 0 0 0 35 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665074726896 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7443] ppid=7427 vsize=15681864 memory=16900 CPUtime=0.61 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7427 7430 2271 0 -1 1077944384 1654 0 0 0 61 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665073674608 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7444] ppid=7427 vsize=15681864 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7427 7430 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140663534381536 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7445] ppid=7427 vsize=15681864 memory=4179 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52275205 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665072622512 140666106059394 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7447] ppid=7427 vsize=15681864 memory=140 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7447/stat : 7447 (java) S 7427 7430 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52275337 16058228736 46490 33554432000 4194304 4196468 140734190731136 140665145238976 140666106072857 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7449] ppid=7427 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7449/stat : 7449 (java) S 7427 7430 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 52275338 16058228736 46490 33554432000 4194304 4196468 140734190731136 140662997499824 140666106070173 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7450] ppid=7427 vsize=15681864 memory=185960 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7450/stat : 7450 (java) S 7427 7430 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52275338 16058228736 46490 33554432000 4194304 4196468 140734190731136 140662729063728 140666106070173 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
[pid=7430/tid=7451] ppid=7427 vsize=15681864 memory=23648 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7451/stat : 7451 (java) S 7427 7430 2271 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 52275340 16058228736 46490 33554432000 4194304 4196468 140734190731136 140663265942432 140666106058453 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21393408 140734190732275 140734190732553 140734190732553 140734190735311 0
Current children cumulated CPU time: 49.85 s
Current children cumulated vsize: 15723564 KiB
Current children cumulated memory: 209608 KiB
Child status: 0
Real time (s): 48.571
CPU time (s): 49.9476
CPU user time (s): 49.8225
CPU system time (s): 0.12513
CPU usage (%): 102.834
Max. virtual memory (cumulated for all children) (KiB): 15723564
Max. memory (cumulated for all children) (KiB): 209608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.8225
system time used= 0.12513
maximum resident set size= 188008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44050
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4116
involuntary context switches= 78
# summary of solver processes directly reported to runsolver:
# pid: 7430
# total CPU time (s): 49.9476
# total CPU user time (s): 49.8225
# total CPU system time (s): 0.12513
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.324537 second user time and 0.51926 second system time
The end