0.55/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.80/0.64 c BEGIN-Prog: Mon Jul 23 13:21:50 CEST 2018
0.80/0.64 c PID: 12087
0.80/0.64 c IP: 172.20.3.102
0.80/0.64 c HOST: node102.alineos.net
0.80/0.64 c (0,0) Parsing Begin
1.22/0.85 c (0,0) Parsing End
1.22/0.85 c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 27 ctr, max domain size 26
1.22/0.85 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.22/0.85 c (0,0) Constraint Name Generate Begin
1.22/0.86 c (0,0) Ctr:HOME/instance-4293420-1532344909.xml,AllDifferent:Dist:Eq:IntVar
1.22/0.86 c (0,0) Constraint Name Generate End
1.22/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.22/0.86 c (0,0) CSP to CSPinCNF Begin
1.38/0.96 c (0,0) translated 3 (10%) constraints
1.38/0.97 c (0,0) translated 6 (20%) constraints
1.38/0.98 c (0,0) translated 9 (30%) constraints
1.38/0.99 c (0,0) translated 11 (40%) constraints
1.38/1.00 c (0,0) translated 14 (50%) constraints
1.60/1.01 c (0,0) translated 17 (60%) constraints
1.60/1.01 c (0,0) translated 19 (70%) constraints
1.60/1.02 c (0,0) translated 22 (80%) constraints
1.60/1.03 c (0,0) translated 25 (90%) constraints
1.60/1.06 c (0,0) translated 27 (100%) constraints
2.10/1.23 c (0,0) STATISTICS1:HOME/instance-4293420-1532344909.xml,AllDifferent:Dist:Eq:IntVar,35,424,650,26,25,3,650:100;26:45;25:300,26:310;25:750,25:2;10:2;2:370;1:50,3:100;2:345;1:70,
2.10/1.23 c (0,0) ===========================================
2.10/1.23 c (0,0) Both Encoding selects:
2.10/1.23 c (0,0) Order
2.10/1.23 c (0,0) ===========================================
2.10/1.25 c (0,0) translated 43 (10%) constraints
2.10/1.26 c (0,0) translated 85 (20%) constraints
2.10/1.27 c (0,0) translated 128 (30%) constraints
2.10/1.28 c (0,0) translated 170 (40%) constraints
2.10/1.29 c (0,0) translated 212 (50%) constraints
2.10/1.29 c (0,0) translated 255 (60%) constraints
2.35/1.30 c (0,0) translated 297 (70%) constraints
2.35/1.31 c (0,0) translated 340 (80%) constraints
2.35/1.31 c (0,0) translated 382 (90%) constraints
2.35/1.32 c (0,0) translated 424 (100%) constraints
2.35/1.32 c (0,0) CSP to CSPinCNF End
2.35/1.32 c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 424 ctr, max domain size 26
2.35/1.32 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.35/1.32 c (0,0) CSPinCNF Propagation Begin
2.35/1.34 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.35/1.34 c (0,0) CSPinCNF Propagation End
2.35/1.34 c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 424 ctr, max domain size 26
2.35/1.34 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.35/1.34 c (0,0) Simplify CSPinCNF Begin
2.63/1.44 c (0,0) Simplify CSPinCNF End
2.63/1.44 c (0,0) CSP: 35 int (0 aux), 740 bool (740 aux), 1164 ctr, max domain size 26
2.63/1.44 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.63/1.44 c (0,0) Calculate Precise Domain Begin
2.63/1.44 c (0,0) 0 values are removed by re-calculation
2.63/1.44 c (0,0) Calculate Precise Domain End
2.63/1.44 c (0,0) CSP: 35 int (0 aux), 740 bool (740 aux), 1164 ctr, max domain size 26
2.63/1.44 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.63/1.44 c (0,0) CSPinCNF to SatSolver Begin
3.28/1.70 c (1,1) 117 (10 %) CSP clauses are encoded (1590 SAT variables, 31038 SAT clauses)
3.57/1.72 c (1,1) 233 (20 %) CSP clauses are encoded (1590 SAT variables, 35222 SAT clauses)
3.57/1.73 c (1,1) 350 (30 %) CSP clauses are encoded (1590 SAT variables, 37206 SAT clauses)
3.57/1.74 c (1,1) 466 (40 %) CSP clauses are encoded (1590 SAT variables, 39170 SAT clauses)
3.57/1.76 c (1,1) 582 (50 %) CSP clauses are encoded (1590 SAT variables, 41134 SAT clauses)
3.57/1.77 c (1,1) 699 (60 %) CSP clauses are encoded (1590 SAT variables, 43123 SAT clauses)
3.57/1.78 c (1,1) 815 (70 %) CSP clauses are encoded (1590 SAT variables, 45111 SAT clauses)
3.57/1.79 c (1,1) 932 (80 %) CSP clauses are encoded (1590 SAT variables, 47100 SAT clauses)
3.89/1.80 c (1,1) 1048 (90 %) CSP clauses are encoded (1590 SAT variables, 49064 SAT clauses)
3.89/1.81 c (1,1) 1164 (100 %) CSP clauses are encoded (1590 SAT variables, 51028 SAT clauses)
3.89/1.81 c (1,1) CSPinCNF to SatSolver End
3.89/1.81 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.89/1.83 c (1,1) STATISTICS2:HOME/instance-4293420-1532344909.xml,AllDifferent:Dist:Eq:IntVar,775,1164,650,26,25,3,650:100;26:90;25:600,26:400;25:1350;2:1480,25:2;10:2;2:1110;1:50,3:100;2:690;1:1550,
3.89/1.83 c (1,1) SatSolver.solve Begin
3.89/1.83 c (1,1) 1590 bool, 51029 clause
3.89/1.83 c (1,1) 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-4293420-1532344909.xml-scop-12087.cnf HOME/instance-4293420-1532344909.xml-scop-12087.cnf.out
332.23/329.77 c (329,0) c This is COMiniSatPS.
332.23/329.77 c (329,0) c WARNING: for repeatability, setting FPU to use double precision
332.23/329.77 c (329,0) c ============================[ Problem Statistics ]=============================
332.23/329.77 c (329,0) c | |
332.23/329.77 c (329,0) c | Number of variables: 1590 |
332.23/329.77 c (329,0) c | Number of clauses: 51029 |
332.23/329.77 c (329,0) c | Parse time: 0.01 s |
332.23/329.77 c (329,0) c | Eliminated clauses: 0.01 Mb |
332.23/329.77 c (329,0) c Reduced to 1220 vars, 50659 cls (grow=0)
332.23/329.77 c (329,0) c No iterative elimination performed. (vars=1220, c/v ratio=41.5)
332.23/329.77 c (329,0) c | Simplification time: 0.07 s |
332.23/329.77 c (329,0) c | |
332.23/329.77 c (329,0) c ============================[ Search Statistics ]==============================
332.23/329.77 c (329,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
332.23/329.77 c (329,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
332.23/329.77 c (329,0) c ===============================================================================
332.23/329.77 c (329,0) c ===============================================================================
332.23/329.77 c (329,0) c restarts : 45
332.23/329.77 c (329,0) c conflicts : 3026843 (9232 /sec)
332.23/329.77 c (329,0) c decisions : 3405523 (0.00 % random) (10386 /sec)
332.23/329.77 c (329,0) c propagations : 583150534 (1778542 /sec)
332.23/329.77 c (329,0) c conflict literals : 74193426 (27.12 % deleted)
332.23/329.77 c (329,0) c CPU time : 327.881 s
332.23/329.77 c (329,0)
332.23/329.77 c (329,0) s SATISFIABLE
332.23/329.79 c (329,1) SatSolver.solve End
332.23/329.79 c (329,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
332.23/329.79 c (329,1) Show results Begin
332.23/329.80 c (329,1) ce[0][0][1] = 20
332.23/329.80 c (329,1) ce[0][0][2] = 17
332.23/329.80 c (329,1) ce[0][0][3] = 9
332.23/329.80 c (329,1) ce[0][0][4] = 22
332.23/329.80 c (329,1) ce[0][1][2] = 3
332.23/329.80 c (329,1) ce[0][1][3] = 11
332.23/329.80 c (329,1) ce[0][1][4] = 2
332.23/329.80 c (329,1) ce[0][2][3] = 8
332.23/329.80 c (329,1) ce[0][2][4] = 5
332.23/329.80 c (329,1) ce[0][3][4] = 13
332.23/329.80 c (329,1) ce[1][0][1] = 19
332.23/329.80 c (329,1) ce[1][0][2] = 18
332.23/329.80 c (329,1) ce[1][0][3] = 4
332.23/329.80 c (329,1) ce[1][0][4] = 25
332.23/329.80 c (329,1) ce[1][1][2] = 1
332.23/329.80 c (329,1) ce[1][1][3] = 15
332.23/329.80 c (329,1) ce[1][1][4] = 6
332.23/329.80 c (329,1) ce[1][2][3] = 14
332.23/329.80 c (329,1) ce[1][2][4] = 7
332.23/329.80 c (329,1) ce[1][3][4] = 21
332.23/329.80 c (329,1) cie[0][0] = 23
332.23/329.80 c (329,1) cie[0][1] = 16
332.23/329.80 c (329,1) cie[0][2] = 12
332.23/329.80 c (329,1) cie[0][3] = 10
332.38/329.80 c (329,1) cie[0][4] = 24
332.38/329.80 c (329,1) cn[0][0] = 2
332.38/329.80 c (329,1) cn[0][1] = 22
332.38/329.80 c (329,1) cn[0][2] = 19
332.38/329.80 c (329,1) cn[0][3] = 11
332.38/329.80 c (329,1) cn[0][4] = 24
332.38/329.80 c (329,1) cn[1][0] = 25
332.38/329.80 c (329,1) cn[1][1] = 6
332.38/329.80 c (329,1) cn[1][2] = 7
332.38/329.80 c (329,1) cn[1][3] = 21
332.38/329.80 c (329,1) cn[1][4] = 0
332.38/329.80 s SATISFIABLE
332.38/329.80 v <instantiation>
332.38/329.80 v <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[0][4] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[1][4] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][0][4] ce[0][1][2] ce[0][1][3] ce[0][1][4] ce[0][2][3] ce[0][2][4] ce[0][3][4] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][0][4] ce[1][1][2] ce[1][1][3] ce[1][1][4] ce[1][2][3] ce[1][2][4] ce[1][3][4] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[0][4]</list>
332.38/329.80 v <values>2 22 19 11 24 25 6 7 21 0 20 17 9 22 3 11 2 8 5 13 19 18 4 25 1 15 6 14 7 21 23 16 12 10 24</values>
332.38/329.80 v </instantiation>
332.38/329.80 c (329,1) Show results End
332.38/329.80 c (329,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
332.38/329.80 c (329,1) 0,0,0,0,0,0,1,329,329,STOP-AFTER(ALL)
332.38/329.80 c END-Prog: Mon Jul 23 13:27:19 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 (4313 MiB free)
memory of node 1: 16384 MiB (10508 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293420-1532344909/watcher-4293420-1532344909 -o /tmp/evaluation-result-4293420-1532344909/solver-4293420-1532344909 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293420-1532344909.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12087, runsolver pid=12084
Current StackSize limit: 8192 KiB
[startup+0.100139 s]*
/proc/loadavg: 2.17 2.05 2.06 3/221 12102
/proc/meminfo: memFree=15114208/32770624 swapFree=67108860/67108860
[pid=12087] ppid=12084 vsize=15011656 memory=76256 CPUtime=0.11 cores=1,3,5,7
/proc/12087/stat : 12087 (java) S 12084 12087 8919 0 -1 1077944320 7310 0 0 0 9 2 0 0 20 0 15 0 52054111 15371935744 19064 33554432000 4194304 4196468 140720603559168 140720603541712 140624727609079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
/proc/12087/statm: 3752914 19064 2759 1 0 3715374 0
[pid=12087/tid=12089] ppid=12084 vsize=15011656 memory=-6583029468848503632 CPUtime=0.09 cores=1,3,5,7
/proc/12087/task/12089/stat : 12089 (java) R 12084 12087 8919 0 -1 4202560 5587 0 0 0 7 2 0 0 20 0 15 0 52054111 15371935744 19262 33554432000 4194304 4196468 140720603559168 140624699435408 140624707884828 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12090] ppid=12084 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12090/stat : 12090 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054113 15371935744 19262 33554432000 4194304 4196468 140720603559168 140624731851024 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12091] ppid=12084 vsize=15011656 memory=140543982143104 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12091/stat : 12091 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52054113 15371935744 19262 33554432000 4194304 4196468 140720603559168 140624546007440 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12092] ppid=12084 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12092/stat : 12092 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054113 15371935744 19262 33554432000 4194304 4196468 140720603559168 140624186911248 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12093] ppid=12084 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12093/stat : 12093 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52054113 15371935744 19262 33554432000 4194304 4196468 140720603559168 140624185858704 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12094] ppid=12084 vsize=15011656 memory=140543982143104 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12094/stat : 12094 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52054114 15371935744 19262 33554432000 4194304 4196468 140720603559168 140624067000816 140624727620226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12095] ppid=12084 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12095/stat : 12095 (java) S 12084 12087 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52054115 15371935744 19262 33554432000 4194304 4196468 140720603559168 140623336170912 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12096] ppid=12084 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12096/stat : 12096 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054115 15371935744 19262 33554432000 4194304 4196468 140720603559168 140623067735536 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12097] ppid=12084 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12097/stat : 12097 (java) S 12084 12087 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52054117 15371935744 19328 33554432000 4194304 4196468 140720603559168 140622693227216 140624727627675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12098] ppid=12084 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12098/stat : 12098 (java) S 12084 12087 8919 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 52054117 15371935744 19328 33554432000 4194304 4196468 140720603559168 140624065947632 140624727620226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12099] ppid=12084 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12099/stat : 12099 (java) S 12084 12087 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52054117 15371935744 19328 33554432000 4194304 4196468 140720603559168 140624064895088 140624727620226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12100] ppid=12084 vsize=15011656 memory=140543982143104 CPUtime=0.01 cores=1,3,5,7
/proc/12087/task/12100/stat : 12100 (java) S 12084 12087 8919 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 52054117 15371935744 19328 33554432000 4194304 4196468 140720603559168 140624063842544 140624727620226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12101] ppid=12084 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12101/stat : 12101 (java) S 12084 12087 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52054118 15371935744 19328 33554432000 4194304 4196468 140720603559168 140622195321440 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12102] ppid=12084 vsize=15011656 memory=140543982143104 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12102/stat : 12102 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054118 15371935744 19328 33554432000 4194304 4196468 140720603559168 140624062790448 140624727620226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 76256 KiB
[startup+0.210557 s]*
/proc/loadavg: 2.17 2.05 2.06 3/221 12102
/proc/meminfo: memFree=15100736/32770624 swapFree=67108860/67108860
[pid=12087] ppid=12084 vsize=15011656 memory=88548 CPUtime=0.26 cores=1,3,5,7
/proc/12087/stat : 12087 (java) S 12084 12087 8919 0 -1 1077944320 10498 0 0 0 23 3 0 0 20 0 15 0 52054111 15371935744 22137 33554432000 4194304 4196468 140720603559168 140720603541712 140624727609079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
/proc/12087/statm: 3752914 22137 2936 1 0 3715374 0
[pid=12087/tid=12089] ppid=12084 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/12087/task/12089/stat : 12089 (java) R 12084 12087 8919 0 -1 4202560 8394 0 0 0 17 3 0 0 20 0 15 0 52054111 15371935744 22137 33554432000 4194304 4196468 140720603559168 140624699428736 140624727630426 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12090] ppid=12084 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12090/stat : 12090 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054113 15371935744 22137 33554432000 4194304 4196468 140720603559168 140624731851024 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12091] ppid=12084 vsize=15011656 memory=140543982444996 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12091/stat : 12091 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52054113 15371935744 22137 33554432000 4194304 4196468 140720603559168 140624546007440 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12092] ppid=12084 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12092/stat : 12092 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054113 15371935744 22137 33554432000 4194304 4196468 140720603559168 140624186911248 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12093] ppid=12084 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12093/stat : 12093 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52054113 15371935744 22137 33554432000 4194304 4196468 140720603559168 140624185858704 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12094] ppid=12084 vsize=15011656 memory=140543982143104 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12094/stat : 12094 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52054114 15371935744 22137 33554432000 4194304 4196468 140720603559168 140624067000816 140624727620226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12095] ppid=12084 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12095/stat : 12095 (java) S 12084 12087 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52054115 15371935744 22137 33554432000 4194304 4196468 140720603559168 140623336170912 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12096] ppid=12084 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12096/stat : 12096 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054115 15371935744 22137 33554432000 4194304 4196468 140720603559168 140623067735536 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12097] ppid=12084 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12097/stat : 12097 (java) S 12084 12087 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52054117 15371935744 22137 33554432000 4194304 4196468 140720603559168 140622693227216 140624727627675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12098] ppid=12084 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12087/task/12098/stat : 12098 (java) S 12084 12087 8919 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 15 0 52054117 15371935744 22137 33554432000 4194304 4196468 140720603559168 140624065947632 140624727620226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12099] ppid=12084 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12099/stat : 12099 (java) R 12084 12087 8919 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 52054117 15371935744 22137 33554432000 4194304 4196468 140720603559168 140624064895088 140624727620226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12100] ppid=12084 vsize=15011656 memory=140543982143104 CPUtime=0.03 cores=1,3,5,7
/proc/12087/task/12100/stat : 12100 (java) R 12084 12087 8919 0 -1 1077944384 283 0 0 0 3 0 0 0 20 0 15 0 52054117 15371935744 22137 33554432000 4194304 4196468 140720603559168 140624063842544 140624727620226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12101] ppid=12084 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12101/stat : 12101 (java) S 12084 12087 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52054118 15371935744 22137 33554432000 4194304 4196468 140720603559168 140622195321440 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12102] ppid=12084 vsize=15011656 memory=140543982143104 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12102/stat : 12102 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054118 15371935744 22137 33554432000 4194304 4196468 140720603559168 140624062790448 140624727620226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88548 KiB
[startup+0.310607 s]*
/proc/loadavg: 2.17 2.05 2.06 3/221 12102
/proc/meminfo: memFree=15097448/32770624 swapFree=67108860/67108860
[pid=12087] ppid=12084 vsize=15011656 memory=91764 CPUtime=0.43 cores=1,3,5,7
/proc/12087/stat : 12087 (java) S 12084 12087 8919 0 -1 1077944320 11033 0 0 0 40 3 0 0 20 0 15 0 52054111 15371935744 22941 33554432000 4194304 4196468 140720603559168 140720603541712 140624727609079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
/proc/12087/statm: 3752914 22941 2977 1 0 3715374 0
[pid=12087/tid=12089] ppid=12084 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/12087/task/12089/stat : 12089 (java) R 12084 12087 8919 0 -1 4202560 8770 0 0 0 26 3 0 0 20 0 15 0 52054111 15371935744 22941 33554432000 4194304 4196468 140720603559168 140624699413008 140624712774718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12090] ppid=12084 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12090/stat : 12090 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054113 15371935744 22941 33554432000 4194304 4196468 140720603559168 140624731851024 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12091] ppid=12084 vsize=15011656 memory=140543982434856 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12091/stat : 12091 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52054113 15371935744 22941 33554432000 4194304 4196468 140720603559168 140624546007440 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12092] ppid=12084 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12092/stat : 12092 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054113 15371935744 22941 33554432000 4194304 4196468 140720603559168 140624186911248 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12093] ppid=12084 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12093/stat : 12093 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52054113 15371935744 22941 33554432000 4194304 4196468 140720603559168 140624185858704 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12094] ppid=12084 vsize=15011656 memory=140543982143104 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12094/stat : 12094 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52054114 15371935744 22941 33554432000 4194304 4196468 140720603559168 140624067000816 140624727620226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12095] ppid=12084 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12095/stat : 12095 (java) S 12084 12087 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52054115 15371935744 22941 33554432000 4194304 4196468 140720603559168 140623336170912 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12096] ppid=12084 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12096/stat : 12096 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054115 15371935744 22941 33554432000 4194304 4196468 140720603559168 140623067735536 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12097] ppid=12084 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12097/stat : 12097 (java) S 12084 12087 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52054117 15371935744 22941 33554432000 4194304 4196468 140720603559168 140622693227216 140624727627675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12098] ppid=12084 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12087/task/12098/stat : 12098 (java) S 12084 12087 8919 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 15 0 52054117 15371935744 22941 33554432000 4194304 4196468 140720603559168 140624065947632 140624727620226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12099] ppid=12084 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12087/task/12099/stat : 12099 (java) S 12084 12087 8919 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 15 0 52054117 15371935744 22941 33554432000 4194304 4196468 140720603559168 140624064895088 140624727620226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12100] ppid=12084 vsize=15011656 memory=140543982143104 CPUtime=0.07 cores=1,3,5,7
/proc/12087/task/12100/stat : 12100 (java) R 12084 12087 8919 0 -1 4202560 303 0 0 0 7 0 0 0 20 0 15 0 52054117 15371935744 22941 33554432000 4194304 4196468 140720603559168 140624063842544 140624706563465 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12101] ppid=12084 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12101/stat : 12101 (java) S 12084 12087 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52054118 15371935744 22941 33554432000 4194304 4196468 140720603559168 140622195321440 140624727619285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12102] ppid=12084 vsize=15011656 memory=140543982143104 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12102/stat : 12102 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054118 15371935744 22941 33554432000 4194304 4196468 140720603559168 140624062790448 140624727620226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 91764 KiB
[startup+0.700753 s]
/proc/loadavg: 2.17 2.05 2.06 3/221 12102
/proc/meminfo: memFree=15073016/32770624 swapFree=67108860/67108860
[pid=12087] ppid=12084 vsize=15020052 memory=132100 CPUtime=1.01 cores=1,3,5,7
/proc/12087/stat : 12087 (java) S 12084 12087 8919 0 -1 1077944320 18236 0 0 0 95 6 0 0 20 0 15 0 52054111 15380533248 33025 33554432000 4194304 4196468 140720603559168 140720603541712 140624727609079 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
/proc/12087/statm: 3755013 33025 3155 1 0 3716398 0
[pid=12087/tid=12089] ppid=12084 vsize=15020052 memory=192487213777565 CPUtime=0.67 cores=1,3,5,7
/proc/12087/task/12089/stat : 12089 (java) R 12084 12087 8919 0 -1 4202560 15542 0 0 0 62 5 0 0 20 0 15 0 52054111 15380533248 33025 33554432000 4194304 4196468 140720603559168 140624699443296 140624711689566 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12090] ppid=12084 vsize=15020052 memory=268934 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12090/stat : 12090 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054113 15380533248 33025 33554432000 4194304 4196468 140720603559168 140624731851024 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12091] ppid=12084 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12091/stat : 12091 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52054113 15380533248 33025 33554432000 4194304 4196468 140720603559168 140624546007440 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12092] ppid=12084 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12092/stat : 12092 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054113 15380533248 33025 33554432000 4194304 4196468 140720603559168 140624186911248 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12093] ppid=12084 vsize=15020052 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12093/stat : 12093 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52054113 15380533248 33025 33554432000 4194304 4196468 140720603559168 140624185858704 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12094] ppid=12084 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12094/stat : 12094 (java) S 12084 12087 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52054114 15380533248 33025 33554432000 4194304 4196468 140720603559168 140624067000816 140624727620226 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12095] ppid=12084 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12095/stat : 12095 (java) S 12084 12087 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52054115 15380533248 33025 33554432000 4194304 4196468 140720603559168 140623336170912 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12096] ppid=12084 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12096/stat : 12096 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054115 15380533248 33025 33554432000 4194304 4196468 140720603559168 140623067735536 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12097] ppid=12084 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12097/stat : 12097 (java) S 12084 12087 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52054117 15380533248 33025 33554432000 4194304 4196468 140720603559168 140622693227216 140624727627675 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12098] ppid=12084 vsize=15020052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12087/task/12098/stat : 12098 (java) S 12084 12087 8919 0 -1 1077944384 641 0 0 0 8 0 0 0 20 0 15 0 52054117 15380533248 33025 33554432000 4194304 4196468 140720603559168 140624065947632 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12099] ppid=12084 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12087/task/12099/stat : 12099 (java) R 12084 12087 8919 0 -1 1077944384 298 0 0 0 7 0 0 0 20 0 15 0 52054117 15380533248 33025 33554432000 4194304 4196468 140720603559168 140624064895088 140624727620226 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12100] ppid=12084 vsize=15020052 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/12087/task/12100/stat : 12100 (java) S 12084 12087 8919 0 -1 1077944384 414 0 0 0 16 0 0 0 20 0 15 0 52054117 15380533248 33025 33554432000 4194304 4196468 140720603559168 140624063842544 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12101] ppid=12084 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12101/stat : 12101 (java) S 12084 12087 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52054118 15380533248 33025 33554432000 4194304 4196468 140720603559168 140622195321440 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12102] ppid=12084 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12102/stat : 12102 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52054118 15380533248 33025 33554432000 4194304 4196468 140720603559168 140624062790448 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 132100 KiB
[startup+1.50076 s]
/proc/loadavg: 2.17 2.05 2.06 4/221 12102
/proc/meminfo: memFree=15046100/32770624 swapFree=67108860/67108860
[pid=12087] ppid=12084 vsize=15026264 memory=184828 CPUtime=2.93 cores=1,3,5,7
/proc/12087/stat : 12087 (java) S 12084 12087 8919 0 -1 1077944320 22690 0 0 0 285 8 0 0 20 0 15 0 52054111 15386894336 46207 33554432000 4194304 4196468 140720603559168 140720603541712 140624727609079 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
/proc/12087/statm: 3756566 46207 3217 1 0 3717422 0
[pid=12087/tid=12089] ppid=12084 vsize=15026264 memory=5794836780235446120 CPUtime=1.47 cores=1,3,5,7
/proc/12087/task/12089/stat : 12089 (java) R 12084 12087 8919 0 -1 4202560 16890 0 0 0 141 6 0 0 20 0 15 0 52054111 15386894336 46207 33554432000 4194304 4196468 140720603559168 140624699441280 140624225447040 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12090] ppid=12084 vsize=15026264 memory=6298673690012637032 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12090/stat : 12090 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054113 15386894336 46207 33554432000 4194304 4196468 140720603559168 140624731851024 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12091] ppid=12084 vsize=15026264 memory=7589518993998965351 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12091/stat : 12091 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52054113 15386894336 46207 33554432000 4194304 4196468 140720603559168 140624546007440 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12092] ppid=12084 vsize=15026264 memory=8027776730966878040 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12092/stat : 12092 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52054113 15386894336 46207 33554432000 4194304 4196468 140720603559168 140624186911248 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12093] ppid=12084 vsize=15026264 memory=4638778402627734864 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12093/stat : 12093 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52054113 15386894336 46207 33554432000 4194304 4196468 140720603559168 140624185858704 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12094] ppid=12084 vsize=15026264 memory=7595149704731124816 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12094/stat : 12094 (java) S 12084 12087 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52054114 15386894336 46207 33554432000 4194304 4196468 140720603559168 140624067000816 140624727620226 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
################
# More data... #
################
[pid=12087/tid=12099] ppid=12084 vsize=15681864 memory=3232 CPUtime=0.78 cores=1,3,5,7
/proc/12087/task/12099/stat : 12099 (java) S 12084 12087 8919 0 -1 1077944384 1799 0 0 0 78 0 0 0 20 0 19 0 52054117 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624064895088 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12100] ppid=12084 vsize=15681864 memory=309344 CPUtime=0.8 cores=1,3,5,7
/proc/12087/task/12100/stat : 12100 (java) S 12084 12087 8919 0 -1 1077944384 2871 0 0 0 79 1 0 0 20 0 19 0 52054117 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624063842544 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12101] ppid=12084 vsize=15681864 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12101/stat : 12101 (java) S 12084 12087 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52054118 16058228736 77336 33554432000 4194304 4196468 140720603559168 140622195321440 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12102] ppid=12084 vsize=15681864 memory=8384 CPUtime=0.12 cores=1,3,5,7
/proc/12087/task/12102/stat : 12102 (java) S 12084 12087 8919 0 -1 1077944384 22 0 0 0 7 5 0 0 20 0 19 0 52054118 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624062790448 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12104] ppid=12084 vsize=15681864 memory=-7824251494390584683 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12104/stat : 12104 (java) S 12084 12087 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52054296 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624142087744 140624727633689 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12106] ppid=12084 vsize=15681864 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12106/stat : 12106 (java) S 12084 12087 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52054297 16058228736 77336 33554432000 4194304 4196468 140720603559168 140621658439728 140624727631005 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12107] ppid=12084 vsize=15681864 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12107/stat : 12107 (java) S 12084 12087 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52054297 16058228736 77336 33554432000 4194304 4196468 140720603559168 140621390003376 140624727631005 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12108] ppid=12084 vsize=15681864 memory=5524 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12108/stat : 12108 (java) S 12084 12087 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 52054299 16058228736 77336 33554432000 4194304 4196468 140720603559168 140621926882336 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
Current children cumulated CPU time: 330.54 s
Current children cumulated vsize: 15757880 KiB
Current children cumulated memory: 369328 KiB
[startup+328.801 s]
/proc/loadavg: 2.06 2.12 2.08 3/225 12114
/proc/meminfo: memFree=14818868/32770624 swapFree=67108860/67108860
[pid=12087] ppid=12084 vsize=15681864 memory=309344 CPUtime=4.39 cores=1,3,5,7
/proc/12087/stat : 12087 (java) S 12084 12087 8919 0 -1 1077944320 24505 0 0 0 424 15 0 0 20 0 19 0 52054111 16058228736 77336 33554432000 4194304 4196468 140720603559168 140720603541712 140624727609079 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
/proc/12087/statm: 3920466 77336 3225 1 0 3881322 0
[pid=12103] ppid=12087 vsize=76016 memory=59984 CPUtime=326.94 cores=1,3,5,7
/proc/12103/stat : 12103 (minisat_release) R 12087 12087 8919 0 -1 4202496 39011 0 0 0 32690 4 0 0 20 0 1 0 52054296 77840384 14996 33554432000 4194304 4308513 140734306409312 140734306406312 4275601 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 21848064 140734306411183 140734306411694 140734306411694 140734306414533 0
/proc/12103/statm: 19004 14996 353 28 0 15244 0
[pid=12087/tid=12089] ppid=12084 vsize=15681864 memory=-7824251494390584683 CPUtime=1.87 cores=1,3,5,7
/proc/12087/task/12089/stat : 12089 (java) S 12084 12087 8919 0 -1 1077944384 17328 0 0 0 179 8 0 0 20 0 19 0 52054111 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624699448320 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12090] ppid=12084 vsize=15681864 memory=16784 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12090/stat : 12090 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52054113 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624731851024 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12091] ppid=12084 vsize=15681864 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12091/stat : 12091 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52054113 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624546007440 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12092] ppid=12084 vsize=15681864 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12092/stat : 12092 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52054113 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624186911248 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12093] ppid=12084 vsize=15681864 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12093/stat : 12093 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52054113 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624185858704 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12094] ppid=12084 vsize=15681864 memory=1928 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12094/stat : 12094 (java) S 12084 12087 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52054114 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624067000816 140624727620226 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12095] ppid=12084 vsize=15681864 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12095/stat : 12095 (java) S 12084 12087 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52054115 16058228736 77336 33554432000 4194304 4196468 140720603559168 140623336170912 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12096] ppid=12084 vsize=15681864 memory=8384 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12096/stat : 12096 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52054115 16058228736 77336 33554432000 4194304 4196468 140720603559168 140623067735536 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12097] ppid=12084 vsize=15681864 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12097/stat : 12097 (java) S 12084 12087 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52054117 16058228736 77336 33554432000 4194304 4196468 140720603559168 140622693227216 140624727627675 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12098] ppid=12084 vsize=15681864 memory=1440 CPUtime=0.77 cores=1,3,5,7
/proc/12087/task/12098/stat : 12098 (java) S 12084 12087 8919 0 -1 1077944384 1095 0 0 0 77 0 0 0 20 0 19 0 52054117 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624065947632 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12099] ppid=12084 vsize=15681864 memory=1712 CPUtime=0.78 cores=1,3,5,7
/proc/12087/task/12099/stat : 12099 (java) S 12084 12087 8919 0 -1 1077944384 1799 0 0 0 78 0 0 0 20 0 19 0 52054117 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624064895088 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12100] ppid=12084 vsize=15681864 memory=5524 CPUtime=0.8 cores=1,3,5,7
/proc/12087/task/12100/stat : 12100 (java) S 12084 12087 8919 0 -1 1077944384 2871 0 0 0 79 1 0 0 20 0 19 0 52054117 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624063842544 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12101] ppid=12084 vsize=15681864 memory=3248 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12101/stat : 12101 (java) S 12084 12087 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52054118 16058228736 77336 33554432000 4194304 4196468 140720603559168 140622195321440 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12102] ppid=12084 vsize=15681864 memory=4620 CPUtime=0.12 cores=1,3,5,7
/proc/12087/task/12102/stat : 12102 (java) S 12084 12087 8919 0 -1 1077944384 22 0 0 0 7 5 0 0 20 0 19 0 52054118 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624062790448 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12104] ppid=12084 vsize=15681864 memory=796 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12104/stat : 12104 (java) S 12084 12087 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52054296 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624142087744 140624727633689 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12106] ppid=12084 vsize=15681864 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12106/stat : 12106 (java) S 12084 12087 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52054297 16058228736 77336 33554432000 4194304 4196468 140720603559168 140621658439728 140624727631005 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12107] ppid=12084 vsize=15681864 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12107/stat : 12107 (java) S 12084 12087 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52054297 16058228736 77336 33554432000 4194304 4196468 140720603559168 140621390003376 140624727631005 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12108] ppid=12084 vsize=15681864 memory=309344 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12108/stat : 12108 (java) S 12084 12087 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 52054299 16058228736 77336 33554432000 4194304 4196468 140720603559168 140621926882336 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
Current children cumulated CPU time: 331.33 s
Current children cumulated vsize: 15757880 KiB
Current children cumulated memory: 369328 KiB
[startup+329.601 s]
/proc/loadavg: 2.06 2.12 2.08 3/225 12114
/proc/meminfo: memFree=14818868/32770624 swapFree=67108860/67108860
[pid=12087] ppid=12084 vsize=15681864 memory=309344 CPUtime=4.39 cores=1,3,5,7
/proc/12087/stat : 12087 (java) S 12084 12087 8919 0 -1 1077944320 24505 0 0 0 424 15 0 0 20 0 19 0 52054111 16058228736 77336 33554432000 4194304 4196468 140720603559168 140720603541712 140624727609079 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
/proc/12087/statm: 3920466 77336 3225 1 0 3881322 0
[pid=12103] ppid=12087 vsize=76016 memory=59984 CPUtime=327.74 cores=1,3,5,7
/proc/12103/stat : 12103 (minisat_release) R 12087 12087 8919 0 -1 4202496 39033 0 0 0 32770 4 0 0 20 0 1 0 52054296 77840384 14996 33554432000 4194304 4308513 140734306409312 140734306406312 4276036 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 21848064 140734306411183 140734306411694 140734306411694 140734306414533 0
/proc/12103/statm: 19004 14996 353 28 0 15244 0
[pid=12087/tid=12089] ppid=12084 vsize=15681864 memory=1412 CPUtime=1.87 cores=1,3,5,7
/proc/12087/task/12089/stat : 12089 (java) S 12084 12087 8919 0 -1 1077944384 17328 0 0 0 179 8 0 0 20 0 19 0 52054111 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624699448320 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12090] ppid=12084 vsize=15681864 memory=3232 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12090/stat : 12090 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52054113 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624731851024 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12091] ppid=12084 vsize=15681864 memory=309344 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12091/stat : 12091 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52054113 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624546007440 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12092] ppid=12084 vsize=15681864 memory=59984 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12092/stat : 12092 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52054113 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624186911248 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12093] ppid=12084 vsize=15681864 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12093/stat : 12093 (java) S 12084 12087 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52054113 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624185858704 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12094] ppid=12084 vsize=15681864 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12094/stat : 12094 (java) S 12084 12087 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52054114 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624067000816 140624727620226 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12095] ppid=12084 vsize=15681864 memory=16784 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12095/stat : 12095 (java) S 12084 12087 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52054115 16058228736 77336 33554432000 4194304 4196468 140720603559168 140623336170912 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12096] ppid=12084 vsize=15681864 memory=309344 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12096/stat : 12096 (java) S 12084 12087 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52054115 16058228736 77336 33554432000 4194304 4196468 140720603559168 140623067735536 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12097] ppid=12084 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12097/stat : 12097 (java) S 12084 12087 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52054117 16058228736 77336 33554432000 4194304 4196468 140720603559168 140622693227216 140624727627675 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12098] ppid=12084 vsize=15681864 memory=192440304688753 CPUtime=0.77 cores=1,3,5,7
/proc/12087/task/12098/stat : 12098 (java) S 12084 12087 8919 0 -1 1077944384 1095 0 0 0 77 0 0 0 20 0 19 0 52054117 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624065947632 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12099] ppid=12084 vsize=15681864 memory=6788 CPUtime=0.78 cores=1,3,5,7
/proc/12087/task/12099/stat : 12099 (java) S 12084 12087 8919 0 -1 1077944384 1799 0 0 0 78 0 0 0 20 0 19 0 52054117 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624064895088 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12100] ppid=12084 vsize=15681864 memory=8384 CPUtime=0.8 cores=1,3,5,7
/proc/12087/task/12100/stat : 12100 (java) S 12084 12087 8919 0 -1 1077944384 2871 0 0 0 79 1 0 0 20 0 19 0 52054117 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624063842544 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12101] ppid=12084 vsize=15681864 memory=-7824251494390584683 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12101/stat : 12101 (java) S 12084 12087 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52054118 16058228736 77336 33554432000 4194304 4196468 140720603559168 140622195321440 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12102] ppid=12084 vsize=15681864 memory=309344 CPUtime=0.12 cores=1,3,5,7
/proc/12087/task/12102/stat : 12102 (java) S 12084 12087 8919 0 -1 1077944384 22 0 0 0 7 5 0 0 20 0 19 0 52054118 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624062790448 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12104] ppid=12084 vsize=15681864 memory=309344 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12104/stat : 12104 (java) S 12084 12087 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52054296 16058228736 77336 33554432000 4194304 4196468 140720603559168 140624142087744 140624727633689 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12106] ppid=12084 vsize=15681864 memory=59984 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12106/stat : 12106 (java) S 12084 12087 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52054297 16058228736 77336 33554432000 4194304 4196468 140720603559168 140621658439728 140624727631005 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12107] ppid=12084 vsize=15681864 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12107/stat : 12107 (java) S 12084 12087 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52054297 16058228736 77336 33554432000 4194304 4196468 140720603559168 140621390003376 140624727631005 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12108] ppid=12084 vsize=15681864 memory=309344 CPUtime=0 cores=1,3,5,7
/proc/12087/task/12108/stat : 12108 (java) S 12084 12087 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 52054299 16058228736 77336 33554432000 4194304 4196468 140720603559168 140621926882336 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
Current children cumulated CPU time: 332.13 s
Current children cumulated vsize: 15757880 KiB
Current children cumulated memory: 369328 KiB
[startup+329.801 s]
/proc/loadavg: 2.06 2.12 2.08 3/225 12114
/proc/meminfo: memFree=14818868/32770624 swapFree=67108860/67108860
[pid=12087] ppid=12084 vsize=15550788 memory=309864 CPUtime=332.38 cores=1,3,5,7
/proc/12087/stat : 12087 (java) S 12084 12087 8919 0 -1 1077944320 24626 39054 0 0 429 16 32788 5 20 0 17 0 52054111 15924006912 77466 33554432000 4194304 4196468 140720603559168 140720603541712 140624727609079 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
/proc/12087/statm: 3887697 77466 3225 1 0 3848553 0
[pid=12087/tid=12089] ppid=12084 vsize=15550788 memory=112268 CPUtime=329.81 cores=1,3,5,7
/proc/12087/task/12089/stat : 12089 (java) R 12084 12087 8919 0 -1 4202560 17352 39054 0 0 180 8 32788 5 20 0 17 0 52054111 15924006912 77466 33554432000 4194304 4196468 140720603559168 140624699447408 140720603830210 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12090] ppid=12084 vsize=15550788 memory=1412 CPUtime=327.93 cores=1,3,5,7
/proc/12087/task/12090/stat : 12090 (java) S 12084 12087 8919 0 -1 1077944384 1 39054 0 0 0 0 32788 5 20 0 17 0 52054113 15924006912 77466 33554432000 4194304 4196468 140720603559168 140624731851024 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12091] ppid=12084 vsize=15550788 memory=3232 CPUtime=327.93 cores=1,3,5,7
/proc/12087/task/12091/stat : 12091 (java) S 12084 12087 8919 0 -1 1077944384 2 39054 0 0 0 0 32788 5 20 0 17 0 52054113 15924006912 77466 33554432000 4194304 4196468 140720603559168 140624546007440 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12092] ppid=12084 vsize=15550788 memory=-7824251494390584683 CPUtime=327.93 cores=1,3,5,7
/proc/12087/task/12092/stat : 12092 (java) S 12084 12087 8919 0 -1 1077944384 1 39054 0 0 0 0 32788 5 20 0 17 0 52054113 15924006912 77466 33554432000 4194304 4196468 140720603559168 140624186911248 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12093] ppid=12084 vsize=15550788 memory=1796 CPUtime=327.93 cores=1,3,5,7
/proc/12087/task/12093/stat : 12093 (java) S 12084 12087 8919 0 -1 1077944384 2 39054 0 0 0 0 32788 5 20 0 17 0 52054113 15924006912 77466 33554432000 4194304 4196468 140720603559168 140624185858704 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12094] ppid=12084 vsize=15550788 memory=960 CPUtime=327.93 cores=1,3,5,7
/proc/12087/task/12094/stat : 12094 (java) S 12084 12087 8919 0 -1 1077944384 5 39054 0 0 0 0 32788 5 20 0 17 0 52054114 15924006912 77466 33554432000 4194304 4196468 140720603559168 140624067000816 140624727620226 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12095] ppid=12084 vsize=15550788 memory=1240 CPUtime=327.93 cores=1,3,5,7
/proc/12087/task/12095/stat : 12095 (java) S 12084 12087 8919 0 -1 1077944384 13 39054 0 0 0 0 32788 5 20 0 17 0 52054115 15924006912 77466 33554432000 4194304 4196468 140720603559168 140623336170912 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12096] ppid=12084 vsize=15550788 memory=2340 CPUtime=327.93 cores=1,3,5,7
/proc/12087/task/12096/stat : 12096 (java) S 12084 12087 8919 0 -1 1077944384 1 39054 0 0 0 0 32788 5 20 0 17 0 52054115 15924006912 77466 33554432000 4194304 4196468 140720603559168 140623067735536 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12097] ppid=12084 vsize=15550788 memory=2240 CPUtime=327.93 cores=1,3,5,7
/proc/12087/task/12097/stat : 12097 (java) S 12084 12087 8919 0 -1 1077944384 3 39054 0 0 0 0 32788 5 20 0 17 0 52054117 15924006912 77466 33554432000 4194304 4196468 140720603559168 140622693227216 140624727627675 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12098] ppid=12084 vsize=15550788 memory=16784 CPUtime=328.7 cores=1,3,5,7
/proc/12087/task/12098/stat : 12098 (java) S 12084 12087 8919 0 -1 1077944384 1099 39054 0 0 77 0 32788 5 20 0 17 0 52054117 15924006912 77466 33554432000 4194304 4196468 140720603559168 140624065947632 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12099] ppid=12084 vsize=15550788 memory=1296 CPUtime=328.72 cores=1,3,5,7
/proc/12087/task/12099/stat : 12099 (java) S 12084 12087 8919 0 -1 1077944384 1808 39054 0 0 79 0 32788 5 20 0 17 0 52054117 15924006912 77466 33554432000 4194304 4196468 140720603559168 140624064895088 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12100] ppid=12084 vsize=15550788 memory=2340 CPUtime=328.75 cores=1,3,5,7
/proc/12087/task/12100/stat : 12100 (java) R 12084 12087 8919 0 -1 4202560 2896 39054 0 0 81 1 32788 5 20 0 17 0 52054117 15924006912 77466 33554432000 4194304 4196468 140720603559168 140624063842544 140624711689566 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12101] ppid=12084 vsize=15550788 memory=1728 CPUtime=327.93 cores=1,3,5,7
/proc/12087/task/12101/stat : 12101 (java) S 12084 12087 8919 0 -1 1077944384 3 39054 0 0 0 0 32788 5 20 0 17 0 52054118 15924006912 77466 33554432000 4194304 4196468 140720603559168 140622195321440 140624727619285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12102] ppid=12084 vsize=15550788 memory=1928 CPUtime=328.05 cores=1,3,5,7
/proc/12087/task/12102/stat : 12102 (java) S 12084 12087 8919 0 -1 1077944384 22 39054 0 0 7 5 32788 5 20 0 17 0 52054118 15924006912 77466 33554432000 4194304 4196468 140720603559168 140624062790448 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12104] ppid=12084 vsize=15550788 memory=1008 CPUtime=327.93 cores=1,3,5,7
/proc/12087/task/12104/stat : 12104 (java) S 12084 12087 8919 0 -1 1077944384 27 39054 0 0 0 0 32788 5 20 0 17 0 52054296 15924006912 77466 33554432000 4194304 4196468 140720603559168 140624142086928 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
[pid=12087/tid=12108] ppid=12084 vsize=15550788 memory=59984 CPUtime=327.93 cores=1,3,5,7
/proc/12087/task/12108/stat : 12108 (java) S 12084 12087 8919 0 -1 1077944384 25 39054 0 0 0 0 32788 5 20 0 17 0 52054299 15924006912 77466 33554432000 4194304 4196468 140720603559168 140621926884144 140624727620226 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16596992 140720603562996 140720603563273 140720603563273 140720603566031 0
Current children cumulated CPU time: 332.38 s
Current children cumulated vsize: 15550788 KiB
Current children cumulated memory: 309864 KiB
Child status: 0
Real time (s): 329.809
CPU time (s): 332.4
CPU user time (s): 332.183
CPU system time (s): 0.21738
CPU usage (%): 100.786
Max. virtual memory (cumulated for all children) (KiB): 15764876
Max. memory (cumulated for all children) (KiB): 369780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 332.183
system time used= 0.21738
maximum resident set size= 312244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10617
involuntary context switches= 198
# summary of solver processes directly reported to runsolver:
# pid: 12087
# total CPU time (s): 332.4
# total CPU user time (s): 332.183
# total CPU system time (s): 0.21738
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.48832 second user time and 3.07327 second system time
The end