0.55/0.51
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 13:22:56 CEST 2018
0.67/0.54 c PID: 5424
0.67/0.54 c IP: 172.20.3.105
0.67/0.54 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.21/0.84 c (0,0) Parsing End
1.21/0.85 c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 27 ctr, max domain size 26
1.21/0.85 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.85 c (0,0) Constraint Name Generate Begin
1.21/0.86 c (0,0) Ctr:HOME/instance-4293421-1532344975.xml,AllDifferent:Dist:Eq:IntVar
1.21/0.86 c (0,0) Constraint Name Generate End
1.21/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.86 c (0,0) CSP to CSPinCNF Begin
1.39/0.95 c (0,0) translated 3 (10%) constraints
1.39/0.97 c (0,0) translated 6 (20%) constraints
1.39/0.98 c (0,0) translated 9 (30%) constraints
1.39/0.99 c (0,0) translated 11 (40%) constraints
1.39/1.00 c (0,0) translated 14 (50%) constraints
1.39/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.15/1.24 c (0,0) STATISTICS1:HOME/instance-4293421-1532344975.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.15/1.24 c (0,0) ===========================================
2.15/1.24 c (0,0) Order
2.15/1.24 c (0,0) ===========================================
2.15/1.26 c (0,0) translated 43 (10%) constraints
2.15/1.26 c (0,0) translated 85 (20%) constraints
2.15/1.27 c (0,0) translated 128 (30%) constraints
2.15/1.28 c (0,0) translated 170 (40%) constraints
2.15/1.29 c (0,0) translated 212 (50%) constraints
2.15/1.30 c (0,0) translated 255 (60%) constraints
2.40/1.30 c (0,0) translated 297 (70%) constraints
2.40/1.31 c (0,0) translated 340 (80%) constraints
2.40/1.31 c (0,0) translated 382 (90%) constraints
2.40/1.32 c (0,0) translated 424 (100%) constraints
2.40/1.32 c (0,0) CSP to CSPinCNF End
2.40/1.32 c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 424 ctr, max domain size 26
2.40/1.32 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.40/1.32 c (0,0) CSPinCNF Propagation Begin
2.40/1.34 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.40/1.34 c (0,0) CSPinCNF Propagation End
2.40/1.34 c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 424 ctr, max domain size 26
2.40/1.34 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.40/1.34 c (0,0) Simplify CSPinCNF Begin
2.67/1.44 c (0,0) Simplify CSPinCNF End
2.67/1.45 c (0,0) CSP: 35 int (0 aux), 740 bool (740 aux), 1164 ctr, max domain size 26
2.67/1.45 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.67/1.45 c (0,0) Calculate Precise Domain Begin
2.67/1.45 c (0,0) 0 values are removed by re-calculation
2.67/1.45 c (0,0) Calculate Precise Domain End
2.67/1.45 c (0,0) CSP: 35 int (0 aux), 740 bool (740 aux), 1164 ctr, max domain size 26
2.67/1.45 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.67/1.45 c (0,0) CSPinCNF to SatSolver Begin
3.62/1.71 c (1,1) 117 (10 %) CSP clauses are encoded (1590 SAT variables, 31038 SAT clauses)
3.62/1.73 c (1,1) 233 (20 %) CSP clauses are encoded (1590 SAT variables, 35222 SAT clauses)
3.62/1.75 c (1,1) 350 (30 %) CSP clauses are encoded (1590 SAT variables, 37206 SAT clauses)
3.62/1.76 c (1,1) 466 (40 %) CSP clauses are encoded (1590 SAT variables, 39170 SAT clauses)
3.62/1.77 c (1,1) 582 (50 %) CSP clauses are encoded (1590 SAT variables, 41134 SAT clauses)
3.62/1.79 c (1,1) 699 (60 %) CSP clauses are encoded (1590 SAT variables, 43123 SAT clauses)
3.93/1.80 c (1,1) 815 (70 %) CSP clauses are encoded (1590 SAT variables, 45111 SAT clauses)
3.93/1.81 c (1,1) 932 (80 %) CSP clauses are encoded (1590 SAT variables, 47100 SAT clauses)
3.93/1.82 c (1,1) 1048 (90 %) CSP clauses are encoded (1590 SAT variables, 49064 SAT clauses)
3.93/1.83 c (1,1) 1164 (100 %) CSP clauses are encoded (1590 SAT variables, 51028 SAT clauses)
3.93/1.83 c (1,1) CSPinCNF to SatSolver End
3.93/1.83 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.93/1.85 c (1,1) STATISTICS2:HOME/instance-4293421-1532344975.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.93/1.85 c (1,1) SatSolver.solve Begin
3.93/1.85 c (1,1) 1590 bool, 51029 clause
3.93/1.85 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-4293421-1532344975.xml-scop-5424.cnf HOME/instance-4293421-1532344975.xml-scop-5424.cnf.out
331.71/329.19 c (328,0) c This is COMiniSatPS.
331.71/329.19 c (328,0) c WARNING: for repeatability, setting FPU to use double precision
331.71/329.19 c (328,0) c ============================[ Problem Statistics ]=============================
331.71/329.19 c (328,0) c | |
331.71/329.19 c (328,0) c | Number of variables: 1590 |
331.71/329.19 c (328,0) c | Number of clauses: 51029 |
331.71/329.19 c (328,0) c | Parse time: 0.01 s |
331.71/329.19 c (328,0) c | Eliminated clauses: 0.01 Mb |
331.71/329.19 c (328,0) c Reduced to 1220 vars, 50659 cls (grow=0)
331.71/329.19 c (328,0) c No iterative elimination performed. (vars=1220, c/v ratio=41.5)
331.71/329.19 c (328,0) c | Simplification time: 0.06 s |
331.71/329.19 c (328,0) c | |
331.71/329.19 c (328,0) c ============================[ Search Statistics ]==============================
331.71/329.19 c (328,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
331.71/329.19 c (328,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
331.71/329.19 c (328,0) c ===============================================================================
331.71/329.19 c (328,0) c ===============================================================================
331.71/329.19 c (328,0) c restarts : 45
331.71/329.19 c (328,0) c conflicts : 3026843 (9248 /sec)
331.71/329.19 c (328,0) c decisions : 3405523 (0.00 % random) (10405 /sec)
331.71/329.19 c (328,0) c propagations : 583150534 (1781777 /sec)
331.71/329.19 c (328,0) c conflict literals : 74193426 (27.12 % deleted)
331.71/329.19 c (328,0) c CPU time : 327.286 s
331.71/329.19 c (328,0)
331.71/329.19 c (328,0) s SATISFIABLE
331.82/329.21 c (328,1) SatSolver.solve End
331.82/329.21 c (328,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
331.82/329.21 c (328,1) Show results Begin
331.82/329.22 c (328,1) ce[0][0][1] = 20
331.82/329.22 c (328,1) ce[0][0][2] = 17
331.82/329.22 c (328,1) ce[0][0][3] = 9
331.82/329.22 c (328,1) ce[0][0][4] = 22
331.82/329.22 c (328,1) ce[0][1][2] = 3
331.82/329.22 c (328,1) ce[0][1][3] = 11
331.82/329.22 c (328,1) ce[0][1][4] = 2
331.82/329.22 c (328,1) ce[0][2][3] = 8
331.82/329.22 c (328,1) ce[0][2][4] = 5
331.82/329.22 c (328,1) ce[0][3][4] = 13
331.82/329.22 c (328,1) ce[1][0][1] = 19
331.82/329.22 c (328,1) ce[1][0][2] = 18
331.82/329.22 c (328,1) ce[1][0][3] = 4
331.82/329.22 c (328,1) ce[1][0][4] = 25
331.82/329.22 c (328,1) ce[1][1][2] = 1
331.82/329.22 c (328,1) ce[1][1][3] = 15
331.82/329.22 c (328,1) ce[1][1][4] = 6
331.82/329.22 c (328,1) ce[1][2][3] = 14
331.82/329.22 c (328,1) ce[1][2][4] = 7
331.82/329.22 c (328,1) ce[1][3][4] = 21
331.82/329.22 c (328,1) cie[0][0] = 23
331.82/329.22 c (328,1) cie[0][1] = 16
331.82/329.22 c (328,1) cie[0][2] = 12
331.82/329.22 c (328,1) cie[0][3] = 10
331.82/329.22 c (328,1) cie[0][4] = 24
331.82/329.22 c (328,1) cn[0][0] = 2
331.82/329.22 c (328,1) cn[0][1] = 22
331.82/329.22 c (328,1) cn[0][2] = 19
331.82/329.22 c (328,1) cn[0][3] = 11
331.82/329.22 c (328,1) cn[0][4] = 24
331.82/329.22 c (328,1) cn[1][0] = 25
331.82/329.22 c (328,1) cn[1][1] = 6
331.82/329.22 c (328,1) cn[1][2] = 7
331.82/329.22 c (328,1) cn[1][3] = 21
331.82/329.22 c (328,1) cn[1][4] = 0
331.82/329.22 s SATISFIABLE
331.82/329.22 v <instantiation>
331.82/329.22 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>
331.82/329.22 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>
331.82/329.22 v </instantiation>
331.82/329.22 c (328,1) Show results End
331.82/329.22 c (328,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
331.82/329.22 c (328,1) 0,0,0,0,0,0,1,328,328,STOP-AFTER(ALL)
331.82/329.22 c END-Prog: Mon Jul 23 13:28:25 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 (2843 MiB free)
memory of node 1: 16384 MiB (11583 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293421-1532344975/watcher-4293421-1532344975 -o /tmp/evaluation-result-4293421-1532344975/solver-4293421-1532344975 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2303 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293421-1532344975.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=5424, runsolver pid=5421
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 2.12 2.04 2.05 5/221 5439
/proc/meminfo: memFree=14711104/32770624 swapFree=67108860/67108860
[pid=5424] ppid=5421 vsize=15011656 memory=74940 CPUtime=0.11 cores=1,3,5,7
/proc/5424/stat : 5424 (java) S 5421 5424 2271 0 -1 1077944320 6996 0 0 0 10 1 0 0 20 0 15 0 52060713 15371935744 18735 33554432000 4194304 4196468 140731708277264 140731708259808 140545916026615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
/proc/5424/statm: 3752914 18735 2756 1 0 3715374 0
[pid=5424/tid=5426] ppid=5421 vsize=15011656 memory=4569930563881898899 CPUtime=0.09 cores=1,3,5,7
/proc/5424/task/5426/stat : 5426 (java) R 5421 5424 2271 0 -1 4202560 5241 0 0 0 8 1 0 0 20 0 15 0 52060713 15371935744 18933 33554432000 4194304 4196468 140731708277264 140545887852944 140545916038550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5427] ppid=5421 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5427/stat : 5427 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060715 15371935744 18933 33554432000 4194304 4196468 140731708277264 140545920269456 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5428] ppid=5421 vsize=15011656 memory=140149666059904 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5428/stat : 5428 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060715 15371935744 18933 33554432000 4194304 4196468 140731708277264 140545695972368 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5429] ppid=5421 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5429/stat : 5429 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060715 15371935744 18933 33554432000 4194304 4196468 140731708277264 140545694919568 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5430] ppid=5421 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5430/stat : 5430 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52060715 15371935744 18933 33554432000 4194304 4196468 140731708277264 140545693866768 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5431] ppid=5421 vsize=15011656 memory=140149666059904 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5431/stat : 5431 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060716 15371935744 18933 33554432000 4194304 4196468 140731708277264 140544954165616 140545916037762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5432] ppid=5421 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5432/stat : 5432 (java) S 5421 5424 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52060716 15371935744 18998 33554432000 4194304 4196468 140731708277264 140544483255328 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5433] ppid=5421 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5433/stat : 5433 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52060717 15371935744 18998 33554432000 4194304 4196468 140731708277264 140544214819696 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5434] ppid=5421 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5434/stat : 5434 (java) S 5421 5424 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52060719 15371935744 18998 33554432000 4194304 4196468 140731708277264 140543840311120 140545916045211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5435] ppid=5421 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5435/stat : 5435 (java) R 5421 5424 2271 0 -1 4202560 307 0 0 0 0 0 0 0 20 0 15 0 52060719 15371935744 18998 33554432000 4194304 4196468 140731708277264 140544885910384 140545916047962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5436] ppid=5421 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5436/stat : 5436 (java) S 5421 5424 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52060719 15371935744 18998 33554432000 4194304 4196468 140731708277264 140544884857584 140545916037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5437] ppid=5421 vsize=15011656 memory=140149666059904 CPUtime=0.01 cores=1,3,5,7
/proc/5424/task/5437/stat : 5437 (java) R 5421 5424 2271 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 52060719 15371935744 18998 33554432000 4194304 4196468 140731708277264 140544883804784 140545895336523 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5438] ppid=5421 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5438/stat : 5438 (java) S 5421 5424 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52060719 15371935744 18998 33554432000 4194304 4196468 140731708277264 140543342406368 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5439] ppid=5421 vsize=15011656 memory=140149666059904 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5439/stat : 5439 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52060719 15371935744 18998 33554432000 4194304 4196468 140731708277264 140544882752176 140545916037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74940 KiB
[startup+0.210711 s]*
/proc/loadavg: 2.12 2.04 2.05 4/221 5439
/proc/meminfo: memFree=14697648/32770624 swapFree=67108860/67108860
[pid=5424] ppid=5421 vsize=15011656 memory=86748 CPUtime=0.26 cores=1,3,5,7
/proc/5424/stat : 5424 (java) S 5421 5424 2271 0 -1 1077944320 10113 0 0 0 24 2 0 0 20 0 15 0 52060713 15371935744 21687 33554432000 4194304 4196468 140731708277264 140731708259808 140545916026615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
/proc/5424/statm: 3752914 21687 2880 1 0 3715374 0
[pid=5424/tid=5426] ppid=5421 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/5424/task/5426/stat : 5426 (java) R 5421 5424 2271 0 -1 4202560 8010 0 0 0 18 2 0 0 20 0 15 0 52060713 15371935744 21687 33554432000 4194304 4196468 140731708277264 140545887853008 140545916048541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5427] ppid=5421 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5427/stat : 5427 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060715 15371935744 21687 33554432000 4194304 4196468 140731708277264 140545920269456 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5428] ppid=5421 vsize=15011656 memory=3833600841027393184 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5428/stat : 5428 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060715 15371935744 21687 33554432000 4194304 4196468 140731708277264 140545695972368 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5429] ppid=5421 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5429/stat : 5429 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060715 15371935744 21687 33554432000 4194304 4196468 140731708277264 140545694919568 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5430] ppid=5421 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5430/stat : 5430 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52060715 15371935744 21687 33554432000 4194304 4196468 140731708277264 140545693866768 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5431] ppid=5421 vsize=15011656 memory=140149666059904 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5431/stat : 5431 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060716 15371935744 21687 33554432000 4194304 4196468 140731708277264 140544954165616 140545916037762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5432] ppid=5421 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5432/stat : 5432 (java) S 5421 5424 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52060716 15371935744 21687 33554432000 4194304 4196468 140731708277264 140544483255328 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5433] ppid=5421 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5433/stat : 5433 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52060717 15371935744 21687 33554432000 4194304 4196468 140731708277264 140544214819696 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5434] ppid=5421 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5434/stat : 5434 (java) S 5421 5424 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52060719 15371935744 21687 33554432000 4194304 4196468 140731708277264 140543840311120 140545916045211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5435] ppid=5421 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5424/task/5435/stat : 5435 (java) S 5421 5424 2271 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 15 0 52060719 15371935744 21687 33554432000 4194304 4196468 140731708277264 140544885910384 140545916037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5436] ppid=5421 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5436/stat : 5436 (java) S 5421 5424 2271 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 52060719 15371935744 21687 33554432000 4194304 4196468 140731708277264 140544884857584 140545916037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5437] ppid=5421 vsize=15011656 memory=140149666059904 CPUtime=0.03 cores=1,3,5,7
/proc/5424/task/5437/stat : 5437 (java) R 5421 5424 2271 0 -1 4202560 278 0 0 0 3 0 0 0 20 0 15 0 52060719 15371935744 21687 33554432000 4194304 4196468 140731708277264 140544883804784 140545894558988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5438] ppid=5421 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5438/stat : 5438 (java) S 5421 5424 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52060719 15371935744 21687 33554432000 4194304 4196468 140731708277264 140543342406368 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5439] ppid=5421 vsize=15011656 memory=140149666059904 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5439/stat : 5439 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52060719 15371935744 21711 33554432000 4194304 4196468 140731708277264 140544882752176 140545916037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86748 KiB
[startup+0.310866 s]*
/proc/loadavg: 2.12 2.04 2.05 3/221 5439
/proc/meminfo: memFree=14693988/32770624 swapFree=67108860/67108860
[pid=5424] ppid=5421 vsize=15011656 memory=90220 CPUtime=0.43 cores=1,3,5,7
/proc/5424/stat : 5424 (java) S 5421 5424 2271 0 -1 1077944320 10654 0 0 0 40 3 0 0 20 0 15 0 52060713 15371935744 22555 33554432000 4194304 4196468 140731708277264 140731708259808 140545916026615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
/proc/5424/statm: 3752914 22555 2984 1 0 3715374 0
[pid=5424/tid=5426] ppid=5421 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/5424/task/5426/stat : 5426 (java) R 5421 5424 2271 0 -1 4202560 8387 0 0 0 28 2 0 0 20 0 15 0 52060713 15371935744 22555 33554432000 4194304 4196468 140731708277264 140545887854240 140545897590144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5427] ppid=5421 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5427/stat : 5427 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060715 15371935744 22555 33554432000 4194304 4196468 140731708277264 140545920269456 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5428] ppid=5421 vsize=15011656 memory=4121691067513045024 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5428/stat : 5428 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060715 15371935744 22555 33554432000 4194304 4196468 140731708277264 140545695972368 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5429] ppid=5421 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5429/stat : 5429 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060715 15371935744 22555 33554432000 4194304 4196468 140731708277264 140545694919568 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5430] ppid=5421 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5430/stat : 5430 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52060715 15371935744 22555 33554432000 4194304 4196468 140731708277264 140545693866768 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5431] ppid=5421 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5431/stat : 5431 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060716 15371935744 22555 33554432000 4194304 4196468 140731708277264 140544954165616 140545916037762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5432] ppid=5421 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5432/stat : 5432 (java) S 5421 5424 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52060716 15371935744 22555 33554432000 4194304 4196468 140731708277264 140544483255328 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5433] ppid=5421 vsize=15011656 memory=140149666059904 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5433/stat : 5433 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52060717 15371935744 22555 33554432000 4194304 4196468 140731708277264 140544214819696 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5434] ppid=5421 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5434/stat : 5434 (java) S 5421 5424 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52060719 15371935744 22555 33554432000 4194304 4196468 140731708277264 140543840311120 140545916045211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5435] ppid=5421 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5424/task/5435/stat : 5435 (java) S 5421 5424 2271 0 -1 1077944384 564 0 0 0 2 0 0 0 20 0 15 0 52060719 15371935744 22555 33554432000 4194304 4196468 140731708277264 140544885910384 140545916037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5436] ppid=5421 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5424/task/5436/stat : 5436 (java) S 5421 5424 2271 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 15 0 52060719 15371935744 22555 33554432000 4194304 4196468 140731708277264 140544884857584 140545916037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5437] ppid=5421 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5424/task/5437/stat : 5437 (java) S 5421 5424 2271 0 -1 1077944384 298 0 0 0 7 0 0 0 20 0 15 0 52060719 15371935744 22555 33554432000 4194304 4196468 140731708277264 140544883804784 140545916037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5438] ppid=5421 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5438/stat : 5438 (java) S 5421 5424 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52060719 15371935744 22555 33554432000 4194304 4196468 140731708277264 140543342406368 140545916036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5439] ppid=5421 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5439/stat : 5439 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52060719 15371935744 22555 33554432000 4194304 4196468 140731708277264 140544882752176 140545916037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90220 KiB
[startup+0.70074 s]
/proc/loadavg: 2.12 2.04 2.05 3/221 5439
/proc/meminfo: memFree=14669556/32770624 swapFree=67108860/67108860
[pid=5424] ppid=5421 vsize=15020052 memory=130136 CPUtime=1.01 cores=1,3,5,7
/proc/5424/stat : 5424 (java) S 5421 5424 2271 0 -1 1077944320 17763 0 0 0 96 5 0 0 20 0 15 0 52060713 15380533248 32534 33554432000 4194304 4196468 140731708277264 140731708259808 140545916026615 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
/proc/5424/statm: 3755013 32534 3158 1 0 3716398 0
[pid=5424/tid=5426] ppid=5421 vsize=15020052 memory=796 CPUtime=0.68 cores=1,3,5,7
/proc/5424/task/5426/stat : 5426 (java) R 5421 5424 2271 0 -1 4202560 15051 0 0 0 64 4 0 0 20 0 15 0 52060713 15380533248 32534 33554432000 4194304 4196468 140731708277264 140545887861680 140545900107102 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5427] ppid=5421 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5427/stat : 5427 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060715 15380533248 32534 33554432000 4194304 4196468 140731708277264 140545920269456 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5428] ppid=5421 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5428/stat : 5428 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060715 15380533248 32534 33554432000 4194304 4196468 140731708277264 140545695972368 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5429] ppid=5421 vsize=15020052 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5429/stat : 5429 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060715 15380533248 32534 33554432000 4194304 4196468 140731708277264 140545694919568 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5430] ppid=5421 vsize=15020052 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5430/stat : 5430 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52060715 15380533248 32534 33554432000 4194304 4196468 140731708277264 140545693866768 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5431] ppid=5421 vsize=15020052 memory=280299095500576 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5431/stat : 5431 (java) S 5421 5424 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52060716 15380533248 32534 33554432000 4194304 4196468 140731708277264 140544954165616 140545916037762 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5432] ppid=5421 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5432/stat : 5432 (java) S 5421 5424 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52060716 15380533248 32534 33554432000 4194304 4196468 140731708277264 140544483255328 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5433] ppid=5421 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5433/stat : 5433 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52060717 15380533248 32534 33554432000 4194304 4196468 140731708277264 140544214819696 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5434] ppid=5421 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5434/stat : 5434 (java) S 5421 5424 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52060719 15380533248 32534 33554432000 4194304 4196468 140731708277264 140543840311120 140545916045211 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5435] ppid=5421 vsize=15020052 memory=8380 CPUtime=0.09 cores=1,3,5,7
/proc/5424/task/5435/stat : 5435 (java) R 5421 5424 2271 0 -1 1077944384 781 0 0 0 9 0 0 0 20 0 15 0 52060719 15380533248 32534 33554432000 4194304 4196468 140731708277264 140544885910384 140545916037762 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5436] ppid=5421 vsize=15020052 memory=7307210974946176466 CPUtime=0.06 cores=1,3,5,7
/proc/5424/task/5436/stat : 5436 (java) S 5421 5424 2271 0 -1 1077944384 181 0 0 0 6 0 0 0 20 0 15 0 52060719 15380533248 32534 33554432000 4194304 4196468 140731708277264 140544884857584 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5437] ppid=5421 vsize=15020052 memory=7302135314614015847 CPUtime=0.16 cores=1,3,5,7
/proc/5424/task/5437/stat : 5437 (java) S 5421 5424 2271 0 -1 1077944384 409 0 0 0 16 0 0 0 20 0 15 0 52060719 15380533248 32534 33554432000 4194304 4196468 140731708277264 140544883804784 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5438] ppid=5421 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5438/stat : 5438 (java) S 5421 5424 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52060719 15380533248 32534 33554432000 4194304 4196468 140731708277264 140543342406368 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5439] ppid=5421 vsize=15020052 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5439/stat : 5439 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060719 15380533248 32534 33554432000 4194304 4196468 140731708277264 140544882752176 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130136 KiB
[startup+1.50076 s]
/proc/loadavg: 2.12 2.04 2.05 5/221 5439
/proc/meminfo: memFree=14643292/32770624 swapFree=67108860/67108860
[pid=5424] ppid=5421 vsize=15026264 memory=183020 CPUtime=2.97 cores=1,3,5,7
/proc/5424/stat : 5424 (java) S 5421 5424 2271 0 -1 1077944320 22251 0 0 0 290 7 0 0 20 0 15 0 52060713 15386894336 45755 33554432000 4194304 4196468 140731708277264 140731708259808 140545916026615 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
/proc/5424/statm: 3756566 45755 3216 1 0 3717422 0
[pid=5424/tid=5426] ppid=5421 vsize=15026264 memory=288230377108275491 CPUtime=1.47 cores=1,3,5,7
/proc/5424/task/5426/stat : 5426 (java) R 5421 5424 2271 0 -1 4202560 16387 0 0 0 142 5 0 0 20 0 15 0 52060713 15386894336 45755 33554432000 4194304 4196468 140731708277264 140545887861360 140545897432910 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5427] ppid=5421 vsize=15026264 memory=288293289789228285 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5427/stat : 5427 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060715 15386894336 45755 33554432000 4194304 4196468 140731708277264 140545920269456 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5428] ppid=5421 vsize=15026264 memory=288285580272600099 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5428/stat : 5428 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060715 15386894336 45755 33554432000 4194304 4196468 140731708277264 140545695972368 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5429] ppid=5421 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5429/stat : 5429 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52060715 15386894336 45755 33554432000 4194304 4196468 140731708277264 140545694919568 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5430] ppid=5421 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5430/stat : 5430 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52060715 15386894336 45755 33554432000 4194304 4196468 140731708277264 140545693866768 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5431] ppid=5421 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5431/stat : 5431 (java) S 5421 5424 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52060716 15386894336 45755 33554432000 4194304 4196468 140731708277264 140544954165616 140545916037762 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
################
# More data... #
################
[pid=5424/tid=5437] ppid=5421 vsize=15681864 memory=60020 CPUtime=0.81 cores=1,3,5,7
/proc/5424/task/5437/stat : 5437 (java) S 5421 5424 2271 0 -1 1077944384 2851 0 0 0 80 1 0 0 20 0 19 0 52060719 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544883804784 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5438] ppid=5421 vsize=15681864 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5438/stat : 5438 (java) S 5421 5424 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52060719 16058228736 77612 33554432000 4194304 4196468 140731708277264 140543342406368 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5439] ppid=5421 vsize=15681864 memory=-5059952977386882957 CPUtime=0.11 cores=1,3,5,7
/proc/5424/task/5439/stat : 5439 (java) S 5421 5424 2271 0 -1 1077944384 24 0 0 0 5 6 0 0 20 0 19 0 52060719 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544882752176 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5441] ppid=5421 vsize=15681864 memory=60020 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5441/stat : 5441 (java) S 5421 5424 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52060900 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544866817216 140545916051225 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5443] ppid=5421 vsize=15681864 memory=310448 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5443/stat : 5443 (java) S 5421 5424 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 52060901 16058228736 77612 33554432000 4194304 4196468 140731708277264 140542805523632 140545916048541 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5444] ppid=5421 vsize=15681864 memory=60020 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5444/stat : 5444 (java) S 5421 5424 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52060901 16058228736 77612 33554432000 4194304 4196468 140731708277264 140542537089072 140545916048541 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5445] ppid=5421 vsize=15681864 memory=928 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5445/stat : 5445 (java) S 5421 5424 2271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52060904 16058228736 77612 33554432000 4194304 4196468 140731708277264 140543073967776 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
Current children cumulated CPU time: 329.01 s
Current children cumulated vsize: 15757880 KiB
Current children cumulated memory: 370468 KiB
[startup+328.001 s]*
/proc/loadavg: 2.10 2.15 2.10 3/225 5452
/proc/meminfo: memFree=14409816/32770624 swapFree=67108860/67108860
[pid=5424] ppid=5421 vsize=15681864 memory=310448 CPUtime=4.47 cores=1,3,5,7
/proc/5424/stat : 5424 (java) S 5421 5424 2271 0 -1 1077944320 24068 0 0 0 431 16 0 0 20 0 19 0 52060713 16058228736 77612 33554432000 4194304 4196468 140731708277264 140731708259808 140545916026615 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
/proc/5424/statm: 3920466 77612 3225 1 0 3881322 0
[pid=5440] ppid=5424 vsize=76016 memory=60020 CPUtime=326.14 cores=1,3,5,7
/proc/5440/stat : 5440 (minisat_release) R 5424 5424 2271 0 -1 4202496 42852 0 0 0 32609 5 0 0 20 0 1 0 52060900 77840384 15005 33554432000 4194304 4308513 140727683414912 140727683411912 4264054 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 39796736 140727683416753 140727683417262 140727683417262 140727683420101 0
/proc/5440/statm: 19004 15005 354 28 0 15244 0
[pid=5424/tid=5426] ppid=5421 vsize=15681864 memory=-5059952977386882957 CPUtime=1.89 cores=1,3,5,7
/proc/5424/task/5426/stat : 5426 (java) S 5421 5424 2271 0 -1 1077944384 16820 0 0 0 182 7 0 0 20 0 19 0 52060713 16058228736 77612 33554432000 4194304 4196468 140731708277264 140545887865856 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5427] ppid=5421 vsize=15681864 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5427/stat : 5427 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52060715 16058228736 77612 33554432000 4194304 4196468 140731708277264 140545920269456 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5428] ppid=5421 vsize=15681864 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5428/stat : 5428 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52060715 16058228736 77612 33554432000 4194304 4196468 140731708277264 140545695972368 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5429] ppid=5421 vsize=15681864 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5429/stat : 5429 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52060715 16058228736 77612 33554432000 4194304 4196468 140731708277264 140545694919568 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5430] ppid=5421 vsize=15681864 memory=7528 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5430/stat : 5430 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52060715 16058228736 77612 33554432000 4194304 4196468 140731708277264 140545693866768 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5431] ppid=5421 vsize=15681864 memory=844 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5431/stat : 5431 (java) S 5421 5424 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52060716 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544954165616 140545916037762 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5432] ppid=5421 vsize=15681864 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5432/stat : 5432 (java) S 5421 5424 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52060716 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544483255328 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5433] ppid=5421 vsize=15681864 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5433/stat : 5433 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52060717 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544214819696 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5434] ppid=5421 vsize=15681864 memory=3456 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5434/stat : 5434 (java) S 5421 5424 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52060719 16058228736 77612 33554432000 4194304 4196468 140731708277264 140543840311120 140545916045211 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5435] ppid=5421 vsize=15681864 memory=1419188 CPUtime=0.82 cores=1,3,5,7
/proc/5424/task/5435/stat : 5435 (java) S 5421 5424 2271 0 -1 1077944384 2265 0 0 0 81 1 0 0 20 0 19 0 52060719 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544885910384 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5436] ppid=5421 vsize=15681864 memory=-5059952977386882957 CPUtime=0.8 cores=1,3,5,7
/proc/5424/task/5436/stat : 5436 (java) S 5421 5424 2271 0 -1 1077944384 714 0 0 0 80 0 0 0 20 0 19 0 52060719 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544884857584 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5437] ppid=5421 vsize=15681864 memory=4128 CPUtime=0.81 cores=1,3,5,7
/proc/5424/task/5437/stat : 5437 (java) S 5421 5424 2271 0 -1 1077944384 2851 0 0 0 80 1 0 0 20 0 19 0 52060719 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544883804784 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5438] ppid=5421 vsize=15681864 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5438/stat : 5438 (java) S 5421 5424 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52060719 16058228736 77612 33554432000 4194304 4196468 140731708277264 140543342406368 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5439] ppid=5421 vsize=15681864 memory=920 CPUtime=0.11 cores=1,3,5,7
/proc/5424/task/5439/stat : 5439 (java) S 5421 5424 2271 0 -1 1077944384 24 0 0 0 5 6 0 0 20 0 19 0 52060719 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544882752176 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5441] ppid=5421 vsize=15681864 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5441/stat : 5441 (java) S 5421 5424 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52060900 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544866817216 140545916051225 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5443] ppid=5421 vsize=15681864 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5443/stat : 5443 (java) S 5421 5424 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 52060901 16058228736 77612 33554432000 4194304 4196468 140731708277264 140542805523632 140545916048541 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5444] ppid=5421 vsize=15681864 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5444/stat : 5444 (java) S 5421 5424 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52060901 16058228736 77612 33554432000 4194304 4196468 140731708277264 140542537089072 140545916048541 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5445] ppid=5421 vsize=15681864 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5445/stat : 5445 (java) S 5421 5424 2271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52060904 16058228736 77612 33554432000 4194304 4196468 140731708277264 140543073967776 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
Current children cumulated CPU time: 330.61 s
Current children cumulated vsize: 15757880 KiB
Current children cumulated memory: 370468 KiB
[startup+328.801 s]
/proc/loadavg: 2.10 2.15 2.10 3/225 5452
/proc/meminfo: memFree=14409816/32770624 swapFree=67108860/67108860
[pid=5424] ppid=5421 vsize=15681864 memory=310448 CPUtime=4.47 cores=1,3,5,7
/proc/5424/stat : 5424 (java) S 5421 5424 2271 0 -1 1077944320 24068 0 0 0 431 16 0 0 20 0 19 0 52060713 16058228736 77612 33554432000 4194304 4196468 140731708277264 140731708259808 140545916026615 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
/proc/5424/statm: 3920466 77612 3225 1 0 3881322 0
[pid=5440] ppid=5424 vsize=76016 memory=60020 CPUtime=326.94 cores=1,3,5,7
/proc/5440/stat : 5440 (minisat_release) R 5424 5424 2271 0 -1 4202496 42860 0 0 0 32689 5 0 0 20 0 1 0 52060900 77840384 15005 33554432000 4194304 4308513 140727683414912 140727683411912 4276468 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 39796736 140727683416753 140727683417262 140727683417262 140727683420101 0
/proc/5440/statm: 19004 15005 354 28 0 15244 0
[pid=5424/tid=5426] ppid=5421 vsize=15681864 memory=-5059952977386882957 CPUtime=1.89 cores=1,3,5,7
/proc/5424/task/5426/stat : 5426 (java) S 5421 5424 2271 0 -1 1077944384 16820 0 0 0 182 7 0 0 20 0 19 0 52060713 16058228736 77612 33554432000 4194304 4196468 140731708277264 140545887865856 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5427] ppid=5421 vsize=15681864 memory=60020 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5427/stat : 5427 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52060715 16058228736 77612 33554432000 4194304 4196468 140731708277264 140545920269456 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5428] ppid=5421 vsize=15681864 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5428/stat : 5428 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52060715 16058228736 77612 33554432000 4194304 4196468 140731708277264 140545695972368 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5429] ppid=5421 vsize=15681864 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5429/stat : 5429 (java) S 5421 5424 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52060715 16058228736 77612 33554432000 4194304 4196468 140731708277264 140545694919568 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5430] ppid=5421 vsize=15681864 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5430/stat : 5430 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52060715 16058228736 77612 33554432000 4194304 4196468 140731708277264 140545693866768 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5431] ppid=5421 vsize=15681864 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5431/stat : 5431 (java) S 5421 5424 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52060716 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544954165616 140545916037762 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5432] ppid=5421 vsize=15681864 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5432/stat : 5432 (java) S 5421 5424 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52060716 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544483255328 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5433] ppid=5421 vsize=15681864 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5433/stat : 5433 (java) S 5421 5424 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52060717 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544214819696 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5434] ppid=5421 vsize=15681864 memory=920 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5434/stat : 5434 (java) S 5421 5424 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52060719 16058228736 77612 33554432000 4194304 4196468 140731708277264 140543840311120 140545916045211 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5435] ppid=5421 vsize=15681864 memory=3848 CPUtime=0.82 cores=1,3,5,7
/proc/5424/task/5435/stat : 5435 (java) S 5421 5424 2271 0 -1 1077944384 2265 0 0 0 81 1 0 0 20 0 19 0 52060719 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544885910384 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5436] ppid=5421 vsize=15681864 memory=1704 CPUtime=0.8 cores=1,3,5,7
/proc/5424/task/5436/stat : 5436 (java) S 5421 5424 2271 0 -1 1077944384 714 0 0 0 80 0 0 0 20 0 19 0 52060719 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544884857584 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5437] ppid=5421 vsize=15681864 memory=9924 CPUtime=0.81 cores=1,3,5,7
/proc/5424/task/5437/stat : 5437 (java) S 5421 5424 2271 0 -1 1077944384 2851 0 0 0 80 1 0 0 20 0 19 0 52060719 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544883804784 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5438] ppid=5421 vsize=15681864 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5438/stat : 5438 (java) S 5421 5424 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52060719 16058228736 77612 33554432000 4194304 4196468 140731708277264 140543342406368 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5439] ppid=5421 vsize=15681864 memory=1936 CPUtime=0.11 cores=1,3,5,7
/proc/5424/task/5439/stat : 5439 (java) S 5421 5424 2271 0 -1 1077944384 24 0 0 0 5 6 0 0 20 0 19 0 52060719 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544882752176 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5441] ppid=5421 vsize=15681864 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5441/stat : 5441 (java) S 5421 5424 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52060900 16058228736 77612 33554432000 4194304 4196468 140731708277264 140544866817216 140545916051225 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5443] ppid=5421 vsize=15681864 memory=8380 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5443/stat : 5443 (java) S 5421 5424 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 52060901 16058228736 77612 33554432000 4194304 4196468 140731708277264 140542805523632 140545916048541 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5444] ppid=5421 vsize=15681864 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5444/stat : 5444 (java) S 5421 5424 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52060901 16058228736 77612 33554432000 4194304 4196468 140731708277264 140542537089072 140545916048541 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5445] ppid=5421 vsize=15681864 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/5424/task/5445/stat : 5445 (java) S 5421 5424 2271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52060904 16058228736 77612 33554432000 4194304 4196468 140731708277264 140543073967776 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
Current children cumulated CPU time: 331.41 s
Current children cumulated vsize: 15757880 KiB
Current children cumulated memory: 370468 KiB
[startup+329.203 s]
/proc/loadavg: 2.10 2.15 2.10 3/225 5452
/proc/meminfo: memFree=14409816/32770624 swapFree=67108860/67108860
[pid=5424] ppid=5421 vsize=15681864 memory=310624 CPUtime=331.82 cores=1,3,5,7
/proc/5424/stat : 5424 (java) S 5421 5424 2271 0 -1 1077944320 24134 42881 0 0 433 16 32728 5 20 0 18 0 52060713 16058228736 77656 33554432000 4194304 4196468 140731708277264 140731708259808 140545916026615 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
/proc/5424/statm: 3920466 77656 3225 1 0 3881322 0
[pid=5424/tid=5426] ppid=5421 vsize=15681864 memory=310448 CPUtime=329.22 cores=1,3,5,7
/proc/5424/task/5426/stat : 5426 (java) S 5421 5424 2271 0 -1 1077944384 16820 42881 0 0 182 7 32728 5 20 0 18 0 52060713 16058228736 77656 33554432000 4194304 4196468 140731708277264 140545887865856 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5427] ppid=5421 vsize=15681864 memory=-5059952977386882957 CPUtime=327.33 cores=1,3,5,7
/proc/5424/task/5427/stat : 5427 (java) S 5421 5424 2271 0 -1 1077944384 2 42881 0 0 0 0 32728 5 20 0 18 0 52060715 16058228736 77656 33554432000 4194304 4196468 140731708277264 140545920269456 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5428] ppid=5421 vsize=15681864 memory=16098156739823870 CPUtime=327.33 cores=1,3,5,7
/proc/5424/task/5428/stat : 5428 (java) S 5421 5424 2271 0 -1 1077944384 2 42881 0 0 0 0 32728 5 20 0 18 0 52060715 16058228736 77656 33554432000 4194304 4196468 140731708277264 140545695972368 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5429] ppid=5421 vsize=15681864 memory=3748 CPUtime=327.33 cores=1,3,5,7
/proc/5424/task/5429/stat : 5429 (java) S 5421 5424 2271 0 -1 1077944384 2 42881 0 0 0 0 32728 5 20 0 18 0 52060715 16058228736 77656 33554432000 4194304 4196468 140731708277264 140545694919568 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5430] ppid=5421 vsize=15681864 memory=5956 CPUtime=327.33 cores=1,3,5,7
/proc/5424/task/5430/stat : 5430 (java) S 5421 5424 2271 0 -1 1077944384 1 42881 0 0 0 0 32728 5 20 0 18 0 52060715 16058228736 77656 33554432000 4194304 4196468 140731708277264 140545693866768 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5431] ppid=5421 vsize=15681864 memory=8164 CPUtime=327.33 cores=1,3,5,7
/proc/5424/task/5431/stat : 5431 (java) S 5421 5424 2271 0 -1 1077944384 5 42881 0 0 0 0 32728 5 20 0 18 0 52060716 16058228736 77656 33554432000 4194304 4196468 140731708277264 140544954165616 140545916037762 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5432] ppid=5421 vsize=15681864 memory=-5059952977386882957 CPUtime=327.33 cores=1,3,5,7
/proc/5424/task/5432/stat : 5432 (java) S 5421 5424 2271 0 -1 1077944384 13 42881 0 0 0 0 32728 5 20 0 18 0 52060716 16058228736 77656 33554432000 4194304 4196468 140731708277264 140544483255328 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5433] ppid=5421 vsize=15681864 memory=4420 CPUtime=327.33 cores=1,3,5,7
/proc/5424/task/5433/stat : 5433 (java) S 5421 5424 2271 0 -1 1077944384 1 42881 0 0 0 0 32728 5 20 0 18 0 52060717 16058228736 77656 33554432000 4194304 4196468 140731708277264 140544214819696 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5434] ppid=5421 vsize=15681864 memory=6628 CPUtime=327.33 cores=1,3,5,7
/proc/5424/task/5434/stat : 5434 (java) S 5421 5424 2271 0 -1 1077944384 3 42881 0 0 0 0 32728 5 20 0 18 0 52060719 16058228736 77656 33554432000 4194304 4196468 140731708277264 140543840311120 140545916045211 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5435] ppid=5421 vsize=15681864 memory=8836 CPUtime=328.15 cores=1,3,5,7
/proc/5424/task/5435/stat : 5435 (java) R 5421 5424 2271 0 -1 1077944384 2273 42881 0 0 81 1 32728 5 20 0 18 0 52060719 16058228736 77656 33554432000 4194304 4196468 140731708277264 140544885910384 140545916037762 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5436] ppid=5421 vsize=15681864 memory=11044 CPUtime=328.13 cores=1,3,5,7
/proc/5424/task/5436/stat : 5436 (java) S 5421 5424 2271 0 -1 1077944384 714 42881 0 0 80 0 32728 5 20 0 18 0 52060719 16058228736 77656 33554432000 4194304 4196468 140731708277264 140544884857584 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5437] ppid=5421 vsize=15681864 memory=13252 CPUtime=328.14 cores=1,3,5,7
/proc/5424/task/5437/stat : 5437 (java) R 5421 5424 2271 0 -1 4202560 2854 42881 0 0 80 1 32728 5 20 0 18 0 52060719 16058228736 77656 33554432000 4194304 4196468 140731708277264 140544883804784 140545900107102 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5438] ppid=5421 vsize=15681864 memory=54916 CPUtime=327.33 cores=1,3,5,7
/proc/5424/task/5438/stat : 5438 (java) S 5421 5424 2271 0 -1 1077944384 3 42881 0 0 0 0 32728 5 20 0 18 0 52060719 16058228736 77656 33554432000 4194304 4196468 140731708277264 140543342406368 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5439] ppid=5421 vsize=15681864 memory=57124 CPUtime=327.45 cores=1,3,5,7
/proc/5424/task/5439/stat : 5439 (java) S 5421 5424 2271 0 -1 1077944384 24 42881 0 0 6 6 32728 5 20 0 18 0 52060719 16058228736 77656 33554432000 4194304 4196468 140731708277264 140544882752176 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5441] ppid=5421 vsize=15681864 memory=59332 CPUtime=327.33 cores=1,3,5,7
/proc/5424/task/5441/stat : 5441 (java) S 5421 5424 2271 0 -1 1077944384 26 42881 0 0 0 0 32728 5 20 0 18 0 52060900 16058228736 77656 33554432000 4194304 4196468 140731708277264 140544866816400 140545916037762 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5443] ppid=5421 vsize=15681864 memory=7100839861465685612 CPUtime=327.33 cores=1,3,5,7
/proc/5424/task/5443/stat : 5443 (java) R 5421 5424 2271 0 -1 4202560 54 42881 0 0 0 0 32728 5 20 0 18 0 52060901 16058228736 77656 33554432000 4194304 4196468 140731708277264 140542805523632 140545916038550 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
[pid=5424/tid=5445] ppid=5421 vsize=15681864 memory=65956 CPUtime=327.33 cores=1,3,5,7
/proc/5424/task/5445/stat : 5445 (java) S 5421 5424 2271 0 -1 1077944384 23 42881 0 0 0 0 32728 5 20 0 18 0 52060904 16058228736 77656 33554432000 4194304 4196468 140731708277264 140543073967536 140545916036821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7655424 140731708285939 140731708286217 140731708286217 140731708288975 0
Current children cumulated CPU time: 331.82 s
Current children cumulated vsize: 15681864 KiB
Current children cumulated memory: 310624 KiB
Child status: 0
Real time (s): 329.23
CPU time (s): 331.888
CPU user time (s): 331.655
CPU system time (s): 0.23268
CPU usage (%): 100.807
Max. virtual memory (cumulated for all children) (KiB): 15764876
Max. memory (cumulated for all children) (KiB): 371492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 331.655
system time used= 0.23268
maximum resident set size= 313568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67099
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10495
involuntary context switches= 196
# summary of solver processes directly reported to runsolver:
# pid: 5424
# total CPU time (s): 331.888
# total CPU user time (s): 331.655
# total CPU system time (s): 0.23268
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.07766 second user time and 3.49481 second system time
The end