0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-9041-serial-file.bin HOME/instance-4305500-1534075134.xml
0.65/0.52
0.65/0.52 scop order+minisat_release (2018-07-31)
0.65/0.52 (Encoding Process)
0.65/0.52
0.65/0.55 c BEGIN-Prog: Sun Aug 12 13:58:54 CEST 2018
0.65/0.55 c PID: 9044
0.65/0.55 c IP: 172.20.3.151
0.65/0.55 c HOST: node151.alineos.net
0.65/0.55 c (0,0) Parsing Begin
1.72/1.06 c (0,0) Parsing End
1.72/1.06 c (0,0) CSP: 144 int (0 aux), 0 bool (0 aux), 803 ctr, max domain size 12
1.72/1.07 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.72/1.07 c (0,0) Constraint Name Generate Begin
1.72/1.08 c (0,0) Ctr:HOME/instance-4305500-1534075134.xml,ExtensionConflict:ExtensionSupport:IntVar
1.72/1.08 c (0,0) Constraint Name Generate End
1.72/1.08 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.72/1.08 c (0,0) CSP to CSPinCNF Begin
2.91/1.55 c (1,1) translated 81 (10%) constraints
3.19/1.67 c (1,1) translated 161 (20%) constraints
3.51/1.79 c (1,1) translated 241 (30%) constraints
4.12/1.90 c (1,1) translated 322 (40%) constraints
4.12/1.99 c (1,1) translated 402 (50%) constraints
4.46/2.08 c (1,1) translated 482 (60%) constraints
4.77/2.16 c (1,1) translated 563 (70%) constraints
5.04/2.23 c (1,1) translated 643 (80%) constraints
5.75/2.43 c (1,1) translated 723 (90%) constraints
5.75/2.49 c (1,1) translated 803 (100%) constraints
6.35/2.61 c (2,2) STATISTICS1:HOME/instance-4305500-1534075134.xml,ExtensionConflict:ExtensionSupport:IntVar,276,9900,-1,12,13,1,,12:36674;2:638,13:11;4:8591;3:220;2:1078,1:37312;0:11,
6.35/2.61 c (2,2) ==========================================
6.35/2.61 c (2,2) Order
6.35/2.61 c (2,2) ==========================================
6.35/2.66 c (2,2) translated 990 (10%) constraints
6.35/2.68 c (2,2) translated 1980 (20%) constraints
6.73/2.70 c (2,2) translated 2970 (30%) constraints
6.73/2.72 c (2,2) translated 3960 (40%) constraints
6.73/2.74 c (2,2) translated 4950 (50%) constraints
6.73/2.76 c (2,2) translated 5940 (60%) constraints
6.73/2.78 c (2,2) translated 6930 (70%) constraints
7.02/2.80 c (2,2) translated 7920 (80%) constraints
7.02/2.84 c (2,2) translated 8910 (90%) constraints
7.02/2.87 c (2,2) translated 9900 (100%) constraints
7.02/2.87 c (2,2) CSP to CSPinCNF End
7.02/2.87 c (2,2) CSP: 144 int (0 aux), 132 bool (132 aux), 9900 ctr, max domain size 12
7.02/2.87 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.02/2.87 c (2,2) CSPinCNF Propagation Begin
7.34/3.00 c (2,2) 0 values, 1595 unsatisfiable literals, and 0 valid clauses are removed
7.34/3.00 c (2,2) CSPinCNF Propagation End
7.69/3.01 c (2,2) CSP: 144 int (0 aux), 132 bool (132 aux), 9900 ctr, max domain size 12
7.69/3.01 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.69/3.01 c (2,2) Simplify CSPinCNF Begin
7.69/3.04 c (2,2) Simplify CSPinCNF End
7.69/3.04 c (2,2) CSP: 144 int (0 aux), 132 bool (132 aux), 9900 ctr, max domain size 12
7.69/3.04 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.69/3.04 c (2,2) Calculate Precise Domain Begin
7.69/3.04 c (2,2) 0 values are removed by re-calculation
7.69/3.04 c (2,2) Calculate Precise Domain End
7.69/3.04 c (2,2) CSP: 144 int (0 aux), 132 bool (132 aux), 9900 ctr, max domain size 12
7.69/3.04 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.69/3.04 c (2,2) CSPinCNF to SatSolver Begin
8.02/3.11 c (2,2) 990 (10 %) CSP clauses are encoded (1716 SAT variables, 2429 SAT clauses)
8.02/3.13 c (2,2) 1980 (20 %) CSP clauses are encoded (1716 SAT variables, 3419 SAT clauses)
8.02/3.15 c (2,2) 2970 (30 %) CSP clauses are encoded (1716 SAT variables, 4409 SAT clauses)
8.02/3.17 c (2,2) 3960 (40 %) CSP clauses are encoded (1716 SAT variables, 5399 SAT clauses)
8.02/3.19 c (2,2) 4950 (50 %) CSP clauses are encoded (1716 SAT variables, 6389 SAT clauses)
8.29/3.20 c (2,2) 5940 (60 %) CSP clauses are encoded (1716 SAT variables, 7379 SAT clauses)
8.29/3.22 c (2,2) 6930 (70 %) CSP clauses are encoded (1716 SAT variables, 8369 SAT clauses)
8.29/3.23 c (2,2) 7920 (80 %) CSP clauses are encoded (1716 SAT variables, 9359 SAT clauses)
8.29/3.25 c (2,2) 8910 (90 %) CSP clauses are encoded (1716 SAT variables, 10349 SAT clauses)
8.29/3.27 c (2,2) 9900 (100 %) CSP clauses are encoded (1716 SAT variables, 11339 SAT clauses)
8.29/3.27 c (2,2) Launch Command will be: minisat_release
8.29/3.27 c (2,2) CSPinCNF to SatSolver End
8.29/3.27 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.61/3.34 c (2,2) STATISTICS2:HOME/instance-4305500-1534075134.xml,ExtensionConflict:ExtensionSupport:IntVar,276,9900,-1,12,12,1,,12:35090;2:638,12:11;4:7799;3:220;2:1870,1:35728,
8.61/3.34 c (2,2) 1716 bool, 11340 clause
8.61/3.34 c (2,2) Export Begin
8.93/3.44 c (2,2) Export to HOME/scop-9041-serial-file.bin
8.93/3.44 c (2,2) Export End
8.93/3.44 c (2,2) Export File Size: 0.03 MB
8.93/3.44 c (2,2) 0,0,2,2,2,2,2,STOP-AFTER(DIMACS)
8.93/3.44 c END-Prog: Sun Aug 12 13:58:57 CEST 2018
8.93/3.45 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-9041-serial-file.bin
9.03/3.94 c (0,0) Read Serial File Begin
9.03/3.94 c (0,0) HOME/scop-9041-serial-file.bin
9.93/4.12 c (0,0) Read Serial File End
9.93/4.13
9.93/4.13 scop order+minisat_release (2018-07-31)
9.93/4.13 (Solving Process)
9.93/4.13
9.93/4.16 c BEGIN-Prog: Sun Aug 12 13:58:58 CEST 2018
9.93/4.16 c PID: 9059
9.93/4.16 c IP: 172.20.3.151
9.93/4.16 c HOST: node151.alineos.net
9.93/4.16 c (0,0) SatSolver.solve Begin
9.93/4.16 c (0,0) 0 bool, 0 clause
9.93/4.16 c (0,0) minisat_release HOME/instance-4305500-1534075134.xml-scop-9044.cnf
16.28/10.36 c (6,0) c This is COMiniSatPS.
16.28/10.36 c (6,0) c WARNING: for repeatability, setting FPU to use double precision
16.28/10.36 c (6,0) c ============================[ Problem Statistics ]=============================
16.28/10.36 c (6,0) c | |
16.28/10.36 c (6,0) c | Number of variables: 1716 |
16.28/10.36 c (6,0) c | Number of clauses: 11340 |
16.28/10.36 c (6,0) c | Parse time: 0.00 s |
16.28/10.36 c (6,0) c | Eliminated clauses: 0.00 Mb |
16.28/10.36 c (6,0) c Reduced to 1573 vars, 11040 cls (grow=0)
16.28/10.36 c (6,0) c No iterative elimination performed. (vars=1573, c/v ratio=7.0)
16.28/10.36 c (6,0) c | Simplification time: 0.00 s |
16.28/10.36 c (6,0) c | |
16.28/10.36 c (6,0) c ============================[ Search Statistics ]==============================
16.28/10.36 c (6,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
16.28/10.36 c (6,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
16.28/10.36 c (6,0) c ===============================================================================
16.28/10.36 c (6,0) c ===============================================================================
16.28/10.36 c (6,0) c restarts : 1035
16.28/10.36 c (6,0) c conflicts : 471890 (76641 /sec)
16.28/10.36 c (6,0) c decisions : 989054 (0.00 % random) (160636 /sec)
16.28/10.36 c (6,0) c propagations : 8867188 (1440150 /sec)
16.28/10.36 c (6,0) c conflict literals : 5107561 (11.92 % deleted)
16.28/10.36 c (6,0) c CPU time : 6.15713 s
16.28/10.36 c (6,0)
16.28/10.36 c (6,0) s UNSATISFIABLE
16.28/10.36 c (6,0) SatSolver.solve End
16.28/10.36 c (6,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
16.28/10.36 c (6,0) Show results Begin
16.28/10.36 s UNSATISFIABLE
16.28/10.36 c (6,0) Show results End
16.28/10.36 c (6,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
16.28/10.37 c (6,0) 6,6,STOP-AFTER(ALL)
16.28/10.37 c END-Prog: Sun Aug 12 13:59:04 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 (3043 MiB free)
memory of node 1: 16384 MiB (5517 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305500-1534075134/watcher-4305500-1534075134 -o /tmp/evaluation-result-4305500-1534075134/solver-4305500-1534075134 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305500-1534075134.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=9041, runsolver pid=9038
[startup+0.100091 s]*
/proc/loadavg: 2.52 2.22 2.11 3/222 9058
/proc/meminfo: memFree=8708204/32770624 swapFree=67108860/67108860
[pid=9041] ppid=9038 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9041/stat : 9041 (scop.sh) S 9038 9041 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225076584 115843072 349 33554432000 4194304 5098028 140728421433392 140728421430648 140162695197308 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10010624 140728421438528 140728421438727 140728421438727 140728421441485 0
/proc/9041/statm: 28282 349 296 221 0 87 0
[pid=9044] ppid=9041 vsize=15012476 memory=70052 CPUtime=0.1 cores=0,2,4,6
/proc/9044/stat : 9044 (java) S 9041 9041 3762 0 -1 1077944320 6124 0 0 0 9 1 0 0 20 0 15 0 225076584 15372775424 17448 33554432000 4194304 4196468 140727632574224 140727632556768 139870850031351 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
/proc/9044/statm: 3753119 17448 2743 1 0 3715579 0
[pid=9044/tid=9045] ppid=9041 vsize=15012476 memory=-6526411401870300574 CPUtime=0.09 cores=0,2,4,6
/proc/9044/task/9045/stat : 9045 (java) R 9041 9041 3762 0 -1 4202560 4217 0 0 0 8 1 0 0 20 0 15 0 225076584 15372775424 17513 33554432000 4194304 4196468 140727632574224 139870821843336 139870833218160 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9046] ppid=9041 vsize=15012476 memory=3472468042294277808 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9046/stat : 9046 (java) S 9041 9041 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225076586 15372775424 17513 33554432000 4194304 4196468 140727632574224 139870854273680 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9047] ppid=9041 vsize=15012476 memory=139746066597504 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9047/stat : 9047 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076586 15372775424 17513 33554432000 4194304 4196468 140727632574224 139870645357072 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9048] ppid=9041 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9048/stat : 9048 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076586 15372775424 17513 33554432000 4194304 4196468 140727632574224 139870644304272 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9049] ppid=9041 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9049/stat : 9049 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076586 15372775424 17513 33554432000 4194304 4196468 140727632574224 139870309005584 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9050] ppid=9041 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9050/stat : 9050 (java) S 9041 9041 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225076587 15372775424 17513 33554432000 4194304 4196468 140727632574224 139869820496752 139870850042498 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9051] ppid=9041 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9051/stat : 9051 (java) S 9041 9041 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225076588 15372775424 17513 33554432000 4194304 4196468 140727632574224 139869300975136 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9052] ppid=9041 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9052/stat : 9052 (java) S 9041 9041 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225076588 15372775424 17513 33554432000 4194304 4196468 140727632574224 139869166753136 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9053] ppid=9041 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9053/stat : 9053 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225076590 15372775424 17513 33554432000 4194304 4196468 140727632574224 139868792248656 139870850049947 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9054] ppid=9041 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9054/stat : 9054 (java) S 9041 9041 3762 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 225076590 15372775424 17513 33554432000 4194304 4196468 140727632574224 139869819443568 139870850042498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9055] ppid=9041 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9055/stat : 9055 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225076590 15372775424 17513 33554432000 4194304 4196468 140727632574224 139869818390768 139870850042498 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9056] ppid=9041 vsize=15012476 memory=139746066597504 CPUtime=0.01 cores=0,2,4,6
/proc/9044/task/9056/stat : 9056 (java) S 9041 9041 3762 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 225076590 15372775424 17513 33554432000 4194304 4196468 140727632574224 139869817337968 139870850042498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9057] ppid=9041 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9057/stat : 9057 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225076591 15372775424 17513 33554432000 4194304 4196468 140727632574224 139868294342880 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9058] ppid=9041 vsize=15012476 memory=139746066597504 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9058/stat : 9058 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076591 15372775424 17513 33554432000 4194304 4196468 140727632574224 139869816286384 139870850042498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71448 KiB
[startup+0.210428 s]*
/proc/loadavg: 2.52 2.22 2.11 3/222 9058
/proc/meminfo: memFree=8694376/32770624 swapFree=67108860/67108860
[pid=9041] ppid=9038 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9041/stat : 9041 (scop.sh) S 9038 9041 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225076584 115843072 349 33554432000 4194304 5098028 140728421433392 140728421430648 140162695197308 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10010624 140728421438528 140728421438727 140728421438727 140728421441485 0
/proc/9041/statm: 28282 349 296 221 0 87 0
[pid=9044] ppid=9041 vsize=15012476 memory=83332 CPUtime=0.24 cores=0,2,4,6
/proc/9044/stat : 9044 (java) S 9041 9041 3762 0 -1 1077944320 9766 0 0 0 22 2 0 0 20 0 15 0 225076584 15372775424 20833 33554432000 4194304 4196468 140727632574224 140727632556768 139870850031351 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
/proc/9044/statm: 3753119 20833 2869 1 0 3715579 0
[pid=9044/tid=9045] ppid=9041 vsize=15012476 memory=-8976644418600983157 CPUtime=0.2 cores=0,2,4,6
/proc/9044/task/9045/stat : 9045 (java) R 9041 9041 3762 0 -1 4202560 7636 0 0 0 18 2 0 0 20 0 15 0 225076584 15372775424 20833 33554432000 4194304 4196468 140727632574224 139870821844224 139870834074981 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9046] ppid=9041 vsize=15012476 memory=3472468042294277808 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9046/stat : 9046 (java) S 9041 9041 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225076586 15372775424 20833 33554432000 4194304 4196468 140727632574224 139870854273680 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9047] ppid=9041 vsize=15012476 memory=139746066597504 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9047/stat : 9047 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076586 15372775424 20833 33554432000 4194304 4196468 140727632574224 139870645357072 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9048] ppid=9041 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9048/stat : 9048 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076586 15372775424 20833 33554432000 4194304 4196468 140727632574224 139870644304272 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9049] ppid=9041 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9049/stat : 9049 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076586 15372775424 20833 33554432000 4194304 4196468 140727632574224 139870309005584 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9050] ppid=9041 vsize=15012476 memory=139746066597504 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9050/stat : 9050 (java) S 9041 9041 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225076587 15372775424 20833 33554432000 4194304 4196468 140727632574224 139869820496752 139870850042498 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9051] ppid=9041 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9051/stat : 9051 (java) S 9041 9041 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225076588 15372775424 20833 33554432000 4194304 4196468 140727632574224 139869300975136 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9052] ppid=9041 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9052/stat : 9052 (java) S 9041 9041 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225076588 15372775424 20833 33554432000 4194304 4196468 140727632574224 139869166753136 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9053] ppid=9041 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9053/stat : 9053 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225076590 15372775424 20833 33554432000 4194304 4196468 140727632574224 139868792248656 139870850049947 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9054] ppid=9041 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9054/stat : 9054 (java) S 9041 9041 3762 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 15 0 225076590 15372775424 20833 33554432000 4194304 4196468 140727632574224 139869819443568 139870850042498 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9055] ppid=9041 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9055/stat : 9055 (java) S 9041 9041 3762 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 225076590 15372775424 20833 33554432000 4194304 4196468 140727632574224 139869818390768 139870850042498 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9056] ppid=9041 vsize=15012476 memory=139746066597504 CPUtime=0.03 cores=0,2,4,6
/proc/9044/task/9056/stat : 9056 (java) R 9041 9041 3762 0 -1 4202560 310 0 0 0 3 0 0 0 20 0 15 0 225076590 15372775424 20833 33554432000 4194304 4196468 140727632574224 139869817337968 139870850043286 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9057] ppid=9041 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9057/stat : 9057 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225076591 15372775424 20833 33554432000 4194304 4196468 140727632574224 139868294342880 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9058] ppid=9041 vsize=15012476 memory=139746066597504 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9058/stat : 9058 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076591 15372775424 20833 33554432000 4194304 4196468 140727632574224 139869816286384 139870850042498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 84728 KiB
[startup+0.310444 s]*
/proc/loadavg: 2.52 2.22 2.11 3/222 9058
/proc/meminfo: memFree=8690080/32770624 swapFree=67108860/67108860
[pid=9041] ppid=9038 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9041/stat : 9041 (scop.sh) S 9038 9041 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225076584 115843072 349 33554432000 4194304 5098028 140728421433392 140728421430648 140162695197308 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10010624 140728421438528 140728421438727 140728421438727 140728421441485 0
/proc/9041/statm: 28282 349 296 221 0 87 0
[pid=9044] ppid=9041 vsize=15012476 memory=87544 CPUtime=0.42 cores=0,2,4,6
/proc/9044/stat : 9044 (java) S 9041 9041 3762 0 -1 1077944320 10373 0 0 0 39 3 0 0 20 0 15 0 225076584 15372775424 21886 33554432000 4194304 4196468 140727632574224 140727632556768 139870850031351 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
/proc/9044/statm: 3753119 21886 2981 1 0 3715579 0
[pid=9044/tid=9045] ppid=9041 vsize=15012476 memory=-8976644418600983157 CPUtime=0.29 cores=0,2,4,6
/proc/9044/task/9045/stat : 9045 (java) R 9041 9041 3762 0 -1 4202560 8073 0 0 0 27 2 0 0 20 0 15 0 225076584 15372775424 21886 33554432000 4194304 4196468 140727632574224 139870821826352 139870836219941 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9046] ppid=9041 vsize=15012476 memory=3472468042294277808 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9046/stat : 9046 (java) S 9041 9041 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225076586 15372775424 21886 33554432000 4194304 4196468 140727632574224 139870854273680 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9047] ppid=9041 vsize=15012476 memory=279492021603200 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9047/stat : 9047 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076586 15372775424 21886 33554432000 4194304 4196468 140727632574224 139870645357072 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9048] ppid=9041 vsize=15012476 memory=279491910043680 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9048/stat : 9048 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076586 15372775424 21886 33554432000 4194304 4196468 140727632574224 139870644304272 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9049] ppid=9041 vsize=15012476 memory=139745955005711 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9049/stat : 9049 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076586 15372775424 21886 33554432000 4194304 4196468 140727632574224 139870309005584 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9050] ppid=9041 vsize=15012476 memory=279492021610112 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9050/stat : 9050 (java) S 9041 9041 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225076587 15372775424 21886 33554432000 4194304 4196468 140727632574224 139869820496752 139870850042498 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9051] ppid=9041 vsize=15012476 memory=139745955010319 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9051/stat : 9051 (java) S 9041 9041 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225076588 15372775424 21886 33554432000 4194304 4196468 140727632574224 139869300975136 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9052] ppid=9041 vsize=15012476 memory=139745955020080 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9052/stat : 9052 (java) S 9041 9041 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225076588 15372775424 21886 33554432000 4194304 4196468 140727632574224 139869166753136 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9053] ppid=9041 vsize=15012476 memory=279491910052896 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9053/stat : 9053 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225076590 15372775424 21886 33554432000 4194304 4196468 140727632574224 139868792248656 139870850049947 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9054] ppid=9041 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9044/task/9054/stat : 9054 (java) S 9041 9041 3762 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 15 0 225076590 15372775424 21886 33554432000 4194304 4196468 140727632574224 139869819443568 139870850042498 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9055] ppid=9041 vsize=15012476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9044/task/9055/stat : 9055 (java) S 9041 9041 3762 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 15 0 225076590 15372775424 21886 33554432000 4194304 4196468 140727632574224 139869818390768 139870850042498 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9056] ppid=9041 vsize=15012476 memory=139746066597504 CPUtime=0.07 cores=0,2,4,6
/proc/9044/task/9056/stat : 9056 (java) S 9041 9041 3762 0 -1 1077944384 352 0 0 0 7 0 0 0 20 0 15 0 225076590 15372775424 21886 33554432000 4194304 4196468 140727632574224 139869817337968 139870850042498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9057] ppid=9041 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9057/stat : 9057 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225076591 15372775424 21886 33554432000 4194304 4196468 140727632574224 139868294342880 139870850041557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9058] ppid=9041 vsize=15012476 memory=139746066598900 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9058/stat : 9058 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076591 15372775424 21886 33554432000 4194304 4196468 140727632574224 139869816286384 139870850042498 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88940 KiB
[startup+0.700772 s]
/proc/loadavg: 2.52 2.22 2.11 4/222 9058
/proc/meminfo: memFree=8665648/32770624 swapFree=67108860/67108860
[pid=9041] ppid=9038 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9041/stat : 9041 (scop.sh) S 9038 9041 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225076584 115843072 349 33554432000 4194304 5098028 140728421433392 140728421430648 140162695197308 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10010624 140728421438528 140728421438727 140728421438727 140728421441485 0
/proc/9041/statm: 28282 349 296 221 0 87 0
[pid=9044] ppid=9041 vsize=15020872 memory=125264 CPUtime=1 cores=0,2,4,6
/proc/9044/stat : 9044 (java) S 9041 9041 3762 0 -1 1077944320 17506 0 0 0 96 4 0 0 20 0 15 0 225076584 15381372928 31316 33554432000 4194304 4196468 140727632574224 140727632556768 139870850031351 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
/proc/9044/statm: 3755218 31316 3158 1 0 3716603 0
[pid=9044/tid=9045] ppid=9041 vsize=15020872 memory=54 CPUtime=0.67 cores=0,2,4,6
/proc/9044/task/9045/stat : 9045 (java) R 9041 9041 3762 0 -1 4202560 14705 0 0 0 63 4 0 0 20 0 15 0 225076584 15381372928 31316 33554432000 4194304 4196468 140727632574224 139870821863248 139870834111838 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9046] ppid=9041 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9046/stat : 9046 (java) S 9041 9041 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225076586 15381372928 31316 33554432000 4194304 4196468 140727632574224 139870854273680 139870850041557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9047] ppid=9041 vsize=15020872 memory=8751464017575360309 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9047/stat : 9047 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076586 15381372928 31316 33554432000 4194304 4196468 140727632574224 139870645357072 139870850041557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9048] ppid=9041 vsize=15020872 memory=5788902676991533888 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9048/stat : 9048 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076586 15381372928 31316 33554432000 4194304 4196468 140727632574224 139870644304272 139870850041557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9049] ppid=9041 vsize=15020872 memory=6440526044186890340 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9049/stat : 9049 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076586 15381372928 31316 33554432000 4194304 4196468 140727632574224 139870309005584 139870850041557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9050] ppid=9041 vsize=15020872 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9050/stat : 9050 (java) S 9041 9041 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225076587 15381372928 31316 33554432000 4194304 4196468 140727632574224 139869820496752 139870850042498 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9051] ppid=9041 vsize=15020872 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9051/stat : 9051 (java) S 9041 9041 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225076588 15381372928 31316 33554432000 4194304 4196468 140727632574224 139869300975136 139870850041557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9052] ppid=9041 vsize=15020872 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9052/stat : 9052 (java) S 9041 9041 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225076588 15381372928 31316 33554432000 4194304 4196468 140727632574224 139869166753136 139870850041557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9053] ppid=9041 vsize=15020872 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9053/stat : 9053 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225076590 15381372928 31316 33554432000 4194304 4196468 140727632574224 139868792248656 139870850049947 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9054] ppid=9041 vsize=15020872 memory=4536 CPUtime=0.08 cores=0,2,4,6
/proc/9044/task/9054/stat : 9054 (java) S 9041 9041 3762 0 -1 1077944384 739 0 0 0 8 0 0 0 20 0 15 0 225076590 15381372928 31316 33554432000 4194304 4196468 140727632574224 139869819443568 139870850042498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9055] ppid=9041 vsize=15020872 memory=8448 CPUtime=0.08 cores=0,2,4,6
/proc/9044/task/9055/stat : 9055 (java) S 9041 9041 3762 0 -1 1077944384 198 0 0 0 8 0 0 0 20 0 15 0 225076590 15381372928 31316 33554432000 4194304 4196468 140727632574224 139869818390768 139870850042498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9056] ppid=9041 vsize=15020872 memory=1628 CPUtime=0.16 cores=0,2,4,6
/proc/9044/task/9056/stat : 9056 (java) S 9041 9041 3762 0 -1 1077944384 510 0 0 0 16 0 0 0 20 0 15 0 225076590 15381372928 31316 33554432000 4194304 4196468 140727632574224 139869817337968 139870850042498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9057] ppid=9041 vsize=15020872 memory=1144 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9057/stat : 9057 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225076591 15381372928 31316 33554432000 4194304 4196468 140727632574224 139868294342880 139870850041557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
[pid=9044/tid=9058] ppid=9041 vsize=15020872 memory=15244 CPUtime=0 cores=0,2,4,6
/proc/9044/task/9058/stat : 9058 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225076591 15381372928 31316 33554432000 4194304 4196468 140727632574224 139869816286384 139870850042498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727632581639 140727632581937 140727632581937 140727632584655 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 126660 KiB
[startup+1.50832 s]
/proc/loadavg: 2.52 2.22 2.11 4/222 9058
/proc/meminfo: memFree=8637560/32770624 swapFree=67108860/67108860
[pid=9041] ppid=9038 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9041/stat : 9041 (scop.sh) S 9038 9041 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225076584 115843072 349 33554432000 4194304 5098028 140728421433392 140728421430648 140162695197308 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10010624 140728421438528 140728421438727 140728421438727 140728421441485 0
/proc/9041/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 15.58 s
Current children cumulated vsize: 8226484 KiB
Current children cumulated memory: 146084 KiB
[startup+10.0009 s]*
/proc/loadavg: 2.52 2.23 2.12 3/227 9079
/proc/meminfo: memFree=8633240/32770624 swapFree=67108860/67108860
[pid=9041] ppid=9038 vsize=113128 memory=1472 CPUtime=9.03 cores=0,2,4,6
/proc/9041/stat : 9041 (scop.sh) S 9038 9041 3762 0 -1 4202496 589 27097 0 0 0 0 886 17 20 0 1 0 225076584 115843072 368 33554432000 4194304 5098028 140728421433392 140728421430136 140162695197308 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10010624 140728421438528 140728421438727 140728421438727 140728421441485 0
/proc/9041/statm: 28282 368 311 221 0 87 0
[pid=9059] ppid=9041 vsize=8068220 memory=116952 CPUtime=1.15 cores=0,2,4,6
/proc/9059/stat : 9059 (java) S 9041 9041 3762 0 -1 1077944320 18003 0 0 0 108 7 0 0 20 0 19 0 225076929 8261857280 29238 33554432000 4194304 4196468 140720450144352 140720450126896 139705006788343 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
/proc/9059/statm: 2017055 29238 3152 1 0 1978454 0
[pid=9074] ppid=9059 vsize=45136 memory=27660 CPUtime=5.81 cores=0,2,4,6
/proc/9074/stat : 9074 (minisat_release) R 9059 9041 3762 0 -1 4202496 11629 0 0 0 580 1 0 0 20 0 1 0 225077002 46219264 6915 33554432000 4194304 4308513 140730838201136 140730838198040 4275866 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 33906688 140730838209653 140730838209750 140730838209750 140730838212549 0
/proc/9074/statm: 11284 6915 341 28 0 7524 0
[pid=9059/tid=9060] ppid=9041 vsize=8068220 memory=-5059952977386882957 CPUtime=0.74 cores=0,2,4,6
/proc/9059/task/9060/stat : 9060 (java) S 9041 9041 3762 0 -1 1077944384 15015 0 0 0 69 5 0 0 20 0 19 0 225076930 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704978628496 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9061] ppid=9041 vsize=8068220 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9061/stat : 9061 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225076931 8261857280 29238 33554432000 4194304 4196468 140720450144352 139705011030800 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9062] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9062/stat : 9062 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225076931 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704819592080 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9063] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9063/stat : 9063 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225076931 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704818539536 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9064] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9064/stat : 9064 (java) S 9041 9041 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225076931 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704489991312 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9065] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9065/stat : 9065 (java) S 9041 9041 3762 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225076932 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704386140144 139705006799490 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9066] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9066/stat : 9066 (java) S 9041 9041 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225076933 8261857280 29238 33554432000 4194304 4196468 140720450144352 139703877624736 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9067] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9067/stat : 9067 (java) S 9041 9041 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225076933 8261857280 29238 33554432000 4194304 4196468 140720450144352 139703743402992 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9068] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9068/stat : 9068 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225076935 8261857280 29238 33554432000 4194304 4196468 140720450144352 139703368898768 139705006806939 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9069] ppid=9041 vsize=8068220 memory=7453010364803148914 CPUtime=0.09 cores=0,2,4,6
/proc/9059/task/9069/stat : 9069 (java) S 9041 9041 3762 0 -1 1077944384 597 0 0 0 9 0 0 0 20 0 19 0 225076935 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704385087984 139705006799490 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9070] ppid=9041 vsize=8068220 memory=7308482657560268730 CPUtime=0.06 cores=0,2,4,6
/proc/9059/task/9070/stat : 9070 (java) S 9041 9041 3762 0 -1 1077944384 355 0 0 0 6 0 0 0 20 0 19 0 225076935 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704384035440 139705006799490 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9071] ppid=9041 vsize=8068220 memory=9472 CPUtime=0.21 cores=0,2,4,6
/proc/9059/task/9071/stat : 9071 (java) S 9041 9041 3762 0 -1 1077944384 606 0 0 0 21 0 0 0 20 0 19 0 225076935 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704382982896 139705006799490 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9072] ppid=9041 vsize=8068220 memory=8099130767425185491 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9072/stat : 9072 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225076935 8261857280 29238 33554432000 4194304 4196468 140720450144352 139702870994016 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9073] ppid=9041 vsize=8068220 memory=8960 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9073/stat : 9073 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225076936 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704381929776 139705006799490 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9075] ppid=9041 vsize=8068220 memory=7235542027099816164 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9075/stat : 9075 (java) S 9041 9041 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225077002 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704374121536 139705006812953 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9077] ppid=9041 vsize=8068220 memory=8448 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9077/stat : 9077 (java) S 9041 9041 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225077002 8261857280 29238 33554432000 4194304 4196468 140720450144352 139702334107280 139705006810269 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9078] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9078/stat : 9078 (java) S 9041 9041 3762 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 225077003 8261857280 29238 33554432000 4194304 4196468 140720450144352 139702468329232 139705006810269 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9079] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9079/stat : 9079 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225077005 8261857280 29238 33554432000 4194304 4196468 140720450144352 139702065684000 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
Current children cumulated CPU time: 15.99 s
Current children cumulated vsize: 8226484 KiB
Current children cumulated memory: 146084 KiB
[startup+10.2009 s]
/proc/loadavg: 2.52 2.23 2.12 3/227 9079
/proc/meminfo: memFree=8633240/32770624 swapFree=67108860/67108860
[pid=9041] ppid=9038 vsize=113128 memory=1472 CPUtime=9.03 cores=0,2,4,6
/proc/9041/stat : 9041 (scop.sh) S 9038 9041 3762 0 -1 4202496 589 27097 0 0 0 0 886 17 20 0 1 0 225076584 115843072 368 33554432000 4194304 5098028 140728421433392 140728421430136 140162695197308 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10010624 140728421438528 140728421438727 140728421438727 140728421441485 0
/proc/9041/statm: 28282 368 311 221 0 87 0
[pid=9059] ppid=9041 vsize=8068220 memory=116952 CPUtime=1.15 cores=0,2,4,6
/proc/9059/stat : 9059 (java) S 9041 9041 3762 0 -1 1077944320 18003 0 0 0 108 7 0 0 20 0 19 0 225076929 8261857280 29238 33554432000 4194304 4196468 140720450144352 140720450126896 139705006788343 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
/proc/9059/statm: 2017055 29238 3152 1 0 1978454 0
[pid=9074] ppid=9059 vsize=45136 memory=27664 CPUtime=6 cores=0,2,4,6
/proc/9074/stat : 9074 (minisat_release) R 9059 9041 3762 0 -1 4202496 11732 0 0 0 599 1 0 0 20 0 1 0 225077002 46219264 6916 33554432000 4194304 4308513 140730838201136 140730838198040 4289173 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 33906688 140730838209653 140730838209750 140730838209750 140730838212549 0
/proc/9074/statm: 11284 6916 341 28 0 7524 0
[pid=9059/tid=9060] ppid=9041 vsize=8068220 memory=-3620173217431270332 CPUtime=0.74 cores=0,2,4,6
/proc/9059/task/9060/stat : 9060 (java) S 9041 9041 3762 0 -1 1077944384 15015 0 0 0 69 5 0 0 20 0 19 0 225076930 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704978628496 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9061] ppid=9041 vsize=8068220 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9061/stat : 9061 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225076931 8261857280 29238 33554432000 4194304 4196468 140720450144352 139705011030800 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9062] ppid=9041 vsize=8068220 memory=-2672971630493134941 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9062/stat : 9062 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225076931 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704819592080 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9063] ppid=9041 vsize=8068220 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9063/stat : 9063 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225076931 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704818539536 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9064] ppid=9041 vsize=8068220 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9064/stat : 9064 (java) S 9041 9041 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225076931 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704489991312 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9065] ppid=9041 vsize=8068220 memory=8514701219781834910 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9065/stat : 9065 (java) S 9041 9041 3762 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225076932 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704386140144 139705006799490 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9066] ppid=9041 vsize=8068220 memory=8996927271497266730 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9066/stat : 9066 (java) S 9041 9041 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225076933 8261857280 29238 33554432000 4194304 4196468 140720450144352 139703877624736 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9067] ppid=9041 vsize=8068220 memory=-9181546051567709026 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9067/stat : 9067 (java) S 9041 9041 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225076933 8261857280 29238 33554432000 4194304 4196468 140720450144352 139703743402992 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9068] ppid=9041 vsize=8068220 memory=7377828830819426121 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9068/stat : 9068 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225076935 8261857280 29238 33554432000 4194304 4196468 140720450144352 139703368898768 139705006806939 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9069] ppid=9041 vsize=8068220 memory=8292088564187963537 CPUtime=0.09 cores=0,2,4,6
/proc/9059/task/9069/stat : 9069 (java) S 9041 9041 3762 0 -1 1077944384 597 0 0 0 9 0 0 0 20 0 19 0 225076935 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704385087984 139705006799490 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9070] ppid=9041 vsize=8068220 memory=8128038100524242582 CPUtime=0.06 cores=0,2,4,6
/proc/9059/task/9070/stat : 9070 (java) S 9041 9041 3762 0 -1 1077944384 355 0 0 0 6 0 0 0 20 0 19 0 225076935 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704384035440 139705006799490 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9071] ppid=9041 vsize=8068220 memory=139746066597504 CPUtime=0.21 cores=0,2,4,6
/proc/9059/task/9071/stat : 9071 (java) S 9041 9041 3762 0 -1 1077944384 606 0 0 0 21 0 0 0 20 0 19 0 225076935 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704382982896 139705006799490 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9072] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9072/stat : 9072 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225076935 8261857280 29238 33554432000 4194304 4196468 140720450144352 139702870994016 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9073] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9073/stat : 9073 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225076936 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704381929776 139705006799490 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9075] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9075/stat : 9075 (java) S 9041 9041 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225077002 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704374121536 139705006812953 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9077] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9077/stat : 9077 (java) S 9041 9041 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225077002 8261857280 29238 33554432000 4194304 4196468 140720450144352 139702334107280 139705006810269 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9078] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9078/stat : 9078 (java) S 9041 9041 3762 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 225077003 8261857280 29238 33554432000 4194304 4196468 140720450144352 139702468329232 139705006810269 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9079] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9079/stat : 9079 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225077005 8261857280 29238 33554432000 4194304 4196468 140720450144352 139702065684000 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
Current children cumulated CPU time: 16.18 s
Current children cumulated vsize: 8226484 KiB
Current children cumulated memory: 146088 KiB
[startup+10.3009 s]
/proc/loadavg: 2.52 2.23 2.12 3/227 9079
/proc/meminfo: memFree=8633240/32770624 swapFree=67108860/67108860
[pid=9041] ppid=9038 vsize=113128 memory=1472 CPUtime=9.03 cores=0,2,4,6
/proc/9041/stat : 9041 (scop.sh) S 9038 9041 3762 0 -1 4202496 589 27097 0 0 0 0 886 17 20 0 1 0 225076584 115843072 368 33554432000 4194304 5098028 140728421433392 140728421430136 140162695197308 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10010624 140728421438528 140728421438727 140728421438727 140728421441485 0
/proc/9041/statm: 28282 368 311 221 0 87 0
[pid=9059] ppid=9041 vsize=8068220 memory=116952 CPUtime=1.15 cores=0,2,4,6
/proc/9059/stat : 9059 (java) S 9041 9041 3762 0 -1 1077944320 18003 0 0 0 108 7 0 0 20 0 19 0 225076929 8261857280 29238 33554432000 4194304 4196468 140720450144352 140720450126896 139705006788343 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
/proc/9059/statm: 2017055 29238 3152 1 0 1978454 0
[pid=9074] ppid=9059 vsize=45136 memory=27916 CPUtime=6.1 cores=0,2,4,6
/proc/9074/stat : 9074 (minisat_release) R 9059 9041 3762 0 -1 4202496 11872 0 0 0 609 1 0 0 20 0 1 0 225077002 46219264 6979 33554432000 4194304 4308513 140730838201136 140730838198136 4276146 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 33906688 140730838209653 140730838209750 140730838209750 140730838212549 0
/proc/9074/statm: 11284 6979 341 28 0 7524 0
[pid=9059/tid=9060] ppid=9041 vsize=8068220 memory=27660 CPUtime=0.74 cores=0,2,4,6
/proc/9059/task/9060/stat : 9060 (java) S 9041 9041 3762 0 -1 1077944384 15015 0 0 0 69 5 0 0 20 0 19 0 225076930 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704978628496 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9061] ppid=9041 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9061/stat : 9061 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225076931 8261857280 29238 33554432000 4194304 4196468 140720450144352 139705011030800 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9062] ppid=9041 vsize=8068220 memory=116952 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9062/stat : 9062 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225076931 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704819592080 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9063] ppid=9041 vsize=8068220 memory=27208 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9063/stat : 9063 (java) S 9041 9041 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225076931 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704818539536 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9064] ppid=9041 vsize=8068220 memory=116952 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9064/stat : 9064 (java) S 9041 9041 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225076931 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704489991312 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9065] ppid=9041 vsize=8068220 memory=27492 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9065/stat : 9065 (java) S 9041 9041 3762 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225076932 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704386140144 139705006799490 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9066] ppid=9041 vsize=8068220 memory=139745955296032 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9066/stat : 9066 (java) S 9041 9041 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225076933 8261857280 29238 33554432000 4194304 4196468 140720450144352 139703877624736 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9067] ppid=9041 vsize=8068220 memory=139745955055696 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9067/stat : 9067 (java) S 9041 9041 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225076933 8261857280 29238 33554432000 4194304 4196468 140720450144352 139703743402992 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9068] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9068/stat : 9068 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225076935 8261857280 29238 33554432000 4194304 4196468 140720450144352 139703368898768 139705006806939 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9069] ppid=9041 vsize=8068220 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9059/task/9069/stat : 9069 (java) S 9041 9041 3762 0 -1 1077944384 597 0 0 0 9 0 0 0 20 0 19 0 225076935 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704385087984 139705006799490 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9070] ppid=9041 vsize=8068220 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/9059/task/9070/stat : 9070 (java) S 9041 9041 3762 0 -1 1077944384 355 0 0 0 6 0 0 0 20 0 19 0 225076935 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704384035440 139705006799490 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9071] ppid=9041 vsize=8068220 memory=1396 CPUtime=0.21 cores=0,2,4,6
/proc/9059/task/9071/stat : 9071 (java) S 9041 9041 3762 0 -1 1077944384 606 0 0 0 21 0 0 0 20 0 19 0 225076935 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704382982896 139705006799490 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9072] ppid=9041 vsize=8068220 memory=153856 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9072/stat : 9072 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225076935 8261857280 29238 33554432000 4194304 4196468 140720450144352 139702870994016 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9073] ppid=9041 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9073/stat : 9073 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225076936 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704381929776 139705006799490 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9075] ppid=9041 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9075/stat : 9075 (java) S 9041 9041 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225077002 8261857280 29238 33554432000 4194304 4196468 140720450144352 139704374121536 139705006812953 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9077] ppid=9041 vsize=8068220 memory=55 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9077/stat : 9077 (java) S 9041 9041 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225077002 8261857280 29238 33554432000 4194304 4196468 140720450144352 139702334107280 139705006810269 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9078] ppid=9041 vsize=8068220 memory=139745955285920 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9078/stat : 9078 (java) S 9041 9041 3762 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 225077003 8261857280 29238 33554432000 4194304 4196468 140720450144352 139702468329232 139705006810269 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
[pid=9059/tid=9079] ppid=9041 vsize=8068220 memory=44324 CPUtime=0 cores=0,2,4,6
/proc/9059/task/9079/stat : 9079 (java) S 9041 9041 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225077005 8261857280 29238 33554432000 4194304 4196468 140720450144352 139702065684000 139705006798549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28971008 140720450147510 140720450147633 140720450147633 140720450150351 0
Current children cumulated CPU time: 16.28 s
Current children cumulated vsize: 8226484 KiB
Current children cumulated memory: 146340 KiB
Child status: 0
Real time (s): 10.3792
CPU time (s): 16.4
CPU user time (s): 16.1164
CPU system time (s): 0.28367
CPU usage (%): 158.009
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 737384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.1164
system time used= 0.28367
maximum resident set size= 741116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57661
page faults= 0
swaps= 0
block input operations= 0
block output operations= 688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5641
involuntary context switches= 42
# summary of solver processes directly reported to runsolver:
# pid: 9041
# total CPU time (s): 16.4
# total CPU user time (s): 16.1164
# total CPU system time (s): 0.28367
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.096495 second user time and 0.145727 second system time
The end