0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-24657-serial-file.bin HOME/instance-4305737-1534075292.xml
0.67/0.52
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Sun Aug 12 14:01:33 CEST 2018
0.67/0.55 c PID: 24660
0.67/0.55 c IP: 172.20.3.103
0.67/0.55 c HOST: node103.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.78/1.09 c (0,0) Parsing End
1.78/1.10 c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 1026 ctr, max domain size 13
1.78/1.10 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.78/1.10 c (0,0) Constraint Name Generate Begin
2.01/1.11 c (0,0) Ctr:HOME/instance-4305737-1534075292.xml,ExtensionConflict:ExtensionSupport:IntVar
2.01/1.11 c (0,0) Constraint Name Generate End
2.01/1.12 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.01/1.12 c (0,0) CSP to CSPinCNF Begin
3.21/1.64 c (1,1) translated 103 (10%) constraints
3.85/1.92 c (1,1) translated 206 (20%) constraints
4.18/2.06 c (1,1) translated 308 (30%) constraints
4.48/2.19 c (1,1) translated 411 (40%) constraints
5.07/2.31 c (1,1) translated 513 (50%) constraints
5.07/2.40 c (1,1) translated 616 (60%) constraints
5.38/2.47 c (1,1) translated 719 (70%) constraints
5.68/2.55 c (2,1) translated 821 (80%) constraints
6.31/2.78 c (2,2) translated 924 (90%) constraints
6.65/2.85 c (2,2) translated 1026 (100%) constraints
6.97/3.01 c (2,2) STATISTICS1:HOME/instance-4305737-1534075292.xml,ExtensionConflict:ExtensionSupport:IntVar,325,13650,-1,13,14,1,,13:50988;2:756,14:12;4:12024;3:264;2:1350,1:51744;0:12,
6.97/3.01 c (2,2) ==========================================
6.97/3.01 c (2,2) Both Encoding selects:
6.97/3.01 c (2,2) Order
6.97/3.01 c (2,2) ==========================================
7.31/3.05 c (2,2) translated 1365 (10%) constraints
7.31/3.08 c (2,2) translated 2730 (20%) constraints
7.62/3.11 c (2,2) translated 4095 (30%) constraints
7.62/3.13 c (2,2) translated 5460 (40%) constraints
7.62/3.16 c (2,2) translated 6825 (50%) constraints
7.62/3.18 c (2,2) translated 8190 (60%) constraints
7.79/3.21 c (2,2) translated 9555 (70%) constraints
7.79/3.23 c (2,2) translated 10920 (80%) constraints
7.79/3.27 c (2,2) translated 12285 (90%) constraints
8.02/3.31 c (2,2) translated 13650 (100%) constraints
8.02/3.31 c (2,2) CSP to CSPinCNF End
8.02/3.31 c (2,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
8.02/3.32 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
8.02/3.32 c (2,2) CSPinCNF Propagation Begin
8.35/3.49 c (2,2) 0 values, 2040 unsatisfiable literals, and 0 valid clauses are removed
8.35/3.49 c (2,2) CSPinCNF Propagation End
8.35/3.49 c (2,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
8.35/3.49 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
8.35/3.49 c (2,2) Simplify CSPinCNF Begin
8.66/3.53 c (3,2) Simplify CSPinCNF End
8.66/3.53 c (3,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
8.66/3.53 c (3,2) Heap : 788 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
8.66/3.53 c (3,2) Calculate Precise Domain Begin
8.66/3.53 c (3,2) 0 values are removed by re-calculation
8.66/3.53 c (3,2) Calculate Precise Domain End
8.66/3.53 c (3,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
8.66/3.53 c (3,2) Heap : 788 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
8.66/3.53 c (3,2) CSPinCNF to SatSolver Begin
8.95/3.61 c (3,2) 1365 (10 %) CSP clauses are encoded (2184 SAT variables, 3223 SAT clauses)
8.95/3.63 c (3,2) 2730 (20 %) CSP clauses are encoded (2184 SAT variables, 4588 SAT clauses)
8.95/3.65 c (3,3) 4095 (30 %) CSP clauses are encoded (2184 SAT variables, 5953 SAT clauses)
8.95/3.67 c (3,3) 5460 (40 %) CSP clauses are encoded (2184 SAT variables, 7318 SAT clauses)
8.95/3.69 c (3,3) 6825 (50 %) CSP clauses are encoded (2184 SAT variables, 8683 SAT clauses)
9.25/3.70 c (3,3) 8190 (60 %) CSP clauses are encoded (2184 SAT variables, 10048 SAT clauses)
9.25/3.72 c (3,3) 9555 (70 %) CSP clauses are encoded (2184 SAT variables, 11413 SAT clauses)
9.25/3.73 c (3,3) 10920 (80 %) CSP clauses are encoded (2184 SAT variables, 12778 SAT clauses)
9.25/3.75 c (3,3) 12285 (90 %) CSP clauses are encoded (2184 SAT variables, 14143 SAT clauses)
9.25/3.77 c (3,3) 13650 (100 %) CSP clauses are encoded (2184 SAT variables, 15508 SAT clauses)
9.25/3.77 c (3,3) Launch Command will be: minisat_release
9.25/3.77 c (3,3) CSPinCNF to SatSolver End
9.25/3.77 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.57/3.87 c (3,3) STATISTICS2:HOME/instance-4305737-1534075292.xml,ExtensionConflict:ExtensionSupport:IntVar,325,13650,-1,13,13,1,,13:48960;2:756,13:12;4:11010;3:264;2:2364,1:49716,
9.57/3.87 c (3,3) 2184 bool, 15509 clause
9.57/3.87 c (3,3) Export Begin
9.88/3.97 c (3,3) Export to HOME/scop-24657-serial-file.bin
9.88/3.97 c (3,3) Export End
9.88/3.97 c (3,3) Export File Size: 0.03 MB
9.88/3.97 c (3,3) 0,0,2,2,3,3,3,STOP-AFTER(DIMACS)
9.88/3.97 c END-Prog: Sun Aug 12 14:01:36 CEST 2018
9.88/3.98 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-24657-serial-file.bin
10.60/4.48 c (0,0) Read Serial File Begin
10.60/4.48 c (0,0) HOME/scop-24657-serial-file.bin
10.88/4.66 c (0,0) Read Serial File End
10.88/4.68
10.88/4.68 scop order+minisat_release (2018-07-31)
10.88/4.68 (Solving Process)
10.88/4.68
11.05/4.70 c BEGIN-Prog: Sun Aug 12 14:01:37 CEST 2018
11.05/4.70 c PID: 24675
11.05/4.70 c IP: 172.20.3.103
11.05/4.70 c HOST: node103.alineos.net
11.05/4.70 c (0,0) SatSolver.solve Begin
11.05/4.70 c (0,0) 0 bool, 0 clause
11.05/4.70 c (0,0) minisat_release HOME/instance-4305737-1534075292.xml-scop-24660.cnf
33.20/26.77 c (22,0) c This is COMiniSatPS.
33.20/26.77 c (22,0) c WARNING: for repeatability, setting FPU to use double precision
33.20/26.77 c (22,0) c ============================[ Problem Statistics ]=============================
33.20/26.77 c (22,0) c | |
33.20/26.77 c (22,0) c | Number of variables: 2184 |
33.20/26.77 c (22,0) c | Number of clauses: 15509 |
33.20/26.77 c (22,0) c | Parse time: 0.01 s |
33.20/26.77 c (22,0) c | Eliminated clauses: 0.00 Mb |
33.20/26.77 c (22,0) c Reduced to 2016 vars, 15154 cls (grow=0)
33.20/26.77 c (22,0) c No iterative elimination performed. (vars=2016, c/v ratio=7.5)
33.20/26.77 c (22,0) c | Simplification time: 0.01 s |
33.20/26.77 c (22,0) c | |
33.20/26.77 c (22,0) c ============================[ Search Statistics ]==============================
33.20/26.77 c (22,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
33.20/26.77 c (22,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
33.20/26.77 c (22,0) c ===============================================================================
33.20/26.77 c (22,0) c ===============================================================================
33.20/26.77 c (22,0) c restarts : 2594
33.20/26.77 c (22,0) c conflicts : 1356841 (61639 /sec)
33.20/26.77 c (22,0) c decisions : 2912212 (0.00 % random) (132297 /sec)
33.20/26.77 c (22,0) c propagations : 27733573 (1259895 /sec)
33.20/26.77 c (22,0) c conflict literals : 15460924 (10.48 % deleted)
33.20/26.77 c (22,0) c CPU time : 22.0126 s
33.20/26.77 c (22,0)
33.20/26.77 c (22,0) s UNSATISFIABLE
33.20/26.77 c (22,0) SatSolver.solve End
33.20/26.78 c (22,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
33.20/26.78 c (22,0) Show results Begin
33.20/26.78 s UNSATISFIABLE
33.20/26.78 c (22,0) Show results End
33.20/26.78 c (22,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
33.20/26.78 c (22,0) 22,22,STOP-AFTER(ALL)
33.20/26.78 c END-Prog: Sun Aug 12 14:01:59 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 (8032 MiB free)
memory of node 1: 16384 MiB (8594 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305737-1534075292/watcher-4305737-1534075292 -o /tmp/evaluation-result-4305737-1534075292/solver-4305737-1534075292 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20637 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305737-1534075292.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24657, runsolver pid=24654
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 2.69 2.31 2.16 3/224 24674
/proc/meminfo: memFree=16968088/32770624 swapFree=67058748/67108860
[pid=24657] ppid=24654 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24657/stat : 24657 (scop.sh) S 24654 24657 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225092411 115843072 349 33554432000 4194304 5098028 140734649635392 140734649632648 140093108699772 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32243712 140734649640001 140734649640199 140734649640199 140734649642957 0
/proc/24657/statm: 28282 349 296 221 0 87 0
[pid=24660] ppid=24657 vsize=15012476 memory=70364 CPUtime=0.11 cores=0,2,4,6
/proc/24660/stat : 24660 (java) S 24657 24657 20606 0 -1 1077944320 6213 0 0 0 10 1 0 0 20 0 15 0 225092412 15372775424 17591 33554432000 4194304 4196468 140733578996048 140733578978592 140077025296119 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
/proc/24660/statm: 3753119 17591 2768 1 0 3715579 0
[pid=24660/tid=24661] ppid=24657 vsize=15012476 memory=-6150928374978363333 CPUtime=0.09 cores=0,2,4,6
/proc/24660/task/24661/stat : 24661 (java) R 24657 24657 20606 0 -1 4202560 4290 0 0 0 8 1 0 0 20 0 15 0 225092412 15372775424 17591 33554432000 4194304 4196468 140733578996048 140076997108104 140077008482900 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24662] ppid=24657 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24662/stat : 24662 (java) S 24657 24657 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092413 15372775424 17591 33554432000 4194304 4196468 140733578996048 140077029538448 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24663] ppid=24657 vsize=15012476 memory=140072528881280 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24663/stat : 24663 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092413 15372775424 17591 33554432000 4194304 4196468 140733578996048 140076805241360 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24664] ppid=24657 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24664/stat : 24664 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092414 15372775424 17591 33554432000 4194304 4196468 140733578996048 140076804188560 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24665] ppid=24657 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24665/stat : 24665 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092414 15372775424 17591 33554432000 4194304 4196468 140733578996048 140076803135760 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24666] ppid=24657 vsize=15012476 memory=140072528881280 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24666/stat : 24666 (java) S 24657 24657 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092415 15372775424 17591 33554432000 4194304 4196468 140733578996048 140075861007216 140077025307266 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24667] ppid=24657 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24667/stat : 24667 (java) S 24657 24657 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225092416 15372775424 17591 33554432000 4194304 4196468 140733578996048 140075593623072 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24668] ppid=24657 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24668/stat : 24668 (java) S 24657 24657 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225092416 15372775424 17591 33554432000 4194304 4196468 140733578996048 140075459401072 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24669] ppid=24657 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24669/stat : 24669 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092418 15372775424 17591 33554432000 4194304 4196468 140733578996048 140075084896592 140077025314715 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24670] ppid=24657 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24670/stat : 24670 (java) S 24657 24657 20606 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 225092418 15372775424 17591 33554432000 4194304 4196468 140733578996048 140075859954032 140077025307266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24671] ppid=24657 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24671/stat : 24671 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092418 15372775424 17591 33554432000 4194304 4196468 140733578996048 140075858901232 140077025307266 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24672] ppid=24657 vsize=15012476 memory=140072528881280 CPUtime=0.01 cores=0,2,4,6
/proc/24660/task/24672/stat : 24672 (java) R 24657 24657 20606 0 -1 4202560 274 0 0 0 1 0 0 0 20 0 15 0 225092418 15372775424 17591 33554432000 4194304 4196468 140733578996048 140075857845544 140077017533246 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24673] ppid=24657 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24673/stat : 24673 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092418 15372775424 17591 33554432000 4194304 4196468 140733578996048 140074586990816 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24674] ppid=24657 vsize=15012476 memory=140072528881280 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24674/stat : 24674 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092419 15372775424 17591 33554432000 4194304 4196468 140733578996048 140075856796848 140077025307266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71760 KiB
[startup+0.210693 s]*
/proc/loadavg: 2.69 2.31 2.16 4/224 24674
/proc/meminfo: memFree=16953984/32770624 swapFree=67058748/67108860
[pid=24657] ppid=24654 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24657/stat : 24657 (scop.sh) S 24654 24657 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225092411 115843072 349 33554432000 4194304 5098028 140734649635392 140734649632648 140093108699772 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32243712 140734649640001 140734649640199 140734649640199 140734649642957 0
/proc/24657/statm: 28282 349 296 221 0 87 0
[pid=24660] ppid=24657 vsize=15012476 memory=83436 CPUtime=0.25 cores=0,2,4,6
/proc/24660/stat : 24660 (java) S 24657 24657 20606 0 -1 1077944320 9769 0 0 0 23 2 0 0 20 0 15 0 225092412 15372775424 20859 33554432000 4194304 4196468 140733578996048 140733578978592 140077025296119 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
/proc/24660/statm: 3753119 20859 2902 1 0 3715579 0
[pid=24660/tid=24661] ppid=24657 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/24660/task/24661/stat : 24661 (java) R 24657 24657 20606 0 -1 4202560 7663 0 0 0 18 2 0 0 20 0 15 0 225092412 15372775424 20859 33554432000 4194304 4196468 140733578996048 140076997111472 140077009339749 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24662] ppid=24657 vsize=15012476 memory=545 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24662/stat : 24662 (java) S 24657 24657 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092413 15372775424 20859 33554432000 4194304 4196468 140733578996048 140077029538448 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24663] ppid=24657 vsize=15012476 memory=140072530044514 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24663/stat : 24663 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092413 15372775424 20859 33554432000 4194304 4196468 140733578996048 140076805241360 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24664] ppid=24657 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24664/stat : 24664 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092414 15372775424 20859 33554432000 4194304 4196468 140733578996048 140076804188560 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24665] ppid=24657 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24665/stat : 24665 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092414 15372775424 20859 33554432000 4194304 4196468 140733578996048 140076803135760 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24666] ppid=24657 vsize=15012476 memory=140072528881280 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24666/stat : 24666 (java) S 24657 24657 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092415 15372775424 20859 33554432000 4194304 4196468 140733578996048 140075861007216 140077025307266 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24667] ppid=24657 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24667/stat : 24667 (java) S 24657 24657 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225092416 15372775424 20859 33554432000 4194304 4196468 140733578996048 140075593623072 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24668] ppid=24657 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24668/stat : 24668 (java) S 24657 24657 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225092416 15372775424 20859 33554432000 4194304 4196468 140733578996048 140075459401072 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24669] ppid=24657 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24669/stat : 24669 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092418 15372775424 20859 33554432000 4194304 4196468 140733578996048 140075084896592 140077025314715 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24670] ppid=24657 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24670/stat : 24670 (java) S 24657 24657 20606 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 225092418 15372775424 20859 33554432000 4194304 4196468 140733578996048 140075859954032 140077025307266 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24671] ppid=24657 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24671/stat : 24671 (java) S 24657 24657 20606 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 225092418 15372775424 20859 33554432000 4194304 4196468 140733578996048 140075858901232 140077025307266 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24672] ppid=24657 vsize=15012476 memory=140072528881280 CPUtime=0.03 cores=0,2,4,6
/proc/24660/task/24672/stat : 24672 (java) R 24657 24657 20606 0 -1 4202560 297 0 0 0 3 0 0 0 20 0 15 0 225092418 15372775424 20859 33554432000 4194304 4196468 140733578996048 140075857848432 140077009376606 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24673] ppid=24657 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24673/stat : 24673 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092418 15372775424 20859 33554432000 4194304 4196468 140733578996048 140074586990816 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24674] ppid=24657 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24674/stat : 24674 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092419 15372775424 20859 33554432000 4194304 4196468 140733578996048 140075856796848 140077025307266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 84832 KiB
[startup+0.310775 s]*
/proc/loadavg: 2.69 2.31 2.16 4/224 24674
/proc/meminfo: memFree=16950460/32770624 swapFree=67058748/67108860
[pid=24657] ppid=24654 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24657/stat : 24657 (scop.sh) S 24654 24657 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225092411 115843072 349 33554432000 4194304 5098028 140734649635392 140734649632648 140093108699772 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32243712 140734649640001 140734649640199 140734649640199 140734649642957 0
/proc/24657/statm: 28282 349 296 221 0 87 0
[pid=24660] ppid=24657 vsize=15012476 memory=87924 CPUtime=0.43 cores=0,2,4,6
/proc/24660/stat : 24660 (java) S 24657 24657 20606 0 -1 1077944320 10398 0 0 0 40 3 0 0 20 0 15 0 225092412 15372775424 21981 33554432000 4194304 4196468 140733578996048 140733578978592 140077025296119 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
/proc/24660/statm: 3753119 21981 3020 1 0 3715579 0
[pid=24660/tid=24661] ppid=24657 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/24660/task/24661/stat : 24661 (java) R 24657 24657 20606 0 -1 4202560 8105 0 0 0 28 2 0 0 20 0 15 0 225092412 15372775424 21981 33554432000 4194304 4196468 140733578996048 140076997091120 140077009376606 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24662] ppid=24657 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24662/stat : 24662 (java) S 24657 24657 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092413 15372775424 21981 33554432000 4194304 4196468 140733578996048 140077029538448 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24663] ppid=24657 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24663/stat : 24663 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092413 15372775424 21981 33554432000 4194304 4196468 140733578996048 140076805241360 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24664] ppid=24657 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24664/stat : 24664 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092414 15372775424 21981 33554432000 4194304 4196468 140733578996048 140076804188560 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24665] ppid=24657 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24665/stat : 24665 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092414 15372775424 21981 33554432000 4194304 4196468 140733578996048 140076803135760 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24666] ppid=24657 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24666/stat : 24666 (java) S 24657 24657 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092415 15372775424 21981 33554432000 4194304 4196468 140733578996048 140075861007216 140077025307266 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24667] ppid=24657 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24667/stat : 24667 (java) S 24657 24657 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225092416 15372775424 21981 33554432000 4194304 4196468 140733578996048 140075593623072 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24668] ppid=24657 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24668/stat : 24668 (java) S 24657 24657 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225092416 15372775424 21981 33554432000 4194304 4196468 140733578996048 140075459401072 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24669] ppid=24657 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24669/stat : 24669 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092418 15372775424 21981 33554432000 4194304 4196468 140733578996048 140075084896592 140077025314715 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24670] ppid=24657 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24660/task/24670/stat : 24670 (java) S 24657 24657 20606 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 15 0 225092418 15372775424 21981 33554432000 4194304 4196468 140733578996048 140075859954032 140077025307266 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24671] ppid=24657 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24660/task/24671/stat : 24671 (java) S 24657 24657 20606 0 -1 1077944384 205 0 0 0 2 0 0 0 20 0 15 0 225092418 15372775424 21981 33554432000 4194304 4196468 140733578996048 140075858901232 140077025307266 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24672] ppid=24657 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24660/task/24672/stat : 24672 (java) S 24657 24657 20606 0 -1 1077944384 338 0 0 0 7 0 0 0 20 0 15 0 225092418 15372775424 21981 33554432000 4194304 4196468 140733578996048 140075857848432 140077025307266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24673] ppid=24657 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24673/stat : 24673 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092418 15372775424 21981 33554432000 4194304 4196468 140733578996048 140074586990816 140077025306325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24674] ppid=24657 vsize=15012476 memory=3544956536867594289 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24674/stat : 24674 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092419 15372775424 21981 33554432000 4194304 4196468 140733578996048 140075856796848 140077025307266 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89320 KiB
[startup+0.701051 s]
/proc/loadavg: 2.69 2.31 2.16 3/224 24674
/proc/meminfo: memFree=16926400/32770624 swapFree=67058748/67108860
[pid=24657] ppid=24654 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24657/stat : 24657 (scop.sh) S 24654 24657 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225092411 115843072 349 33554432000 4194304 5098028 140734649635392 140734649632648 140093108699772 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32243712 140734649640001 140734649640199 140734649640199 140734649642957 0
/proc/24657/statm: 28282 349 296 221 0 87 0
[pid=24660] ppid=24657 vsize=15020872 memory=125092 CPUtime=1.02 cores=0,2,4,6
/proc/24660/stat : 24660 (java) S 24657 24657 20606 0 -1 1077944320 17496 0 0 0 97 5 0 0 20 0 15 0 225092412 15381372928 31273 33554432000 4194304 4196468 140733578996048 140733578978592 140077025296119 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
/proc/24660/statm: 3755218 31273 3140 1 0 3716603 0
[pid=24660/tid=24661] ppid=24657 vsize=15020872 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/24660/task/24661/stat : 24661 (java) R 24657 24657 20606 0 -1 4202560 14715 0 0 0 64 3 0 0 20 0 15 0 225092412 15381372928 31273 33554432000 4194304 4196468 140733578996048 140076997127656 140077009376606 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24662] ppid=24657 vsize=15020872 memory=288230377057956186 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24662/stat : 24662 (java) S 24657 24657 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092413 15381372928 31273 33554432000 4194304 4196468 140733578996048 140077029538448 140077025306325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24663] ppid=24657 vsize=15020872 memory=14408211646139281 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24663/stat : 24663 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092413 15381372928 31273 33554432000 4194304 4196468 140733578996048 140076805241360 140077025306325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24664] ppid=24657 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24664/stat : 24664 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092414 15381372928 31273 33554432000 4194304 4196468 140733578996048 140076804188560 140077025306325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24665] ppid=24657 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24665/stat : 24665 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092414 15381372928 31273 33554432000 4194304 4196468 140733578996048 140076803135760 140077025306325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24666] ppid=24657 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24666/stat : 24666 (java) R 24657 24657 20606 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 225092415 15381372928 31273 33554432000 4194304 4196468 140733578996048 140075861007216 140077018013271 0 0 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24667] ppid=24657 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24667/stat : 24667 (java) S 24657 24657 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225092416 15381372928 31273 33554432000 4194304 4196468 140733578996048 140075593623072 140077025306325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24668] ppid=24657 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24668/stat : 24668 (java) S 24657 24657 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225092416 15381372928 31273 33554432000 4194304 4196468 140733578996048 140075459401072 140077025306325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24669] ppid=24657 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24669/stat : 24669 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092418 15381372928 31273 33554432000 4194304 4196468 140733578996048 140075084896592 140077025314715 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24670] ppid=24657 vsize=15020872 memory=280144744808688 CPUtime=0.06 cores=0,2,4,6
/proc/24660/task/24670/stat : 24670 (java) S 24657 24657 20606 0 -1 1077944384 460 0 0 0 6 0 0 0 20 0 15 0 225092418 15381372928 31273 33554432000 4194304 4196468 140733578996048 140075859954032 140077025307266 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24671] ppid=24657 vsize=15020872 memory=7234030490512222553 CPUtime=0.09 cores=0,2,4,6
/proc/24660/task/24671/stat : 24671 (java) S 24657 24657 20606 0 -1 1077944384 457 0 0 0 9 0 0 0 20 0 15 0 225092418 15381372928 31273 33554432000 4194304 4196468 140733578996048 140075858901232 140077025307266 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24672] ppid=24657 vsize=15020872 memory=7594587674001172330 CPUtime=0.16 cores=0,2,4,6
/proc/24660/task/24672/stat : 24672 (java) S 24657 24657 20606 0 -1 1077944384 511 0 0 0 16 0 0 0 20 0 15 0 225092418 15381372928 31273 33554432000 4194304 4196468 140733578996048 140075857848432 140077025307266 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24673] ppid=24657 vsize=15020872 memory=7649399367135540274 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24673/stat : 24673 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092418 15381372928 31273 33554432000 4194304 4196468 140733578996048 140074586990816 140077025306325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
[pid=24660/tid=24674] ppid=24657 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24660/task/24674/stat : 24674 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092419 15381372928 31273 33554432000 4194304 4196468 140733578996048 140075856796848 140077025307266 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34791424 140733578998791 140733578999089 140733578999089 140733579001807 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 126488 KiB
[startup+1.50073 s]
/proc/loadavg: 2.79 2.34 2.17 4/224 24674
/proc/meminfo: memFree=16895320/32770624 swapFree=67058748/67108860
[pid=24657] ppid=24654 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24657/stat : 24657 (scop.sh) S 24654 24657 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225092411 115843072 349 33554432000 4194304 5098028 140734649635392 140734649632648 140093108699772 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32243712 140734649640001 140734649640199 140734649640199 140734649642957 0
/proc/24657/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 32.1 s
Current children cumulated vsize: 8250764 KiB
Current children cumulated memory: 169192 KiB
[startup+26.401 s]
/proc/loadavg: 2.52 2.31 2.17 3/229 24695
/proc/meminfo: memFree=16870940/32770624 swapFree=67058748/67108860
[pid=24657] ppid=24654 vsize=113128 memory=1472 CPUtime=10.06 cores=0,2,4,6
/proc/24657/stat : 24657 (scop.sh) S 24654 24657 20606 0 -1 4202496 590 27548 0 0 0 0 982 24 20 0 1 0 225092411 115843072 368 33554432000 4194304 5098028 140734649635392 140734649632136 140093108699772 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32243712 140734649640001 140734649640199 140734649640199 140734649642957 0
/proc/24657/statm: 28282 368 311 221 0 87 0
[pid=24675] ppid=24657 vsize=8068220 memory=115048 CPUtime=1.18 cores=0,2,4,6
/proc/24675/stat : 24675 (java) S 24657 24657 20606 0 -1 1077944320 17531 0 0 0 112 6 0 0 20 0 19 0 225092810 8261857280 28762 33554432000 4194304 4196468 140722247160336 140722247142880 140500125720311 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
/proc/24675/statm: 2017055 28762 3149 1 0 1978454 0
[pid=24690] ppid=24675 vsize=69416 memory=52672 CPUtime=21.66 cores=0,2,4,6
/proc/24690/stat : 24690 (minisat_release) R 24675 24657 20606 0 -1 4202496 22648 0 0 0 2163 3 0 0 20 0 1 0 225092884 71081984 13168 33554432000 4194304 4308513 140727795734112 140727795731112 4276468 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 21426176 140727795737716 140727795737814 140727795737814 140727795740613 0
/proc/24690/statm: 17354 13168 340 28 0 13594 0
[pid=24675/tid=24676] ppid=24657 vsize=8068220 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/24675/task/24676/stat : 24676 (java) S 24657 24657 20606 0 -1 1077944384 14567 0 0 0 72 4 0 0 20 0 19 0 225092810 8261857280 28762 33554432000 4194304 4196468 140722247160336 140500097560464 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24677] ppid=24657 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24677/stat : 24677 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092811 8261857280 28762 33554432000 4194304 4196468 140722247160336 140500129962768 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24678] ppid=24657 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24678/stat : 24678 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092811 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499930131344 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24679] ppid=24657 vsize=8068220 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24679/stat : 24679 (java) S 24657 24657 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225092811 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499929078800 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24680] ppid=24657 vsize=8068220 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24680/stat : 24680 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092811 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499928026256 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24681] ppid=24657 vsize=8068220 memory=812 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24681/stat : 24681 (java) S 24657 24657 20606 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 225092813 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499505039344 140500125731458 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24682] ppid=24657 vsize=8068220 memory=1932 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24682/stat : 24682 (java) S 24657 24657 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225092813 8261857280 28762 33554432000 4194304 4196468 140722247160336 140498916336544 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24683] ppid=24657 vsize=8068220 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24683/stat : 24683 (java) S 24657 24657 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225092814 8261857280 28762 33554432000 4194304 4196468 140722247160336 140498782114800 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24684] ppid=24657 vsize=8068220 memory=1840 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24684/stat : 24684 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140498407610576 140500125738907 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24685] ppid=24657 vsize=8068220 memory=7904 CPUtime=0.09 cores=0,2,4,6
/proc/24675/task/24685/stat : 24685 (java) S 24657 24657 20606 0 -1 1077944384 774 0 0 0 9 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499503987184 140500125731458 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24686] ppid=24657 vsize=8068220 memory=800 CPUtime=0.08 cores=0,2,4,6
/proc/24675/task/24686/stat : 24686 (java) S 24657 24657 20606 0 -1 1077944384 181 0 0 0 8 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499502934640 140500125731458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24687] ppid=24657 vsize=8068220 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/24675/task/24687/stat : 24687 (java) S 24657 24657 20606 0 -1 1077944384 576 0 0 0 21 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499501882096 140500125731458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24688] ppid=24657 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24688/stat : 24688 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140497909705824 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24689] ppid=24657 vsize=8068220 memory=8 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24689/stat : 24689 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499500828976 140500125731458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24691] ppid=24657 vsize=8068220 memory=64 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24691/stat : 24691 (java) S 24657 24657 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225092884 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499493020736 140500125744921 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24693] ppid=24657 vsize=8068220 memory=35 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24693/stat : 24693 (java) S 24657 24657 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225092884 8261857280 28762 33554432000 4194304 4196468 140722247160336 140497372819088 140500125742237 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24694] ppid=24657 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24694/stat : 24694 (java) S 24657 24657 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225092885 8261857280 28762 33554432000 4194304 4196468 140722247160336 140497507041040 140500125742237 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24695] ppid=24657 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24695/stat : 24695 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092887 8261857280 28762 33554432000 4194304 4196468 140722247160336 140497104395808 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
Current children cumulated CPU time: 32.9 s
Current children cumulated vsize: 8250764 KiB
Current children cumulated memory: 169192 KiB
[startup+26.6009 s]
/proc/loadavg: 2.52 2.31 2.17 3/229 24695
/proc/meminfo: memFree=16870940/32770624 swapFree=67058748/67108860
[pid=24657] ppid=24654 vsize=113128 memory=1472 CPUtime=10.06 cores=0,2,4,6
/proc/24657/stat : 24657 (scop.sh) S 24654 24657 20606 0 -1 4202496 590 27548 0 0 0 0 982 24 20 0 1 0 225092411 115843072 368 33554432000 4194304 5098028 140734649635392 140734649632136 140093108699772 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32243712 140734649640001 140734649640199 140734649640199 140734649642957 0
/proc/24657/statm: 28282 368 311 221 0 87 0
[pid=24675] ppid=24657 vsize=8068220 memory=115048 CPUtime=1.18 cores=0,2,4,6
/proc/24675/stat : 24675 (java) S 24657 24657 20606 0 -1 1077944320 17531 0 0 0 112 6 0 0 20 0 19 0 225092810 8261857280 28762 33554432000 4194304 4196468 140722247160336 140722247142880 140500125720311 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
/proc/24675/statm: 2017055 28762 3149 1 0 1978454 0
[pid=24690] ppid=24675 vsize=69416 memory=52672 CPUtime=21.86 cores=0,2,4,6
/proc/24690/stat : 24690 (minisat_release) R 24675 24657 20606 0 -1 4202496 22649 0 0 0 2183 3 0 0 20 0 1 0 225092884 71081984 13168 33554432000 4194304 4308513 140727795734112 140727795731112 4276143 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 21426176 140727795737716 140727795737814 140727795737814 140727795740613 0
/proc/24690/statm: 17354 13168 340 28 0 13594 0
[pid=24675/tid=24676] ppid=24657 vsize=8068220 memory=280144745589088 CPUtime=0.76 cores=0,2,4,6
/proc/24675/task/24676/stat : 24676 (java) S 24657 24657 20606 0 -1 1077944384 14567 0 0 0 72 4 0 0 20 0 19 0 225092810 8261857280 28762 33554432000 4194304 4196468 140722247160336 140500097560464 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24677] ppid=24657 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24677/stat : 24677 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092811 8261857280 28762 33554432000 4194304 4196468 140722247160336 140500129962768 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24678] ppid=24657 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24678/stat : 24678 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092811 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499930131344 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24679] ppid=24657 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24679/stat : 24679 (java) S 24657 24657 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225092811 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499929078800 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24680] ppid=24657 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24680/stat : 24680 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092811 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499928026256 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24681] ppid=24657 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24681/stat : 24681 (java) S 24657 24657 20606 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 225092813 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499505039344 140500125731458 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24682] ppid=24657 vsize=8068220 memory=170926137 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24682/stat : 24682 (java) S 24657 24657 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225092813 8261857280 28762 33554432000 4194304 4196468 140722247160336 140498916336544 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24683] ppid=24657 vsize=8068220 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24683/stat : 24683 (java) S 24657 24657 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225092814 8261857280 28762 33554432000 4194304 4196468 140722247160336 140498782114800 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24684] ppid=24657 vsize=8068220 memory=280144745553024 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24684/stat : 24684 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140498407610576 140500125738907 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24685] ppid=24657 vsize=8068220 memory=7811042102488031843 CPUtime=0.09 cores=0,2,4,6
/proc/24675/task/24685/stat : 24685 (java) S 24657 24657 20606 0 -1 1077944384 774 0 0 0 9 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499503987184 140500125731458 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24686] ppid=24657 vsize=8068220 memory=7378418276304577388 CPUtime=0.08 cores=0,2,4,6
/proc/24675/task/24686/stat : 24686 (java) S 24657 24657 20606 0 -1 1077944384 181 0 0 0 8 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499502934640 140500125731458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24687] ppid=24657 vsize=8068220 memory=7089629425455092843 CPUtime=0.21 cores=0,2,4,6
/proc/24675/task/24687/stat : 24687 (java) S 24657 24657 20606 0 -1 1077944384 576 0 0 0 21 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499501882096 140500125731458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24688] ppid=24657 vsize=8068220 memory=7089629425455092843 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24688/stat : 24688 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140497909705824 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24689] ppid=24657 vsize=8068220 memory=6083063900853921128 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24689/stat : 24689 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499500828976 140500125731458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24691] ppid=24657 vsize=8068220 memory=1024 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24691/stat : 24691 (java) S 24657 24657 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225092884 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499493020736 140500125744921 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24693] ppid=24657 vsize=8068220 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24693/stat : 24693 (java) S 24657 24657 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225092884 8261857280 28762 33554432000 4194304 4196468 140722247160336 140497372819088 140500125742237 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24694] ppid=24657 vsize=8068220 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24694/stat : 24694 (java) S 24657 24657 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225092885 8261857280 28762 33554432000 4194304 4196468 140722247160336 140497507041040 140500125742237 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24695] ppid=24657 vsize=8068220 memory=9004 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24695/stat : 24695 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092887 8261857280 28762 33554432000 4194304 4196468 140722247160336 140497104395808 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
Current children cumulated CPU time: 33.1 s
Current children cumulated vsize: 8250764 KiB
Current children cumulated memory: 169192 KiB
[startup+26.7009 s]
/proc/loadavg: 2.52 2.31 2.17 3/229 24695
/proc/meminfo: memFree=16870940/32770624 swapFree=67058748/67108860
[pid=24657] ppid=24654 vsize=113128 memory=1472 CPUtime=10.06 cores=0,2,4,6
/proc/24657/stat : 24657 (scop.sh) S 24654 24657 20606 0 -1 4202496 590 27548 0 0 0 0 982 24 20 0 1 0 225092411 115843072 368 33554432000 4194304 5098028 140734649635392 140734649632136 140093108699772 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32243712 140734649640001 140734649640199 140734649640199 140734649642957 0
/proc/24657/statm: 28282 368 311 221 0 87 0
[pid=24675] ppid=24657 vsize=8068220 memory=115048 CPUtime=1.18 cores=0,2,4,6
/proc/24675/stat : 24675 (java) S 24657 24657 20606 0 -1 1077944320 17531 0 0 0 112 6 0 0 20 0 19 0 225092810 8261857280 28762 33554432000 4194304 4196468 140722247160336 140722247142880 140500125720311 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
/proc/24675/statm: 2017055 28762 3149 1 0 1978454 0
[pid=24690] ppid=24675 vsize=69416 memory=52672 CPUtime=21.96 cores=0,2,4,6
/proc/24690/stat : 24690 (minisat_release) R 24675 24657 20606 0 -1 4202496 22649 0 0 0 2193 3 0 0 20 0 1 0 225092884 71081984 13168 33554432000 4194304 4308513 140727795734112 140727795731112 4276085 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 21426176 140727795737716 140727795737814 140727795737814 140727795740613 0
/proc/24690/statm: 17354 13168 340 28 0 13594 0
[pid=24675/tid=24676] ppid=24657 vsize=8068220 memory=115048 CPUtime=0.76 cores=0,2,4,6
/proc/24675/task/24676/stat : 24676 (java) S 24657 24657 20606 0 -1 1077944384 14567 0 0 0 72 4 0 0 20 0 19 0 225092810 8261857280 28762 33554432000 4194304 4196468 140722247160336 140500097560464 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24677] ppid=24657 vsize=8068220 memory=115048 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24677/stat : 24677 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092811 8261857280 28762 33554432000 4194304 4196468 140722247160336 140500129962768 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24678] ppid=24657 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24678/stat : 24678 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092811 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499930131344 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24679] ppid=24657 vsize=8068220 memory=52672 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24679/stat : 24679 (java) S 24657 24657 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225092811 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499929078800 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24680] ppid=24657 vsize=8068220 memory=430 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24680/stat : 24680 (java) S 24657 24657 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092811 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499928026256 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24681] ppid=24657 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24681/stat : 24681 (java) S 24657 24657 20606 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 225092813 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499505039344 140500125731458 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24682] ppid=24657 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24682/stat : 24682 (java) S 24657 24657 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225092813 8261857280 28762 33554432000 4194304 4196468 140722247160336 140498916336544 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24683] ppid=24657 vsize=8068220 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24683/stat : 24683 (java) S 24657 24657 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225092814 8261857280 28762 33554432000 4194304 4196468 140722247160336 140498782114800 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24684] ppid=24657 vsize=8068220 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24684/stat : 24684 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140498407610576 140500125738907 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24685] ppid=24657 vsize=8068220 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24675/task/24685/stat : 24685 (java) S 24657 24657 20606 0 -1 1077944384 774 0 0 0 9 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499503987184 140500125731458 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24686] ppid=24657 vsize=8068220 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/24675/task/24686/stat : 24686 (java) S 24657 24657 20606 0 -1 1077944384 181 0 0 0 8 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499502934640 140500125731458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24687] ppid=24657 vsize=8068220 memory=288283376904053614 CPUtime=0.21 cores=0,2,4,6
/proc/24675/task/24687/stat : 24687 (java) S 24657 24657 20606 0 -1 1077944384 576 0 0 0 21 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499501882096 140500125731458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24688] ppid=24657 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24688/stat : 24688 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140497909705824 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24689] ppid=24657 vsize=8068220 memory=115048 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24689/stat : 24689 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092816 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499500828976 140500125731458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24691] ppid=24657 vsize=8068220 memory=52672 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24691/stat : 24691 (java) S 24657 24657 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225092884 8261857280 28762 33554432000 4194304 4196468 140722247160336 140499493020736 140500125744921 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24693] ppid=24657 vsize=8068220 memory=115048 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24693/stat : 24693 (java) S 24657 24657 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225092884 8261857280 28762 33554432000 4194304 4196468 140722247160336 140497372819088 140500125742237 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24694] ppid=24657 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24694/stat : 24694 (java) S 24657 24657 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225092885 8261857280 28762 33554432000 4194304 4196468 140722247160336 140497507041040 140500125742237 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
[pid=24675/tid=24695] ppid=24657 vsize=8068220 memory=115048 CPUtime=0 cores=0,2,4,6
/proc/24675/task/24695/stat : 24695 (java) S 24657 24657 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092887 8261857280 28762 33554432000 4194304 4196468 140722247160336 140497104395808 140500125730517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10178560 140722247165109 140722247165233 140722247165233 140722247167951 0
Current children cumulated CPU time: 33.2 s
Current children cumulated vsize: 8250764 KiB
Current children cumulated memory: 169192 KiB
Child status: 0
Real time (s): 26.7904
CPU time (s): 33.3317
CPU user time (s): 32.9793
CPU system time (s): 0.352428
CPU usage (%): 124.416
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 933924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.9793
system time used= 0.352428
maximum resident set size= 938236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68404
page faults= 0
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6171
involuntary context switches= 102
# summary of solver processes directly reported to runsolver:
# pid: 24657
# total CPU time (s): 33.3317
# total CPU user time (s): 32.9793
# total CPU system time (s): 0.352428
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.193537 second user time and 0.346633 second system time
The end