0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Jul 23 12:03:07 CEST 2018
0.66/0.55 c PID: 3544
0.66/0.55 c IP: 172.20.3.105
0.66/0.55 c HOST: node105.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.20/0.85 c (0,0) Parsing End
1.20/0.86 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 42 ctr, max domain size 8
1.20/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.86 c (0,0) Constraint Name Generate Begin
1.20/0.86 c (0,0) Ctr:HOME/instance-4292880-1532340186.xml,AllDifferent:IntVar
1.20/0.86 c (0,0) Constraint Name Generate End
1.20/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.87 c (0,0) CSP to CSPinCNF Begin
1.57/1.06 c (0,0) translated 5 (10%) constraints
1.57/1.11 c (0,0) translated 9 (20%) constraints
1.87/1.15 c (0,0) translated 13 (30%) constraints
1.87/1.18 c (0,0) translated 17 (40%) constraints
2.10/1.20 c (0,0) translated 21 (50%) constraints
2.10/1.21 c (0,0) translated 26 (60%) constraints
2.10/1.22 c (0,0) translated 30 (70%) constraints
2.10/1.23 c (0,0) translated 34 (80%) constraints
2.10/1.24 c (0,0) translated 38 (90%) constraints
2.10/1.24 c (0,0) translated 42 (100%) constraints
2.38/1.30 c (0,0) STATISTICS1:HOME/instance-4292880-1532340186.xml,AllDifferent:IntVar,64,812,8,8,8,2,8:728,8:1960,8:36;7:8;6:8;5:8;4:8;3:8;2:736,2:728;1:504,
2.38/1.30 c (0,0) ===========================================
2.38/1.30 c (0,0) Order
2.38/1.30 c (0,0) ===========================================
2.38/1.33 c (0,0) translated 82 (10%) constraints
2.38/1.34 c (0,0) translated 163 (20%) constraints
2.38/1.36 c (0,0) translated 244 (30%) constraints
2.38/1.36 c (0,0) translated 325 (40%) constraints
2.38/1.37 c (0,0) translated 406 (50%) constraints
2.38/1.38 c (0,0) translated 488 (60%) constraints
2.38/1.38 c (0,0) translated 569 (70%) constraints
2.38/1.39 c (0,0) translated 650 (80%) constraints
2.38/1.40 c (0,0) translated 731 (90%) constraints
2.68/1.41 c (0,0) translated 812 (100%) constraints
2.68/1.41 c (0,0) CSP to CSPinCNF End
2.68/1.41 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 812 ctr, max domain size 8
2.68/1.41 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.68/1.41 c (0,0) CSPinCNF Propagation Begin
2.68/1.43 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.68/1.43 c (0,0) CSPinCNF Propagation End
2.68/1.43 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 812 ctr, max domain size 8
2.68/1.43 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.68/1.43 c (0,0) Simplify CSPinCNF Begin
2.98/1.55 c (1,1) Simplify CSPinCNF End
2.98/1.56 c (1,1) CSP: 64 int (0 aux), 1456 bool (1456 aux), 2268 ctr, max domain size 8
2.98/1.56 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.98/1.56 c (1,1) Calculate Precise Domain Begin
2.98/1.56 c (1,1) 0 values are removed by re-calculation
2.98/1.56 c (1,1) Calculate Precise Domain End
2.98/1.56 c (1,1) CSP: 64 int (0 aux), 1456 bool (1456 aux), 2268 ctr, max domain size 8
2.98/1.56 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.98/1.56 c (1,1) CSPinCNF to SatSolver Begin
3.30/1.66 c (1,1) 227 (10 %) CSP clauses are encoded (1904 SAT variables, 1646 SAT clauses)
3.30/1.68 c (1,1) 454 (20 %) CSP clauses are encoded (1904 SAT variables, 2902 SAT clauses)
3.66/1.70 c (1,1) 681 (30 %) CSP clauses are encoded (1904 SAT variables, 4172 SAT clauses)
3.66/1.72 c (1,1) 908 (40 %) CSP clauses are encoded (1904 SAT variables, 5428 SAT clauses)
3.66/1.73 c (1,1) 1134 (50 %) CSP clauses are encoded (1904 SAT variables, 6683 SAT clauses)
3.66/1.74 c (1,1) 1361 (60 %) CSP clauses are encoded (1904 SAT variables, 7946 SAT clauses)
3.66/1.75 c (1,1) 1588 (70 %) CSP clauses are encoded (1904 SAT variables, 9195 SAT clauses)
3.66/1.76 c (1,1) 1815 (80 %) CSP clauses are encoded (1904 SAT variables, 10409 SAT clauses)
3.66/1.77 c (1,1) 2042 (90 %) CSP clauses are encoded (1904 SAT variables, 11623 SAT clauses)
3.66/1.79 c (1,1) 2268 (100 %) CSP clauses are encoded (1904 SAT variables, 12843 SAT clauses)
3.66/1.79 c (1,1) CSPinCNF to SatSolver End
3.66/1.79 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.97/1.82 c (1,1) STATISTICS2:HOME/instance-4292880-1532340186.xml,AllDifferent:IntVar,1520,2268,8,8,8,2,8:1456,8:3416;2:2912,8:36;7:8;6:8;5:8;4:8;3:8;2:2192,2:1456;1:3416,
3.97/1.82 c (1,1) SatSolver.solve Begin
3.97/1.82 c (1,1) 1904 bool, 12844 clause
3.97/1.82 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-4292880-1532340186.xml-scop-3544.cnf HOME/instance-4292880-1532340186.xml-scop-3544.cnf.out
1192.19/1189.01 c (1188,0) c This is COMiniSatPS.
1192.19/1189.01 c (1188,0) c WARNING: for repeatability, setting FPU to use double precision
1192.19/1189.01 c (1188,0) c ============================[ Problem Statistics ]=============================
1192.19/1189.01 c (1188,0) c | |
1192.19/1189.01 c (1188,0) c | Number of variables: 1904 |
1192.19/1189.01 c (1188,0) c | Number of clauses: 12844 |
1192.19/1189.01 c (1188,0) c | Parse time: 0.00 s |
1192.19/1189.01 c (1188,0) c | Eliminated clauses: 0.01 Mb |
1192.19/1189.01 c (1188,0) c Reduced to 1176 vars, 12116 cls (grow=0)
1192.19/1189.01 c (1188,0) c No iterative elimination performed. (vars=1176, c/v ratio=10.3)
1192.19/1189.01 c (1188,0) c | Simplification time: 0.01 s |
1192.19/1189.01 c (1188,0) c | |
1192.19/1189.01 c (1188,0) c ============================[ Search Statistics ]==============================
1192.19/1189.01 c (1188,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
1192.19/1189.01 c (1188,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1192.19/1189.01 c (1188,0) c ===============================================================================
1192.19/1189.01 c (1188,0) c ===============================================================================
1192.19/1189.01 c (1188,0) c restarts : 65
1192.19/1189.01 c (1188,0) c conflicts : 7210221 (6074 /sec)
1192.19/1189.01 c (1188,0) c decisions : 7841964 (0.00 % random) (6606 /sec)
1192.19/1189.01 c (1188,0) c propagations : 1213485594 (1022202 /sec)
1192.19/1189.01 c (1188,0) c conflict literals : 320014360 (20.82 % deleted)
1192.19/1189.01 c (1188,0) c CPU time : 1187.13 s
1192.19/1189.01 c (1188,0)
1192.19/1189.01 c (1188,0) s UNSATISFIABLE
1192.19/1189.01 c (1188,1) SatSolver.solve End
1192.19/1189.01 c (1188,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
1192.19/1189.01 c (1188,1) Show results Begin
1192.19/1189.01 s UNSATISFIABLE
1192.19/1189.01 c (1188,1) Show results End
1192.19/1189.01 c (1188,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
1192.19/1189.01 c (1188,1) 0,0,0,0,1,1,1,1188,1188,STOP-AFTER(ALL)
1192.19/1189.01 c END-Prog: Mon Jul 23 12:22:56 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 (4341 MiB free)
memory of node 1: 16384 MiB (11015 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292880-1532340186/watcher-4292880-1532340186 -o /tmp/evaluation-result-4292880-1532340186/solver-4292880-1532340186 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4292880-1532340186.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3544, runsolver pid=3541
[startup+0.100591 s]*
/proc/loadavg: 2.00 2.01 2.05 3/221 3559
/proc/meminfo: memFree=15663992/32770624 swapFree=67108860/67108860
[pid=3544] ppid=3541 vsize=15011656 memory=73492 CPUtime=0.11 cores=0,2,4,6
/proc/3544/stat : 3544 (java) S 3541 3544 2271 0 -1 1077944320 6013 0 0 0 9 2 0 0 20 0 15 0 51581817 15371935744 18373 33554432000 4194304 4196468 140720883766176 140720883748720 140596240121591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
/proc/3544/statm: 3752914 18373 2780 1 0 3715374 0
[pid=3544/tid=3546] ppid=3541 vsize=15011656 memory=4283382436225717139 CPUtime=0.08 cores=0,2,4,6
/proc/3544/task/3546/stat : 3546 (java) R 3541 3544 2271 0 -1 4202560 4106 0 0 0 7 1 0 0 20 0 15 0 51581817 15371935744 18373 33554432000 4194304 4196468 140720883766176 140596211933576 140596223308400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3547] ppid=3541 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3547/stat : 3547 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581819 15371935744 18373 33554432000 4194304 4196468 140720883766176 140596244364432 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3548] ppid=3541 vsize=15011656 memory=139847231993472 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3548/stat : 3548 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51581819 15371935744 18373 33554432000 4194304 4196468 140720883766176 140596035447824 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3549] ppid=3541 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3549/stat : 3549 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581819 15371935744 18373 33554432000 4194304 4196468 140720883766176 140596034395024 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3550] ppid=3541 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3550/stat : 3550 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51581819 15371935744 18373 33554432000 4194304 4196468 140720883766176 140596033342224 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3551] ppid=3541 vsize=15011656 memory=139847231993472 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3551/stat : 3551 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51581820 15371935744 18373 33554432000 4194304 4196468 140720883766176 140595211241840 140596240132738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3552] ppid=3541 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3552/stat : 3552 (java) S 3541 3544 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51581821 15371935744 18373 33554432000 4194304 4196468 140720883766176 140594814903328 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3553] ppid=3541 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3553/stat : 3553 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581821 15371935744 18373 33554432000 4194304 4196468 140720883766176 140594546467696 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3554] ppid=3541 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3554/stat : 3554 (java) S 3541 3544 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51581823 15371935744 18373 33554432000 4194304 4196468 140720883766176 140594171959120 140596240140187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3555] ppid=3541 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3555/stat : 3555 (java) S 3541 3544 2271 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 51581823 15371935744 18373 33554432000 4194304 4196468 140720883766176 140595210189680 140596240132738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3556] ppid=3541 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3556/stat : 3556 (java) S 3541 3544 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51581823 15371935744 18373 33554432000 4194304 4196468 140720883766176 140595209136880 140596240132738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3557] ppid=3541 vsize=15011656 memory=139847231993472 CPUtime=0.01 cores=0,2,4,6
/proc/3544/task/3557/stat : 3557 (java) S 3541 3544 2271 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 51581823 15371935744 18373 33554432000 4194304 4196468 140720883766176 140595208084080 140596240132738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3558] ppid=3541 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3558/stat : 3558 (java) S 3541 3544 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51581824 15371935744 18373 33554432000 4194304 4196468 140720883766176 140593674054368 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3559] ppid=3541 vsize=15011656 memory=139847231993472 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3559/stat : 3559 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581824 15371935744 18373 33554432000 4194304 4196468 140720883766176 140595207031472 140596240132738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73492 KiB
[startup+0.210556 s]*
/proc/loadavg: 2.00 2.01 2.05 3/221 3559
/proc/meminfo: memFree=15651048/32770624 swapFree=67108860/67108860
[pid=3544] ppid=3541 vsize=15011656 memory=86596 CPUtime=0.25 cores=0,2,4,6
/proc/3544/stat : 3544 (java) S 3541 3544 2271 0 -1 1077944320 9545 0 0 0 22 3 0 0 20 0 15 0 51581817 15371935744 21649 33554432000 4194304 4196468 140720883766176 140720883748720 140596240121591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
/proc/3544/statm: 3752914 21649 2891 1 0 3715374 0
[pid=3544/tid=3546] ppid=3541 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/3544/task/3546/stat : 3546 (java) R 3541 3544 2271 0 -1 4202560 7459 0 0 0 17 2 0 0 20 0 15 0 51581817 15371935744 21649 33554432000 4194304 4196468 140720883766176 140596211946960 140596240143517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3547] ppid=3541 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3547/stat : 3547 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581819 15371935744 21649 33554432000 4194304 4196468 140720883766176 140596244364432 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3548] ppid=3541 vsize=15011656 memory=3833600538593326752 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3548/stat : 3548 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51581819 15371935744 21649 33554432000 4194304 4196468 140720883766176 140596035447824 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3549] ppid=3541 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3549/stat : 3549 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581819 15371935744 21649 33554432000 4194304 4196468 140720883766176 140596034395024 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3550] ppid=3541 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3550/stat : 3550 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51581819 15371935744 21649 33554432000 4194304 4196468 140720883766176 140596033342224 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3551] ppid=3541 vsize=15011656 memory=139847231993472 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3551/stat : 3551 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51581820 15371935744 21649 33554432000 4194304 4196468 140720883766176 140595211241840 140596240132738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3552] ppid=3541 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3552/stat : 3552 (java) S 3541 3544 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51581821 15371935744 21649 33554432000 4194304 4196468 140720883766176 140594814903328 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3553] ppid=3541 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3553/stat : 3553 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581821 15371935744 21649 33554432000 4194304 4196468 140720883766176 140594546467696 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3554] ppid=3541 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3554/stat : 3554 (java) S 3541 3544 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51581823 15371935744 21649 33554432000 4194304 4196468 140720883766176 140594171959120 140596240140187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3555] ppid=3541 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3555/stat : 3555 (java) S 3541 3544 2271 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 51581823 15371935744 21649 33554432000 4194304 4196468 140720883766176 140595210189680 140596240132738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3556] ppid=3541 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3556/stat : 3556 (java) R 3541 3544 2271 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 51581823 15371935744 21649 33554432000 4194304 4196468 140720883766176 140595209136880 140596240132738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3557] ppid=3541 vsize=15011656 memory=139847231993472 CPUtime=0.03 cores=0,2,4,6
/proc/3544/task/3557/stat : 3557 (java) R 3541 3544 2271 0 -1 4202560 291 0 0 0 3 0 0 0 20 0 15 0 51581823 15371935744 21649 33554432000 4194304 4196468 140720883766176 140595208084080 140596219585988 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3558] ppid=3541 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3558/stat : 3558 (java) S 3541 3544 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51581824 15371935744 21649 33554432000 4194304 4196468 140720883766176 140593674054368 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3559] ppid=3541 vsize=15011656 memory=139847231993472 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3559/stat : 3559 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581824 15371935744 21649 33554432000 4194304 4196468 140720883766176 140595207031472 140596240132738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86596 KiB
[startup+0.310538 s]*
/proc/loadavg: 2.00 2.01 2.05 3/221 3559
/proc/meminfo: memFree=15648448/32770624 swapFree=67108860/67108860
[pid=3544] ppid=3541 vsize=15011656 memory=90064 CPUtime=0.43 cores=0,2,4,6
/proc/3544/stat : 3544 (java) S 3541 3544 2271 0 -1 1077944320 10076 0 0 0 39 4 0 0 20 0 15 0 51581817 15371935744 22516 33554432000 4194304 4196468 140720883766176 140720883748720 140596240121591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
/proc/3544/statm: 3752914 22516 2987 1 0 3715374 0
[pid=3544/tid=3546] ppid=3541 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/3544/task/3546/stat : 3546 (java) R 3541 3544 2271 0 -1 4202560 7825 0 0 0 27 3 0 0 20 0 15 0 51581817 15371935744 22516 33554432000 4194304 4196468 140720883766176 140596211925744 140596224202078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3547] ppid=3541 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3547/stat : 3547 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581819 15371935744 22516 33554432000 4194304 4196468 140720883766176 140596244364432 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3548] ppid=3541 vsize=15011656 memory=4121691067513045024 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3548/stat : 3548 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51581819 15371935744 22516 33554432000 4194304 4196468 140720883766176 140596035447824 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3549] ppid=3541 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3549/stat : 3549 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581819 15371935744 22516 33554432000 4194304 4196468 140720883766176 140596034395024 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3550] ppid=3541 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3550/stat : 3550 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51581819 15371935744 22516 33554432000 4194304 4196468 140720883766176 140596033342224 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3551] ppid=3541 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3551/stat : 3551 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51581820 15371935744 22516 33554432000 4194304 4196468 140720883766176 140595211241840 140596240132738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3552] ppid=3541 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3552/stat : 3552 (java) S 3541 3544 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51581821 15371935744 22516 33554432000 4194304 4196468 140720883766176 140594814903328 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3553] ppid=3541 vsize=15011656 memory=139847231993472 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3553/stat : 3553 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581821 15371935744 22516 33554432000 4194304 4196468 140720883766176 140594546467696 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3554] ppid=3541 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3554/stat : 3554 (java) S 3541 3544 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51581823 15371935744 22516 33554432000 4194304 4196468 140720883766176 140594171959120 140596240140187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3555] ppid=3541 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3544/task/3555/stat : 3555 (java) S 3541 3544 2271 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 15 0 51581823 15371935744 22516 33554432000 4194304 4196468 140720883766176 140595210189680 140596240132738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3556] ppid=3541 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3544/task/3556/stat : 3556 (java) R 3541 3544 2271 0 -1 4202560 92 0 0 0 2 0 0 0 20 0 15 0 51581823 15371935744 22516 33554432000 4194304 4196468 140720883766176 140595209136880 140596226135905 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3557] ppid=3541 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3544/task/3557/stat : 3557 (java) S 3541 3544 2271 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 15 0 51581823 15371935744 22516 33554432000 4194304 4196468 140720883766176 140595208084080 140596240132738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3558] ppid=3541 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3558/stat : 3558 (java) S 3541 3544 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51581824 15371935744 22516 33554432000 4194304 4196468 140720883766176 140593674054368 140596240131797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3559] ppid=3541 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3559/stat : 3559 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581824 15371935744 22516 33554432000 4194304 4196468 140720883766176 140595207031472 140596240132738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90064 KiB
[startup+0.700797 s]
/proc/loadavg: 2.00 2.01 2.05 3/221 3559
/proc/meminfo: memFree=15624140/32770624 swapFree=67108860/67108860
[pid=3544] ppid=3541 vsize=15020052 memory=129836 CPUtime=1 cores=0,2,4,6
/proc/3544/stat : 3544 (java) S 3541 3544 2271 0 -1 1077944320 17153 0 0 0 93 7 0 0 20 0 15 0 51581817 15380533248 32459 33554432000 4194304 4196468 140720883766176 140720883748720 140596240121591 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
/proc/3544/statm: 3755013 32459 3168 1 0 3716398 0
[pid=3544/tid=3546] ppid=3541 vsize=15020052 memory=796 CPUtime=0.67 cores=0,2,4,6
/proc/3544/task/3546/stat : 3546 (java) R 3541 3544 2271 0 -1 4202560 14481 0 0 0 62 5 0 0 20 0 15 0 51581817 15380533248 32459 33554432000 4194304 4196468 140720883766176 140596211955088 140596224165221 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3547] ppid=3541 vsize=15020052 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3547/stat : 3547 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581819 15380533248 32459 33554432000 4194304 4196468 140720883766176 140596244364432 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3548] ppid=3541 vsize=15020052 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3548/stat : 3548 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51581819 15380533248 32459 33554432000 4194304 4196468 140720883766176 140596035447824 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3549] ppid=3541 vsize=15020052 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3549/stat : 3549 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581819 15380533248 32459 33554432000 4194304 4196468 140720883766176 140596034395024 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3550] ppid=3541 vsize=15020052 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3550/stat : 3550 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51581819 15380533248 32459 33554432000 4194304 4196468 140720883766176 140596033342224 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3551] ppid=3541 vsize=15020052 memory=279694176200480 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3551/stat : 3551 (java) S 3541 3544 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51581820 15380533248 32459 33554432000 4194304 4196468 140720883766176 140595211241840 140596240132738 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3552] ppid=3541 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3552/stat : 3552 (java) S 3541 3544 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51581821 15380533248 32459 33554432000 4194304 4196468 140720883766176 140594814903328 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3553] ppid=3541 vsize=15020052 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3553/stat : 3553 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581821 15380533248 32459 33554432000 4194304 4196468 140720883766176 140594546467696 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3554] ppid=3541 vsize=15020052 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3554/stat : 3554 (java) S 3541 3544 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51581823 15380533248 32459 33554432000 4194304 4196468 140720883766176 140594171959120 140596240140187 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3555] ppid=3541 vsize=15020052 memory=8380 CPUtime=0.09 cores=0,2,4,6
/proc/3544/task/3555/stat : 3555 (java) R 3541 3544 2271 0 -1 4202560 743 0 0 0 9 0 0 0 20 0 15 0 51581823 15380533248 32459 33554432000 4194304 4196468 140720883766176 140595210189680 140596219838727 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3556] ppid=3541 vsize=15020052 memory=7307210974946176466 CPUtime=0.06 cores=0,2,4,6
/proc/3544/task/3556/stat : 3556 (java) R 3541 3544 2271 0 -1 1077944384 179 0 0 0 6 0 0 0 20 0 15 0 51581823 15380533248 32459 33554432000 4194304 4196468 140720883766176 140595209126992 140596240131797 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3557] ppid=3541 vsize=15020052 memory=7302135314614015847 CPUtime=0.15 cores=0,2,4,6
/proc/3544/task/3557/stat : 3557 (java) R 3541 3544 2271 0 -1 4202560 411 0 0 0 15 0 0 0 20 0 15 0 51581823 15380533248 32459 33554432000 4194304 4196468 140720883766176 140595208084080 140596233218427 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3558] ppid=3541 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3558/stat : 3558 (java) S 3541 3544 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51581824 15380533248 32459 33554432000 4194304 4196468 140720883766176 140593674054368 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3559] ppid=3541 vsize=15020052 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3559/stat : 3559 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581824 15380533248 32459 33554432000 4194304 4196468 140720883766176 140595207031472 140596240132738 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129836 KiB
[startup+1.50659 s]
/proc/loadavg: 2.00 2.01 2.05 3/221 3559
/proc/meminfo: memFree=15598472/32770624 swapFree=67108860/67108860
[pid=3544] ppid=3541 vsize=15024148 memory=184356 CPUtime=2.98 cores=0,2,4,6
/proc/3544/stat : 3544 (java) S 3541 3544 2271 0 -1 1077944320 21055 0 0 0 288 10 0 0 20 0 15 0 51581817 15384727552 46089 33554432000 4194304 4196468 140720883766176 140720883748720 140596240121591 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
/proc/3544/statm: 3756037 46089 3202 1 0 3717422 0
[pid=3544/tid=3546] ppid=3541 vsize=15024148 memory=288230377108275491 CPUtime=1.47 cores=0,2,4,6
/proc/3544/task/3546/stat : 3546 (java) R 3541 3544 2271 0 -1 4202560 15594 0 0 0 141 6 0 0 20 0 15 0 51581817 15384727552 46089 33554432000 4194304 4196468 140720883766176 140596211955680 140595705235607 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3547] ppid=3541 vsize=15024148 memory=288293289789228285 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3547/stat : 3547 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581819 15384727552 46089 33554432000 4194304 4196468 140720883766176 140596244364432 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3548] ppid=3541 vsize=15024148 memory=288285580272600099 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3548/stat : 3548 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51581819 15384727552 46089 33554432000 4194304 4196468 140720883766176 140596035447824 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3549] ppid=3541 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3549/stat : 3549 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51581819 15384727552 46089 33554432000 4194304 4196468 140720883766176 140596034395024 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3550] ppid=3541 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3550/stat : 3550 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51581819 15384727552 46089 33554432000 4194304 4196468 140720883766176 140596033342224 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3551] ppid=3541 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3551/stat : 3551 (java) S 3541 3544 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51581820 15384727552 46089 33554432000 4194304 4196468 140720883766176 140595211241840 140596240132738 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
################
# More data... #
################
/proc/3544/task/3559/stat : 3559 (java) S 3541 3544 2271 0 -1 1077944384 81 0 0 0 29 28 0 0 20 0 19 0 51581824 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595207031472 140596240132738 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3561] ppid=3541 vsize=15681864 memory=57324 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3561/stat : 3561 (java) S 3541 3544 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51582001 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595190764736 140596240146201 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3563] ppid=3541 vsize=15681864 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3563/stat : 3563 (java) S 3541 3544 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 51582001 16058228736 65030 33554432000 4194304 4196468 140720883766176 140593137171632 140596240143517 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3564] ppid=3541 vsize=15681864 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3564/stat : 3564 (java) S 3541 3544 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 51582002 16058228736 65030 33554432000 4194304 4196468 140720883766176 140592868737072 140596240143517 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3565] ppid=3541 vsize=15681864 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3565/stat : 3565 (java) S 3541 3544 2271 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 51582004 16058228736 65030 33554432000 4194304 4196468 140720883766176 140593405615776 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
Current children cumulated CPU time: 1190.37 s
Current children cumulated vsize: 15725672 KiB
Current children cumulated memory: 287404 KiB
[startup+1188 s]*
/proc/loadavg: 1.99 2.00 2.03 3/225 4581
/proc/meminfo: memFree=15470200/32770624 swapFree=67108860/67108860
[pid=3544] ppid=3541 vsize=15681864 memory=260120 CPUtime=4.99 cores=0,2,4,6
/proc/3544/stat : 3544 (java) S 3541 3544 2271 0 -1 1077944320 23479 0 0 0 462 37 0 0 20 0 19 0 51581817 16058228736 65030 33554432000 4194304 4196468 140720883766176 140720883748720 140596240121591 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
/proc/3544/statm: 3920466 65030 3227 1 0 3881322 0
[pid=3560] ppid=3544 vsize=50880 memory=32928 CPUtime=1186.2 cores=0,2,4,6
/proc/3560/stat : 3560 (minisat_release) R 3544 3544 2271 0 -1 4202496 88905 0 0 0 118612 8 0 0 20 0 1 0 51582001 52101120 8232 33554432000 4194304 4308513 140729724062048 140729724058952 4275995 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 34938880 140729724064433 140729724064942 140729724064942 140729724067781 0
/proc/3560/statm: 12720 8232 353 28 0 8960 0
[pid=3544/tid=3546] ppid=3541 vsize=15681864 memory=-5059952977386882957 CPUtime=1.85 cores=0,2,4,6
/proc/3544/task/3546/stat : 3546 (java) S 3541 3544 2271 0 -1 1077944384 16213 0 0 0 177 8 0 0 20 0 19 0 51581817 16058228736 65030 33554432000 4194304 4196468 140720883766176 140596211960832 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3547] ppid=3541 vsize=15681864 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3547/stat : 3547 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51581819 16058228736 65030 33554432000 4194304 4196468 140720883766176 140596244364432 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3548] ppid=3541 vsize=15681864 memory=83 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3548/stat : 3548 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51581819 16058228736 65030 33554432000 4194304 4196468 140720883766176 140596035447824 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3549] ppid=3541 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3549/stat : 3549 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51581819 16058228736 65030 33554432000 4194304 4196468 140720883766176 140596034395024 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3550] ppid=3541 vsize=15681864 memory=56 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3550/stat : 3550 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51581819 16058228736 65030 33554432000 4194304 4196468 140720883766176 140596033342224 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3551] ppid=3541 vsize=15681864 memory=60 CPUtime=0.02 cores=0,2,4,6
/proc/3544/task/3551/stat : 3551 (java) S 3541 3544 2271 0 -1 1077944384 7 0 0 0 1 1 0 0 20 0 19 0 51581820 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595211241840 140596240132738 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3552] ppid=3541 vsize=15681864 memory=3 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3552/stat : 3552 (java) S 3541 3544 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51581821 16058228736 65030 33554432000 4194304 4196468 140720883766176 140594814903328 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3553] ppid=3541 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3553/stat : 3553 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51581821 16058228736 65030 33554432000 4194304 4196468 140720883766176 140594546467696 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3554] ppid=3541 vsize=15681864 memory=4299 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3554/stat : 3554 (java) S 3541 3544 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51581823 16058228736 65030 33554432000 4194304 4196468 140720883766176 140594171959120 140596240140187 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3555] ppid=3541 vsize=15681864 memory=149 CPUtime=0.8 cores=0,2,4,6
/proc/3544/task/3555/stat : 3555 (java) S 3541 3544 2271 0 -1 1077944384 1260 0 0 0 79 1 0 0 20 0 19 0 51581823 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595210189680 140596240132738 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3556] ppid=3541 vsize=15681864 memory=498 CPUtime=0.87 cores=0,2,4,6
/proc/3544/task/3556/stat : 3556 (java) S 3541 3544 2271 0 -1 1077944384 1729 0 0 0 86 1 0 0 20 0 19 0 51581823 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595209136880 140596240132738 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3557] ppid=3541 vsize=15681864 memory=117858 CPUtime=0.83 cores=0,2,4,6
/proc/3544/task/3557/stat : 3557 (java) S 3541 3544 2271 0 -1 1077944384 2801 0 0 0 82 1 0 0 20 0 19 0 51581823 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595208084080 140596240132738 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3558] ppid=3541 vsize=15681864 memory=185 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3558/stat : 3558 (java) S 3541 3544 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51581824 16058228736 65030 33554432000 4194304 4196468 140720883766176 140593674054368 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3559] ppid=3541 vsize=15681864 memory=80 CPUtime=0.57 cores=0,2,4,6
/proc/3544/task/3559/stat : 3559 (java) S 3541 3544 2271 0 -1 1077944384 81 0 0 0 29 28 0 0 20 0 19 0 51581824 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595207031472 140596240132738 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3561] ppid=3541 vsize=15681864 memory=87 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3561/stat : 3561 (java) S 3541 3544 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51582001 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595190764736 140596240146201 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3563] ppid=3541 vsize=15681864 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3563/stat : 3563 (java) S 3541 3544 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 51582001 16058228736 65030 33554432000 4194304 4196468 140720883766176 140593137171632 140596240143517 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3564] ppid=3541 vsize=15681864 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3564/stat : 3564 (java) S 3541 3544 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 51582002 16058228736 65030 33554432000 4194304 4196468 140720883766176 140592868737072 140596240143517 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3565] ppid=3541 vsize=15681864 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3565/stat : 3565 (java) S 3541 3544 2271 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 51582004 16058228736 65030 33554432000 4194304 4196468 140720883766176 140593405615776 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
Current children cumulated CPU time: 1191.19 s
Current children cumulated vsize: 15732744 KiB
Current children cumulated memory: 293048 KiB
[startup+1188.8 s]
/proc/loadavg: 1.99 2.00 2.03 3/225 4581
/proc/meminfo: memFree=15470200/32770624 swapFree=67108860/67108860
[pid=3544] ppid=3541 vsize=15681864 memory=260120 CPUtime=4.99 cores=0,2,4,6
/proc/3544/stat : 3544 (java) S 3541 3544 2271 0 -1 1077944320 23479 0 0 0 462 37 0 0 20 0 19 0 51581817 16058228736 65030 33554432000 4194304 4196468 140720883766176 140720883748720 140596240121591 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
/proc/3544/statm: 3920466 65030 3227 1 0 3881322 0
[pid=3560] ppid=3544 vsize=50880 memory=32928 CPUtime=1186.99 cores=0,2,4,6
/proc/3560/stat : 3560 (minisat_release) R 3544 3544 2271 0 -1 4202496 88905 0 0 0 118691 8 0 0 20 0 1 0 51582001 52101120 8232 33554432000 4194304 4308513 140729724062048 140729724058952 4276465 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 34938880 140729724064433 140729724064942 140729724064942 140729724067781 0
/proc/3560/statm: 12720 8232 353 28 0 8960 0
[pid=3544/tid=3546] ppid=3541 vsize=15681864 memory=32928 CPUtime=1.85 cores=0,2,4,6
/proc/3544/task/3546/stat : 3546 (java) S 3541 3544 2271 0 -1 1077944384 16213 0 0 0 177 8 0 0 20 0 19 0 51581817 16058228736 65030 33554432000 4194304 4196468 140720883766176 140596211960832 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3547] ppid=3541 vsize=15681864 memory=57324 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3547/stat : 3547 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51581819 16058228736 65030 33554432000 4194304 4196468 140720883766176 140596244364432 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3548] ppid=3541 vsize=15681864 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3548/stat : 3548 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51581819 16058228736 65030 33554432000 4194304 4196468 140720883766176 140596035447824 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3549] ppid=3541 vsize=15681864 memory=960 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3549/stat : 3549 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51581819 16058228736 65030 33554432000 4194304 4196468 140720883766176 140596034395024 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3550] ppid=3541 vsize=15681864 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3550/stat : 3550 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51581819 16058228736 65030 33554432000 4194304 4196468 140720883766176 140596033342224 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3551] ppid=3541 vsize=15681864 memory=-5059952977386882957 CPUtime=0.02 cores=0,2,4,6
/proc/3544/task/3551/stat : 3551 (java) S 3541 3544 2271 0 -1 1077944384 7 0 0 0 1 1 0 0 20 0 19 0 51581820 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595211241840 140596240132738 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3552] ppid=3541 vsize=15681864 memory=57324 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3552/stat : 3552 (java) S 3541 3544 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51581821 16058228736 65030 33554432000 4194304 4196468 140720883766176 140594814903328 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3553] ppid=3541 vsize=15681864 memory=928 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3553/stat : 3553 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51581821 16058228736 65030 33554432000 4194304 4196468 140720883766176 140594546467696 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3554] ppid=3541 vsize=15681864 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3554/stat : 3554 (java) S 3541 3544 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51581823 16058228736 65030 33554432000 4194304 4196468 140720883766176 140594171959120 140596240140187 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3555] ppid=3541 vsize=15681864 memory=1936 CPUtime=0.8 cores=0,2,4,6
/proc/3544/task/3555/stat : 3555 (java) S 3541 3544 2271 0 -1 1077944384 1260 0 0 0 79 1 0 0 20 0 19 0 51581823 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595210189680 140596240132738 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3556] ppid=3541 vsize=15681864 memory=1196 CPUtime=0.87 cores=0,2,4,6
/proc/3544/task/3556/stat : 3556 (java) S 3541 3544 2271 0 -1 1077944384 1729 0 0 0 86 1 0 0 20 0 19 0 51581823 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595209136880 140596240132738 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3557] ppid=3541 vsize=15681864 memory=8380 CPUtime=0.83 cores=0,2,4,6
/proc/3544/task/3557/stat : 3557 (java) S 3541 3544 2271 0 -1 1077944384 2801 0 0 0 82 1 0 0 20 0 19 0 51581823 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595208084080 140596240132738 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3558] ppid=3541 vsize=15681864 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3558/stat : 3558 (java) S 3541 3544 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51581824 16058228736 65030 33554432000 4194304 4196468 140720883766176 140593674054368 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3559] ppid=3541 vsize=15681864 memory=1424 CPUtime=0.57 cores=0,2,4,6
/proc/3544/task/3559/stat : 3559 (java) S 3541 3544 2271 0 -1 1077944384 81 0 0 0 29 28 0 0 20 0 19 0 51581824 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595207031472 140596240132738 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3561] ppid=3541 vsize=15681864 memory=260120 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3561/stat : 3561 (java) S 3541 3544 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51582001 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595190764736 140596240146201 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3563] ppid=3541 vsize=15681864 memory=184548 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3563/stat : 3563 (java) S 3541 3544 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 51582001 16058228736 65030 33554432000 4194304 4196468 140720883766176 140593137171632 140596240143517 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3564] ppid=3541 vsize=15681864 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3564/stat : 3564 (java) S 3541 3544 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 51582002 16058228736 65030 33554432000 4194304 4196468 140720883766176 140592868737072 140596240143517 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3565] ppid=3541 vsize=15681864 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3565/stat : 3565 (java) S 3541 3544 2271 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 51582004 16058228736 65030 33554432000 4194304 4196468 140720883766176 140593405615776 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
Current children cumulated CPU time: 1191.98 s
Current children cumulated vsize: 15732744 KiB
Current children cumulated memory: 293048 KiB
[startup+1189 s]*
/proc/loadavg: 1.99 2.00 2.03 3/225 4581
/proc/meminfo: memFree=15469084/32770624 swapFree=67108860/67108860
[pid=3544] ppid=3541 vsize=15681864 memory=260120 CPUtime=4.99 cores=0,2,4,6
/proc/3544/stat : 3544 (java) S 3541 3544 2271 0 -1 1077944320 23479 0 0 0 462 37 0 0 20 0 19 0 51581817 16058228736 65030 33554432000 4194304 4196468 140720883766176 140720883748720 140596240121591 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
/proc/3544/statm: 3920466 65030 3227 1 0 3881322 0
[pid=3560] ppid=3544 vsize=50880 memory=32928 CPUtime=1187.2 cores=0,2,4,6
/proc/3560/stat : 3560 (minisat_release) R 3544 3544 2271 0 -1 4202496 88905 0 0 0 118712 8 0 0 20 0 1 0 51582001 52101120 8232 33554432000 4194304 4308513 140729724062048 140729724058952 4276123 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 34938880 140729724064433 140729724064942 140729724064942 140729724067781 0
/proc/3560/statm: 12720 8232 353 28 0 8960 0
[pid=3544/tid=3546] ppid=3541 vsize=15681864 memory=-5059952977386882957 CPUtime=1.85 cores=0,2,4,6
/proc/3544/task/3546/stat : 3546 (java) S 3541 3544 2271 0 -1 1077944384 16213 0 0 0 177 8 0 0 20 0 19 0 51581817 16058228736 65030 33554432000 4194304 4196468 140720883766176 140596211960832 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3547] ppid=3541 vsize=15681864 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3547/stat : 3547 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51581819 16058228736 65030 33554432000 4194304 4196468 140720883766176 140596244364432 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3548] ppid=3541 vsize=15681864 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3548/stat : 3548 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51581819 16058228736 65030 33554432000 4194304 4196468 140720883766176 140596035447824 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3549] ppid=3541 vsize=15681864 memory=920 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3549/stat : 3549 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51581819 16058228736 65030 33554432000 4194304 4196468 140720883766176 140596034395024 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3550] ppid=3541 vsize=15681864 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3550/stat : 3550 (java) S 3541 3544 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51581819 16058228736 65030 33554432000 4194304 4196468 140720883766176 140596033342224 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3551] ppid=3541 vsize=15681864 memory=2588 CPUtime=0.02 cores=0,2,4,6
/proc/3544/task/3551/stat : 3551 (java) S 3541 3544 2271 0 -1 1077944384 7 0 0 0 1 1 0 0 20 0 19 0 51581820 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595211241840 140596240132738 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3552] ppid=3541 vsize=15681864 memory=2884 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3552/stat : 3552 (java) S 3541 3544 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51581821 16058228736 65030 33554432000 4194304 4196468 140720883766176 140594814903328 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3553] ppid=3541 vsize=15681864 memory=2200 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3553/stat : 3553 (java) S 3541 3544 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51581821 16058228736 65030 33554432000 4194304 4196468 140720883766176 140594546467696 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3554] ppid=3541 vsize=15681864 memory=7528 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3554/stat : 3554 (java) S 3541 3544 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51581823 16058228736 65030 33554432000 4194304 4196468 140720883766176 140594171959120 140596240140187 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3555] ppid=3541 vsize=15681864 memory=844 CPUtime=0.8 cores=0,2,4,6
/proc/3544/task/3555/stat : 3555 (java) S 3541 3544 2271 0 -1 1077944384 1260 0 0 0 79 1 0 0 20 0 19 0 51581823 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595210189680 140596240132738 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3556] ppid=3541 vsize=15681864 memory=1412 CPUtime=0.87 cores=0,2,4,6
/proc/3544/task/3556/stat : 3556 (java) S 3541 3544 2271 0 -1 1077944384 1729 0 0 0 86 1 0 0 20 0 19 0 51581823 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595209136880 140596240132738 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3557] ppid=3541 vsize=15681864 memory=3448 CPUtime=0.83 cores=0,2,4,6
/proc/3544/task/3557/stat : 3557 (java) S 3541 3544 2271 0 -1 1077944384 2801 0 0 0 82 1 0 0 20 0 19 0 51581823 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595208084080 140596240132738 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3558] ppid=3541 vsize=15681864 memory=260120 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3558/stat : 3558 (java) S 3541 3544 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51581824 16058228736 65030 33554432000 4194304 4196468 140720883766176 140593674054368 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3559] ppid=3541 vsize=15681864 memory=27284 CPUtime=0.57 cores=0,2,4,6
/proc/3544/task/3559/stat : 3559 (java) S 3541 3544 2271 0 -1 1077944384 81 0 0 0 29 28 0 0 20 0 19 0 51581824 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595207031472 140596240132738 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3561] ppid=3541 vsize=15681864 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3561/stat : 3561 (java) S 3541 3544 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51582001 16058228736 65030 33554432000 4194304 4196468 140720883766176 140595190764736 140596240146201 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3563] ppid=3541 vsize=15681864 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3563/stat : 3563 (java) S 3541 3544 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 51582001 16058228736 65030 33554432000 4194304 4196468 140720883766176 140593137171632 140596240143517 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3564] ppid=3541 vsize=15681864 memory=2596 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3564/stat : 3564 (java) S 3541 3544 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 51582002 16058228736 65030 33554432000 4194304 4196468 140720883766176 140592868737072 140596240143517 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
[pid=3544/tid=3565] ppid=3541 vsize=15681864 memory=536136 CPUtime=0 cores=0,2,4,6
/proc/3544/task/3565/stat : 3565 (java) S 3541 3544 2271 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 51582004 16058228736 65030 33554432000 4194304 4196468 140720883766176 140593405615776 140596240131797 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10543104 140720883770355 140720883770633 140720883770633 140720883773391 0
Current children cumulated CPU time: 1192.19 s
Current children cumulated vsize: 15732744 KiB
Current children cumulated memory: 293048 KiB
Child status: 0
Real time (s): 1189.03
CPU time (s): 1192.23
CPU user time (s): 1191.76
CPU system time (s): 0.46822
CPU usage (%): 100.269
Max. virtual memory (cumulated for all children) (KiB): 15755840
Max. memory (cumulated for all children) (KiB): 317444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1191.76
system time used= 0.46822
maximum resident set size= 263004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112448
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28998
involuntary context switches= 1606
# summary of solver processes directly reported to runsolver:
# pid: 3544
# total CPU time (s): 1192.23
# total CPU user time (s): 1191.76
# total CPU system time (s): 0.46822
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.53375 second user time and 11.7056 second system time
The end