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-19127-serial-file.bin HOME/instance-4305531-1534068060.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 12:01:00 CEST 2018
0.66/0.55 c PID: 19130
0.66/0.55 c IP: 172.20.3.139
0.66/0.55 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
5.12/2.01 c (1,1) Parsing End
5.12/2.02 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 40
5.12/2.02 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.12/2.02 c (1,1) Constraint Name Generate Begin
5.12/2.06 c (1,1) Ctr:HOME/instance-4305531-1534068060.xml,Dist:Eq:IntVar:Le:Num
5.12/2.06 c (1,1) Constraint Name Generate End
5.12/2.06 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.12/2.06 c (1,1) CSP to CSPinCNF Begin
6.18/2.33 c (1,1) translated 411 (10%) constraints
6.51/2.41 c (1,1) translated 821 (20%) constraints
6.51/2.46 c (1,1) translated 1231 (30%) constraints
6.82/2.52 c (1,1) translated 1642 (40%) constraints
6.82/2.57 c (2,2) translated 2052 (50%) constraints
7.12/2.63 c (2,2) translated 2462 (60%) constraints
7.12/2.67 c (2,2) translated 2873 (70%) constraints
7.43/2.72 c (2,2) translated 3283 (80%) constraints
7.43/2.76 c (2,2) translated 3693 (90%) constraints
7.74/2.85 c (2,2) translated 4103 (100%) constraints
8.08/2.93 c (2,2) STATISTICS1:HOME/instance-4305531-1534068060.xml,Dist:Eq:IntVar:Le:Num,680,4783,40,40,2,2,40:3314;33:5144;22:368;6:60,40:9348;33:7956;22:404;6:64,2:4103;1:680,2:8886,
8.08/2.93 c (2,2) ==========================================
8.08/2.93 c (2,2) Order
8.08/2.93 c (2,2) ==========================================
8.08/2.96 c (2,2) translated 479 (10%) constraints
8.08/2.98 c (2,2) translated 957 (20%) constraints
8.08/3.00 c (2,2) translated 1435 (30%) constraints
8.44/3.02 c (2,2) translated 1914 (40%) constraints
8.44/3.04 c (2,2) translated 2392 (50%) constraints
8.44/3.06 c (2,2) translated 2870 (60%) constraints
8.44/3.08 c (2,2) translated 3349 (70%) constraints
8.44/3.09 c (2,2) translated 3827 (80%) constraints
8.74/3.11 c (2,2) translated 4305 (90%) constraints
8.74/3.12 c (2,2) translated 4783 (100%) constraints
8.74/3.13 c (2,2) CSP to CSPinCNF End
8.74/3.13 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 40
8.74/3.13 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.74/3.13 c (2,2) CSPinCNF Propagation Begin
10.92/4.52 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
10.92/4.52 c (3,3) CSPinCNF Propagation End
10.92/4.52 c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 40
10.92/4.52 c (3,3) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
10.92/4.52 c (3,3) Simplify CSPinCNF Begin
11.47/4.78 c (4,4) Simplify CSPinCNF End
11.47/4.79 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 40
11.47/4.79 c (4,4) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
11.47/4.79 c (4,4) Calculate Precise Domain Begin
11.47/4.79 c (4,4) 0 values are removed by re-calculation
11.47/4.79 c (4,4) Calculate Precise Domain End
11.47/4.79 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 40
11.47/4.79 c (4,4) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
11.47/4.79 c (4,4) CSPinCNF to SatSolver Begin
12.48/5.11 c (4,4) 1299 (10 %) CSP clauses are encoded (32054 SAT variables, 51964 SAT clauses)
13.06/5.22 c (4,4) 2598 (20 %) CSP clauses are encoded (32054 SAT variables, 80330 SAT clauses)
13.30/5.32 c (4,4) 3897 (30 %) CSP clauses are encoded (32054 SAT variables, 106604 SAT clauses)
13.55/5.43 c (4,4) 5196 (40 %) CSP clauses are encoded (32054 SAT variables, 135237 SAT clauses)
13.72/5.52 c (4,4) 6495 (50 %) CSP clauses are encoded (32054 SAT variables, 164767 SAT clauses)
13.84/5.60 c (5,5) 7794 (60 %) CSP clauses are encoded (32054 SAT variables, 195014 SAT clauses)
13.84/5.68 c (5,5) 9093 (70 %) CSP clauses are encoded (32054 SAT variables, 225087 SAT clauses)
13.95/5.76 c (5,5) 10392 (80 %) CSP clauses are encoded (32054 SAT variables, 255305 SAT clauses)
14.17/5.87 c (5,5) 11691 (90 %) CSP clauses are encoded (32054 SAT variables, 284527 SAT clauses)
14.35/5.94 c (5,5) 12989 (100 %) CSP clauses are encoded (32054 SAT variables, 311511 SAT clauses)
14.35/5.94 c (5,5) Launch Command will be: minisat_release
14.35/5.94 c (5,5) CSPinCNF to SatSolver End
14.35/5.94 c (5,5) Heap : 164 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
14.67/6.04 c (5,5) STATISTICS2:HOME/instance-4305531-1534068060.xml,Dist:Eq:IntVar:Le:Num,8886,12989,40,40,2,2,40:3314;33:5144;22:368;6:60,40:9348;33:7956;22:404;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
14.67/6.04 c (5,5) 32054 bool, 311523 clause
14.67/6.04 c (5,5) Export Begin
15.90/6.44 c (5,5) Export to HOME/scop-19127-serial-file.bin
15.90/6.44 c (5,5) Export End
15.90/6.44 c (5,5) Export File Size: 4.37 MB
15.90/6.44 c (5,5) 1,1,2,3,4,4,5,STOP-AFTER(DIMACS)
15.90/6.44 c END-Prog: Sun Aug 12 12:01:06 CEST 2018
15.90/6.46 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-19127-serial-file.bin
16.00/6.95 c (0,0) Read Serial File Begin
16.00/6.95 c (0,0) HOME/scop-19127-serial-file.bin
17.48/7.32 c (0,0) Read Serial File End
17.48/7.34
17.48/7.34 scop order+minisat_release (2018-07-31)
17.48/7.34 (Solving Process)
17.48/7.34
17.48/7.36 c BEGIN-Prog: Sun Aug 12 12:01:07 CEST 2018
17.48/7.36 c PID: 19168
17.48/7.36 c IP: 172.20.3.139
17.48/7.36 c HOST: node139.alineos.net
17.48/7.36 c (0,0) SatSolver.solve Begin
17.48/7.36 c (0,0) 0 bool, 0 clause
17.48/7.36 c (0,0) minisat_release HOME/instance-4305531-1534068060.xml-scop-19130.cnf
18.70/8.34 c (1,0) c This is COMiniSatPS.
18.70/8.34 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
18.70/8.34 c (1,0) c ============================[ Problem Statistics ]=============================
18.70/8.34 c (1,0) c | |
18.70/8.34 c (1,0) c | Number of variables: 32054 |
18.70/8.34 c (1,0) c | Number of clauses: 311523 |
18.70/8.34 c (1,0) c | Parse time: 0.10 s |
18.70/8.34 c (1,0) c | Eliminated clauses: 0.08 Mb |
18.70/8.34 c (1,0) c Reduced to 27843 vars, 306726 cls (grow=0)
18.70/8.34 c (1,0) c No iterative elimination performed. (vars=27843, c/v ratio=11.0)
18.70/8.34 c (1,0) c | Simplification time: 0.33 s |
18.70/8.34 c (1,0) c | |
18.70/8.34 c (1,0) c ============================[ Search Statistics ]==============================
18.70/8.34 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
18.70/8.34 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
18.70/8.34 c (1,0) c ===============================================================================
18.70/8.34 c (1,0) c ===============================================================================
18.70/8.34 c (1,0) c restarts : 12
18.70/8.34 c (1,0) c conflicts : 8620 (9255 /sec)
18.70/8.34 c (1,0) c decisions : 11406 (0.00 % random) (12246 /sec)
18.70/8.34 c (1,0) c propagations : 1586146 (1702990 /sec)
18.70/8.34 c (1,0) c conflict literals : 110520 (32.88 % deleted)
18.70/8.34 c (1,0) c CPU time : 0.931389 s
18.70/8.34 c (1,0)
18.70/8.34 c (1,0) s UNSATISFIABLE
18.70/8.34 c (1,0) SatSolver.solve End
18.70/8.34 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
18.70/8.34 c (1,0) Show results Begin
18.70/8.34 s UNSATISFIABLE
18.70/8.34 c (1,0) Show results End
18.70/8.34 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
18.70/8.35 c (1,0) 1,1,STOP-AFTER(ALL)
18.70/8.35 c END-Prog: Sun Aug 12 12:01:08 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 (4497 MiB free)
memory of node 1: 16384 MiB (5830 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305531-1534068060/watcher-4305531-1534068060 -o /tmp/evaluation-result-4305531-1534068060/solver-4305531-1534068060 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305531-1534068060.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19127, runsolver pid=19124
[startup+0.100142 s]*
/proc/loadavg: 2.85 2.27 2.13 3/222 19144
/proc/meminfo: memFree=10516752/32770624 swapFree=67108860/67108860
[pid=19127] ppid=19124 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/19127/stat : 19127 (scop.sh) S 19124 19127 16770 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224369160 115843072 348 33554432000 4194304 5098028 140729365232592 140729365229848 139806169973372 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40325120 140729365238848 140729365239047 140729365239047 140729365241805 0
/proc/19127/statm: 28282 348 296 221 0 87 0
[pid=19130] ppid=19127 vsize=15012476 memory=70296 CPUtime=0.11 cores=1,3,5,7
/proc/19130/stat : 19130 (java) S 19127 19127 16770 0 -1 1077944320 6710 0 0 0 9 2 0 0 20 0 15 0 224369160 15372775424 17574 33554432000 4194304 4196468 140720711519344 140720711501888 140492441931511 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
/proc/19130/statm: 3753119 17574 2769 1 0 3715579 0
[pid=19130/tid=19131] ppid=19127 vsize=15012476 memory=-6150928374978363329 CPUtime=0.09 cores=1,3,5,7
/proc/19130/task/19131/stat : 19131 (java) R 19127 19127 16770 0 -1 4202560 4776 0 0 0 7 2 0 0 20 0 15 0 224369160 15372775424 17574 33554432000 4194304 4196468 140720711519344 140492413743496 140492423495071 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19132] ppid=19127 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19132/stat : 19132 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224369162 15372775424 17574 33554432000 4194304 4196468 140720711519344 140492446174096 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19133] ppid=19127 vsize=15012476 memory=139784252180096 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19133/stat : 19133 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224369162 15372775424 17574 33554432000 4194304 4196468 140720711519344 140491902679824 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19134] ppid=19127 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19134/stat : 19134 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224369162 15372775424 17574 33554432000 4194304 4196468 140720711519344 140491901627536 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19135] ppid=19127 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19135/stat : 19135 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224369162 15372775424 17574 33554432000 4194304 4196468 140720711519344 140491900574736 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19136] ppid=19127 vsize=15012476 memory=139784252180096 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19136/stat : 19136 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224369163 15372775424 17574 33554432000 4194304 4196468 140720711519344 140491479582832 140492441942658 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19137] ppid=19127 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19137/stat : 19137 (java) S 19127 19127 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224369164 15372775424 17574 33554432000 4194304 4196468 140720711519344 140491064599328 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19138] ppid=19127 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19138/stat : 19138 (java) S 19127 19127 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224369164 15372775424 17574 33554432000 4194304 4196468 140720711519344 140490930377840 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19139] ppid=19127 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19139/stat : 19139 (java) S 19127 19127 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224369166 15372775424 17574 33554432000 4194304 4196468 140720711519344 140490555873360 140492441950107 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19140] ppid=19127 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19140/stat : 19140 (java) S 19127 19127 16770 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 224369166 15372775424 17574 33554432000 4194304 4196468 140720711519344 140491478530672 140492441942658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19141] ppid=19127 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19141/stat : 19141 (java) S 19127 19127 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224369166 15372775424 17574 33554432000 4194304 4196468 140720711519344 140491477477872 140492441942658 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19142] ppid=19127 vsize=15012476 memory=139784252180096 CPUtime=0.01 cores=1,3,5,7
/proc/19130/task/19142/stat : 19142 (java) S 19127 19127 16770 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 224369167 15372775424 17574 33554432000 4194304 4196468 140720711519344 140491476425584 140492441942658 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19143] ppid=19127 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19143/stat : 19143 (java) S 19127 19127 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224369167 15372775424 17574 33554432000 4194304 4196468 140720711519344 140490057968608 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19144] ppid=19127 vsize=15012476 memory=139784252180096 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19144/stat : 19144 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224369167 15372775424 17574 33554432000 4194304 4196468 140720711519344 140491475372464 140492441942658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71688 KiB
[startup+0.210591 s]*
/proc/loadavg: 2.85 2.27 2.13 4/222 19144
/proc/meminfo: memFree=10502428/32770624 swapFree=67108860/67108860
[pid=19127] ppid=19124 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/19127/stat : 19127 (scop.sh) S 19124 19127 16770 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224369160 115843072 348 33554432000 4194304 5098028 140729365232592 140729365229848 139806169973372 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40325120 140729365238848 140729365239047 140729365239047 140729365241805 0
/proc/19127/statm: 28282 348 296 221 0 87 0
[pid=19130] ppid=19127 vsize=15012476 memory=83612 CPUtime=0.25 cores=1,3,5,7
/proc/19130/stat : 19130 (java) S 19127 19127 16770 0 -1 1077944320 10331 0 0 0 22 3 0 0 20 0 15 0 224369160 15372775424 20903 33554432000 4194304 4196468 140720711519344 140720711501888 140492441931511 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
/proc/19130/statm: 3753119 20903 2903 1 0 3715579 0
[pid=19130/tid=19131] ppid=19127 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/19130/task/19131/stat : 19131 (java) R 19127 19127 16770 0 -1 4202560 8214 0 0 0 17 3 0 0 20 0 15 0 224369160 15372775424 20903 33554432000 4194304 4196468 140720711519344 140492413757904 140492425975141 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19132] ppid=19127 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19132/stat : 19132 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224369162 15372775424 20903 33554432000 4194304 4196468 140720711519344 140492446174096 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19133] ppid=19127 vsize=15012476 memory=139784253370142 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19133/stat : 19133 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224369162 15372775424 20903 33554432000 4194304 4196468 140720711519344 140491902679824 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19134] ppid=19127 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19134/stat : 19134 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224369162 15372775424 20903 33554432000 4194304 4196468 140720711519344 140491901627536 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19135] ppid=19127 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19135/stat : 19135 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224369162 15372775424 20903 33554432000 4194304 4196468 140720711519344 140491900574736 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19136] ppid=19127 vsize=15012476 memory=139784252180096 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19136/stat : 19136 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224369163 15372775424 20903 33554432000 4194304 4196468 140720711519344 140491479582832 140492441942658 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19137] ppid=19127 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19137/stat : 19137 (java) S 19127 19127 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224369164 15372775424 20903 33554432000 4194304 4196468 140720711519344 140491064599328 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19138] ppid=19127 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19138/stat : 19138 (java) S 19127 19127 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224369164 15372775424 20903 33554432000 4194304 4196468 140720711519344 140490930377840 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19139] ppid=19127 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19139/stat : 19139 (java) S 19127 19127 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224369166 15372775424 20903 33554432000 4194304 4196468 140720711519344 140490555873360 140492441950107 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19140] ppid=19127 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19130/task/19140/stat : 19140 (java) S 19127 19127 16770 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 15 0 224369166 15372775424 20903 33554432000 4194304 4196468 140720711519344 140491478530672 140492441942658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19141] ppid=19127 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19141/stat : 19141 (java) S 19127 19127 16770 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 224369166 15372775424 20903 33554432000 4194304 4196468 140720711519344 140491477477872 140492441942658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19142] ppid=19127 vsize=15012476 memory=139784252180096 CPUtime=0.03 cores=1,3,5,7
/proc/19130/task/19142/stat : 19142 (java) S 19127 19127 16770 0 -1 1077944384 288 0 0 0 3 0 0 0 20 0 15 0 224369167 15372775424 20903 33554432000 4194304 4196468 140720711519344 140491476425584 140492441942658 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19143] ppid=19127 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19143/stat : 19143 (java) S 19127 19127 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224369167 15372775424 20903 33554432000 4194304 4196468 140720711519344 140490057968608 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19144] ppid=19127 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19144/stat : 19144 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224369167 15372775424 20903 33554432000 4194304 4196468 140720711519344 140491475372464 140492441942658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85004 KiB
[startup+0.310444 s]*
/proc/loadavg: 2.85 2.27 2.13 3/222 19144
/proc/meminfo: memFree=10498396/32770624 swapFree=67108860/67108860
[pid=19127] ppid=19124 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/19127/stat : 19127 (scop.sh) S 19124 19127 16770 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224369160 115843072 348 33554432000 4194304 5098028 140729365232592 140729365229848 139806169973372 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40325120 140729365238848 140729365239047 140729365239047 140729365241805 0
/proc/19127/statm: 28282 348 296 221 0 87 0
[pid=19130] ppid=19127 vsize=15012476 memory=87532 CPUtime=0.42 cores=1,3,5,7
/proc/19130/stat : 19130 (java) S 19127 19127 16770 0 -1 1077944320 10948 0 0 0 39 3 0 0 20 0 15 0 224369160 15372775424 21883 33554432000 4194304 4196468 140720711519344 140720711501888 140492441931511 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
/proc/19130/statm: 3753119 21883 2975 1 0 3715579 0
[pid=19130/tid=19131] ppid=19127 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/19130/task/19131/stat : 19131 (java) R 19127 19127 16770 0 -1 4202560 8647 0 0 0 26 3 0 0 20 0 15 0 224369160 15372775424 21883 33554432000 4194304 4196468 140720711519344 140492413726960 140492426011998 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19132] ppid=19127 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19132/stat : 19132 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224369162 15372775424 21883 33554432000 4194304 4196468 140720711519344 140492446174096 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19133] ppid=19127 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19133/stat : 19133 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224369162 15372775424 21883 33554432000 4194304 4196468 140720711519344 140491902679824 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19134] ppid=19127 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19134/stat : 19134 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224369162 15372775424 21883 33554432000 4194304 4196468 140720711519344 140491901627536 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19135] ppid=19127 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19135/stat : 19135 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224369162 15372775424 21883 33554432000 4194304 4196468 140720711519344 140491900574736 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19136] ppid=19127 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19136/stat : 19136 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224369163 15372775424 21883 33554432000 4194304 4196468 140720711519344 140491479582832 140492441942658 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19137] ppid=19127 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19137/stat : 19137 (java) S 19127 19127 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224369164 15372775424 21883 33554432000 4194304 4196468 140720711519344 140491064599328 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19138] ppid=19127 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19138/stat : 19138 (java) S 19127 19127 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224369164 15372775424 21883 33554432000 4194304 4196468 140720711519344 140490930377840 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19139] ppid=19127 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19139/stat : 19139 (java) S 19127 19127 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224369166 15372775424 21883 33554432000 4194304 4196468 140720711519344 140490555873360 140492441950107 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19140] ppid=19127 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19130/task/19140/stat : 19140 (java) S 19127 19127 16770 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 224369166 15372775424 21883 33554432000 4194304 4196468 140720711519344 140491478530672 140492441942658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19141] ppid=19127 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19130/task/19141/stat : 19141 (java) S 19127 19127 16770 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 15 0 224369166 15372775424 21883 33554432000 4194304 4196468 140720711519344 140491477477872 140492441942658 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19142] ppid=19127 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19130/task/19142/stat : 19142 (java) S 19127 19127 16770 0 -1 1077944384 328 0 0 0 7 0 0 0 20 0 15 0 224369167 15372775424 21883 33554432000 4194304 4196468 140720711519344 140491476425584 140492441942658 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19143] ppid=19127 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19143/stat : 19143 (java) S 19127 19127 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224369167 15372775424 21883 33554432000 4194304 4196468 140720711519344 140490057968608 140492441941717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19144] ppid=19127 vsize=15012476 memory=3472898942829666353 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19144/stat : 19144 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224369167 15372775424 21883 33554432000 4194304 4196468 140720711519344 140491475372464 140492441942658 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88924 KiB
[startup+0.703129 s]
/proc/loadavg: 2.85 2.27 2.13 3/222 19144
/proc/meminfo: memFree=10473716/32770624 swapFree=67108860/67108860
[pid=19127] ppid=19124 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/19127/stat : 19127 (scop.sh) S 19124 19127 16770 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224369160 115843072 348 33554432000 4194304 5098028 140729365232592 140729365229848 139806169973372 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40325120 140729365238848 140729365239047 140729365239047 140729365241805 0
/proc/19127/statm: 28282 348 296 221 0 87 0
[pid=19130] ppid=19127 vsize=15018748 memory=126688 CPUtime=1.04 cores=1,3,5,7
/proc/19130/stat : 19130 (java) S 19127 19127 16770 0 -1 1077944320 17850 0 0 0 99 5 0 0 20 0 15 0 224369160 15379197952 31672 33554432000 4194304 4196468 140720711519344 140720711501888 140492441931511 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
/proc/19130/statm: 3754687 31672 3146 1 0 3716091 0
[pid=19130/tid=19131] ppid=19127 vsize=15018748 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/19130/task/19131/stat : 19131 (java) R 19127 19127 16770 0 -1 4202560 15119 0 0 0 63 4 0 0 20 0 15 0 224369160 15379197952 31672 33554432000 4194304 4196468 140720711519344 140492413770496 140492441953437 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19132] ppid=19127 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19132/stat : 19132 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224369162 15379197952 31672 33554432000 4194304 4196468 140720711519344 140492446174096 140492441941717 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19133] ppid=19127 vsize=15018748 memory=60900 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19133/stat : 19133 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224369162 15379197952 31672 33554432000 4194304 4196468 140720711519344 140491902679824 140492441941717 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19134] ppid=19127 vsize=15018748 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19134/stat : 19134 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224369162 15379197952 31672 33554432000 4194304 4196468 140720711519344 140491901627536 140492441941717 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19135] ppid=19127 vsize=15018748 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19135/stat : 19135 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224369162 15379197952 31672 33554432000 4194304 4196468 140720711519344 140491900574736 140492441941717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19136] ppid=19127 vsize=15018748 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19136/stat : 19136 (java) S 19127 19127 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224369163 15379197952 31672 33554432000 4194304 4196468 140720711519344 140491479582832 140492441942658 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19137] ppid=19127 vsize=15018748 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19137/stat : 19137 (java) S 19127 19127 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224369164 15379197952 31672 33554432000 4194304 4196468 140720711519344 140491064599328 140492441941717 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19138] ppid=19127 vsize=15018748 memory=796 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19138/stat : 19138 (java) S 19127 19127 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224369164 15379197952 31672 33554432000 4194304 4196468 140720711519344 140490930377840 140492441941717 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19139] ppid=19127 vsize=15018748 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19139/stat : 19139 (java) S 19127 19127 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224369166 15379197952 31672 33554432000 4194304 4196468 140720711519344 140490555873360 140492441950107 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19140] ppid=19127 vsize=15018748 memory=876 CPUtime=0.09 cores=1,3,5,7
/proc/19130/task/19140/stat : 19140 (java) R 19127 19127 16770 0 -1 4202560 452 0 0 0 9 0 0 0 20 0 15 0 224369166 15379197952 31672 33554432000 4194304 4196468 140720711519344 140491478520592 140492426811094 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19141] ppid=19127 vsize=15018748 memory=10096 CPUtime=0.09 cores=1,3,5,7
/proc/19130/task/19141/stat : 19141 (java) R 19127 19127 16770 0 -1 1077944384 464 0 0 0 9 0 0 0 20 0 15 0 224369166 15379197952 31672 33554432000 4194304 4196468 140720711519344 140491477467984 140492441941717 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19142] ppid=19127 vsize=15018748 memory=1228 CPUtime=0.17 cores=1,3,5,7
/proc/19130/task/19142/stat : 19142 (java) R 19127 19127 16770 0 -1 4202560 458 0 0 0 17 0 0 0 20 0 15 0 224369167 15379197952 31672 33554432000 4194304 4196468 140720711519344 140491476421952 140492419155664 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19143] ppid=19127 vsize=15018748 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19143/stat : 19143 (java) S 19127 19127 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224369167 15379197952 31672 33554432000 4194304 4196468 140720711519344 140490057968608 140492441941717 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
[pid=19130/tid=19144] ppid=19127 vsize=15018748 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/19130/task/19144/stat : 19144 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224369167 15379197952 31672 33554432000 4194304 4196468 140720711519344 140491475372464 140492441942658 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720711525382 140720711525681 140720711525681 140720711528399 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 128080 KiB
[startup+1.50111 s]
/proc/loadavg: 2.85 2.27 2.13 6/222 19144
/proc/meminfo: memFree=10252672/32770624 swapFree=67108860/67108860
[pid=19127] ppid=19124 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/19127/stat : 19127 (scop.sh) S 19124 19127 16770 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224369160 115843072 348 33554432000 4194304 5098028 140729365232592 140729365229848 139806169973372 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40325120 140729365238848 140729365239047 140729365239047 140729365241805 0
/proc/19127/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 17.17 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 104764 KiB
[startup+8.00074 s]*
/proc/loadavg: 2.87 2.29 2.14 3/228 19188
/proc/meminfo: memFree=10403072/32770624 swapFree=67108860/67108860
[pid=19127] ppid=19124 vsize=113128 memory=1468 CPUtime=16 cores=1,3,5,7
/proc/19127/stat : 19127 (scop.sh) S 19124 19127 16770 0 -1 4202496 589 34764 0 0 0 0 1523 77 20 0 1 0 224369160 115843072 367 33554432000 4194304 5098028 140729365232592 140729365229336 139806169973372 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40325120 140729365238848 140729365239047 140729365239047 140729365241805 0
/proc/19127/statm: 28282 367 311 221 0 87 0
[pid=19168] ppid=19127 vsize=8068220 memory=137540 CPUtime=1.8 cores=1,3,5,7
/proc/19168/stat : 19168 (java) S 19127 19127 16770 0 -1 1077944320 19566 0 0 0 166 14 0 0 20 0 19 0 224369807 8261857280 34385 33554432000 4194304 4196468 140725700465248 140725700447792 139655452937975 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
/proc/19168/statm: 2017055 34385 3166 1 0 1978454 0
[pid=19183] ppid=19168 vsize=51448 memory=33780 CPUtime=0.61 cores=1,3,5,7
/proc/19183/stat : 19183 (minisat_release) R 19168 19127 16770 0 -1 4202496 9770 0 0 0 59 2 0 0 20 0 1 0 224369898 52682752 8445 33554432000 4194304 4308513 140736359568432 140736359565576 4276047 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 31911936 140736359572596 140736359572694 140736359572694 140736359575493 0
/proc/19183/statm: 12862 8445 322 28 0 9102 0
[pid=19168/tid=19169] ppid=19127 vsize=8068220 memory=7721456965468303411 CPUtime=0.94 cores=1,3,5,7
/proc/19168/task/19169/stat : 19169 (java) S 19127 19127 16770 0 -1 1077944384 15560 0 0 0 82 12 0 0 20 0 19 0 224369807 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655424778128 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19170] ppid=19127 vsize=8068220 memory=7948963741541478447 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19170/stat : 19170 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224369808 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655457180816 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19171] ppid=19127 vsize=8068220 memory=7588684550706915689 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19171/stat : 19171 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224369808 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655257349136 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19172] ppid=19127 vsize=8068220 memory=3546338622648098863 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19172/stat : 19172 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224369808 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655256296336 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19173] ppid=19127 vsize=8068220 memory=3976873467833644960 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19173/stat : 19173 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224369808 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655255243536 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19174] ppid=19127 vsize=8068220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19174/stat : 19174 (java) S 19127 19127 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224369810 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654764398960 139655452949122 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19175] ppid=19127 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19175/stat : 19175 (java) S 19127 19127 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224369810 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654284174368 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19176] ppid=19127 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19176/stat : 19176 (java) S 19127 19127 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224369810 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654149952368 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19177] ppid=19127 vsize=8068220 memory=164 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19177/stat : 19177 (java) S 19127 19127 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139653775447888 139655452956571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19178] ppid=19127 vsize=8068220 memory=1392 CPUtime=0.29 cores=1,3,5,7
/proc/19168/task/19178/stat : 19178 (java) S 19127 19127 16770 0 -1 1077944384 961 0 0 0 29 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654763346800 139655452949122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19179] ppid=19127 vsize=8068220 memory=407952 CPUtime=0.28 cores=1,3,5,7
/proc/19168/task/19179/stat : 19179 (java) S 19127 19127 16770 0 -1 1077944384 959 0 0 0 28 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654762294000 139655452949122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19180] ppid=19127 vsize=8068220 memory=1788 CPUtime=0.24 cores=1,3,5,7
/proc/19168/task/19180/stat : 19180 (java) S 19127 19127 16770 0 -1 1077944384 673 0 0 0 24 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654761241200 139655452949122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19181] ppid=19127 vsize=8068220 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19181/stat : 19181 (java) S 19127 19127 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139653277543136 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19182] ppid=19127 vsize=8068220 memory=796 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19182/stat : 19182 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654760188592 139655452949122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19184] ppid=19127 vsize=8068220 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19184/stat : 19184 (java) S 19127 19127 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224369899 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655224186048 139655452962585 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19186] ppid=19127 vsize=8068220 memory=876 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19186/stat : 19186 (java) S 19127 19127 16770 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 224369899 8261857280 34385 33554432000 4194304 4196468 140725700465248 139652740656432 139655452959901 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19187] ppid=19127 vsize=8068220 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19187/stat : 19187 (java) S 19127 19127 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224369899 8261857280 34385 33554432000 4194304 4196468 140725700465248 139652472225968 139655452959901 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19188] ppid=19127 vsize=8068220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19188/stat : 19188 (java) S 19127 19127 16770 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 224369901 8261857280 34385 33554432000 4194304 4196468 140725700465248 139652874886816 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
Current children cumulated CPU time: 18.41 s
Current children cumulated vsize: 8232796 KiB
Current children cumulated memory: 172788 KiB
[startup+8.20084 s]
/proc/loadavg: 2.87 2.29 2.14 3/228 19188
/proc/meminfo: memFree=10403072/32770624 swapFree=67108860/67108860
[pid=19127] ppid=19124 vsize=113128 memory=1468 CPUtime=16 cores=1,3,5,7
/proc/19127/stat : 19127 (scop.sh) S 19124 19127 16770 0 -1 4202496 589 34764 0 0 0 0 1523 77 20 0 1 0 224369160 115843072 367 33554432000 4194304 5098028 140729365232592 140729365229336 139806169973372 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40325120 140729365238848 140729365239047 140729365239047 140729365241805 0
/proc/19127/statm: 28282 367 311 221 0 87 0
[pid=19168] ppid=19127 vsize=8068220 memory=137540 CPUtime=1.8 cores=1,3,5,7
/proc/19168/stat : 19168 (java) S 19127 19127 16770 0 -1 1077944320 19566 0 0 0 166 14 0 0 20 0 19 0 224369807 8261857280 34385 33554432000 4194304 4196468 140725700465248 140725700447792 139655452937975 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
/proc/19168/statm: 2017055 34385 3166 1 0 1978454 0
[pid=19183] ppid=19168 vsize=51448 memory=33780 CPUtime=0.8 cores=1,3,5,7
/proc/19183/stat : 19183 (minisat_release) R 19168 19127 16770 0 -1 4202496 9770 0 0 0 78 2 0 0 20 0 1 0 224369898 52682752 8445 33554432000 4194304 4308513 140736359568432 140736359566056 4275579 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 31911936 140736359572596 140736359572694 140736359572694 140736359575493 0
/proc/19183/statm: 12862 8445 322 28 0 9102 0
[pid=19168/tid=19169] ppid=19127 vsize=8068220 memory=8173302605377727843 CPUtime=0.94 cores=1,3,5,7
/proc/19168/task/19169/stat : 19169 (java) S 19127 19127 16770 0 -1 1077944384 15560 0 0 0 82 12 0 0 20 0 19 0 224369807 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655424778128 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19170] ppid=19127 vsize=8068220 memory=7380671248541445222 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19170/stat : 19170 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224369808 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655457180816 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19171] ppid=19127 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19171/stat : 19171 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224369808 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655257349136 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19172] ppid=19127 vsize=8068220 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19172/stat : 19172 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224369808 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655256296336 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19173] ppid=19127 vsize=8068220 memory=13567093857585738 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19173/stat : 19173 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224369808 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655255243536 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19174] ppid=19127 vsize=8068220 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19174/stat : 19174 (java) S 19127 19127 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224369810 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654764398960 139655452949122 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19175] ppid=19127 vsize=8068220 memory=2706884 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19175/stat : 19175 (java) S 19127 19127 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224369810 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654284174368 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19176] ppid=19127 vsize=8068220 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19176/stat : 19176 (java) S 19127 19127 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224369810 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654149952368 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19177] ppid=19127 vsize=8068220 memory=796 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19177/stat : 19177 (java) S 19127 19127 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139653775447888 139655452956571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19178] ppid=19127 vsize=8068220 memory=5408 CPUtime=0.29 cores=1,3,5,7
/proc/19168/task/19178/stat : 19178 (java) S 19127 19127 16770 0 -1 1077944384 961 0 0 0 29 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654763346800 139655452949122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19179] ppid=19127 vsize=8068220 memory=876 CPUtime=0.28 cores=1,3,5,7
/proc/19168/task/19179/stat : 19179 (java) S 19127 19127 16770 0 -1 1077944384 959 0 0 0 28 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654762294000 139655452949122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19180] ppid=19127 vsize=8068220 memory=10096 CPUtime=0.24 cores=1,3,5,7
/proc/19168/task/19180/stat : 19180 (java) S 19127 19127 16770 0 -1 1077944384 673 0 0 0 24 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654761241200 139655452949122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19181] ppid=19127 vsize=8068220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19181/stat : 19181 (java) S 19127 19127 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139653277543136 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19182] ppid=19127 vsize=8068220 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19182/stat : 19182 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654760188592 139655452949122 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19184] ppid=19127 vsize=8068220 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19184/stat : 19184 (java) S 19127 19127 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224369899 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655224186048 139655452962585 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19186] ppid=19127 vsize=8068220 memory=8804 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19186/stat : 19186 (java) S 19127 19127 16770 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 224369899 8261857280 34385 33554432000 4194304 4196468 140725700465248 139652740656432 139655452959901 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19187] ppid=19127 vsize=8068220 memory=279568279949792 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19187/stat : 19187 (java) S 19127 19127 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224369899 8261857280 34385 33554432000 4194304 4196468 140725700465248 139652472225968 139655452959901 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19188] ppid=19127 vsize=8068220 memory=139788300583801 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19188/stat : 19188 (java) S 19127 19127 16770 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 224369901 8261857280 34385 33554432000 4194304 4196468 140725700465248 139652874886816 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
Current children cumulated CPU time: 18.6 s
Current children cumulated vsize: 8232796 KiB
Current children cumulated memory: 172788 KiB
[startup+8.30088 s]
/proc/loadavg: 2.87 2.29 2.14 3/228 19188
/proc/meminfo: memFree=10403072/32770624 swapFree=67108860/67108860
[pid=19127] ppid=19124 vsize=113128 memory=1468 CPUtime=16 cores=1,3,5,7
/proc/19127/stat : 19127 (scop.sh) S 19124 19127 16770 0 -1 4202496 589 34764 0 0 0 0 1523 77 20 0 1 0 224369160 115843072 367 33554432000 4194304 5098028 140729365232592 140729365229336 139806169973372 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40325120 140729365238848 140729365239047 140729365239047 140729365241805 0
/proc/19127/statm: 28282 367 311 221 0 87 0
[pid=19168] ppid=19127 vsize=8068220 memory=137540 CPUtime=1.8 cores=1,3,5,7
/proc/19168/stat : 19168 (java) S 19127 19127 16770 0 -1 1077944320 19566 0 0 0 166 14 0 0 20 0 19 0 224369807 8261857280 34385 33554432000 4194304 4196468 140725700465248 140725700447792 139655452937975 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
/proc/19168/statm: 2017055 34385 3166 1 0 1978454 0
[pid=19183] ppid=19168 vsize=51448 memory=33780 CPUtime=0.9 cores=1,3,5,7
/proc/19183/stat : 19183 (minisat_release) R 19168 19127 16770 0 -1 4202496 9770 0 0 0 88 2 0 0 20 0 1 0 224369898 52682752 8445 33554432000 4194304 4308513 140736359568432 140736359566056 4276410 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 31911936 140736359572596 140736359572694 140736359572694 140736359575493 0
/proc/19183/statm: 12862 8445 322 28 0 9102 0
[pid=19168/tid=19169] ppid=19127 vsize=8068220 memory=207 CPUtime=0.94 cores=1,3,5,7
/proc/19168/task/19169/stat : 19169 (java) S 19127 19127 16770 0 -1 1077944384 15560 0 0 0 82 12 0 0 20 0 19 0 224369807 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655424778128 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19170] ppid=19127 vsize=8068220 memory=109 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19170/stat : 19170 (java) S 19127 19127 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224369808 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655457180816 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19171] ppid=19127 vsize=8068220 memory=137540 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19171/stat : 19171 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224369808 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655257349136 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19172] ppid=19127 vsize=8068220 memory=876 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19172/stat : 19172 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224369808 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655256296336 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19173] ppid=19127 vsize=8068220 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19173/stat : 19173 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224369808 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655255243536 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19174] ppid=19127 vsize=8068220 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19174/stat : 19174 (java) S 19127 19127 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224369810 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654764398960 139655452949122 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19175] ppid=19127 vsize=8068220 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19175/stat : 19175 (java) S 19127 19127 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224369810 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654284174368 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19176] ppid=19127 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19176/stat : 19176 (java) S 19127 19127 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224369810 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654149952368 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19177] ppid=19127 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19177/stat : 19177 (java) S 19127 19127 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139653775447888 139655452956571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19178] ppid=19127 vsize=8068220 memory=56 CPUtime=0.29 cores=1,3,5,7
/proc/19168/task/19178/stat : 19178 (java) S 19127 19127 16770 0 -1 1077944384 961 0 0 0 29 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654763346800 139655452949122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19179] ppid=19127 vsize=8068220 memory=4026532099 CPUtime=0.28 cores=1,3,5,7
/proc/19168/task/19179/stat : 19179 (java) S 19127 19127 16770 0 -1 1077944384 959 0 0 0 28 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654762294000 139655452949122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19180] ppid=19127 vsize=8068220 memory=14490 CPUtime=0.24 cores=1,3,5,7
/proc/19168/task/19180/stat : 19180 (java) S 19127 19127 16770 0 -1 1077944384 673 0 0 0 24 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654761241200 139655452949122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19181] ppid=19127 vsize=8068220 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19181/stat : 19181 (java) S 19127 19127 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139653277543136 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19182] ppid=19127 vsize=8068220 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19182/stat : 19182 (java) S 19127 19127 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224369813 8261857280 34385 33554432000 4194304 4196468 140725700465248 139654760188592 139655452949122 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19184] ppid=19127 vsize=8068220 memory=8804 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19184/stat : 19184 (java) S 19127 19127 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224369899 8261857280 34385 33554432000 4194304 4196468 140725700465248 139655224186048 139655452962585 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19186] ppid=19127 vsize=8068220 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19186/stat : 19186 (java) S 19127 19127 16770 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 224369899 8261857280 34385 33554432000 4194304 4196468 140725700465248 139652740656432 139655452959901 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19187] ppid=19127 vsize=8068220 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19187/stat : 19187 (java) S 19127 19127 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224369899 8261857280 34385 33554432000 4194304 4196468 140725700465248 139652472225968 139655452959901 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
[pid=19168/tid=19188] ppid=19127 vsize=8068220 memory=137540 CPUtime=0 cores=1,3,5,7
/proc/19168/task/19188/stat : 19188 (java) S 19127 19127 16770 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 224369901 8261857280 34385 33554432000 4194304 4196468 140725700465248 139652874886816 139655452948181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140725700469941 140725700470065 140725700470065 140725700472783 0
Current children cumulated CPU time: 18.7 s
Current children cumulated vsize: 8232796 KiB
Current children cumulated memory: 172788 KiB
Child status: 0
Real time (s): 8.3617
CPU time (s): 18.8006
CPU user time (s): 17.8357
CPU system time (s): 0.964898
CPU usage (%): 224.842
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2985868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.8357
system time used= 0.964898
maximum resident set size= 2985108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5571
involuntary context switches= 70
# summary of solver processes directly reported to runsolver:
# pid: 19127
# total CPU time (s): 18.8006
# total CPU user time (s): 17.8357
# total CPU system time (s): 0.964898
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076687 second user time and 0.129691 second system time
The end