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-18792-serial-file.bin HOME/instance-4305345-1534072635.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 13:17:15 CEST 2018
0.66/0.54 c PID: 18795
0.66/0.54 c IP: 172.20.3.107
0.66/0.54 c HOST: node107.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.19/0.84 c (0,0) Parsing End
1.19/0.84 c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 27 ctr, max domain size 18
1.19/0.84 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.84 c (0,0) Constraint Name Generate Begin
1.19/0.85 c (0,0) Ctr:HOME/instance-4305345-1534072635.xml,Add:Element:Eq:IntVar:Num
1.19/0.85 c (0,0) Constraint Name Generate End
1.19/0.85 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.85 c (0,0) CSP to CSPinCNF Begin
1.38/1.00 c (0,0) translated 3 (10%) constraints
1.56/1.03 c (0,0) translated 6 (20%) constraints
1.56/1.06 c (0,0) translated 9 (30%) constraints
1.56/1.08 c (0,0) translated 11 (40%) constraints
1.85/1.11 c (0,0) translated 14 (50%) constraints
1.85/1.13 c (0,0) translated 17 (60%) constraints
1.85/1.14 c (0,0) translated 19 (70%) constraints
1.85/1.15 c (0,0) translated 22 (80%) constraints
1.85/1.15 c (0,0) translated 25 (90%) constraints
1.85/1.15 c (0,0) translated 27 (100%) constraints
1.85/1.19 c (0,0) STATISTICS1:HOME/instance-4305345-1534072635.xml,Add:Element:Eq:IntVar:Num,36,333,16,16,3,2,16:2;15:2;14:2;13:2;12:2;11:2;10:2;9:2;8:2,16:38;15:38;14:38;13:38;12:38;11:38;10:38;9:362;8:38,3:324;1:9,2:18;1:972,
1.85/1.19 c (0,0) ==========================================
1.85/1.19 c (0,0) Order
1.85/1.19 c (0,0) ==========================================
2.05/1.23 c (0,0) translated 34 (10%) constraints
2.05/1.25 c (0,0) translated 67 (20%) constraints
2.05/1.27 c (0,0) translated 100 (30%) constraints
2.05/1.28 c (0,0) translated 134 (40%) constraints
2.05/1.30 c (0,0) translated 167 (50%) constraints
2.32/1.30 c (0,0) translated 200 (60%) constraints
2.32/1.31 c (0,0) translated 234 (70%) constraints
2.32/1.32 c (0,0) translated 267 (80%) constraints
2.32/1.33 c (0,0) translated 300 (90%) constraints
2.32/1.34 c (0,0) translated 333 (100%) constraints
2.32/1.34 c (0,0) CSP to CSPinCNF End
2.32/1.34 c (0,0) CSP: 36 int (0 aux), 162 bool (162 aux), 990 ctr, max domain size 16
2.32/1.34 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.32/1.34 c (0,0) CSPinCNF Propagation Begin
2.32/1.39 c (0,0) 0 values, 144 unsatisfiable literals, and 180 valid clauses are removed
2.32/1.39 c (0,0) CSPinCNF Propagation End
2.32/1.39 c (0,0) CSP: 36 int (0 aux), 162 bool (162 aux), 810 ctr, max domain size 16
2.32/1.39 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.32/1.39 c (0,0) Simplify CSPinCNF Begin
2.32/1.40 c (0,0) Simplify CSPinCNF End
2.32/1.40 c (0,0) CSP: 36 int (0 aux), 162 bool (162 aux), 810 ctr, max domain size 16
2.32/1.40 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.32/1.40 c (0,0) Calculate Precise Domain Begin
2.32/1.40 c (0,0) 0 values are removed by re-calculation
2.32/1.40 c (0,0) Calculate Precise Domain End
2.32/1.40 c (0,0) CSP: 36 int (0 aux), 162 bool (162 aux), 810 ctr, max domain size 16
2.32/1.40 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.32/1.40 c (0,0) CSPinCNF to SatSolver Begin
2.64/1.43 c (0,0) 81 (10 %) CSP clauses are encoded (504 SAT variables, 386 SAT clauses)
2.64/1.44 c (0,0) 162 (20 %) CSP clauses are encoded (504 SAT variables, 467 SAT clauses)
2.64/1.45 c (0,0) 243 (30 %) CSP clauses are encoded (504 SAT variables, 548 SAT clauses)
2.64/1.45 c (0,0) 324 (40 %) CSP clauses are encoded (504 SAT variables, 629 SAT clauses)
2.64/1.46 c (0,0) 405 (50 %) CSP clauses are encoded (504 SAT variables, 710 SAT clauses)
2.64/1.46 c (0,0) 486 (60 %) CSP clauses are encoded (504 SAT variables, 791 SAT clauses)
2.64/1.47 c (0,0) 567 (70 %) CSP clauses are encoded (504 SAT variables, 872 SAT clauses)
2.64/1.47 c (0,0) 648 (80 %) CSP clauses are encoded (504 SAT variables, 953 SAT clauses)
2.64/1.47 c (0,0) 729 (90 %) CSP clauses are encoded (504 SAT variables, 1034 SAT clauses)
2.64/1.48 c (0,0) 810 (100 %) CSP clauses are encoded (504 SAT variables, 1289 SAT clauses)
2.64/1.48 c (0,0) Launch Command will be: minisat_release
2.64/1.48 c (0,0) CSPinCNF to SatSolver End
2.64/1.48 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.93/1.50 c (0,0) STATISTICS2:HOME/instance-4305345-1534072635.xml,Add:Element:Eq:IntVar:Num,198,810,16,16,3,2,16:2;15:2;14:2;13:2;12:2;11:2;10:2;9:2;8:2,16:64;15:60;14:56;13:52;12:48;11:44;10:40;9:612;8:32;2:792,3:180;2:612;1:18,2:18;1:1764,
2.93/1.50 c (0,0) 504 bool, 1296 clause
2.93/1.50 c (0,0) Export Begin
2.93/1.58 c (1,1) Export to HOME/scop-18792-serial-file.bin
2.93/1.58 c (1,1) Export End
2.93/1.58 c (1,1) Export File Size: 0.01 MB
2.93/1.58 c (1,1) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.93/1.58 c END-Prog: Sun Aug 12 13:17:16 CEST 2018
2.93/1.59 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-18792-serial-file.bin
3.67/2.08 c (0,0) Read Serial File Begin
3.67/2.08 c (0,0) HOME/scop-18792-serial-file.bin
3.92/2.24 c (0,0) Read Serial File End
3.92/2.25
3.92/2.25 scop order+minisat_release (2018-07-31)
3.92/2.25 (Solving Process)
3.92/2.25
3.92/2.27 c BEGIN-Prog: Sun Aug 12 13:17:17 CEST 2018
3.92/2.27 c PID: 18810
3.92/2.27 c IP: 172.20.3.107
3.92/2.27 c HOST: node107.alineos.net
3.92/2.28 c (0,0) SatSolver.solve Begin
3.92/2.28 c (0,0) 0 bool, 0 clause
3.92/2.28 c (0,0) minisat_release HOME/instance-4305345-1534072635.xml-scop-18795.cnf
6.91/5.08 c (3,0) c This is COMiniSatPS.
6.91/5.08 c (3,0) c WARNING: for repeatability, setting FPU to use double precision
6.91/5.08 c (3,0) c ============================[ Problem Statistics ]=============================
6.91/5.08 c (3,0) c | |
6.91/5.08 c (3,0) c | Number of variables: 504 |
6.91/5.08 c (3,0) c | Number of clauses: 1296 |
6.91/5.08 c (3,0) c | Parse time: 0.00 s |
6.91/5.08 c (3,0) c | Eliminated clauses: 0.01 Mb |
6.91/5.08 c (3,0) c Reduced to 261 vars, 852 cls (grow=0)
6.91/5.08 c (3,0) c No iterative elimination performed. (vars=261, c/v ratio=3.3)
6.91/5.08 c (3,0) c | Simplification time: 0.00 s |
6.91/5.08 c (3,0) c | |
6.91/5.08 c (3,0) c ============================[ Search Statistics ]==============================
6.91/5.08 c (3,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
6.91/5.08 c (3,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.91/5.08 c (3,0) c ===============================================================================
6.91/5.08 c (3,0) c ===============================================================================
6.91/5.08 c (3,0) c restarts : 154
6.91/5.08 c (3,0) c conflicts : 46412 (16707 /sec)
6.91/5.08 c (3,0) c decisions : 54776 (0.00 % random) (19718 /sec)
6.91/5.08 c (3,0) c propagations : 2350310 (846055 /sec)
6.91/5.08 c (3,0) c conflict literals : 724329 (36.35 % deleted)
6.91/5.08 c (3,0) c CPU time : 2.77797 s
6.91/5.08 c (3,0)
6.91/5.08 c (3,0) s UNSATISFIABLE
6.91/5.08 c (3,0) SatSolver.solve End
6.91/5.09 c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
6.91/5.09 c (3,0) Show results Begin
6.91/5.09 s UNSATISFIABLE
6.91/5.09 c (3,0) Show results End
6.91/5.09 c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
6.91/5.09 c (3,0) 3,3,STOP-AFTER(ALL)
6.91/5.09 c END-Prog: Sun Aug 12 13:17:20 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 (12862 MiB free)
memory of node 1: 16384 MiB (11182 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305345-1534072635/watcher-4305345-1534072635 -o /tmp/evaluation-result-4305345-1534072635/solver-4305345-1534072635 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16636 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305345-1534072635.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18792, runsolver pid=18789
[startup+0.100175 s]*
/proc/loadavg: 2.01 2.08 2.08 3/222 18809
/proc/meminfo: memFree=24562056/32770624 swapFree=67108860/67108860
[pid=18792] ppid=18789 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18792/stat : 18792 (scop.sh) S 18789 18792 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224826674 115843072 349 33554432000 4194304 5098028 140723678816512 140723678813768 139977914155644 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8241152 140723678823488 140723678823687 140723678823687 140723678826445 0
/proc/18792/statm: 28282 349 296 221 0 87 0
[pid=18795] ppid=18792 vsize=15012476 memory=73588 CPUtime=0.11 cores=0,2,4,6
/proc/18795/stat : 18795 (java) S 18792 18792 16605 0 -1 1077944320 5988 0 0 0 10 1 0 0 20 0 15 0 224826674 15372775424 18397 33554432000 4194304 4196468 140735775151680 140735775134224 140577034895095 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
/proc/18795/statm: 3753119 18397 2770 1 0 3715579 0
[pid=18795/tid=18796] ppid=18792 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=0,2,4,6
/proc/18795/task/18796/stat : 18796 (java) R 18792 18792 16605 0 -1 4202560 4081 0 0 0 8 1 0 0 20 0 15 0 224826675 15372775424 18397 33554432000 4194304 4196468 140735775151680 140577006707080 140577015170251 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18797] ppid=18792 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18797/stat : 18797 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826676 15372775424 18397 33554432000 4194304 4196468 140735775151680 140577039137552 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18798] ppid=18792 vsize=15012476 memory=140355345081984 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18798/stat : 18798 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826676 15372775424 18397 33554432000 4194304 4196468 140735775151680 140576495582096 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18799] ppid=18792 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18799/stat : 18799 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826676 15372775424 18397 33554432000 4194304 4196468 140735775151680 140576494529552 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18800] ppid=18792 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18800/stat : 18800 (java) S 18792 18792 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826676 15372775424 18397 33554432000 4194304 4196468 140735775151680 140576493477008 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18801] ppid=18792 vsize=15012476 memory=140355345081984 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18801/stat : 18801 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826678 15372775424 18397 33554432000 4194304 4196468 140735775151680 140576005371888 140577034906242 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18802] ppid=18792 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18802/stat : 18802 (java) S 18792 18792 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224826678 15372775424 18397 33554432000 4194304 4196468 140735775151680 140575621768096 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18803] ppid=18792 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18803/stat : 18803 (java) S 18792 18792 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826678 15372775424 18397 33554432000 4194304 4196468 140735775151680 140575353332720 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18804] ppid=18792 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18804/stat : 18804 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826681 15372775424 18397 33554432000 4194304 4196468 140735775151680 140574978824400 140577034913691 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18805] ppid=18792 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18805/stat : 18805 (java) S 18792 18792 16605 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 224826681 15372775424 18397 33554432000 4194304 4196468 140735775151680 140576004319728 140577034906242 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18806] ppid=18792 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18806/stat : 18806 (java) S 18792 18792 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826681 15372775424 18397 33554432000 4194304 4196468 140735775151680 140576003267184 140577034906242 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18807] ppid=18792 vsize=15012476 memory=140355345081984 CPUtime=0.01 cores=0,2,4,6
/proc/18795/task/18807/stat : 18807 (java) S 18792 18792 16605 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 15 0 224826681 15372775424 18397 33554432000 4194304 4196468 140735775151680 140576002214640 140577034906242 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18808] ppid=18792 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18808/stat : 18808 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826681 15372775424 18397 33554432000 4194304 4196468 140735775151680 140574480919648 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18809] ppid=18792 vsize=15012476 memory=140355345081984 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18809/stat : 18809 (java) S 18792 18792 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826681 15372775424 18397 33554432000 4194304 4196468 140735775151680 140576001161520 140577034906242 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74984 KiB
[startup+0.210715 s]*
/proc/loadavg: 2.01 2.08 2.08 4/222 18809
/proc/meminfo: memFree=24548320/32770624 swapFree=67108860/67108860
[pid=18792] ppid=18789 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18792/stat : 18792 (scop.sh) S 18789 18792 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224826674 115843072 349 33554432000 4194304 5098028 140723678816512 140723678813768 139977914155644 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8241152 140723678823488 140723678823687 140723678823687 140723678826445 0
/proc/18792/statm: 28282 349 296 221 0 87 0
[pid=18795] ppid=18792 vsize=15012476 memory=86652 CPUtime=0.26 cores=0,2,4,6
/proc/18795/stat : 18795 (java) S 18792 18792 16605 0 -1 1077944320 9498 0 0 0 23 3 0 0 20 0 15 0 224826674 15372775424 21663 33554432000 4194304 4196468 140735775151680 140735775134224 140577034895095 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
/proc/18795/statm: 3753119 21663 2874 1 0 3715579 0
[pid=18795/tid=18796] ppid=18792 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/18795/task/18796/stat : 18796 (java) R 18792 18792 16605 0 -1 4202560 7411 0 0 0 17 2 0 0 20 0 15 0 224826675 15372775424 21663 33554432000 4194304 4196468 140735775151680 140577006721488 140577034907030 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18797] ppid=18792 vsize=15012476 memory=539 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18797/stat : 18797 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826676 15372775424 21663 33554432000 4194304 4196468 140735775151680 140577039137552 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18798] ppid=18792 vsize=15012476 memory=4122684669651084960 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18798/stat : 18798 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826676 15372775424 21663 33554432000 4194304 4196468 140735775151680 140576495582096 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18799] ppid=18792 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18799/stat : 18799 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826676 15372775424 21663 33554432000 4194304 4196468 140735775151680 140576494529552 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18800] ppid=18792 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18800/stat : 18800 (java) S 18792 18792 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826676 15372775424 21663 33554432000 4194304 4196468 140735775151680 140576493477008 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18801] ppid=18792 vsize=15012476 memory=140355345081984 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18801/stat : 18801 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826678 15372775424 21663 33554432000 4194304 4196468 140735775151680 140576005371888 140577034906242 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18802] ppid=18792 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18802/stat : 18802 (java) S 18792 18792 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224826678 15372775424 21663 33554432000 4194304 4196468 140735775151680 140575621768096 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18803] ppid=18792 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18803/stat : 18803 (java) S 18792 18792 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826678 15372775424 21663 33554432000 4194304 4196468 140735775151680 140575353332720 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18804] ppid=18792 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18804/stat : 18804 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826681 15372775424 21663 33554432000 4194304 4196468 140735775151680 140574978824400 140577034913691 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18805] ppid=18792 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18805/stat : 18805 (java) S 18792 18792 16605 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 15 0 224826681 15372775424 21663 33554432000 4194304 4196468 140735775151680 140576004319728 140577034906242 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18806] ppid=18792 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18806/stat : 18806 (java) S 18792 18792 16605 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 224826681 15372775424 21663 33554432000 4194304 4196468 140735775151680 140576003267184 140577034906242 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18807] ppid=18792 vsize=15012476 memory=140355345081984 CPUtime=0.03 cores=0,2,4,6
/proc/18795/task/18807/stat : 18807 (java) R 18792 18792 16605 0 -1 4202560 290 0 0 0 3 0 0 0 20 0 15 0 224826681 15372775424 21663 33554432000 4194304 4196468 140735775151680 140576002214640 140577014230433 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18808] ppid=18792 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18808/stat : 18808 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826681 15372775424 21663 33554432000 4194304 4196468 140735775151680 140574480919648 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18809] ppid=18792 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18809/stat : 18809 (java) S 18792 18792 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826681 15372775424 21663 33554432000 4194304 4196468 140735775151680 140576001161520 140577034906242 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88048 KiB
[startup+0.310578 s]*
/proc/loadavg: 2.01 2.08 2.08 3/222 18809
/proc/meminfo: memFree=24544660/32770624 swapFree=67108860/67108860
[pid=18792] ppid=18789 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18792/stat : 18792 (scop.sh) S 18789 18792 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224826674 115843072 349 33554432000 4194304 5098028 140723678816512 140723678813768 139977914155644 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8241152 140723678823488 140723678823687 140723678823687 140723678826445 0
/proc/18792/statm: 28282 349 296 221 0 87 0
[pid=18795] ppid=18792 vsize=15012476 memory=90184 CPUtime=0.42 cores=0,2,4,6
/proc/18795/stat : 18795 (java) S 18792 18792 16605 0 -1 1077944320 10038 0 0 0 39 3 0 0 20 0 15 0 224826674 15372775424 22546 33554432000 4194304 4196468 140735775151680 140735775134224 140577034895095 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
/proc/18795/statm: 3753119 22546 2974 1 0 3715579 0
[pid=18795/tid=18796] ppid=18792 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/18795/task/18796/stat : 18796 (java) R 18792 18792 16605 0 -1 4202560 7789 0 0 0 27 2 0 0 20 0 15 0 224826675 15372775424 22546 33554432000 4194304 4196468 140735775151680 140577006690096 140577018938725 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18797] ppid=18792 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18797/stat : 18797 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826676 15372775424 22546 33554432000 4194304 4196468 140735775151680 140577039137552 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18798] ppid=18792 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18798/stat : 18798 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826676 15372775424 22546 33554432000 4194304 4196468 140735775151680 140576495582096 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18799] ppid=18792 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18799/stat : 18799 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826676 15372775424 22546 33554432000 4194304 4196468 140735775151680 140576494529552 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18800] ppid=18792 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18800/stat : 18800 (java) S 18792 18792 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826676 15372775424 22546 33554432000 4194304 4196468 140735775151680 140576493477008 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18801] ppid=18792 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18801/stat : 18801 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826678 15372775424 22546 33554432000 4194304 4196468 140735775151680 140576005371888 140577034906242 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18802] ppid=18792 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18802/stat : 18802 (java) S 18792 18792 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224826678 15372775424 22546 33554432000 4194304 4196468 140735775151680 140575621768096 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18803] ppid=18792 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18803/stat : 18803 (java) S 18792 18792 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826678 15372775424 22546 33554432000 4194304 4196468 140735775151680 140575353332720 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18804] ppid=18792 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18804/stat : 18804 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826681 15372775424 22546 33554432000 4194304 4196468 140735775151680 140574978824400 140577034913691 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18805] ppid=18792 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18795/task/18805/stat : 18805 (java) R 18792 18792 16605 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 15 0 224826681 15372775424 22546 33554432000 4194304 4196468 140735775151680 140576004319728 140577034906242 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18806] ppid=18792 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18795/task/18806/stat : 18806 (java) R 18792 18792 16605 0 -1 4202560 184 0 0 0 2 0 0 0 20 0 15 0 224826681 15372775424 22546 33554432000 4194304 4196468 140735775151680 140576003267184 140577018798192 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18807] ppid=18792 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18795/task/18807/stat : 18807 (java) R 18792 18792 16605 0 -1 4202560 310 0 0 0 7 0 0 0 20 0 15 0 224826681 15372775424 22546 33554432000 4194304 4196468 140735775151680 140576002214640 140577019204907 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18808] ppid=18792 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18808/stat : 18808 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826681 15372775424 22546 33554432000 4194304 4196468 140735775151680 140574480919648 140577034905301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18809] ppid=18792 vsize=15012476 memory=3761410793958088753 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18809/stat : 18809 (java) S 18792 18792 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826681 15372775424 22546 33554432000 4194304 4196468 140735775151680 140576001161520 140577034906242 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91580 KiB
[startup+0.700819 s]
/proc/loadavg: 2.01 2.08 2.08 3/222 18809
/proc/meminfo: memFree=24520476/32770624 swapFree=67108860/67108860
[pid=18792] ppid=18789 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18792/stat : 18792 (scop.sh) S 18789 18792 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224826674 115843072 349 33554432000 4194304 5098028 140723678816512 140723678813768 139977914155644 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8241152 140723678823488 140723678823687 140723678823687 140723678826445 0
/proc/18792/statm: 28282 349 296 221 0 87 0
[pid=18795] ppid=18792 vsize=15020872 memory=129956 CPUtime=1.01 cores=0,2,4,6
/proc/18795/stat : 18795 (java) S 18792 18792 16605 0 -1 1077944320 17098 0 0 0 96 5 0 0 20 0 15 0 224826674 15381372928 32489 33554432000 4194304 4196468 140735775151680 140735775134224 140577034895095 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
/proc/18795/statm: 3755218 32489 3145 1 0 3716603 0
[pid=18795/tid=18796] ppid=18792 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/18795/task/18796/stat : 18796 (java) R 18792 18792 16605 0 -1 4202560 14431 0 0 0 63 4 0 0 20 0 15 0 224826675 15381372928 32489 33554432000 4194304 4196468 140735775151680 140577006719552 140577018938725 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18797] ppid=18792 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18797/stat : 18797 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826676 15381372928 32489 33554432000 4194304 4196468 140735775151680 140577039137552 140577034905301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18798] ppid=18792 vsize=15020872 memory=61168 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18798/stat : 18798 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826676 15381372928 32489 33554432000 4194304 4196468 140735775151680 140576495582096 140577034905301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18799] ppid=18792 vsize=15020872 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18799/stat : 18799 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826676 15381372928 32489 33554432000 4194304 4196468 140735775151680 140576494529552 140577034905301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18800] ppid=18792 vsize=15020872 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18800/stat : 18800 (java) S 18792 18792 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826676 15381372928 32489 33554432000 4194304 4196468 140735775151680 140576493477008 140577034905301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18801] ppid=18792 vsize=15020872 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18801/stat : 18801 (java) S 18792 18792 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 224826678 15381372928 32489 33554432000 4194304 4196468 140735775151680 140576005371888 140577034906242 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18802] ppid=18792 vsize=15020872 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18802/stat : 18802 (java) S 18792 18792 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224826678 15381372928 32489 33554432000 4194304 4196468 140735775151680 140575621768096 140577034905301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18803] ppid=18792 vsize=15020872 memory=752 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18803/stat : 18803 (java) S 18792 18792 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826678 15381372928 32489 33554432000 4194304 4196468 140735775151680 140575353332720 140577034905301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18804] ppid=18792 vsize=15020872 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18804/stat : 18804 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826681 15381372928 32489 33554432000 4194304 4196468 140735775151680 140574978824400 140577034913691 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18805] ppid=18792 vsize=15020872 memory=1120 CPUtime=0.09 cores=0,2,4,6
/proc/18795/task/18805/stat : 18805 (java) S 18792 18792 16605 0 -1 1077944384 652 0 0 0 9 0 0 0 20 0 15 0 224826681 15381372928 32489 33554432000 4194304 4196468 140735775151680 140576004319728 140577034906242 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18806] ppid=18792 vsize=15020872 memory=6120 CPUtime=0.07 cores=0,2,4,6
/proc/18795/task/18806/stat : 18806 (java) S 18792 18792 16605 0 -1 1077944384 273 0 0 0 7 0 0 0 20 0 15 0 224826681 15381372928 32489 33554432000 4194304 4196468 140735775151680 140576003267184 140577034906242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18807] ppid=18792 vsize=15020872 memory=1724 CPUtime=0.15 cores=0,2,4,6
/proc/18795/task/18807/stat : 18807 (java) S 18792 18792 16605 0 -1 1077944384 404 0 0 0 15 0 0 0 20 0 15 0 224826681 15381372928 32489 33554432000 4194304 4196468 140735775151680 140576002214640 140577034906242 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18808] ppid=18792 vsize=15020872 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18808/stat : 18808 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826681 15381372928 32489 33554432000 4194304 4196468 140735775151680 140574480919648 140577034905301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
[pid=18795/tid=18809] ppid=18792 vsize=15020872 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/18795/task/18809/stat : 18809 (java) S 18792 18792 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826681 15381372928 32489 33554432000 4194304 4196468 140735775151680 140576001161520 140577034906242 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140735775155206 140735775155505 140735775155505 140735775158223 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131352 KiB
[startup+1.50329 s]
/proc/loadavg: 2.01 2.08 2.08 4/222 18809
/proc/meminfo: memFree=24492688/32770624 swapFree=67108860/67108860
[pid=18792] ppid=18789 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18792/stat : 18792 (scop.sh) S 18789 18792 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224826674 115843072 349 33554432000 4194304 5098028 140723678816512 140723678813768 139977914155644 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8241152 140723678823488 140723678823687 140723678823687 140723678826445 0
/proc/18792/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 5.1 s
Current children cumulated vsize: 8204408 KiB
Current children cumulated memory: 121596 KiB
[startup+4.00092 s]*
/proc/loadavg: 2.01 2.08 2.08 3/227 18830
/proc/meminfo: memFree=24510140/32770624 swapFree=67108860/67108860
[pid=18792] ppid=18789 vsize=113128 memory=1472 CPUtime=3.12 cores=0,2,4,6
/proc/18792/stat : 18792 (scop.sh) S 18789 18792 16605 0 -1 4202496 591 22006 0 0 0 0 302 10 20 0 1 0 224826674 115843072 368 33554432000 4194304 5098028 140723678816512 140723678813256 139977914155644 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8241152 140723678823488 140723678823687 140723678823687 140723678826445 0
/proc/18792/statm: 28282 368 311 221 0 87 0
[pid=18810] ppid=18792 vsize=8068220 memory=114252 CPUtime=1.09 cores=0,2,4,6
/proc/18810/stat : 18810 (java) S 18792 18792 16605 0 -1 1077944320 17854 0 0 0 103 6 0 0 20 0 19 0 224826833 8261857280 28563 33554432000 4194304 4196468 140728809344992 140728809327536 139659447017207 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
/proc/18810/statm: 2017055 28563 3150 1 0 1978454 0
[pid=18825] ppid=18810 vsize=27400 memory=9680 CPUtime=1.7 cores=0,2,4,6
/proc/18825/stat : 18825 (minisat_release) R 18810 18792 16605 0 -1 4202496 2048 0 0 0 170 0 0 0 20 0 1 0 224826904 28057600 2420 33554432000 4194304 4308513 140729645969792 140729645966792 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 30969856 140729645974644 140729645974742 140729645974742 140729645977541 0
/proc/18825/statm: 6850 2420 334 28 0 3090 0
[pid=18810/tid=18811] ppid=18792 vsize=8068220 memory=-7824251494391045219 CPUtime=0.73 cores=0,2,4,6
/proc/18810/task/18811/stat : 18811 (java) S 18792 18792 16605 0 -1 1077944384 14922 0 0 0 69 4 0 0 20 0 19 0 224826834 8261857280 28563 33554432000 4194304 4196468 140728809344992 139659418857360 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18812] ppid=18792 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18812/stat : 18812 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826835 8261857280 28563 33554432000 4194304 4196468 140728809344992 139659451259792 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18813] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18813/stat : 18813 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826835 8261857280 28563 33554432000 4194304 4196468 140728809344992 139659251428112 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18814] ppid=18792 vsize=8068220 memory=35460 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18814/stat : 18814 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826835 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658931465360 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18815] ppid=18792 vsize=8068220 memory=7660741083754488935 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18815/stat : 18815 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826835 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658930412560 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18816] ppid=18792 vsize=8068220 memory=6935655852846960720 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18816/stat : 18816 (java) S 18792 18792 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224826836 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658700458096 139659447028354 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18817] ppid=18792 vsize=8068220 memory=7955166091236687980 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18817/stat : 18817 (java) S 18792 18792 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224826837 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658176488224 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18818] ppid=18792 vsize=8068220 memory=7588935152971047488 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18818/stat : 18818 (java) S 18792 18792 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224826837 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658042266736 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18819] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18819/stat : 18819 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826839 8261857280 28563 33554432000 4194304 4196468 140728809344992 139657667762256 139659447035803 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18820] ppid=18792 vsize=8068220 memory=2241 CPUtime=0.09 cores=0,2,4,6
/proc/18810/task/18820/stat : 18820 (java) S 18792 18792 16605 0 -1 1077944384 634 0 0 0 9 0 0 0 20 0 19 0 224826839 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658699405936 139659447028354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18821] ppid=18792 vsize=8068220 memory=2244 CPUtime=0.06 cores=0,2,4,6
/proc/18810/task/18821/stat : 18821 (java) S 18792 18792 16605 0 -1 1077944384 313 0 0 0 6 0 0 0 20 0 19 0 224826839 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658698353136 139659447028354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18822] ppid=18792 vsize=8068220 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/18810/task/18822/stat : 18822 (java) S 18792 18792 16605 0 -1 1077944384 553 0 0 0 18 0 0 0 20 0 19 0 224826839 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658697300848 139659447028354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18823] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18823/stat : 18823 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826840 8261857280 28563 33554432000 4194304 4196468 140728809344992 139657169857504 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18824] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18824/stat : 18824 (java) D 18792 18792 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224826840 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658696247648 139659431873294 0 4 2 25189581 18446744072100379781 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18826] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18826/stat : 18826 (java) S 18792 18792 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224826904 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658688439232 139659447041817 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18828] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18828/stat : 18828 (java) S 18792 18792 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224826904 8261857280 28563 33554432000 4194304 4196468 140728809344992 139656632970768 139659447039133 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18829] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18829/stat : 18829 (java) S 18792 18792 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224826904 8261857280 28563 33554432000 4194304 4196468 140728809344992 139656767192976 139659447039133 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18830] ppid=18792 vsize=8068220 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18830/stat : 18830 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826907 8261857280 28563 33554432000 4194304 4196468 140728809344992 139656364547488 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 8208748 KiB
Current children cumulated memory: 125404 KiB
[startup+4.80091 s]
/proc/loadavg: 2.01 2.08 2.08 3/227 18830
/proc/meminfo: memFree=24510140/32770624 swapFree=67108860/67108860
[pid=18792] ppid=18789 vsize=113128 memory=1472 CPUtime=3.12 cores=0,2,4,6
/proc/18792/stat : 18792 (scop.sh) S 18789 18792 16605 0 -1 4202496 591 22006 0 0 0 0 302 10 20 0 1 0 224826674 115843072 368 33554432000 4194304 5098028 140723678816512 140723678813256 139977914155644 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8241152 140723678823488 140723678823687 140723678823687 140723678826445 0
/proc/18792/statm: 28282 368 311 221 0 87 0
[pid=18810] ppid=18792 vsize=8068220 memory=114252 CPUtime=1.09 cores=0,2,4,6
/proc/18810/stat : 18810 (java) S 18792 18792 16605 0 -1 1077944320 17856 0 0 0 103 6 0 0 20 0 19 0 224826833 8261857280 28563 33554432000 4194304 4196468 140728809344992 140728809327536 139659447017207 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
/proc/18810/statm: 2017055 28563 3150 1 0 1978454 0
[pid=18825] ppid=18810 vsize=27400 memory=10136 CPUtime=2.49 cores=0,2,4,6
/proc/18825/stat : 18825 (minisat_release) R 18810 18792 16605 0 -1 4202496 3151 0 0 0 249 0 0 0 20 0 1 0 224826904 28057600 2534 33554432000 4194304 4308513 140729645969792 140729645966792 4275920 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 30969856 140729645974644 140729645974742 140729645974742 140729645977541 0
/proc/18825/statm: 6850 2534 334 28 0 3090 0
[pid=18810/tid=18811] ppid=18792 vsize=8068220 memory=-7824251494391045219 CPUtime=0.73 cores=0,2,4,6
/proc/18810/task/18811/stat : 18811 (java) S 18792 18792 16605 0 -1 1077944384 14922 0 0 0 69 4 0 0 20 0 19 0 224826834 8261857280 28563 33554432000 4194304 4196468 140728809344992 139659418857360 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18812] ppid=18792 vsize=8068220 memory=114252 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18812/stat : 18812 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826835 8261857280 28563 33554432000 4194304 4196468 140728809344992 139659451259792 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18813] ppid=18792 vsize=8068220 memory=6116 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18813/stat : 18813 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826835 8261857280 28563 33554432000 4194304 4196468 140728809344992 139659251428112 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18814] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18814/stat : 18814 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826835 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658931465360 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18815] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18815/stat : 18815 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826835 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658930412560 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18816] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18816/stat : 18816 (java) S 18792 18792 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224826836 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658700458096 139659447028354 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18817] ppid=18792 vsize=8068220 memory=280710472532208 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18817/stat : 18817 (java) S 18792 18792 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224826837 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658176488224 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18818] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18818/stat : 18818 (java) S 18792 18792 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224826837 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658042266736 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18819] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18819/stat : 18819 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826839 8261857280 28563 33554432000 4194304 4196468 140728809344992 139657667762256 139659447035803 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18820] ppid=18792 vsize=8068220 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18810/task/18820/stat : 18820 (java) S 18792 18792 16605 0 -1 1077944384 634 0 0 0 9 0 0 0 20 0 19 0 224826839 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658699405936 139659447028354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18821] ppid=18792 vsize=8068220 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/18810/task/18821/stat : 18821 (java) S 18792 18792 16605 0 -1 1077944384 313 0 0 0 6 0 0 0 20 0 19 0 224826839 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658698353136 139659447028354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18822] ppid=18792 vsize=8068220 memory=6153433752680426602 CPUtime=0.18 cores=0,2,4,6
/proc/18810/task/18822/stat : 18822 (java) S 18792 18792 16605 0 -1 1077944384 553 0 0 0 18 0 0 0 20 0 19 0 224826839 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658697300848 139659447028354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18823] ppid=18792 vsize=8068220 memory=-8917026563906560107 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18823/stat : 18823 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826840 8261857280 28563 33554432000 4194304 4196468 140728809344992 139657169857504 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18824] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18824/stat : 18824 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826840 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658696247728 139659447028354 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18826] ppid=18792 vsize=8068220 memory=280710472775312 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18826/stat : 18826 (java) S 18792 18792 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224826904 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658688439232 139659447041817 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18828] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18828/stat : 18828 (java) S 18792 18792 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224826904 8261857280 28563 33554432000 4194304 4196468 140728809344992 139656632970768 139659447039133 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18829] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18829/stat : 18829 (java) S 18792 18792 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224826904 8261857280 28563 33554432000 4194304 4196468 140728809344992 139656767192976 139659447039133 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18830] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18830/stat : 18830 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826907 8261857280 28563 33554432000 4194304 4196468 140728809344992 139656364547488 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
Current children cumulated CPU time: 6.7 s
Current children cumulated vsize: 8208748 KiB
Current children cumulated memory: 125860 KiB
[startup+5.00091 s]*
/proc/loadavg: 2.01 2.08 2.08 3/227 18830
/proc/meminfo: memFree=24510988/32770624 swapFree=67108860/67108860
[pid=18792] ppid=18789 vsize=113128 memory=1472 CPUtime=3.12 cores=0,2,4,6
/proc/18792/stat : 18792 (scop.sh) S 18789 18792 16605 0 -1 4202496 591 22006 0 0 0 0 302 10 20 0 1 0 224826674 115843072 368 33554432000 4194304 5098028 140723678816512 140723678813256 139977914155644 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8241152 140723678823488 140723678823687 140723678823687 140723678826445 0
/proc/18792/statm: 28282 368 311 221 0 87 0
[pid=18810] ppid=18792 vsize=8068220 memory=114252 CPUtime=1.09 cores=0,2,4,6
/proc/18810/stat : 18810 (java) S 18792 18792 16605 0 -1 1077944320 17856 0 0 0 103 6 0 0 20 0 19 0 224826833 8261857280 28563 33554432000 4194304 4196468 140728809344992 140728809327536 139659447017207 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
/proc/18810/statm: 2017055 28563 3150 1 0 1978454 0
[pid=18825] ppid=18810 vsize=28432 memory=10628 CPUtime=2.7 cores=0,2,4,6
/proc/18825/stat : 18825 (minisat_release) R 18810 18792 16605 0 -1 4202496 3315 0 0 0 270 0 0 0 20 0 1 0 224826904 29114368 2657 33554432000 4194304 4308513 140729645969792 140729645966792 4276465 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 30969856 140729645974644 140729645974742 140729645974742 140729645977541 0
/proc/18825/statm: 7108 2657 334 28 0 3348 0
[pid=18810/tid=18811] ppid=18792 vsize=8068220 memory=8462108013221118012 CPUtime=0.73 cores=0,2,4,6
/proc/18810/task/18811/stat : 18811 (java) S 18792 18792 16605 0 -1 1077944384 14922 0 0 0 69 4 0 0 20 0 19 0 224826834 8261857280 28563 33554432000 4194304 4196468 140728809344992 139659418857360 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18812] ppid=18792 vsize=8068220 memory=288286692602019863 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18812/stat : 18812 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826835 8261857280 28563 33554432000 4194304 4196468 140728809344992 139659451259792 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18813] ppid=18792 vsize=8068220 memory=4424338455684984864 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18813/stat : 18813 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826835 8261857280 28563 33554432000 4194304 4196468 140728809344992 139659251428112 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18814] ppid=18792 vsize=8068220 memory=3472323898181169199 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18814/stat : 18814 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826835 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658931465360 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18815] ppid=18792 vsize=8068220 memory=8386792261653748462 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18815/stat : 18815 (java) S 18792 18792 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826835 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658930412560 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18816] ppid=18792 vsize=8068220 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18816/stat : 18816 (java) S 18792 18792 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224826836 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658700458096 139659447028354 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18817] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18817/stat : 18817 (java) S 18792 18792 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224826837 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658176488224 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18818] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18818/stat : 18818 (java) S 18792 18792 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224826837 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658042266736 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18819] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18819/stat : 18819 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826839 8261857280 28563 33554432000 4194304 4196468 140728809344992 139657667762256 139659447035803 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18820] ppid=18792 vsize=8068220 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/18810/task/18820/stat : 18820 (java) S 18792 18792 16605 0 -1 1077944384 634 0 0 0 9 0 0 0 20 0 19 0 224826839 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658699405936 139659447028354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18821] ppid=18792 vsize=8068220 memory=140355345081984 CPUtime=0.06 cores=0,2,4,6
/proc/18810/task/18821/stat : 18821 (java) S 18792 18792 16605 0 -1 1077944384 313 0 0 0 6 0 0 0 20 0 19 0 224826839 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658698353136 139659447028354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18822] ppid=18792 vsize=8068220 memory=3472328279047811119 CPUtime=0.18 cores=0,2,4,6
/proc/18810/task/18822/stat : 18822 (java) S 18792 18792 16605 0 -1 1077944384 553 0 0 0 18 0 0 0 20 0 19 0 224826839 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658697300848 139659447028354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18823] ppid=18792 vsize=8068220 memory=140355345081984 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18823/stat : 18823 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826840 8261857280 28563 33554432000 4194304 4196468 140728809344992 139657169857504 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18824] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18824/stat : 18824 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826840 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658696247728 139659447028354 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18826] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18826/stat : 18826 (java) S 18792 18792 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224826904 8261857280 28563 33554432000 4194304 4196468 140728809344992 139658688439232 139659447041817 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18828] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18828/stat : 18828 (java) S 18792 18792 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224826904 8261857280 28563 33554432000 4194304 4196468 140728809344992 139656632970768 139659447039133 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18829] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18829/stat : 18829 (java) S 18792 18792 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224826904 8261857280 28563 33554432000 4194304 4196468 140728809344992 139656767192976 139659447039133 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
[pid=18810/tid=18830] ppid=18792 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18810/task/18830/stat : 18830 (java) S 18792 18792 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826907 8261857280 28563 33554432000 4194304 4196468 140728809344992 139656364547488 139659447027413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35209216 140728809346229 140728809346353 140728809346353 140728809349071 0
Current children cumulated CPU time: 6.91 s
Current children cumulated vsize: 8209780 KiB
Current children cumulated memory: 126352 KiB
Child status: 0
Real time (s): 5.09957
CPU time (s): 7.03259
CPU user time (s): 6.85879
CPU system time (s): 0.173799
CPU usage (%): 137.906
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 182060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.85879
system time used= 0.173799
maximum resident set size= 189504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44172
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4610
involuntary context switches= 41
# summary of solver processes directly reported to runsolver:
# pid: 18792
# total CPU time (s): 7.03259
# total CPU user time (s): 6.85879
# total CPU system time (s): 0.173799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057962 second user time and 0.098777 second system time
The end