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-4158-serial-file.bin HOME/instance-4305433-1534064927.xml
0.54/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.54 c BEGIN-Prog: Sun Aug 12 11:08:47 CEST 2018
0.65/0.54 c PID: 4161
0.65/0.54 c IP: 172.20.3.151
0.65/0.54 c HOST: node151.alineos.net
0.65/0.55 c (0,0) Parsing Begin
1.37/0.96 c (0,0) Parsing End
1.37/0.96 c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 20
1.94/1.22 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.94/1.22 c (0,0) Constraint Name Generate Begin
1.94/1.22 c (0,0) Ctr:HOME/instance-4305433-1534064927.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.94/1.22 c (0,0) Constraint Name Generate End
1.94/1.22 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.94/1.22 c (0,0) CSP to CSPinCNF Begin
1.94/1.22 c (0,0) translated 6 (10%) constraints
1.94/1.22 c (0,0) translated 11 (20%) constraints
1.94/1.22 c (0,0) translated 16 (30%) constraints
1.94/1.22 c (0,0) translated 21 (40%) constraints
1.94/1.22 c (0,0) translated 26 (50%) constraints
1.94/1.22 c (0,0) translated 32 (60%) constraints
1.94/1.22 c (0,0) translated 37 (70%) constraints
1.94/1.22 c (0,0) translated 42 (80%) constraints
1.94/1.25 c (0,0) translated 47 (90%) constraints
1.94/1.30 c (0,0) translated 52 (100%) constraints
2.52/1.45 c (0,0) STATISTICS1:HOME/instance-4305433-1534064927.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,149,411,40,20,4,3,40:12;38:48;36:160;34:200;32:30;30:62;16:30;15:2;2:32;1:2,20:198;19:198;18:330;17:264;16:66;15:66;2:1088;1:34,4:136;3:80;2:160;1:35,3:544;2:34;1:544;0:17,
2.52/1.45 c (0,0) ==========================================
2.52/1.45 c (0,0) Order
2.52/1.45 c (0,0) ==========================================
2.52/1.46 c (0,0) translated 42 (10%) constraints
2.52/1.46 c (0,0) translated 83 (20%) constraints
2.52/1.47 c (0,0) translated 124 (30%) constraints
2.52/1.47 c (0,0) translated 165 (40%) constraints
2.52/1.47 c (0,0) translated 206 (50%) constraints
2.52/1.47 c (0,0) translated 247 (60%) constraints
2.52/1.48 c (0,0) translated 288 (70%) constraints
2.52/1.49 c (0,0) translated 329 (80%) constraints
2.52/1.49 c (0,0) translated 370 (90%) constraints
2.52/1.49 c (0,0) translated 411 (100%) constraints
2.52/1.49 c (0,0) CSP to CSPinCNF End
2.52/1.50 c (0,0) CSP: 68 int (0 aux), 81 bool (64 aux), 411 ctr, max domain size 20
2.52/1.50 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.52/1.50 c (0,0) CSPinCNF Propagation Begin
2.87/1.56 c (1,1) 0 values, 16 unsatisfiable literals, and 3 valid clauses are removed
2.87/1.56 c (1,1) CSPinCNF Propagation End
2.87/1.57 c (1,1) CSP: 68 int (0 aux), 81 bool (64 aux), 408 ctr, max domain size 20
2.87/1.57 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.87/1.57 c (1,1) Simplify CSPinCNF Begin
3.17/1.63 c (1,1) Simplify CSPinCNF End
3.17/1.63 c (1,1) CSP: 68 int (0 aux), 625 bool (608 aux), 952 ctr, max domain size 20
3.17/1.63 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.17/1.63 c (1,1) Calculate Precise Domain Begin
3.17/1.63 c (1,1) 0 values are removed by re-calculation
3.17/1.63 c (1,1) Calculate Precise Domain End
3.17/1.63 c (1,1) CSP: 68 int (0 aux), 625 bool (608 aux), 952 ctr, max domain size 20
3.17/1.63 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.17/1.63 c (1,1) CSPinCNF to SatSolver Begin
3.17/1.68 c (1,1) 96 (10 %) CSP clauses are encoded (1235 SAT variables, 639 SAT clauses)
3.17/1.69 c (1,1) 191 (20 %) CSP clauses are encoded (1235 SAT variables, 734 SAT clauses)
3.49/1.70 c (1,1) 286 (30 %) CSP clauses are encoded (1235 SAT variables, 1134 SAT clauses)
3.49/1.73 c (1,1) 381 (40 %) CSP clauses are encoded (1235 SAT variables, 3484 SAT clauses)
3.49/1.75 c (1,1) 476 (50 %) CSP clauses are encoded (1235 SAT variables, 5442 SAT clauses)
3.49/1.78 c (1,1) 572 (60 %) CSP clauses are encoded (1235 SAT variables, 7548 SAT clauses)
3.82/1.80 c (1,1) 667 (70 %) CSP clauses are encoded (1235 SAT variables, 9700 SAT clauses)
3.82/1.82 c (1,1) 762 (80 %) CSP clauses are encoded (1235 SAT variables, 11895 SAT clauses)
3.82/1.83 c (1,1) 857 (90 %) CSP clauses are encoded (1235 SAT variables, 13705 SAT clauses)
3.82/1.85 c (1,1) 952 (100 %) CSP clauses are encoded (1235 SAT variables, 15549 SAT clauses)
3.82/1.85 c (1,1) Launch Command will be: minisat_release
3.82/1.85 c (1,1) CSPinCNF to SatSolver End
3.82/1.85 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.82/1.87 c (1,1) STATISTICS2:HOME/instance-4305433-1534064927.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,693,952,40,20,4,3,40:12;38:48;36:160;34:200;32:30;30:62;16:30;15:2;2:32,20:198;19:198;18:330;17:264;16:64;15:66;2:2176;1:32,4:136;3:64;2:720;1:32,3:544;2:32;1:1632,
3.82/1.87 c (1,1) 1235 bool, 15572 clause
3.82/1.87 c (1,1) Export Begin
4.16/1.98 c (1,1) Export to HOME/scop-4158-serial-file.bin
4.16/1.98 c (1,1) Export End
4.16/1.98 c (1,1) Export File Size: 0.02 MB
4.16/1.98 c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
4.16/1.99 c END-Prog: Sun Aug 12 11:08:49 CEST 2018
4.48/2.02 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-4158-serial-file.bin
4.49/2.51 c (0,0) Read Serial File Begin
4.49/2.51 c (0,0) HOME/scop-4158-serial-file.bin
4.49/2.70 c (0,0) Read Serial File End
4.49/2.71
4.49/2.71 scop order+minisat_release (2018-07-31)
4.49/2.71 (Solving Process)
4.49/2.71
4.49/2.73 c BEGIN-Prog: Sun Aug 12 11:08:49 CEST 2018
4.49/2.73 c PID: 4176
4.49/2.73 c IP: 172.20.3.151
4.49/2.73 c HOST: node151.alineos.net
4.49/2.74 c (0,0) SatSolver.solve Begin
4.49/2.74 c (0,0) 0 bool, 0 clause
4.49/2.74 c (0,0) minisat_release HOME/instance-4305433-1534064927.xml-scop-4161.cnf
9.97/7.14 c (4,0) c This is COMiniSatPS.
9.97/7.14 c (4,0) c WARNING: for repeatability, setting FPU to use double precision
9.97/7.14 c (4,0) c ============================[ Problem Statistics ]=============================
9.97/7.14 c (4,0) c | |
9.97/7.14 c (4,0) c | Number of variables: 1235 |
9.97/7.14 c (4,0) c | Number of clauses: 15572 |
9.97/7.14 c (4,0) c | Parse time: 0.01 s |
9.97/7.14 c (4,0) c | Eliminated clauses: 0.01 Mb |
9.97/7.14 c (4,0) c Reduced to 1002 vars, 15196 cls (grow=0)
9.97/7.14 c (4,0) c No iterative elimination performed. (vars=1002, c/v ratio=15.2)
9.97/7.14 c (4,0) c | Simplification time: 0.02 s |
9.97/7.14 c (4,0) c | |
9.97/7.14 c (4,0) c ============================[ Search Statistics ]==============================
9.97/7.14 c (4,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
9.97/7.14 c (4,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.97/7.14 c (4,0) c ===============================================================================
9.97/7.14 c (4,0) c ===============================================================================
9.97/7.14 c (4,0) c restarts : 285
9.97/7.14 c (4,0) c conflicts : 103578 (23739 /sec)
9.97/7.14 c (4,0) c decisions : 194293 (0.00 % random) (44530 /sec)
9.97/7.14 c (4,0) c propagations : 7445895 (1706518 /sec)
9.97/7.14 c (4,0) c conflict literals : 3174862 (25.78 % deleted)
9.97/7.14 c (4,0) c CPU time : 4.36321 s
9.97/7.14 c (4,0)
9.97/7.14 c (4,0) s SATISFIABLE
9.97/7.15 c (4,0) SatSolver.solve End
9.97/7.15 c (4,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
9.97/7.15 c (4,0) Show results Begin
10.11/7.20 s SATISFIABLE
10.11/7.21 v <instantiation>
10.11/7.21 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16]</list>
10.11/7.21 v <values>12 16 12 6 0 0 6 0 8 4 13 9 8 16 0 0 6 9 0 0 8 0 3 3 4 13 3 9 0 18 5 5 10 13 1 4 4 3 9 4 3 4 5 2 3 3 8 4 4 6 2 4 5 9 5 3 1 5 1 5 7 9 13 2 15 5 10 7 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1</values>
10.11/7.21 v </instantiation>
10.11/7.21 c (4,0) Show results End
10.11/7.22 c (4,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
10.11/7.22 c (4,0) 4,4,STOP-AFTER(ALL)
10.11/7.22 c END-Prog: Sun Aug 12 11:08:54 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 (2752 MiB free)
memory of node 1: 16384 MiB (5528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305433-1534064927/watcher-4305433-1534064927 -o /tmp/evaluation-result-4305433-1534064927/solver-4305433-1534064927 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305433-1534064927.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=4158, runsolver pid=4155
[startup+0.100751 s]*
/proc/loadavg: 1.93 2.14 2.06 3/222 4175
/proc/meminfo: memFree=8417204/32770624 swapFree=67108860/67108860
[pid=4158] ppid=4155 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4158/stat : 4158 (scop.sh) S 4155 4158 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224055864 115843072 348 33554432000 4194304 5098028 140731607932128 140731607929384 139857829503612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12877824 140731607934016 140731607934215 140731607934215 140731607936973 0
/proc/4158/statm: 28282 348 296 221 0 87 0
[pid=4161] ppid=4158 vsize=15012476 memory=72928 CPUtime=0.1 cores=1,3,5,7
/proc/4161/stat : 4161 (java) S 4158 4158 3762 0 -1 1077944320 6887 0 0 0 8 2 0 0 20 0 15 0 224055865 15372775424 18232 33554432000 4194304 4196468 140735437534656 140735437517200 140566581239543 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
/proc/4161/statm: 3753119 18232 2737 1 0 3715579 0
[pid=4161/tid=4162] ppid=4158 vsize=15012476 memory=-2843869612414452894 CPUtime=0.09 cores=1,3,5,7
/proc/4161/task/4162/stat : 4162 (java) R 4158 4158 3762 0 -1 4202560 5033 0 0 0 7 2 0 0 20 0 15 0 224055865 15372775424 18232 33554432000 4194304 4196468 140735437534656 140566553035592 140566573476670 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4163] ppid=4158 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4163/stat : 4163 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055867 15372775424 18232 33554432000 4194304 4196468 140735437534656 140566585482256 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4164] ppid=4158 vsize=15012476 memory=139774001215104 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4164/stat : 4164 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055867 15372775424 18232 33554432000 4194304 4196468 140735437534656 140566041980048 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4165] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4165/stat : 4165 (java) S 4158 4158 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224055867 15372775424 18232 33554432000 4194304 4196468 140735437534656 140566040926992 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4166] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4166/stat : 4166 (java) S 4158 4158 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224055867 15372775424 18232 33554432000 4194304 4196468 140735437534656 140566039874448 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4167] ppid=4158 vsize=15012476 memory=139774001215104 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4167/stat : 4167 (java) S 4158 4158 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224055868 15372775424 18232 33554432000 4194304 4196468 140735437534656 140565920286960 140566581250690 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4168] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4168/stat : 4168 (java) S 4158 4158 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224055869 15372775424 18232 33554432000 4194304 4196468 140735437534656 140565186340000 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4169] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4169/stat : 4169 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055869 15372775424 18232 33554432000 4194304 4196468 140735437534656 140564951458544 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4170] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4170/stat : 4170 (java) S 4158 4158 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224055871 15372775424 18232 33554432000 4194304 4196468 140735437534656 140564576950224 140566581258139 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4171] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4171/stat : 4171 (java) S 4158 4158 3762 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 224055871 15372775424 18232 33554432000 4194304 4196468 140735437534656 140565919234800 140566581250690 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4172] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4172/stat : 4172 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055871 15372775424 18232 33554432000 4194304 4196468 140735437534656 140565918182256 140566581250690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4173] ppid=4158 vsize=15012476 memory=139774001215104 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4173/stat : 4173 (java) R 4158 4158 3762 0 -1 4202560 257 0 0 0 0 0 0 0 20 0 15 0 224055871 15372775424 18232 33554432000 4194304 4196468 140735437534656 140565917129200 140566562467167 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4174] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4174/stat : 4174 (java) S 4158 4158 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224055871 15372775424 18232 33554432000 4194304 4196468 140735437534656 140564079045472 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4175] ppid=4158 vsize=15012476 memory=139774001215104 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4175/stat : 4175 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055872 15372775424 18232 33554432000 4194304 4196468 140735437534656 140565916076592 140566581250690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74320 KiB
[startup+0.210515 s]*
/proc/loadavg: 1.93 2.14 2.06 3/222 4175
/proc/meminfo: memFree=8403004/32770624 swapFree=67108860/67108860
[pid=4158] ppid=4155 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4158/stat : 4158 (scop.sh) S 4155 4158 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224055864 115843072 348 33554432000 4194304 5098028 140731607932128 140731607929384 139857829503612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12877824 140731607934016 140731607934215 140731607934215 140731607936973 0
/proc/4158/statm: 28282 348 296 221 0 87 0
[pid=4161] ppid=4158 vsize=15012476 memory=86472 CPUtime=0.24 cores=1,3,5,7
/proc/4161/stat : 4161 (java) S 4158 4158 3762 0 -1 1077944320 10475 0 0 0 21 3 0 0 20 0 15 0 224055865 15372775424 21618 33554432000 4194304 4196468 140735437534656 140735437517200 140566581239543 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
/proc/4161/statm: 3753119 21618 2908 1 0 3715579 0
[pid=4161/tid=4162] ppid=4158 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/4161/task/4162/stat : 4162 (java) R 4158 4158 3762 0 -1 4202560 8379 0 0 0 17 2 0 0 20 0 15 0 224055865 15372775424 21618 33554432000 4194304 4196468 140735437534656 140566553065936 140566581251478 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4163] ppid=4158 vsize=15012476 memory=540 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4163/stat : 4163 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055867 15372775424 21618 33554432000 4194304 4196468 140735437534656 140566585482256 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4164] ppid=4158 vsize=15012476 memory=4050059141991167648 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4164/stat : 4164 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055867 15372775424 21618 33554432000 4194304 4196468 140735437534656 140566041980048 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4165] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4165/stat : 4165 (java) S 4158 4158 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224055867 15372775424 21618 33554432000 4194304 4196468 140735437534656 140566040926992 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4166] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4166/stat : 4166 (java) S 4158 4158 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224055867 15372775424 21618 33554432000 4194304 4196468 140735437534656 140566039874448 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4167] ppid=4158 vsize=15012476 memory=139774001215104 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4167/stat : 4167 (java) S 4158 4158 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224055868 15372775424 21618 33554432000 4194304 4196468 140735437534656 140565920286960 140566581250690 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4168] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4168/stat : 4168 (java) S 4158 4158 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224055869 15372775424 21618 33554432000 4194304 4196468 140735437534656 140565186340000 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4169] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4169/stat : 4169 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055869 15372775424 21618 33554432000 4194304 4196468 140735437534656 140564951458544 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4170] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4170/stat : 4170 (java) S 4158 4158 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224055871 15372775424 21618 33554432000 4194304 4196468 140735437534656 140564576950224 140566581258139 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4171] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4171/stat : 4171 (java) S 4158 4158 3762 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 224055871 15372775424 21618 33554432000 4194304 4196468 140735437534656 140565919234800 140566581250690 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4172] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4172/stat : 4172 (java) S 4158 4158 3762 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 224055871 15372775424 21618 33554432000 4194304 4196468 140735437534656 140565918182256 140566581250690 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4173] ppid=4158 vsize=15012476 memory=139774001215104 CPUtime=0.03 cores=1,3,5,7
/proc/4161/task/4173/stat : 4173 (java) R 4158 4158 3762 0 -1 4202560 304 0 0 0 3 0 0 0 20 0 15 0 224055871 15372775424 21618 33554432000 4194304 4196468 140735437534656 140565917129200 140566581251478 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4174] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4174/stat : 4174 (java) S 4158 4158 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224055871 15372775424 21618 33554432000 4194304 4196468 140735437534656 140564079045472 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4175] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4175/stat : 4175 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055872 15372775424 21618 33554432000 4194304 4196468 140735437534656 140565916076592 140566581250690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87864 KiB
[startup+0.310627 s]*
/proc/loadavg: 1.93 2.14 2.06 3/222 4175
/proc/meminfo: memFree=8398228/32770624 swapFree=67108860/67108860
[pid=4158] ppid=4155 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4158/stat : 4158 (scop.sh) S 4155 4158 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224055864 115843072 348 33554432000 4194304 5098028 140731607932128 140731607929384 139857829503612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12877824 140731607934016 140731607934215 140731607934215 140731607936973 0
/proc/4158/statm: 28282 348 296 221 0 87 0
[pid=4161] ppid=4158 vsize=15012476 memory=90268 CPUtime=0.41 cores=1,3,5,7
/proc/4161/stat : 4161 (java) S 4158 4158 3762 0 -1 1077944320 11009 0 0 0 38 3 0 0 20 0 15 0 224055865 15372775424 22567 33554432000 4194304 4196468 140735437534656 140735437517200 140566581239543 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
/proc/4161/statm: 3753119 22567 3025 1 0 3715579 0
[pid=4161/tid=4162] ppid=4158 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/4161/task/4162/stat : 4162 (java) R 4158 4158 3762 0 -1 4202560 8757 0 0 0 27 2 0 0 20 0 15 0 224055865 15372775424 22567 33554432000 4194304 4196468 140735437534656 140566553034544 140566565320030 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4163] ppid=4158 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4163/stat : 4163 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055867 15372775424 22567 33554432000 4194304 4196468 140735437534656 140566585482256 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4164] ppid=4158 vsize=15012476 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4164/stat : 4164 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055867 15372775424 22567 33554432000 4194304 4196468 140735437534656 140566041980048 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4165] ppid=4158 vsize=15012476 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4165/stat : 4165 (java) S 4158 4158 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224055867 15372775424 22567 33554432000 4194304 4196468 140735437534656 140566040926992 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4166] ppid=4158 vsize=15012476 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4166/stat : 4166 (java) S 4158 4158 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224055867 15372775424 22567 33554432000 4194304 4196468 140735437534656 140566039874448 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4167] ppid=4158 vsize=15012476 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4167/stat : 4167 (java) S 4158 4158 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224055868 15372775424 22567 33554432000 4194304 4196468 140735437534656 140565920286960 140566581250690 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4168] ppid=4158 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4168/stat : 4168 (java) S 4158 4158 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224055869 15372775424 22567 33554432000 4194304 4196468 140735437534656 140565186340000 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4169] ppid=4158 vsize=15012476 memory=8549982201333320512 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4169/stat : 4169 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055869 15372775424 22567 33554432000 4194304 4196468 140735437534656 140564951458544 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4170] ppid=4158 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4170/stat : 4170 (java) S 4158 4158 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224055871 15372775424 22567 33554432000 4194304 4196468 140735437534656 140564576950224 140566581258139 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4171] ppid=4158 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4161/task/4171/stat : 4171 (java) S 4158 4158 3762 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 15 0 224055871 15372775424 22567 33554432000 4194304 4196468 140735437534656 140565919234800 140566581250690 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4172] ppid=4158 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4161/task/4172/stat : 4172 (java) S 4158 4158 3762 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 15 0 224055871 15372775424 22567 33554432000 4194304 4196468 140735437534656 140565918182256 140566581250690 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4173] ppid=4158 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4161/task/4173/stat : 4173 (java) S 4158 4158 3762 0 -1 1077944384 325 0 0 0 7 0 0 0 20 0 15 0 224055871 15372775424 22567 33554432000 4194304 4196468 140735437534656 140565917129200 140566581250690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4174] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4174/stat : 4174 (java) S 4158 4158 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224055871 15372775424 22567 33554432000 4194304 4196468 140735437534656 140564079045472 140566581249749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4175] ppid=4158 vsize=15012476 memory=3616731577858602799 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4175/stat : 4175 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055872 15372775424 22567 33554432000 4194304 4196468 140735437534656 140565916076592 140566581250690 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91660 KiB
[startup+0.700764 s]
/proc/loadavg: 1.93 2.14 2.06 3/222 4175
/proc/meminfo: memFree=8374416/32770624 swapFree=67108860/67108860
[pid=4158] ppid=4155 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4158/stat : 4158 (scop.sh) S 4155 4158 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224055864 115843072 348 33554432000 4194304 5098028 140731607932128 140731607929384 139857829503612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12877824 140731607934016 140731607934215 140731607934215 140731607936973 0
/proc/4158/statm: 28282 348 296 221 0 87 0
[pid=4161] ppid=4158 vsize=15020872 memory=129640 CPUtime=1.01 cores=1,3,5,7
/proc/4161/stat : 4161 (java) S 4158 4158 3762 0 -1 1077944320 18106 0 0 0 94 7 0 0 20 0 15 0 224055865 15381372928 32410 33554432000 4194304 4196468 140735437534656 140735437517200 140566581239543 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
/proc/4161/statm: 3755218 32410 3146 1 0 3716603 0
[pid=4161/tid=4162] ppid=4158 vsize=15020872 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/4161/task/4162/stat : 4162 (java) R 4158 4158 3762 0 -1 4202560 15399 0 0 0 62 5 0 0 20 0 15 0 224055865 15381372928 32410 33554432000 4194304 4196468 140735437534656 140566553063984 140566581251478 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4163] ppid=4158 vsize=15020872 memory=6425271076031 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4163/stat : 4163 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055867 15381372928 32410 33554432000 4194304 4196468 140735437534656 140566585482256 140566581249749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4164] ppid=4158 vsize=15020872 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4164/stat : 4164 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055867 15381372928 32410 33554432000 4194304 4196468 140735437534656 140566041980048 140566581249749 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4165] ppid=4158 vsize=15020872 memory=13850767857552233 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4165/stat : 4165 (java) S 4158 4158 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224055867 15381372928 32410 33554432000 4194304 4196468 140735437534656 140566040926992 140566581249749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4166] ppid=4158 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4166/stat : 4166 (java) S 4158 4158 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224055867 15381372928 32410 33554432000 4194304 4196468 140735437534656 140566039874448 140566581249749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4167] ppid=4158 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4167/stat : 4167 (java) S 4158 4158 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224055868 15381372928 32410 33554432000 4194304 4196468 140735437534656 140565920286960 140566581250690 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4168] ppid=4158 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4168/stat : 4168 (java) S 4158 4158 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224055869 15381372928 32410 33554432000 4194304 4196468 140735437534656 140565186340000 140566581249749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4169] ppid=4158 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4169/stat : 4169 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055869 15381372928 32410 33554432000 4194304 4196468 140735437534656 140564951458544 140566581249749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4170] ppid=4158 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4170/stat : 4170 (java) S 4158 4158 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224055871 15381372928 32410 33554432000 4194304 4196468 140735437534656 140564576950224 140566581258139 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4171] ppid=4158 vsize=15020872 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4161/task/4171/stat : 4171 (java) S 4158 4158 3762 0 -1 1077944384 422 0 0 0 5 0 0 0 20 0 15 0 224055871 15381372928 32410 33554432000 4194304 4196468 140735437534656 140565919234800 140566581250690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4172] ppid=4158 vsize=15020872 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4161/task/4172/stat : 4172 (java) S 4158 4158 3762 0 -1 1077944384 500 0 0 0 9 0 0 0 20 0 15 0 224055871 15381372928 32410 33554432000 4194304 4196468 140735437534656 140565918182256 140566581250690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4173] ppid=4158 vsize=15020872 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/4161/task/4173/stat : 4173 (java) R 4158 4158 3762 0 -1 4202560 450 0 0 0 16 0 0 0 20 0 15 0 224055871 15381372928 32410 33554432000 4194304 4196468 140735437534656 140565917129200 140566581260890 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4174] ppid=4158 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4174/stat : 4174 (java) S 4158 4158 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224055871 15381372928 32410 33554432000 4194304 4196468 140735437534656 140564079045472 140566581249749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
[pid=4161/tid=4175] ppid=4158 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4175/stat : 4175 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224055872 15381372928 32410 33554432000 4194304 4196468 140735437534656 140565916076592 140566581250690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33341440 140735437542407 140735437542705 140735437542705 140735437545423 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131032 KiB
[startup+1.51071 s]
/proc/loadavg: 1.93 2.14 2.06 3/222 4175
/proc/meminfo: memFree=8336508/32770624 swapFree=67108860/67108860
[pid=4158] ppid=4155 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4158/stat : 4158 (scop.sh) S 4155 4158 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224055864 115843072 348 33554432000 4194304 5098028 140731607932128 140731607929384 139857829503612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12877824 140731607934016 140731607934215 140731607934215 140731607936973 0
/proc/4158/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 8211800 KiB
Current children cumulated memory: 131796 KiB
[startup+7.2371 s]
# the end of solver process 4158 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.96077 s, system=0.221518 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40109 s]
/proc/loadavg: 1.86 2.12 2.05 3/227 4196
/proc/meminfo: memFree=8354668/32770624 swapFree=67108860/67108860
[pid=4158] ppid=4155 vsize=113128 memory=1468 CPUtime=4.49 cores=1,3,5,7
/proc/4158/stat : 4158 (scop.sh) S 4155 4158 3762 0 -1 4202496 590 25395 0 0 0 0 437 12 20 0 1 0 224055864 115843072 367 33554432000 4194304 5098028 140731607932128 140731607928872 139857829503612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12877824 140731607934016 140731607934215 140731607934215 140731607936973 0
/proc/4158/statm: 28282 367 311 221 0 87 0
[pid=4176] ppid=4158 vsize=8068220 memory=116880 CPUtime=1.15 cores=1,3,5,7
/proc/4176/stat : 4176 (java) S 4158 4158 3762 0 -1 1077944320 18030 0 0 0 108 7 0 0 20 0 19 0 224056067 8261857280 29220 33554432000 4194304 4196468 140731122347568 140731122330112 140393368866551 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
/proc/4176/statm: 2017055 29220 3145 1 0 1978454 0
[pid=4191] ppid=4176 vsize=37524 memory=15748 CPUtime=3.62 cores=1,3,5,7
/proc/4191/stat : 4191 (minisat_release) R 4176 4158 3762 0 -1 4202496 5973 0 0 0 362 0 0 0 20 0 1 0 224056141 38424576 3937 33554432000 4194304 4308513 140732524993536 140732524990440 4276128 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 25178112 140732524999797 140732524999894 140732524999894 140732525002693 0
/proc/4191/statm: 9381 3937 337 28 0 5621 0
[pid=4176/tid=4177] ppid=4158 vsize=8068220 memory=116880 CPUtime=0.76 cores=1,3,5,7
/proc/4176/task/4177/stat : 4177 (java) S 4158 4158 3762 0 -1 1077944384 15100 0 0 0 71 5 0 0 20 0 19 0 224056068 8261857280 29220 33554432000 4194304 4196468 140731122347568 140393340706704 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4178] ppid=4158 vsize=8068220 memory=15496 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4178/stat : 4178 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224056069 8261857280 29220 33554432000 4194304 4196468 140731122347568 140393373109392 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4179] ppid=4158 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4179/stat : 4179 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224056069 8261857280 29220 33554432000 4194304 4196468 140731122347568 140393173277712 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4180] ppid=4158 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4180/stat : 4180 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224056069 8261857280 29220 33554432000 4194304 4196468 140731122347568 140393172224912 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4181] ppid=4158 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4181/stat : 4181 (java) S 4158 4158 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224056069 8261857280 29220 33554432000 4194304 4196468 140731122347568 140393171172112 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4182] ppid=4158 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4182/stat : 4182 (java) S 4158 4158 3762 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 224056070 8261857280 29220 33554432000 4194304 4196468 140731122347568 140392748009840 140393368877698 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4183] ppid=4158 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4183/stat : 4183 (java) S 4158 4158 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224056071 8261857280 29220 33554432000 4194304 4196468 140731122347568 140392213242912 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4184] ppid=4158 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4184/stat : 4184 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224056071 8261857280 29220 33554432000 4194304 4196468 140731122347568 140391944807280 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4185] ppid=4158 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4185/stat : 4185 (java) S 4158 4158 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224056073 8261857280 29220 33554432000 4194304 4196468 140731122347568 140391570298704 140393368885147 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4186] ppid=4158 vsize=8068220 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4176/task/4186/stat : 4186 (java) S 4158 4158 3762 0 -1 1077944384 507 0 0 0 6 0 0 0 20 0 19 0 224056073 8261857280 29220 33554432000 4194304 4196468 140731122347568 140392746957680 140393368877698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4187] ppid=4158 vsize=8068220 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4176/task/4187/stat : 4187 (java) S 4158 4158 3762 0 -1 1077944384 399 0 0 0 9 0 0 0 20 0 19 0 224056073 8261857280 29220 33554432000 4194304 4196468 140731122347568 140392745904880 140393368877698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4188] ppid=4158 vsize=8068220 memory=7594592071913597031 CPUtime=0.2 cores=1,3,5,7
/proc/4176/task/4188/stat : 4188 (java) S 4158 4158 3762 0 -1 1077944384 606 0 0 0 20 0 0 0 20 0 19 0 224056073 8261857280 29220 33554432000 4194304 4196468 140731122347568 140392744852080 140393368877698 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4189] ppid=4158 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4189/stat : 4189 (java) S 4158 4158 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224056074 8261857280 29220 33554432000 4194304 4196468 140731122347568 140391072393952 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4190] ppid=4158 vsize=8068220 memory=7598824234097836114 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4190/stat : 4190 (java) S 4158 4158 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224056074 8261857280 29220 33554432000 4194304 4196468 140731122347568 140392743799472 140393368877698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4192] ppid=4158 vsize=8068220 memory=17742 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4192/stat : 4192 (java) S 4158 4158 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224056141 8261857280 29220 33554432000 4194304 4196468 140731122347568 140392735990976 140393368891161 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4194] ppid=4158 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4194/stat : 4194 (java) S 4158 4158 3762 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224056141 8261857280 29220 33554432000 4194304 4196468 140731122347568 140390535507216 140393368888477 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4195] ppid=4158 vsize=8068220 memory=-2127758818935266184 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4195/stat : 4195 (java) S 4158 4158 3762 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224056141 8261857280 29220 33554432000 4194304 4196468 140731122347568 140390267076752 140393368888477 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4196] ppid=4158 vsize=8068220 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4196/stat : 4196 (java) S 4158 4158 3762 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 224056144 8261857280 29220 33554432000 4194304 4196468 140731122347568 140390669737632 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
Current children cumulated CPU time: 9.26 s
Current children cumulated vsize: 8218872 KiB
Current children cumulated memory: 134096 KiB
[startup+6.80082 s]
/proc/loadavg: 1.86 2.12 2.05 3/227 4196
/proc/meminfo: memFree=8354668/32770624 swapFree=67108860/67108860
[pid=4158] ppid=4155 vsize=113128 memory=1468 CPUtime=4.49 cores=1,3,5,7
/proc/4158/stat : 4158 (scop.sh) S 4155 4158 3762 0 -1 4202496 590 25395 0 0 0 0 437 12 20 0 1 0 224055864 115843072 367 33554432000 4194304 5098028 140731607932128 140731607928872 139857829503612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12877824 140731607934016 140731607934215 140731607934215 140731607936973 0
/proc/4158/statm: 28282 367 311 221 0 87 0
[pid=4176] ppid=4158 vsize=8068220 memory=116880 CPUtime=1.15 cores=1,3,5,7
/proc/4176/stat : 4176 (java) S 4158 4158 3762 0 -1 1077944320 18030 0 0 0 108 7 0 0 20 0 19 0 224056067 8261857280 29220 33554432000 4194304 4196468 140731122347568 140731122330112 140393368866551 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
/proc/4176/statm: 2017055 29220 3145 1 0 1978454 0
[pid=4191] ppid=4176 vsize=37524 memory=20356 CPUtime=4.02 cores=1,3,5,7
/proc/4191/stat : 4191 (minisat_release) R 4176 4158 3762 0 -1 4202496 6816 0 0 0 402 0 0 0 20 0 1 0 224056141 38424576 5089 33554432000 4194304 4308513 140732524993536 140732524990440 4275941 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 25178112 140732524999797 140732524999894 140732524999894 140732525002693 0
/proc/4191/statm: 9381 5089 337 28 0 5621 0
[pid=4176/tid=4177] ppid=4158 vsize=8068220 memory=13850767857552233 CPUtime=0.76 cores=1,3,5,7
/proc/4176/task/4177/stat : 4177 (java) S 4158 4158 3762 0 -1 1077944384 15100 0 0 0 71 5 0 0 20 0 19 0 224056068 8261857280 29220 33554432000 4194304 4196468 140731122347568 140393340706704 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4178] ppid=4158 vsize=8068220 memory=-8412661042843906680 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4178/stat : 4178 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224056069 8261857280 29220 33554432000 4194304 4196468 140731122347568 140393373109392 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4179] ppid=4158 vsize=8068220 memory=4132771212810548115 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4179/stat : 4179 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224056069 8261857280 29220 33554432000 4194304 4196468 140731122347568 140393173277712 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4180] ppid=4158 vsize=8068220 memory=8254383616069825415 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4180/stat : 4180 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224056069 8261857280 29220 33554432000 4194304 4196468 140731122347568 140393172224912 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4181] ppid=4158 vsize=8068220 memory=8326441112148417183 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4181/stat : 4181 (java) S 4158 4158 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224056069 8261857280 29220 33554432000 4194304 4196468 140731122347568 140393171172112 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4182] ppid=4158 vsize=8068220 memory=-7824251494390989921 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4182/stat : 4182 (java) S 4158 4158 3762 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 224056070 8261857280 29220 33554432000 4194304 4196468 140731122347568 140392748009840 140393368877698 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4183] ppid=4158 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4183/stat : 4183 (java) S 4158 4158 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224056071 8261857280 29220 33554432000 4194304 4196468 140731122347568 140392213242912 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4184] ppid=4158 vsize=8068220 memory=4641074187873313646 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4184/stat : 4184 (java) S 4158 4158 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224056071 8261857280 29220 33554432000 4194304 4196468 140731122347568 140391944807280 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4185] ppid=4158 vsize=8068220 memory=7525062431218165846 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4185/stat : 4185 (java) S 4158 4158 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224056073 8261857280 29220 33554432000 4194304 4196468 140731122347568 140391570298704 140393368885147 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4186] ppid=4158 vsize=8068220 memory=7517177820148951406 CPUtime=0.06 cores=1,3,5,7
/proc/4176/task/4186/stat : 4186 (java) S 4158 4158 3762 0 -1 1077944384 507 0 0 0 6 0 0 0 20 0 19 0 224056073 8261857280 29220 33554432000 4194304 4196468 140731122347568 140392746957680 140393368877698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4187] ppid=4158 vsize=8068220 memory=285592336 CPUtime=0.09 cores=1,3,5,7
/proc/4176/task/4187/stat : 4187 (java) S 4158 4158 3762 0 -1 1077944384 399 0 0 0 9 0 0 0 20 0 19 0 224056073 8261857280 29220 33554432000 4194304 4196468 140731122347568 140392745904880 140393368877698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4188] ppid=4158 vsize=8068220 memory=139773872734001 CPUtime=0.2 cores=1,3,5,7
/proc/4176/task/4188/stat : 4188 (java) S 4158 4158 3762 0 -1 1077944384 606 0 0 0 20 0 0 0 20 0 19 0 224056073 8261857280 29220 33554432000 4194304 4196468 140731122347568 140392744852080 140393368877698 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4189] ppid=4158 vsize=8068220 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4189/stat : 4189 (java) S 4158 4158 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224056074 8261857280 29220 33554432000 4194304 4196468 140731122347568 140391072393952 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4190] ppid=4158 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4190/stat : 4190 (java) S 4158 4158 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224056074 8261857280 29220 33554432000 4194304 4196468 140731122347568 140392743799472 140393368877698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4192] ppid=4158 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4192/stat : 4192 (java) S 4158 4158 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224056141 8261857280 29220 33554432000 4194304 4196468 140731122347568 140392735990976 140393368891161 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4194] ppid=4158 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4194/stat : 4194 (java) S 4158 4158 3762 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224056141 8261857280 29220 33554432000 4194304 4196468 140731122347568 140390535507216 140393368888477 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4195] ppid=4158 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4195/stat : 4195 (java) S 4158 4158 3762 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224056141 8261857280 29220 33554432000 4194304 4196468 140731122347568 140390267076752 140393368888477 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4196] ppid=4158 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4196/stat : 4196 (java) S 4158 4158 3762 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 224056144 8261857280 29220 33554432000 4194304 4196468 140731122347568 140390669737632 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
Current children cumulated CPU time: 9.66 s
Current children cumulated vsize: 8218872 KiB
Current children cumulated memory: 138704 KiB
[startup+7.20085 s]
/proc/loadavg: 1.86 2.12 2.05 3/227 4196
/proc/meminfo: memFree=8344928/32770624 swapFree=67108860/67108860
[pid=4158] ppid=4155 vsize=113128 memory=1468 CPUtime=4.49 cores=1,3,5,7
/proc/4158/stat : 4158 (scop.sh) S 4155 4158 3762 0 -1 4202496 590 25395 0 0 0 0 437 12 20 0 1 0 224055864 115843072 367 33554432000 4194304 5098028 140731607932128 140731607928872 139857829503612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12877824 140731607934016 140731607934215 140731607934215 140731607936973 0
/proc/4158/statm: 28282 367 311 221 0 87 0
[pid=4176] ppid=4158 vsize=7937144 memory=120160 CPUtime=5.62 cores=1,3,5,7
/proc/4176/stat : 4176 (java) S 4158 4158 3762 0 -1 1077944320 18309 7570 0 0 118 7 436 1 20 0 17 0 224056067 8127635456 30040 33554432000 4194304 4196468 140731122347568 140731122330112 140393368866551 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
/proc/4176/statm: 1984286 30040 3150 1 0 1945685 0
[pid=4176/tid=4177] ppid=4158 vsize=7937144 memory=1776 CPUtime=5.17 cores=1,3,5,7
/proc/4176/task/4177/stat : 4177 (java) R 4158 4158 3762 0 -1 4202560 15260 7570 0 0 75 5 436 1 20 0 17 0 224056068 8127635456 30040 33554432000 4194304 4196468 140731122347568 140393340706704 140393352947038 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4178] ppid=4158 vsize=7937144 memory=1004 CPUtime=4.37 cores=1,3,5,7
/proc/4176/task/4178/stat : 4178 (java) S 4158 4158 3762 0 -1 1077944384 1 7570 0 0 0 0 436 1 20 0 17 0 224056069 8127635456 30040 33554432000 4194304 4196468 140731122347568 140393373109392 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4179] ppid=4158 vsize=7937144 memory=11764 CPUtime=4.37 cores=1,3,5,7
/proc/4176/task/4179/stat : 4179 (java) S 4158 4158 3762 0 -1 1077944384 1 7570 0 0 0 0 436 1 20 0 17 0 224056069 8127635456 30040 33554432000 4194304 4196468 140731122347568 140393173277712 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4180] ppid=4158 vsize=7937144 memory=33 CPUtime=4.37 cores=1,3,5,7
/proc/4176/task/4180/stat : 4180 (java) S 4158 4158 3762 0 -1 1077944384 1 7570 0 0 0 0 436 1 20 0 17 0 224056069 8127635456 30040 33554432000 4194304 4196468 140731122347568 140393172224912 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4181] ppid=4158 vsize=7937144 memory=0 CPUtime=4.37 cores=1,3,5,7
/proc/4176/task/4181/stat : 4181 (java) S 4158 4158 3762 0 -1 1077944384 2 7570 0 0 0 0 436 1 20 0 17 0 224056069 8127635456 30040 33554432000 4194304 4196468 140731122347568 140393171172112 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4182] ppid=4158 vsize=7937144 memory=0 CPUtime=4.37 cores=1,3,5,7
/proc/4176/task/4182/stat : 4182 (java) S 4158 4158 3762 0 -1 1077944384 7 7570 0 0 0 0 436 1 20 0 17 0 224056070 8127635456 30040 33554432000 4194304 4196468 140731122347568 140392748009840 140393368877698 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4183] ppid=4158 vsize=7937144 memory=0 CPUtime=4.37 cores=1,3,5,7
/proc/4176/task/4183/stat : 4183 (java) S 4158 4158 3762 0 -1 1077944384 13 7570 0 0 0 0 436 1 20 0 17 0 224056071 8127635456 30040 33554432000 4194304 4196468 140731122347568 140392213242912 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4184] ppid=4158 vsize=7937144 memory=3689068447884339027 CPUtime=4.37 cores=1,3,5,7
/proc/4176/task/4184/stat : 4184 (java) S 4158 4158 3762 0 -1 1077944384 1 7570 0 0 0 0 436 1 20 0 17 0 224056071 8127635456 30040 33554432000 4194304 4196468 140731122347568 140391944807280 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4185] ppid=4158 vsize=7937144 memory=7517462606880728167 CPUtime=4.37 cores=1,3,5,7
/proc/4176/task/4185/stat : 4185 (java) S 4158 4158 3762 0 -1 1077944384 3 7570 0 0 0 0 436 1 20 0 17 0 224056073 8127635456 30040 33554432000 4194304 4196468 140731122347568 140391570298704 140393368885147 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4186] ppid=4158 vsize=7937144 memory=279547744854048 CPUtime=4.43 cores=1,3,5,7
/proc/4176/task/4186/stat : 4186 (java) S 4158 4158 3762 0 -1 1077944384 507 7570 0 0 6 0 436 1 20 0 17 0 224056073 8127635456 30040 33554432000 4194304 4196468 140731122347568 140392746957680 140393368877698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4187] ppid=4158 vsize=7937144 memory=0 CPUtime=4.47 cores=1,3,5,7
/proc/4176/task/4187/stat : 4187 (java) S 4158 4158 3762 0 -1 1077944384 413 7570 0 0 10 0 436 1 20 0 17 0 224056073 8127635456 30040 33554432000 4194304 4196468 140731122347568 140392745904880 140393368877698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4188] ppid=4158 vsize=7937144 memory=0 CPUtime=4.6 cores=1,3,5,7
/proc/4176/task/4188/stat : 4188 (java) S 4158 4158 3762 0 -1 1077944384 665 7570 0 0 23 0 436 1 20 0 17 0 224056073 8127635456 30040 33554432000 4194304 4196468 140731122347568 140392744852080 140393368877698 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4189] ppid=4158 vsize=7937144 memory=0 CPUtime=4.37 cores=1,3,5,7
/proc/4176/task/4189/stat : 4189 (java) S 4158 4158 3762 0 -1 1077944384 3 7570 0 0 0 0 436 1 20 0 17 0 224056074 8127635456 30040 33554432000 4194304 4196468 140731122347568 140391072393952 140393368876757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4190] ppid=4158 vsize=7937144 memory=0 CPUtime=4.37 cores=1,3,5,7
/proc/4176/task/4190/stat : 4190 (java) S 4158 4158 3762 0 -1 1077944384 3 7570 0 0 0 0 436 1 20 0 17 0 224056074 8127635456 30040 33554432000 4194304 4196468 140731122347568 140392743799472 140393368877698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4192] ppid=4158 vsize=7937144 memory=0 CPUtime=4.37 cores=1,3,5,7
/proc/4176/task/4192/stat : 4192 (java) S 4158 4158 3762 0 -1 1077944384 23 7570 0 0 0 0 436 1 20 0 17 0 224056141 8127635456 30040 33554432000 4194304 4196468 140731122347568 140392735990160 140393368877698 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
[pid=4176/tid=4196] ppid=4158 vsize=7937144 memory=0 CPUtime=4.37 cores=1,3,5,7
/proc/4176/task/4196/stat : 4196 (java) S 4158 4158 3762 0 -1 1077944384 28 7570 0 0 0 0 436 1 20 0 17 0 224056144 8127635456 30040 33554432000 4194304 4196468 140731122347568 140390669739440 140393368877698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140731122353334 140731122353457 140731122353457 140731122356175 0
Current children cumulated CPU time: 10.11 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 121628 KiB
Child status: 0
Real time (s): 7.23715
CPU time (s): 10.1823
CPU user time (s): 9.96077
CPU system time (s): 0.221518
CPU usage (%): 140.695
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 253028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.96077
system time used= 0.221518
maximum resident set size= 252084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51949
page faults= 0
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5936
involuntary context switches= 67
# summary of solver processes directly reported to runsolver:
# pid: 4158
# total CPU time (s): 10.1823
# total CPU user time (s): 9.96077
# total CPU system time (s): 0.221518
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069465 second user time and 0.118366 second system time
The end