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-5704-serial-file.bin HOME/instance-4305502-1534069752.xml
0.54/0.51
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 12:29:13 CEST 2018
0.66/0.54 c PID: 5707
0.66/0.54 c IP: 172.20.3.151
0.66/0.54 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.37/0.92 c (0,0) Parsing End
1.37/0.92 c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
1.37/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.92 c (0,0) Constraint Name Generate Begin
1.37/0.93 c (0,0) Ctr:HOME/instance-4305502-1534069752.xml,IntVar:Num:WeightedSum
1.37/0.93 c (0,0) Constraint Name Generate End
1.37/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.93 c (0,0) CSP to CSPinCNF Begin
1.55/1.03 c (0,0) translated 5 (10%) constraints
1.55/1.05 c (0,0) translated 9 (20%) constraints
1.55/1.06 c (0,0) translated 13 (30%) constraints
1.55/1.07 c (0,0) translated 17 (40%) constraints
1.55/1.08 c (0,0) translated 21 (50%) constraints
1.55/1.09 c (0,0) translated 26 (60%) constraints
1.55/1.09 c (0,0) translated 30 (70%) constraints
1.55/1.10 c (0,0) translated 34 (80%) constraints
1.55/1.11 c (0,0) translated 38 (90%) constraints
1.55/1.11 c (0,0) translated 42 (100%) constraints
1.85/1.15 c (0,0) STATISTICS1:HOME/instance-4305502-1534069752.xml,IntVar:Num:WeightedSum,220,42,1024,2,1,11,1024:20;512:22,2:440,1:42,11:20;10:22,
1.85/1.15 c (0,0) ==========================================
1.85/1.15 c (0,0) Order
1.85/1.15 c (0,0) ==========================================
1.85/1.16 c (0,0) translated 5 (10%) constraints
1.85/1.17 c (0,0) translated 9 (20%) constraints
1.85/1.17 c (0,0) translated 13 (30%) constraints
1.85/1.18 c (0,0) translated 17 (40%) constraints
1.85/1.18 c (0,0) translated 21 (50%) constraints
1.85/1.18 c (0,0) translated 26 (60%) constraints
1.85/1.18 c (0,0) translated 30 (70%) constraints
1.85/1.19 c (0,0) translated 34 (80%) constraints
1.85/1.19 c (0,0) translated 38 (90%) constraints
1.85/1.19 c (0,0) translated 42 (100%) constraints
1.85/1.20 c (0,0) CSP to CSPinCNF End
2.08/1.20 c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.08/1.20 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.08/1.20 c (0,0) CSPinCNF Propagation Begin
2.08/1.21 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.08/1.21 c (0,0) CSPinCNF Propagation End
2.08/1.21 c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.08/1.21 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.08/1.21 c (0,0) Simplify CSPinCNF Begin
2.08/1.21 c (0,0) Simplify CSPinCNF End
2.08/1.21 c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.08/1.21 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.08/1.21 c (0,0) Calculate Precise Domain Begin
2.08/1.22 c (0,0) 0 values are removed by re-calculation
2.08/1.22 c (0,0) Calculate Precise Domain End
2.08/1.22 c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.08/1.22 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.08/1.22 c (0,0) CSPinCNF to SatSolver Begin
2.08/1.27 c (0,0) 5 (10 %) CSP clauses are encoded (220 SAT variables, 4 SAT clauses)
2.08/1.27 c (0,0) 9 (20 %) CSP clauses are encoded (220 SAT variables, 8 SAT clauses)
2.08/1.28 c (0,0) 13 (30 %) CSP clauses are encoded (220 SAT variables, 12 SAT clauses)
2.08/1.28 c (0,0) 17 (40 %) CSP clauses are encoded (220 SAT variables, 16 SAT clauses)
2.08/1.29 c (0,0) 21 (50 %) CSP clauses are encoded (220 SAT variables, 20 SAT clauses)
2.36/1.30 c (0,0) 26 (60 %) CSP clauses are encoded (220 SAT variables, 187 SAT clauses)
2.36/1.32 c (0,0) 30 (70 %) CSP clauses are encoded (220 SAT variables, 407 SAT clauses)
2.36/1.33 c (0,0) 34 (80 %) CSP clauses are encoded (220 SAT variables, 627 SAT clauses)
2.36/1.34 c (0,0) 38 (90 %) CSP clauses are encoded (220 SAT variables, 847 SAT clauses)
2.36/1.35 c (0,0) 42 (100 %) CSP clauses are encoded (220 SAT variables, 1067 SAT clauses)
2.36/1.35 c (0,0) Launch Command will be: minisat_release
2.36/1.35 c (0,0) CSPinCNF to SatSolver End
2.36/1.35 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.36/1.36 c (0,0) STATISTICS2:HOME/instance-4305502-1534069752.xml,IntVar:Num:WeightedSum,220,42,1024,2,1,11,1024:20;512:22,2:440,1:42,11:20;10:22,
2.36/1.36 c (0,0) 220 bool, 1122 clause
2.36/1.36 c (0,0) Export Begin
2.79/1.59 c (1,0) Export to HOME/scop-5704-serial-file.bin
2.79/1.59 c (1,0) Export End
2.79/1.59 c (1,0) Export File Size: 0.03 MB
2.79/1.59 c (1,0) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.79/1.59 c END-Prog: Sun Aug 12 12:29:14 CEST 2018
2.79/1.60 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-5704-serial-file.bin
3.38/2.09 c (0,0) Read Serial File Begin
3.38/2.09 c (0,0) HOME/scop-5704-serial-file.bin
3.64/2.26 c (0,0) Read Serial File End
3.64/2.28
3.64/2.28 scop order+minisat_release (2018-07-31)
3.64/2.28 (Solving Process)
3.64/2.28
3.80/2.30 c BEGIN-Prog: Sun Aug 12 12:29:15 CEST 2018
3.80/2.30 c PID: 5722
3.80/2.30 c IP: 172.20.3.151
3.80/2.30 c HOST: node151.alineos.net
3.80/2.30 c (0,0) SatSolver.solve Begin
3.80/2.30 c (0,0) 0 bool, 0 clause
3.80/2.30 c (0,0) minisat_release HOME/instance-4305502-1534069752.xml-scop-5707.cnf
16.94/15.37 c (13,0) c This is COMiniSatPS.
16.94/15.37 c (13,0) c WARNING: for repeatability, setting FPU to use double precision
16.94/15.37 c (13,0) c ============================[ Problem Statistics ]=============================
16.94/15.37 c (13,0) c | |
16.94/15.37 c (13,0) c | Number of variables: 220 |
16.94/15.37 c (13,0) c | Number of clauses: 1122 |
16.94/15.37 c (13,0) c | Parse time: 0.00 s |
16.94/15.37 c (13,0) c | Eliminated clauses: 0.00 Mb |
16.94/15.37 c (13,0) c Reduced to 198 vars, 1100 cls (grow=0)
16.94/15.37 c (13,0) c No iterative elimination performed. (vars=198, c/v ratio=5.6)
16.94/15.38 c (13,0) c | Simplification time: 0.00 s |
16.94/15.38 c (13,0) c | |
16.94/15.38 c (13,0) c ============================[ Search Statistics ]==============================
16.94/15.38 c (13,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
16.94/15.38 c (13,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
16.94/15.38 c (13,0) c ===============================================================================
16.94/15.38 c (13,0) c ===============================================================================
16.94/15.38 c (13,0) c restarts : 553
16.94/15.38 c (13,0) c conflicts : 243797 (18717 /sec)
16.94/15.38 c (13,0) c decisions : 274804 (0.00 % random) (21098 /sec)
16.94/15.38 c (13,0) c propagations : 2677496 (205559 /sec)
16.94/15.38 c (13,0) c conflict literals : 6808576 (18.69 % deleted)
16.94/15.38 c (13,0) c CPU time : 13.0254 s
16.94/15.38 c (13,0)
16.94/15.38 c (13,0) s UNSATISFIABLE
16.94/15.38 c (13,0) SatSolver.solve End
16.94/15.38 c (13,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
16.94/15.38 c (13,0) Show results Begin
16.94/15.38 s UNSATISFIABLE
16.94/15.38 c (13,0) Show results End
16.94/15.38 c (13,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
16.94/15.38 c (13,0) 13,13,STOP-AFTER(ALL)
16.94/15.38 c END-Prog: Sun Aug 12 12:29:28 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 (2653 MiB free)
memory of node 1: 16384 MiB (5525 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305502-1534069752/watcher-4305502-1534069752 -o /tmp/evaluation-result-4305502-1534069752/solver-4305502-1534069752 -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-4305502-1534069752.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
solver pid=5704, runsolver pid=5701
Current StackSize limit: 8192 KiB
[startup+0.100237 s]*
/proc/loadavg: 2.69 2.27 2.13 4/222 5721
/proc/meminfo: memFree=8314492/32770624 swapFree=67108860/67108860
[pid=5704] ppid=5701 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5704/stat : 5704 (scop.sh) S 5701 5704 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224538438 115843072 349 33554432000 4194304 5098028 140723443778448 140723443775704 140192470487676 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7852032 140723443786816 140723443787015 140723443787015 140723443789773 0
/proc/5704/statm: 28282 349 296 221 0 87 0
[pid=5707] ppid=5704 vsize=15012476 memory=71708 CPUtime=0.1 cores=1,3,5,7
/proc/5707/stat : 5707 (java) S 5704 5704 3762 0 -1 1077944320 6062 0 0 0 8 2 0 0 20 0 15 0 224538439 15372775424 17927 33554432000 4194304 4196468 140735430073664 140735430056208 140336389881591 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
/proc/5707/statm: 3753119 17927 2743 1 0 3715579 0
[pid=5707/tid=5708] ppid=5704 vsize=15012476 memory=-2843876196599317662 CPUtime=0.09 cores=1,3,5,7
/proc/5707/task/5708/stat : 5708 (java) R 5704 5704 3762 0 -1 4202560 4204 0 0 0 7 2 0 0 20 0 15 0 224538439 15372775424 17927 33554432000 4194304 4196468 140735430073664 140336361670704 140336389903517 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5709] ppid=5704 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5709/stat : 5709 (java) S 5704 5704 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224538441 15372775424 17927 33554432000 4194304 4196468 140735430073664 140336394124048 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5710] ppid=5704 vsize=15012476 memory=140609399940736 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5710/stat : 5710 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538441 15372775424 17927 33554432000 4194304 4196468 140735430073664 140336185207696 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5711] ppid=5704 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5711/stat : 5711 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538441 15372775424 17927 33554432000 4194304 4196468 140735430073664 140336184155152 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5712] ppid=5704 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5712/stat : 5712 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538441 15372775424 17927 33554432000 4194304 4196468 140735430073664 140336183102608 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5713] ppid=5704 vsize=15012476 memory=140609399940736 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5713/stat : 5713 (java) S 5704 5704 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224538442 15372775424 17927 33554432000 4194304 4196468 140735430073664 140335360321520 140336389892738 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5714] ppid=5704 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5714/stat : 5714 (java) S 5704 5704 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224538442 15372775424 17927 33554432000 4194304 4196468 140735430073664 140334969381792 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5715] ppid=5704 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5715/stat : 5715 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538443 15372775424 17927 33554432000 4194304 4196468 140735430073664 140334700946416 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5716] ppid=5704 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5716/stat : 5716 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224538445 15372775424 17927 33554432000 4194304 4196468 140735430073664 140334326438096 140336389900187 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5717] ppid=5704 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5717/stat : 5717 (java) S 5704 5704 3762 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 224538445 15372775424 17927 33554432000 4194304 4196468 140735430073664 140335359269360 140336389892738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5718] ppid=5704 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5718/stat : 5718 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224538445 15372775424 17927 33554432000 4194304 4196468 140735430073664 140335358216816 140336389892738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5719] ppid=5704 vsize=15012476 memory=140609399940736 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5719/stat : 5719 (java) R 5704 5704 3762 0 -1 4202560 246 0 0 0 0 0 0 0 20 0 15 0 224538445 15372775424 17927 33554432000 4194304 4196468 140735430073664 140335357164272 140336371121904 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5720] ppid=5704 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5720/stat : 5720 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224538445 15372775424 17927 33554432000 4194304 4196468 140735430073664 140333828533344 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5721] ppid=5704 vsize=15012476 memory=140609399940736 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5721/stat : 5721 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538445 15372775424 17927 33554432000 4194304 4196468 140735430073664 140335356111152 140336389892738 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73104 KiB
[startup+0.210827 s]*
/proc/loadavg: 2.69 2.27 2.13 3/222 5721
/proc/meminfo: memFree=8300556/32770624 swapFree=67108860/67108860
[pid=5704] ppid=5701 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5704/stat : 5704 (scop.sh) S 5701 5704 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224538438 115843072 349 33554432000 4194304 5098028 140723443778448 140723443775704 140192470487676 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7852032 140723443786816 140723443787015 140723443787015 140723443789773 0
/proc/5704/statm: 28282 349 296 221 0 87 0
[pid=5707] ppid=5704 vsize=15012476 memory=85812 CPUtime=0.24 cores=1,3,5,7
/proc/5707/stat : 5707 (java) S 5704 5704 3762 0 -1 1077944320 9741 0 0 0 21 3 0 0 20 0 15 0 224538439 15372775424 21453 33554432000 4194304 4196468 140735430073664 140735430056208 140336389881591 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
/proc/5707/statm: 3753119 21453 2934 1 0 3715579 0
[pid=5707/tid=5708] ppid=5704 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/5707/task/5708/stat : 5708 (java) R 5704 5704 3762 0 -1 4202560 7659 0 0 0 17 2 0 0 20 0 15 0 224538439 15372775424 21453 33554432000 4194304 4196468 140735430073664 140336361701296 140336389893526 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5709] ppid=5704 vsize=15012476 memory=540 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5709/stat : 5709 (java) S 5704 5704 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224538441 15372775424 21453 33554432000 4194304 4196468 140735430073664 140336394124048 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5710] ppid=5704 vsize=15012476 memory=140609401093711 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5710/stat : 5710 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538441 15372775424 21453 33554432000 4194304 4196468 140735430073664 140336185207696 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5711] ppid=5704 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5711/stat : 5711 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538441 15372775424 21453 33554432000 4194304 4196468 140735430073664 140336184155152 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5712] ppid=5704 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5712/stat : 5712 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538441 15372775424 21453 33554432000 4194304 4196468 140735430073664 140336183102608 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5713] ppid=5704 vsize=15012476 memory=140609399940736 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5713/stat : 5713 (java) S 5704 5704 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224538442 15372775424 21453 33554432000 4194304 4196468 140735430073664 140335360321520 140336389892738 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5714] ppid=5704 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5714/stat : 5714 (java) S 5704 5704 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224538442 15372775424 21453 33554432000 4194304 4196468 140735430073664 140334969381792 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5715] ppid=5704 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5715/stat : 5715 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538443 15372775424 21453 33554432000 4194304 4196468 140735430073664 140334700946416 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5716] ppid=5704 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5716/stat : 5716 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224538445 15372775424 21453 33554432000 4194304 4196468 140735430073664 140334326438096 140336389900187 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5717] ppid=5704 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5717/stat : 5717 (java) S 5704 5704 3762 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 15 0 224538445 15372775424 21453 33554432000 4194304 4196468 140735430073664 140335359269360 140336389892738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5718] ppid=5704 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5718/stat : 5718 (java) S 5704 5704 3762 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 224538445 15372775424 21453 33554432000 4194304 4196468 140735430073664 140335358216816 140336389892738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5719] ppid=5704 vsize=15012476 memory=140609399940736 CPUtime=0.03 cores=1,3,5,7
/proc/5707/task/5719/stat : 5719 (java) R 5704 5704 3762 0 -1 4202560 291 0 0 0 3 0 0 0 20 0 15 0 224538445 15372775424 21453 33554432000 4194304 4196468 140735430073664 140335357164272 140336373962078 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5720] ppid=5704 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5720/stat : 5720 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224538445 15372775424 21453 33554432000 4194304 4196468 140735430073664 140333828533344 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5721] ppid=5704 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5721/stat : 5721 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538445 15372775424 21453 33554432000 4194304 4196468 140735430073664 140335356111152 140336389892738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87208 KiB
[startup+0.310999 s]*
/proc/loadavg: 2.69 2.27 2.13 3/222 5721
/proc/meminfo: memFree=8296896/32770624 swapFree=67108860/67108860
[pid=5704] ppid=5701 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5704/stat : 5704 (scop.sh) S 5701 5704 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224538438 115843072 349 33554432000 4194304 5098028 140723443778448 140723443775704 140192470487676 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7852032 140723443786816 140723443787015 140723443787015 140723443789773 0
/proc/5704/statm: 28282 349 296 221 0 87 0
[pid=5707] ppid=5704 vsize=15012476 memory=89688 CPUtime=0.41 cores=1,3,5,7
/proc/5707/stat : 5707 (java) S 5704 5704 3762 0 -1 1077944320 10375 0 0 0 38 3 0 0 20 0 15 0 224538439 15372775424 22422 33554432000 4194304 4196468 140735430073664 140735430056208 140336389881591 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
/proc/5707/statm: 3753119 22422 2977 1 0 3715579 0
[pid=5707/tid=5708] ppid=5704 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/5707/task/5708/stat : 5708 (java) R 5704 5704 3762 0 -1 4202560 8103 0 0 0 26 3 0 0 20 0 15 0 224538439 15372775424 22422 33554432000 4194304 4196468 140735430073664 140336361686184 140336373925221 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5709] ppid=5704 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5709/stat : 5709 (java) S 5704 5704 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224538441 15372775424 22422 33554432000 4194304 4196468 140735430073664 140336394124048 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5710] ppid=5704 vsize=15012476 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5710/stat : 5710 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538441 15372775424 22422 33554432000 4194304 4196468 140735430073664 140336185207696 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5711] ppid=5704 vsize=15012476 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5711/stat : 5711 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538441 15372775424 22422 33554432000 4194304 4196468 140735430073664 140336184155152 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5712] ppid=5704 vsize=15012476 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5712/stat : 5712 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538441 15372775424 22422 33554432000 4194304 4196468 140735430073664 140336183102608 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5713] ppid=5704 vsize=15012476 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5713/stat : 5713 (java) S 5704 5704 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224538442 15372775424 22422 33554432000 4194304 4196468 140735430073664 140335360321520 140336389892738 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5714] ppid=5704 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5714/stat : 5714 (java) S 5704 5704 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224538442 15372775424 22422 33554432000 4194304 4196468 140735430073664 140334969381792 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5715] ppid=5704 vsize=15012476 memory=8549982201333320512 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5715/stat : 5715 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538443 15372775424 22422 33554432000 4194304 4196468 140735430073664 140334700946416 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5716] ppid=5704 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5716/stat : 5716 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224538445 15372775424 22422 33554432000 4194304 4196468 140735430073664 140334326438096 140336389900187 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5717] ppid=5704 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5707/task/5717/stat : 5717 (java) R 5704 5704 3762 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 15 0 224538445 15372775424 22422 33554432000 4194304 4196468 140735430073664 140335359269456 140336389891797 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5718] ppid=5704 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5707/task/5718/stat : 5718 (java) R 5704 5704 3762 0 -1 4202560 231 0 0 0 2 0 0 0 20 0 15 0 224538445 15372775424 22422 33554432000 4194304 4196468 140735430073664 140335358216816 140336374761634 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5719] ppid=5704 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5707/task/5719/stat : 5719 (java) R 5704 5704 3762 0 -1 4202560 334 0 0 0 7 0 0 0 20 0 15 0 224538445 15372775424 22422 33554432000 4194304 4196468 140735430073664 140335357164272 140336369232728 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5720] ppid=5704 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5720/stat : 5720 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224538445 15372775424 22422 33554432000 4194304 4196468 140735430073664 140333828533344 140336389891797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5721] ppid=5704 vsize=15012476 memory=3618985572417287983 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5721/stat : 5721 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538445 15372775424 22422 33554432000 4194304 4196468 140735430073664 140335356111152 140336389892738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91084 KiB
[startup+0.701065 s]
/proc/loadavg: 2.69 2.27 2.13 3/222 5721
/proc/meminfo: memFree=8271844/32770624 swapFree=67108860/67108860
[pid=5704] ppid=5701 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5704/stat : 5704 (scop.sh) S 5701 5704 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224538438 115843072 349 33554432000 4194304 5098028 140723443778448 140723443775704 140192470487676 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7852032 140723443786816 140723443787015 140723443787015 140723443789773 0
/proc/5704/statm: 28282 349 296 221 0 87 0
[pid=5707] ppid=5704 vsize=15020872 memory=129784 CPUtime=1 cores=1,3,5,7
/proc/5707/stat : 5707 (java) S 5704 5704 3762 0 -1 1077944320 17609 0 0 0 94 6 0 0 20 0 15 0 224538439 15381372928 32446 33554432000 4194304 4196468 140735430073664 140735430056208 140336389881591 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
/proc/5707/statm: 3755218 32446 3155 1 0 3716603 0
[pid=5707/tid=5708] ppid=5704 vsize=15020872 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/5707/task/5708/stat : 5708 (java) R 5704 5704 3762 0 -1 4202560 14888 0 0 0 62 5 0 0 20 0 15 0 224538439 15381372928 32446 33554432000 4194304 4196468 140735430073664 140336361715344 140336389902938 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5709] ppid=5704 vsize=15020872 memory=180 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5709/stat : 5709 (java) S 5704 5704 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224538441 15381372928 32446 33554432000 4194304 4196468 140735430073664 140336394124048 140336389891797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5710] ppid=5704 vsize=15020872 memory=14795 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5710/stat : 5710 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538441 15381372928 32446 33554432000 4194304 4196468 140735430073664 140336185207696 140336389891797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5711] ppid=5704 vsize=15020872 memory=26692 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5711/stat : 5711 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538441 15381372928 32446 33554432000 4194304 4196468 140735430073664 140336184155152 140336389891797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5712] ppid=5704 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5712/stat : 5712 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538441 15381372928 32446 33554432000 4194304 4196468 140735430073664 140336183102608 140336389891797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5713] ppid=5704 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5713/stat : 5713 (java) S 5704 5704 3762 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 224538442 15381372928 32446 33554432000 4194304 4196468 140735430073664 140335360321520 140336389892738 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5714] ppid=5704 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5714/stat : 5714 (java) S 5704 5704 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224538442 15381372928 32446 33554432000 4194304 4196468 140735430073664 140334969381792 140336389891797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5715] ppid=5704 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5715/stat : 5715 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538443 15381372928 32446 33554432000 4194304 4196468 140735430073664 140334700946416 140336389891797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5716] ppid=5704 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5716/stat : 5716 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224538445 15381372928 32446 33554432000 4194304 4196468 140735430073664 140334326438096 140336389900187 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5717] ppid=5704 vsize=15020872 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5707/task/5717/stat : 5717 (java) S 5704 5704 3762 0 -1 1077944384 625 0 0 0 9 0 0 0 20 0 15 0 224538445 15381372928 32446 33554432000 4194304 4196468 140735430073664 140335359269360 140336389892738 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5718] ppid=5704 vsize=15020872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5707/task/5718/stat : 5718 (java) S 5704 5704 3762 0 -1 1077944384 308 0 0 0 7 0 0 0 20 0 15 0 224538445 15381372928 32446 33554432000 4194304 4196468 140735430073664 140335358216816 140336389892738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5719] ppid=5704 vsize=15020872 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/5707/task/5719/stat : 5719 (java) S 5704 5704 3762 0 -1 1077944384 453 0 0 0 15 0 0 0 20 0 15 0 224538445 15381372928 32446 33554432000 4194304 4196468 140735430073664 140335357164272 140336389892738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5720] ppid=5704 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5720/stat : 5720 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224538445 15381372928 32446 33554432000 4194304 4196468 140735430073664 140333828533344 140336389891797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
[pid=5707/tid=5721] ppid=5704 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5707/task/5721/stat : 5721 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224538445 15381372928 32446 33554432000 4194304 4196468 140735430073664 140335356111152 140336389892738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140735430079495 140735430079793 140735430079793 140735430082511 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131180 KiB
[startup+1.50087 s]
/proc/loadavg: 2.69 2.27 2.13 3/222 5721
/proc/meminfo: memFree=8245356/32770624 swapFree=67108860/67108860
[pid=5704] ppid=5701 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5704/stat : 5704 (scop.sh) S 5701 5704 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224538438 115843072 349 33554432000 4194304 5098028 140723443778448 140723443775704 140192470487676 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7852032 140723443786816 140723443787015 140723443787015 140723443789773 0
/proc/5704/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 16.04 s
Current children cumulated vsize: 8220100 KiB
Current children cumulated memory: 140396 KiB
[startup+14.8009 s]
/proc/loadavg: 2.58 2.26 2.13 3/227 5742
/proc/meminfo: memFree=8247400/32770624 swapFree=67108860/67108860
[pid=5704] ppid=5701 vsize=113128 memory=1472 CPUtime=2.85 cores=1,3,5,7
/proc/5704/stat : 5704 (scop.sh) S 5701 5704 3762 0 -1 4202496 592 21812 0 0 0 0 275 10 20 0 1 0 224538438 115843072 368 33554432000 4194304 5098028 140723443778448 140723443775192 140192470487676 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7852032 140723443786816 140723443787015 140723443787015 140723443789773 0
/proc/5704/statm: 28282 368 311 221 0 87 0
[pid=5722] ppid=5704 vsize=8068220 memory=118464 CPUtime=1.13 cores=1,3,5,7
/proc/5722/stat : 5722 (java) S 5704 5704 3762 0 -1 1077944320 18395 0 0 0 108 5 0 0 20 0 19 0 224538599 8261857280 29616 33554432000 4194304 4196468 140733258881088 140733258863632 139899790323447 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
/proc/5722/statm: 2017055 29616 3152 1 0 1978454 0
[pid=5737] ppid=5722 vsize=38752 memory=20460 CPUtime=12.46 cores=1,3,5,7
/proc/5737/stat : 5737 (minisat_release) R 5722 5704 3762 0 -1 4202496 12658 0 0 0 1244 2 0 0 20 0 1 0 224538671 39682048 5115 33554432000 4194304 4308513 140722203597856 140722203594856 4276400 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 25391104 140722203599989 140722203600086 140722203600086 140722203602885 0
/proc/5737/statm: 9688 5115 336 28 0 5928 0
[pid=5722/tid=5723] ppid=5704 vsize=8068220 memory=20460 CPUtime=0.74 cores=1,3,5,7
/proc/5722/task/5723/stat : 5723 (java) S 5704 5704 3762 0 -1 1077944384 15406 0 0 0 70 4 0 0 20 0 19 0 224538599 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899762163600 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5724] ppid=5704 vsize=8068220 memory=4628977593763849875 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5724/stat : 5724 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538600 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899794566032 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5725] ppid=5704 vsize=8068220 memory=288288891625289977 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5725/stat : 5725 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538600 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899594734352 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5726] ppid=5704 vsize=8068220 memory=1329904169539632281 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5726/stat : 5726 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538600 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899593682064 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5727] ppid=5704 vsize=8068220 memory=281218486816128 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5727/stat : 5727 (java) S 5704 5704 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224538600 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899592629264 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5728] ppid=5704 vsize=8068220 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5728/stat : 5728 (java) S 5704 5704 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224538602 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899236726896 139899790334594 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5729] ppid=5704 vsize=8068220 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5729/stat : 5729 (java) S 5704 5704 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224538602 8261857280 29616 33554432000 4194304 4196468 140733258881088 139898627547936 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5730] ppid=5704 vsize=8068220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5730/stat : 5730 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538602 8261857280 29616 33554432000 4194304 4196468 140733258881088 139898359112816 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5731] ppid=5704 vsize=8068220 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5731/stat : 5731 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139897984604240 139899790342043 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5732] ppid=5704 vsize=8068220 memory=2092 CPUtime=0.08 cores=1,3,5,7
/proc/5722/task/5732/stat : 5732 (java) S 5704 5704 3762 0 -1 1077944384 511 0 0 0 8 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899235674736 139899790334594 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5733] ppid=5704 vsize=8068220 memory=8148 CPUtime=0.07 cores=1,3,5,7
/proc/5722/task/5733/stat : 5733 (java) S 5704 5704 3762 0 -1 1077944384 439 0 0 0 7 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899234621936 139899790334594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5734] ppid=5704 vsize=8068220 memory=844 CPUtime=0.2 cores=1,3,5,7
/proc/5722/task/5734/stat : 5734 (java) S 5704 5704 3762 0 -1 1077944384 624 0 0 0 20 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899233569648 139899790334594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5735] ppid=5704 vsize=8068220 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5735/stat : 5735 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139897486699488 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5736] ppid=5704 vsize=8068220 memory=920 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5736/stat : 5736 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899164420528 139899790334594 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5738] ppid=5704 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5738/stat : 5738 (java) S 5704 5704 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224538671 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899232183232 139899790348057 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5740] ppid=5704 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5740/stat : 5740 (java) S 5704 5704 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224538671 8261857280 29616 33554432000 4194304 4196468 140733258881088 139896949812784 139899790345373 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5741] ppid=5704 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5741/stat : 5741 (java) S 5704 5704 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224538671 8261857280 29616 33554432000 4194304 4196468 140733258881088 139897084034992 139899790345373 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5742] ppid=5704 vsize=8068220 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5742/stat : 5742 (java) S 5704 5704 3762 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 224538673 8261857280 29616 33554432000 4194304 4196468 140733258881088 139896681389472 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
Current children cumulated CPU time: 16.44 s
Current children cumulated vsize: 8220100 KiB
Current children cumulated memory: 140396 KiB
[startup+15.2009 s]
/proc/loadavg: 2.62 2.28 2.14 3/227 5742
/proc/meminfo: memFree=8247400/32770624 swapFree=67108860/67108860
[pid=5704] ppid=5701 vsize=113128 memory=1472 CPUtime=2.85 cores=1,3,5,7
/proc/5704/stat : 5704 (scop.sh) S 5701 5704 3762 0 -1 4202496 592 21812 0 0 0 0 275 10 20 0 1 0 224538438 115843072 368 33554432000 4194304 5098028 140723443778448 140723443775192 140192470487676 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7852032 140723443786816 140723443787015 140723443787015 140723443789773 0
/proc/5704/statm: 28282 368 311 221 0 87 0
[pid=5722] ppid=5704 vsize=8068220 memory=118464 CPUtime=1.13 cores=1,3,5,7
/proc/5722/stat : 5722 (java) S 5704 5704 3762 0 -1 1077944320 18395 0 0 0 108 5 0 0 20 0 19 0 224538599 8261857280 29616 33554432000 4194304 4196468 140733258881088 140733258863632 139899790323447 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
/proc/5722/statm: 2017055 29616 3152 1 0 1978454 0
[pid=5737] ppid=5722 vsize=38752 memory=20460 CPUtime=12.86 cores=1,3,5,7
/proc/5737/stat : 5737 (minisat_release) R 5722 5704 3762 0 -1 4202496 12673 0 0 0 1284 2 0 0 20 0 1 0 224538671 39682048 5115 33554432000 4194304 4308513 140722203597856 140722203594856 4276135 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 25391104 140722203599989 140722203600086 140722203600086 140722203602885 0
/proc/5737/statm: 9688 5115 336 28 0 5928 0
[pid=5722/tid=5723] ppid=5704 vsize=8068220 memory=-5059952977386882957 CPUtime=0.74 cores=1,3,5,7
/proc/5722/task/5723/stat : 5723 (java) S 5704 5704 3762 0 -1 1077944384 15406 0 0 0 70 4 0 0 20 0 19 0 224538599 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899762163600 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5724] ppid=5704 vsize=8068220 memory=118464 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5724/stat : 5724 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538600 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899794566032 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5725] ppid=5704 vsize=8068220 memory=20460 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5725/stat : 5725 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538600 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899594734352 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5726] ppid=5704 vsize=8068220 memory=6154848824581450857 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5726/stat : 5726 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538600 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899593682064 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5727] ppid=5704 vsize=8068220 memory=7230645025961766505 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5727/stat : 5727 (java) S 5704 5704 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224538600 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899592629264 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5728] ppid=5704 vsize=8068220 memory=545 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5728/stat : 5728 (java) S 5704 5704 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224538602 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899236726896 139899790334594 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5729] ppid=5704 vsize=8068220 memory=7811868927027603556 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5729/stat : 5729 (java) S 5704 5704 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224538602 8261857280 29616 33554432000 4194304 4196468 140733258881088 139898627547936 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5730] ppid=5704 vsize=8068220 memory=7811868927027603556 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5730/stat : 5730 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538602 8261857280 29616 33554432000 4194304 4196468 140733258881088 139898359112816 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5731] ppid=5704 vsize=8068220 memory=15244 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5731/stat : 5731 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139897984604240 139899790342043 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5732] ppid=5704 vsize=8068220 memory=34804 CPUtime=0.08 cores=1,3,5,7
/proc/5722/task/5732/stat : 5732 (java) S 5704 5704 3762 0 -1 1077944384 511 0 0 0 8 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899235674736 139899790334594 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5733] ppid=5704 vsize=8068220 memory=4032 CPUtime=0.07 cores=1,3,5,7
/proc/5722/task/5733/stat : 5733 (java) S 5704 5704 3762 0 -1 1077944384 439 0 0 0 7 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899234621936 139899790334594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5734] ppid=5704 vsize=8068220 memory=18232 CPUtime=0.2 cores=1,3,5,7
/proc/5722/task/5734/stat : 5734 (java) S 5704 5704 3762 0 -1 1077944384 624 0 0 0 20 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899233569648 139899790334594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5735] ppid=5704 vsize=8068220 memory=640 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5735/stat : 5735 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139897486699488 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5736] ppid=5704 vsize=8068220 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5736/stat : 5736 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899164420528 139899790334594 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5738] ppid=5704 vsize=8068220 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5738/stat : 5738 (java) S 5704 5704 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224538671 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899232183232 139899790348057 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5740] ppid=5704 vsize=8068220 memory=960 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5740/stat : 5740 (java) S 5704 5704 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224538671 8261857280 29616 33554432000 4194304 4196468 140733258881088 139896949812784 139899790345373 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5741] ppid=5704 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5741/stat : 5741 (java) S 5704 5704 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224538671 8261857280 29616 33554432000 4194304 4196468 140733258881088 139897084034992 139899790345373 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5742] ppid=5704 vsize=8068220 memory=11764 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5742/stat : 5742 (java) S 5704 5704 3762 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 224538673 8261857280 29616 33554432000 4194304 4196468 140733258881088 139896681389472 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
Current children cumulated CPU time: 16.84 s
Current children cumulated vsize: 8220100 KiB
Current children cumulated memory: 140396 KiB
[startup+15.301 s]
/proc/loadavg: 2.62 2.28 2.14 3/227 5742
/proc/meminfo: memFree=8247400/32770624 swapFree=67108860/67108860
[pid=5704] ppid=5701 vsize=113128 memory=1472 CPUtime=2.85 cores=1,3,5,7
/proc/5704/stat : 5704 (scop.sh) S 5701 5704 3762 0 -1 4202496 592 21812 0 0 0 0 275 10 20 0 1 0 224538438 115843072 368 33554432000 4194304 5098028 140723443778448 140723443775192 140192470487676 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7852032 140723443786816 140723443787015 140723443787015 140723443789773 0
/proc/5704/statm: 28282 368 311 221 0 87 0
[pid=5722] ppid=5704 vsize=8068220 memory=118464 CPUtime=1.13 cores=1,3,5,7
/proc/5722/stat : 5722 (java) S 5704 5704 3762 0 -1 1077944320 18395 0 0 0 108 5 0 0 20 0 19 0 224538599 8261857280 29616 33554432000 4194304 4196468 140733258881088 140733258863632 139899790323447 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
/proc/5722/statm: 2017055 29616 3152 1 0 1978454 0
[pid=5737] ppid=5722 vsize=38752 memory=20460 CPUtime=12.96 cores=1,3,5,7
/proc/5737/stat : 5737 (minisat_release) R 5722 5704 3762 0 -1 4202496 12674 0 0 0 1294 2 0 0 20 0 1 0 224538671 39682048 5115 33554432000 4194304 4308513 140722203597856 140722203594856 4276056 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 25391104 140722203599989 140722203600086 140722203600086 140722203602885 0
/proc/5737/statm: 9688 5115 336 28 0 5928 0
[pid=5722/tid=5723] ppid=5704 vsize=8068220 memory=118464 CPUtime=0.74 cores=1,3,5,7
/proc/5722/task/5723/stat : 5723 (java) S 5704 5704 3762 0 -1 1077944384 15406 0 0 0 70 4 0 0 20 0 19 0 224538599 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899762163600 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5724] ppid=5704 vsize=8068220 memory=19960 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5724/stat : 5724 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538600 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899794566032 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5725] ppid=5704 vsize=8068220 memory=8448 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5725/stat : 5725 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538600 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899594734352 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5726] ppid=5704 vsize=8068220 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5726/stat : 5726 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538600 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899593682064 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5727] ppid=5704 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5727/stat : 5727 (java) S 5704 5704 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224538600 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899592629264 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5728] ppid=5704 vsize=8068220 memory=281218487430368 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5728/stat : 5728 (java) S 5704 5704 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224538602 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899236726896 139899790334594 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5729] ppid=5704 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5729/stat : 5729 (java) S 5704 5704 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224538602 8261857280 29616 33554432000 4194304 4196468 140733258881088 139898627547936 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5730] ppid=5704 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5730/stat : 5730 (java) S 5704 5704 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538602 8261857280 29616 33554432000 4194304 4196468 140733258881088 139898359112816 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5731] ppid=5704 vsize=8068220 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5731/stat : 5731 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139897984604240 139899790342043 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5732] ppid=5704 vsize=8068220 memory=4536 CPUtime=0.08 cores=1,3,5,7
/proc/5722/task/5732/stat : 5732 (java) S 5704 5704 3762 0 -1 1077944384 511 0 0 0 8 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899235674736 139899790334594 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5733] ppid=5704 vsize=8068220 memory=8448 CPUtime=0.07 cores=1,3,5,7
/proc/5722/task/5733/stat : 5733 (java) S 5704 5704 3762 0 -1 1077944384 439 0 0 0 7 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899234621936 139899790334594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5734] ppid=5704 vsize=8068220 memory=1628 CPUtime=0.2 cores=1,3,5,7
/proc/5722/task/5734/stat : 5734 (java) S 5704 5704 3762 0 -1 1077944384 624 0 0 0 20 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899233569648 139899790334594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5735] ppid=5704 vsize=8068220 memory=1144 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5735/stat : 5735 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139897486699488 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5736] ppid=5704 vsize=8068220 memory=118464 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5736/stat : 5736 (java) S 5704 5704 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224538605 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899164420528 139899790334594 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5738] ppid=5704 vsize=8068220 memory=20460 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5738/stat : 5738 (java) S 5704 5704 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224538671 8261857280 29616 33554432000 4194304 4196468 140733258881088 139899232183232 139899790348057 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5740] ppid=5704 vsize=8068220 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5740/stat : 5740 (java) S 5704 5704 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224538671 8261857280 29616 33554432000 4194304 4196468 140733258881088 139896949812784 139899790345373 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5741] ppid=5704 vsize=8068220 memory=60968 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5741/stat : 5741 (java) S 5704 5704 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224538671 8261857280 29616 33554432000 4194304 4196468 140733258881088 139897084034992 139899790345373 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
[pid=5722/tid=5742] ppid=5704 vsize=8068220 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/5722/task/5742/stat : 5742 (java) S 5704 5704 3762 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 224538673 8261857280 29616 33554432000 4194304 4196468 140733258881088 139896681389472 139899790333653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140733258884278 140733258884401 140733258884401 140733258887119 0
Current children cumulated CPU time: 16.94 s
Current children cumulated vsize: 8220100 KiB
Current children cumulated memory: 140396 KiB
Child status: 0
Real time (s): 15.393
CPU time (s): 17.0683
CPU user time (s): 16.8744
CPU system time (s): 0.193846
CPU usage (%): 110.883
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 175164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8744
system time used= 0.193846
maximum resident set size= 176468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53561
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4922
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 5704
# total CPU time (s): 17.0683
# total CPU user time (s): 16.8744
# total CPU system time (s): 0.193846
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.119187 second user time and 0.215801 second system time
The end