0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-15004-serial-file.bin HOME/instance-4305649-1534134075.xml
0.66/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Aug 13 06:21:16 CEST 2018
0.66/0.55 c PID: 15007
0.66/0.55 c IP: 172.20.3.132
0.66/0.55 c HOST: node132.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.40/0.99 c (0,0) Parsing End
1.40/1.00 c (0,0) CSP: 190 int (0 aux), 0 bool (0 aux), 182 ctr, max domain size 10
1.40/1.00 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/1.00 c (0,0) Constraint Name Generate Begin
1.40/1.01 c (0,0) Ctr:HOME/instance-4305649-1534134075.xml,AllDifferentMatrix:Element:Instantiation:IntVar
1.40/1.01 c (0,0) Constraint Name Generate End
1.40/1.01 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/1.01 c (0,0) CSP to CSPinCNF Begin
2.61/1.42 c (0,0) translated 19 (10%) constraints
2.61/1.45 c (0,0) translated 37 (20%) constraints
2.61/1.47 c (0,0) translated 55 (30%) constraints
2.61/1.49 c (0,0) translated 73 (40%) constraints
2.92/1.50 c (0,0) translated 91 (50%) constraints
2.92/1.52 c (0,0) translated 110 (60%) constraints
2.92/1.54 c (1,0) translated 128 (70%) constraints
2.92/1.55 c (1,1) translated 146 (80%) constraints
2.92/1.57 c (1,1) translated 164 (90%) constraints
2.92/1.58 c (1,1) translated 182 (100%) constraints
3.23/1.67 c (1,1) STATISTICS1:HOME/instance-4305649-1534134075.xml,AllDifferentMatrix:Element:Instantiation:IntVar,190,2750,10,10,10,2,10:3960;1:540,10:7200;1:410,10:40;3:1800;2:900;1:10,2:4500;1:2220,
3.23/1.67 c (1,1) ==========================================
3.23/1.67 c (1,1) Both Encoding selects:
3.23/1.67 c (1,1) Order
3.23/1.67 c (1,1) ==========================================
3.56/1.70 c (1,1) translated 275 (10%) constraints
3.56/1.73 c (1,1) translated 550 (20%) constraints
3.56/1.75 c (1,1) translated 825 (30%) constraints
3.89/1.81 c (1,1) translated 1100 (40%) constraints
3.89/1.88 c (1,1) translated 1375 (50%) constraints
4.20/1.94 c (1,1) translated 1650 (60%) constraints
4.20/1.99 c (1,1) translated 1925 (70%) constraints
4.54/2.03 c (1,1) translated 2200 (80%) constraints
4.54/2.07 c (1,1) translated 2475 (90%) constraints
4.85/2.11 c (1,1) translated 2750 (100%) constraints
4.85/2.12 c (1,1) CSP to CSPinCNF End
4.85/2.12 c (1,1) CSP: 190 int (0 aux), 1710 bool (1710 aux), 6360 ctr, max domain size 10
4.85/2.12 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.85/2.12 c (1,1) CSPinCNF Propagation Begin
5.15/2.22 c (1,1) 2 values, 588 unsatisfiable literals, and 180 valid clauses are removed
5.15/2.22 c (1,1) CSPinCNF Propagation End
5.15/2.22 c (1,1) CSP: 190 int (0 aux), 1710 bool (1710 aux), 6180 ctr, max domain size 10
5.15/2.22 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.15/2.22 c (1,1) Simplify CSPinCNF Begin
5.45/2.30 c (1,1) Simplify CSPinCNF End
5.45/2.30 c (1,1) CSP: 190 int (0 aux), 3430 bool (3430 aux), 7900 ctr, max domain size 10
5.45/2.30 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.45/2.30 c (1,1) Calculate Precise Domain Begin
5.45/2.31 c (1,1) 0 values are removed by re-calculation
5.45/2.31 c (1,1) Calculate Precise Domain End
5.45/2.31 c (1,1) CSP: 190 int (0 aux), 3430 bool (3430 aux), 7900 ctr, max domain size 10
5.45/2.31 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.45/2.31 c (1,1) CSPinCNF to SatSolver Begin
5.73/2.44 c (1,1) 790 (10 %) CSP clauses are encoded (5010 SAT variables, 5797 SAT clauses)
5.73/2.49 c (1,1) 1580 (20 %) CSP clauses are encoded (5010 SAT variables, 10233 SAT clauses)
6.05/2.53 c (1,1) 2370 (30 %) CSP clauses are encoded (5010 SAT variables, 14577 SAT clauses)
6.05/2.56 c (2,2) 3160 (40 %) CSP clauses are encoded (5010 SAT variables, 19135 SAT clauses)
6.05/2.59 c (2,2) 3950 (50 %) CSP clauses are encoded (5010 SAT variables, 23649 SAT clauses)
6.35/2.62 c (2,2) 4740 (60 %) CSP clauses are encoded (5010 SAT variables, 28164 SAT clauses)
6.35/2.65 c (2,2) 5530 (70 %) CSP clauses are encoded (5010 SAT variables, 32750 SAT clauses)
6.35/2.68 c (2,2) 6320 (80 %) CSP clauses are encoded (5010 SAT variables, 37302 SAT clauses)
6.65/2.70 c (2,2) 7110 (90 %) CSP clauses are encoded (5010 SAT variables, 41840 SAT clauses)
6.65/2.73 c (2,2) 7900 (100 %) CSP clauses are encoded (5010 SAT variables, 46395 SAT clauses)
6.65/2.73 c (2,2) Launch Command will be: minisat_release
6.65/2.73 c (2,2) CSPinCNF to SatSolver End
6.65/2.73 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.65/2.79 c (2,2) STATISTICS2:HOME/instance-4305649-1534134075.xml,AllDifferentMatrix:Element:Instantiation:IntVar,3620,7900,10,10,8,2,10:2688;9:1592;8:400;1:604,10:9836;9:2912;8:584;2:8724;1:604,8:36;3:1360;2:6504,2:5284;1:12092,
6.65/2.79 c (2,2) 5010 bool, 46396 clause
6.65/2.79 c (2,2) Export Begin
6.97/2.88 c (2,2) Export to HOME/scop-15004-serial-file.bin
6.97/2.88 c (2,2) Export End
6.97/2.88 c (2,2) Export File Size: 0.03 MB
6.97/2.88 c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
6.97/2.88 c END-Prog: Mon Aug 13 06:21:18 CEST 2018
6.97/2.89 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-15004-serial-file.bin
7.68/3.38 c (0,0) Read Serial File Begin
7.68/3.38 c (0,0) HOME/scop-15004-serial-file.bin
7.94/3.56 c (0,0) Read Serial File End
7.94/3.57
7.94/3.57 scop order+minisat_release (2018-07-31)
7.94/3.57 (Solving Process)
7.94/3.57
7.94/3.59 c BEGIN-Prog: Mon Aug 13 06:21:19 CEST 2018
7.94/3.59 c PID: 15022
7.94/3.59 c IP: 172.20.3.132
7.94/3.59 c HOST: node132.alineos.net
7.94/3.59 c (0,0) SatSolver.solve Begin
7.94/3.59 c (0,0) 0 bool, 0 clause
7.94/3.60 c (0,0) minisat_release HOME/instance-4305649-1534134075.xml-scop-15007.cnf
1431.30/1426.08 c (1422,0) c This is COMiniSatPS.
1431.30/1426.08 c (1422,0) c WARNING: for repeatability, setting FPU to use double precision
1431.30/1426.08 c (1422,0) c ============================[ Problem Statistics ]=============================
1431.30/1426.08 c (1422,0) c | |
1431.30/1426.08 c (1422,0) c | Number of variables: 5010 |
1431.30/1426.08 c (1422,0) c | Number of clauses: 46396 |
1431.30/1426.08 c (1422,0) c | Parse time: 0.01 s |
1431.30/1426.08 c (1422,0) c | Eliminated clauses: 0.05 Mb |
1431.30/1426.08 c (1422,0) c Reduced to 2264 vars, 39380 cls (grow=0)
1431.30/1426.08 c (1422,0) c No iterative elimination performed. (vars=2264, c/v ratio=17.4)
1431.30/1426.08 c (1422,0) c | Simplification time: 0.04 s |
1431.30/1426.08 c (1422,0) c | |
1431.30/1426.08 c (1422,0) c ============================[ Search Statistics ]==============================
1431.30/1426.08 c (1422,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
1431.30/1426.08 c (1422,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1431.30/1426.08 c (1422,0) c ===============================================================================
1431.30/1426.08 c (1422,0) c ===============================================================================
1431.30/1426.08 c (1422,0) c restarts : 10953
1431.30/1426.08 c (1422,0) c conflicts : 6737094 (4737 /sec)
1431.30/1426.08 c (1422,0) c decisions : 7180443 (0.00 % random) (5048 /sec)
1431.30/1426.08 c (1422,0) c propagations : 1892237035 (1330351 /sec)
1431.30/1426.08 c (1422,0) c conflict literals : 139527602 (52.92 % deleted)
1431.30/1426.08 c (1422,0) c CPU time : 1422.36 s
1431.30/1426.08 c (1422,0)
1431.30/1426.08 c (1422,0) s UNSATISFIABLE
1431.30/1426.08 c (1422,0) SatSolver.solve End
1431.30/1426.09 c (1422,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
1431.30/1426.09 c (1422,0) Show results Begin
1431.30/1426.09 s UNSATISFIABLE
1431.30/1426.09 c (1422,0) Show results End
1431.30/1426.09 c (1422,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
1431.30/1426.09 c (1422,0) 1422,1422,STOP-AFTER(ALL)
1431.30/1426.09 c END-Prog: Mon Aug 13 06:45:02 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 (6716 MiB free)
memory of node 1: 16384 MiB (10450 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305649-1534134075/watcher-4305649-1534134075 -o /tmp/evaluation-result-4305649-1534134075/solver-4305649-1534134075 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534131563-14337 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305649-1534134075.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=15004, runsolver pid=15001
Current StackSize limit: 8192 KiB
[startup+0.102124 s]*
/proc/loadavg: 2.00 2.01 1.98 5/226 15021
/proc/meminfo: memFree=17517400/32770624 swapFree=67108860/67108860
[pid=15004] ppid=15001 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/15004/stat : 15004 (scop.sh) S 15001 15004 14305 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230970720 115843072 348 33554432000 4194304 5098028 140724700995456 140724700992712 139880678535804 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33374208 140724700996673 140724700996871 140724700996871 140724700999629 0
/proc/15004/statm: 28282 348 296 221 0 87 0
[pid=15007] ppid=15004 vsize=15012476 memory=72380 CPUtime=0.11 cores=1,3,5,7
/proc/15007/stat : 15007 (java) S 15004 15004 14305 0 -1 1077944320 6735 0 0 0 10 1 0 0 20 0 15 0 230970720 15372775424 18095 33554432000 4194304 4196468 140726257103616 140726257086160 140609479175927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
/proc/15007/statm: 3753119 18095 2756 1 0 3715579 0
[pid=15007/tid=15008] ppid=15004 vsize=15012476 memory=-6511216345168003011 CPUtime=0.09 cores=1,3,5,7
/proc/15007/task/15008/stat : 15008 (java) R 15004 15004 14305 0 -1 4202560 4837 0 0 0 8 1 0 0 20 0 15 0 230970721 15372775424 18095 33554432000 4194304 4196468 140726257103616 140609450978008 140609459451808 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15009] ppid=15004 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15009/stat : 15009 (java) S 15004 15004 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230970722 15372775424 18095 33554432000 4194304 4196468 140726257103616 140609483417872 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15010] ppid=15004 vsize=15012476 memory=139767313335936 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15010/stat : 15010 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970722 15372775424 18095 33554432000 4194304 4196468 140726257103616 140609312512400 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15011] ppid=15004 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15011/stat : 15011 (java) S 15004 15004 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230970722 15372775424 18095 33554432000 4194304 4196468 140726257103616 140608938261008 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15012] ppid=15004 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15012/stat : 15012 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970723 15372775424 18095 33554432000 4194304 4196468 140726257103616 140608937208464 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15013] ppid=15004 vsize=15012476 memory=139767313335936 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15013/stat : 15013 (java) S 15004 15004 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230970724 15372775424 18095 33554432000 4194304 4196468 140726257103616 140608516848112 140609479187074 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15014] ppid=15004 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15014/stat : 15014 (java) S 15004 15004 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230970724 15372775424 18095 33554432000 4194304 4196468 140726257103616 140608035349920 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15015] ppid=15004 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15015/stat : 15015 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970725 15372775424 18095 33554432000 4194304 4196468 140726257103616 140607766914544 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15016] ppid=15004 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15016/stat : 15016 (java) S 15004 15004 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230970727 15372775424 18095 33554432000 4194304 4196468 140726257103616 140607392406224 140609479194523 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15017] ppid=15004 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15017/stat : 15017 (java) S 15004 15004 14305 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 230970727 15372775424 18161 33554432000 4194304 4196468 140726257103616 140608515794928 140609479187074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15018] ppid=15004 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15018/stat : 15018 (java) S 15004 15004 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230970727 15372775424 18161 33554432000 4194304 4196468 140726257103616 140608514742384 140609479187074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15019] ppid=15004 vsize=15012476 memory=139767313335936 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15019/stat : 15019 (java) R 15004 15004 14305 0 -1 4202560 280 0 0 0 0 0 0 0 20 0 15 0 230970727 15372775424 18161 33554432000 4194304 4196468 140726257103616 140608513689840 140609457544566 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15020] ppid=15004 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15020/stat : 15020 (java) S 15004 15004 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230970727 15372775424 18161 33554432000 4194304 4196468 140726257103616 140606894500448 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15021] ppid=15004 vsize=15012476 memory=139767313335936 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15021/stat : 15021 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970728 15372775424 18161 33554432000 4194304 4196468 140726257103616 140608512637744 140609479187074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73772 KiB
[startup+0.210874 s]*
/proc/loadavg: 2.00 2.01 1.98 3/226 15021
/proc/meminfo: memFree=17504168/32770624 swapFree=67108860/67108860
[pid=15004] ppid=15001 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/15004/stat : 15004 (scop.sh) S 15001 15004 14305 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230970720 115843072 348 33554432000 4194304 5098028 140724700995456 140724700992712 139880678535804 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33374208 140724700996673 140724700996871 140724700996871 140724700999629 0
/proc/15004/statm: 28282 348 296 221 0 87 0
[pid=15007] ppid=15004 vsize=15012476 memory=86244 CPUtime=0.25 cores=1,3,5,7
/proc/15007/stat : 15007 (java) S 15004 15004 14305 0 -1 1077944320 10366 0 0 0 23 2 0 0 20 0 15 0 230970720 15372775424 21561 33554432000 4194304 4196468 140726257103616 140726257086160 140609479175927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
/proc/15007/statm: 3753119 21561 2925 1 0 3715579 0
[pid=15007/tid=15008] ppid=15004 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/15007/task/15008/stat : 15008 (java) R 15004 15004 14305 0 -1 4202560 8214 0 0 0 18 1 0 0 20 0 15 0 230970721 15372775424 21561 33554432000 4194304 4196468 140726257103616 140609450991984 140609479187862 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15009] ppid=15004 vsize=15012476 memory=545 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15009/stat : 15009 (java) S 15004 15004 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230970722 15372775424 21561 33554432000 4194304 4196468 140726257103616 140609483417872 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15010] ppid=15004 vsize=15012476 memory=139767314612127 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15010/stat : 15010 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970722 15372775424 21561 33554432000 4194304 4196468 140726257103616 140609312512400 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15011] ppid=15004 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15011/stat : 15011 (java) S 15004 15004 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230970722 15372775424 21561 33554432000 4194304 4196468 140726257103616 140608938261008 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15012] ppid=15004 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15012/stat : 15012 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970723 15372775424 21561 33554432000 4194304 4196468 140726257103616 140608937208464 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15013] ppid=15004 vsize=15012476 memory=139767313335936 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15013/stat : 15013 (java) S 15004 15004 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230970724 15372775424 21561 33554432000 4194304 4196468 140726257103616 140608516848112 140609479187074 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15014] ppid=15004 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15014/stat : 15014 (java) S 15004 15004 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230970724 15372775424 21561 33554432000 4194304 4196468 140726257103616 140608035349920 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15015] ppid=15004 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15015/stat : 15015 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970725 15372775424 21561 33554432000 4194304 4196468 140726257103616 140607766914544 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15016] ppid=15004 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15016/stat : 15016 (java) S 15004 15004 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230970727 15372775424 21561 33554432000 4194304 4196468 140726257103616 140607392406224 140609479194523 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15017] ppid=15004 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15017/stat : 15017 (java) S 15004 15004 14305 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 15 0 230970727 15372775424 21561 33554432000 4194304 4196468 140726257103616 140608515794928 140609479187074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15018] ppid=15004 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15018/stat : 15018 (java) S 15004 15004 14305 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 230970727 15372775424 21561 33554432000 4194304 4196468 140726257103616 140608514742384 140609479187074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15019] ppid=15004 vsize=15012476 memory=139767313335936 CPUtime=0.03 cores=1,3,5,7
/proc/15007/task/15019/stat : 15019 (java) R 15004 15004 14305 0 -1 4202560 347 0 0 0 3 0 0 0 20 0 15 0 230970727 15372775424 21561 33554432000 4194304 4196468 140726257103616 140608513689840 140609457665600 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15020] ppid=15004 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15020/stat : 15020 (java) S 15004 15004 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230970727 15372775424 21561 33554432000 4194304 4196468 140726257103616 140606894500448 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15021] ppid=15004 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15021/stat : 15021 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970728 15372775424 21561 33554432000 4194304 4196468 140726257103616 140608512637744 140609479187074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87636 KiB
[startup+0.310702 s]*
/proc/loadavg: 2.00 2.01 1.98 3/226 15021
/proc/meminfo: memFree=17500012/32770624 swapFree=67108860/67108860
[pid=15004] ppid=15001 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/15004/stat : 15004 (scop.sh) S 15001 15004 14305 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230970720 115843072 348 33554432000 4194304 5098028 140724700995456 140724700992712 139880678535804 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33374208 140724700996673 140724700996871 140724700996871 140724700999629 0
/proc/15004/statm: 28282 348 296 221 0 87 0
[pid=15007] ppid=15004 vsize=15012476 memory=90160 CPUtime=0.42 cores=1,3,5,7
/proc/15007/stat : 15007 (java) S 15004 15004 14305 0 -1 1077944320 11068 0 0 0 39 3 0 0 20 0 15 0 230970720 15372775424 22540 33554432000 4194304 4196468 140726257103616 140726257086160 140609479175927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
/proc/15007/statm: 3753119 22540 2969 1 0 3715579 0
[pid=15007/tid=15008] ppid=15004 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15007/task/15008/stat : 15008 (java) R 15004 15004 14305 0 -1 4202560 8653 0 0 0 27 2 0 0 20 0 15 0 230970721 15372775424 22540 33554432000 4194304 4196468 140726257103616 140609450971376 140609460739483 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15009] ppid=15004 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15009/stat : 15009 (java) S 15004 15004 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230970722 15372775424 22540 33554432000 4194304 4196468 140726257103616 140609483417872 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15010] ppid=15004 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15010/stat : 15010 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970722 15372775424 22540 33554432000 4194304 4196468 140726257103616 140609312512400 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15011] ppid=15004 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15011/stat : 15011 (java) S 15004 15004 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230970722 15372775424 22540 33554432000 4194304 4196468 140726257103616 140608938261008 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15012] ppid=15004 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15012/stat : 15012 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970723 15372775424 22540 33554432000 4194304 4196468 140726257103616 140608937208464 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15013] ppid=15004 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15013/stat : 15013 (java) S 15004 15004 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230970724 15372775424 22540 33554432000 4194304 4196468 140726257103616 140608516848112 140609479187074 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15014] ppid=15004 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15014/stat : 15014 (java) S 15004 15004 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230970724 15372775424 22540 33554432000 4194304 4196468 140726257103616 140608035349920 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15015] ppid=15004 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15015/stat : 15015 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970725 15372775424 22540 33554432000 4194304 4196468 140726257103616 140607766914544 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15016] ppid=15004 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15016/stat : 15016 (java) S 15004 15004 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230970727 15372775424 22540 33554432000 4194304 4196468 140726257103616 140607392406224 140609479194523 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15017] ppid=15004 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15007/task/15017/stat : 15017 (java) S 15004 15004 14305 0 -1 1077944384 461 0 0 0 3 0 0 0 20 0 15 0 230970727 15372775424 22540 33554432000 4194304 4196468 140726257103616 140608515794928 140609479187074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15018] ppid=15004 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15007/task/15018/stat : 15018 (java) S 15004 15004 14305 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 15 0 230970727 15372775424 22540 33554432000 4194304 4196468 140726257103616 140608514742384 140609479187074 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15019] ppid=15004 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15007/task/15019/stat : 15019 (java) S 15004 15004 14305 0 -1 1077944384 461 0 0 0 7 0 0 0 20 0 15 0 230970727 15372775424 22540 33554432000 4194304 4196468 140726257103616 140608513689840 140609479187074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15020] ppid=15004 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15020/stat : 15020 (java) S 15004 15004 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230970727 15372775424 22540 33554432000 4194304 4196468 140726257103616 140606894500448 140609479186133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15021] ppid=15004 vsize=15012476 memory=3905244507057233969 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15021/stat : 15021 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970728 15372775424 22540 33554432000 4194304 4196468 140726257103616 140608512637744 140609479187074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91552 KiB
[startup+0.700844 s]
/proc/loadavg: 2.00 2.01 1.98 3/226 15021
/proc/meminfo: memFree=17475208/32770624 swapFree=67108860/67108860
[pid=15004] ppid=15001 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/15004/stat : 15004 (scop.sh) S 15001 15004 14305 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230970720 115843072 348 33554432000 4194304 5098028 140724700995456 140724700992712 139880678535804 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33374208 140724700996673 140724700996871 140724700996871 140724700999629 0
/proc/15004/statm: 28282 348 296 221 0 87 0
[pid=15007] ppid=15004 vsize=15020872 memory=128476 CPUtime=0.99 cores=1,3,5,7
/proc/15007/stat : 15007 (java) S 15004 15004 14305 0 -1 1077944320 18259 0 0 0 94 5 0 0 20 0 15 0 230970720 15381372928 32119 33554432000 4194304 4196468 140726257103616 140726257086160 140609479175927 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
/proc/15007/statm: 3755218 32119 3128 1 0 3716603 0
[pid=15007/tid=15008] ppid=15004 vsize=15020872 memory=62772 CPUtime=0.67 cores=1,3,5,7
/proc/15007/task/15008/stat : 15008 (java) R 15004 15004 14305 0 -1 4202560 15278 0 0 0 63 4 0 0 20 0 15 0 230970721 15381372928 32119 33554432000 4194304 4196468 140726257103616 140609451007824 140609463256414 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15009] ppid=15004 vsize=15020872 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15009/stat : 15009 (java) S 15004 15004 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230970722 15381372928 32119 33554432000 4194304 4196468 140726257103616 140609483417872 140609479186133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15010] ppid=15004 vsize=15020872 memory=2444 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15010/stat : 15010 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970722 15381372928 32119 33554432000 4194304 4196468 140726257103616 140609312512400 140609479186133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15011] ppid=15004 vsize=15020872 memory=1832 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15011/stat : 15011 (java) S 15004 15004 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230970722 15381372928 32119 33554432000 4194304 4196468 140726257103616 140608938261008 140609479186133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15012] ppid=15004 vsize=15020872 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15012/stat : 15012 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970723 15381372928 32119 33554432000 4194304 4196468 140726257103616 140608937208464 140609479186133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15013] ppid=15004 vsize=15020872 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15013/stat : 15013 (java) S 15004 15004 14305 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230970724 15381372928 32119 33554432000 4194304 4196468 140726257103616 140608516848112 140609479187074 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15014] ppid=15004 vsize=15020872 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15014/stat : 15014 (java) S 15004 15004 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230970724 15381372928 32119 33554432000 4194304 4196468 140726257103616 140608035349920 140609479186133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15015] ppid=15004 vsize=15020872 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15015/stat : 15015 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970725 15381372928 32119 33554432000 4194304 4196468 140726257103616 140607766914544 140609479186133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15016] ppid=15004 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15016/stat : 15016 (java) S 15004 15004 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230970727 15381372928 32119 33554432000 4194304 4196468 140726257103616 140607392406224 140609479194523 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15017] ppid=15004 vsize=15020872 memory=7304 CPUtime=0.07 cores=1,3,5,7
/proc/15007/task/15017/stat : 15017 (java) S 15004 15004 14305 0 -1 1077944384 530 0 0 0 7 0 0 0 20 0 15 0 230970727 15381372928 32119 33554432000 4194304 4196468 140726257103616 140608515794928 140609479187074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15018] ppid=15004 vsize=15020872 memory=5400 CPUtime=0.08 cores=1,3,5,7
/proc/15007/task/15018/stat : 15018 (java) S 15004 15004 14305 0 -1 1077944384 441 0 0 0 8 0 0 0 20 0 15 0 230970727 15381372928 32119 33554432000 4194304 4196468 140726257103616 140608514742384 140609479187074 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15019] ppid=15004 vsize=15020872 memory=1108 CPUtime=0.15 cores=1,3,5,7
/proc/15007/task/15019/stat : 15019 (java) S 15004 15004 14305 0 -1 1077944384 677 0 0 0 15 0 0 0 20 0 15 0 230970727 15381372928 32119 33554432000 4194304 4196468 140726257103616 140608513689840 140609479187074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15020] ppid=15004 vsize=15020872 memory=10784 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15020/stat : 15020 (java) S 15004 15004 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230970727 15381372928 32119 33554432000 4194304 4196468 140726257103616 140606894500448 140609479186133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
[pid=15007/tid=15021] ppid=15004 vsize=15020872 memory=872 CPUtime=0 cores=1,3,5,7
/proc/15007/task/15021/stat : 15021 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230970728 15381372928 32119 33554432000 4194304 4196468 140726257103616 140608512637744 140609479187074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140726257112071 140726257112369 140726257112369 140726257115087 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129868 KiB
[startup+1.50074 s]
/proc/loadavg: 2.00 2.01 1.98 6/226 15021
/proc/meminfo: memFree=17449092/32770624 swapFree=67108860/67108860
[pid=15004] ppid=15001 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/15004/stat : 15004 (scop.sh) S 15001 15004 14305 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230970720 115843072 348 33554432000 4194304 5098028 140724700995456 140724700992712 139880678535804 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33374208 140724700996673 140724700996871 140724700996871 140724700999629 0
/proc/15004/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 1429.3 s
Current children cumulated vsize: 8252956 KiB
Current children cumulated memory: 175560 KiB
[startup+1424.8 s]
/proc/loadavg: 2.02 2.04 2.02 3/233 15186
/proc/meminfo: memFree=17322356/32770624 swapFree=67108860/67108860
[pid=15004] ppid=15001 vsize=113128 memory=1468 CPUtime=7.14 cores=1,3,5,7
/proc/15004/stat : 15004 (scop.sh) S 15001 15004 14305 0 -1 4202496 589 26829 0 0 0 0 698 16 20 0 1 0 230970720 115843072 367 33554432000 4194304 5098028 140724700995456 140724700992200 139880678535804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33374208 140724700996673 140724700996871 140724700996871 140724700999629 0
/proc/15004/statm: 28282 367 311 221 0 87 0
[pid=15022] ppid=15004 vsize=8068220 memory=118684 CPUtime=1.78 cores=1,3,5,7
/proc/15022/stat : 15022 (java) S 15004 15004 14305 0 -1 1077944320 17480 0 0 0 142 36 0 0 20 0 19 0 230971010 8261857280 29671 33554432000 4194304 4196468 140728295553680 140728295536224 140157673570039 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
/proc/15022/statm: 2017055 29671 3149 1 0 1978454 0
[pid=15037] ppid=15022 vsize=71608 memory=55408 CPUtime=1421.17 cores=1,3,5,7
/proc/15037/stat : 15037 (minisat_release) R 15022 15004 14305 0 -1 4202496 105119 0 0 0 142107 10 0 0 20 0 1 0 230971082 73326592 13852 33554432000 4194304 4308513 140726059918864 140726059915864 4276015 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 33316864 140726059922548 140726059922646 140726059922646 140726059925445 0
/proc/15037/statm: 17902 13852 341 28 0 14142 0
[pid=15022/tid=15023] ppid=15004 vsize=8068220 memory=1920 CPUtime=0.74 cores=1,3,5,7
/proc/15022/task/15023/stat : 15023 (java) S 15004 15004 14305 0 -1 1077944384 14470 0 0 0 70 4 0 0 20 0 19 0 230971010 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157645410192 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15024] ppid=15004 vsize=8068220 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15024/stat : 15024 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230971011 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157677812112 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15025] ppid=15004 vsize=8068220 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15025/stat : 15025 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230971011 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157477980432 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15026] ppid=15004 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15026/stat : 15026 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230971011 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157476928144 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15027] ppid=15004 vsize=8068220 memory=118684 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15027/stat : 15027 (java) S 15004 15004 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230971011 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157475875344 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15028] ppid=15004 vsize=8068220 memory=55408 CPUtime=0.01 cores=1,3,5,7
/proc/15022/task/15028/stat : 15028 (java) S 15004 15004 14305 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 19 0 230971013 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157052852848 140157673581186 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15029] ppid=15004 vsize=8068220 memory=2444 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15029/stat : 15029 (java) S 15004 15004 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230971013 8261857280 29671 33554432000 4194304 4196468 140728295553680 140156526912800 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15030] ppid=15004 vsize=8068220 memory=1832 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15030/stat : 15030 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230971014 8261857280 29671 33554432000 4194304 4196468 140728295553680 140156258477680 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15031] ppid=15004 vsize=8068220 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15031/stat : 15031 (java) S 15004 15004 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140155883969104 140157673588635 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15032] ppid=15004 vsize=8068220 memory=1192 CPUtime=0.1 cores=1,3,5,7
/proc/15022/task/15032/stat : 15032 (java) S 15004 15004 14305 0 -1 1077944384 753 0 0 0 10 0 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157051799664 140157673581186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15033] ppid=15004 vsize=8068220 memory=1616 CPUtime=0.08 cores=1,3,5,7
/proc/15022/task/15033/stat : 15033 (java) S 15004 15004 14305 0 -1 1077944384 203 0 0 0 8 0 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157050746864 140157673581186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15034] ppid=15004 vsize=8068220 memory=1384 CPUtime=0.2 cores=1,3,5,7
/proc/15022/task/15034/stat : 15034 (java) S 15004 15004 14305 0 -1 1077944384 562 0 0 0 20 0 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157049694576 140157673581186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15035] ppid=15004 vsize=8068220 memory=752 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15035/stat : 15035 (java) S 15004 15004 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140155386063328 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15036] ppid=15004 vsize=8068220 memory=-7824251494390913899 CPUtime=0.59 cores=1,3,5,7
/proc/15022/task/15036/stat : 15036 (java) S 15004 15004 14305 0 -1 1077944384 97 0 0 0 27 32 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157048642480 140157673581186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15038] ppid=15004 vsize=8068220 memory=916 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15038/stat : 15038 (java) S 15004 15004 14305 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230971082 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157040833984 140157673594649 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15040] ppid=15004 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15040/stat : 15040 (java) S 15004 15004 14305 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 230971083 8261857280 29671 33554432000 4194304 4196468 140728295553680 140154849177648 140157673591965 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15041] ppid=15004 vsize=8068220 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15041/stat : 15041 (java) S 15004 15004 14305 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 230971083 8261857280 29671 33554432000 4194304 4196468 140728295553680 140154580745648 140157673591965 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15042] ppid=15004 vsize=8068220 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15042/stat : 15042 (java) S 15004 15004 14305 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 230971085 8261857280 29671 33554432000 4194304 4196468 140728295553680 140154983406496 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
Current children cumulated CPU time: 1430.09 s
Current children cumulated vsize: 8252956 KiB
Current children cumulated memory: 175560 KiB
[startup+1425.6 s]
/proc/loadavg: 2.10 2.06 2.02 3/233 15186
/proc/meminfo: memFree=17320188/32770624 swapFree=67108860/67108860
[pid=15004] ppid=15001 vsize=113128 memory=1468 CPUtime=7.14 cores=1,3,5,7
/proc/15004/stat : 15004 (scop.sh) S 15001 15004 14305 0 -1 4202496 589 26829 0 0 0 0 698 16 20 0 1 0 230970720 115843072 367 33554432000 4194304 5098028 140724700995456 140724700992200 139880678535804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33374208 140724700996673 140724700996871 140724700996871 140724700999629 0
/proc/15004/statm: 28282 367 311 221 0 87 0
[pid=15022] ppid=15004 vsize=8068220 memory=118684 CPUtime=1.78 cores=1,3,5,7
/proc/15022/stat : 15022 (java) S 15004 15004 14305 0 -1 1077944320 17480 0 0 0 142 36 0 0 20 0 19 0 230971010 8261857280 29671 33554432000 4194304 4196468 140728295553680 140728295536224 140157673570039 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
/proc/15022/statm: 2017055 29671 3149 1 0 1978454 0
[pid=15037] ppid=15022 vsize=71608 memory=55408 CPUtime=1421.97 cores=1,3,5,7
/proc/15037/stat : 15037 (minisat_release) R 15022 15004 14305 0 -1 4202496 105127 0 0 0 142187 10 0 0 20 0 1 0 230971082 73326592 13852 33554432000 4194304 4308513 140726059918864 140726059915864 4275676 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 33316864 140726059922548 140726059922646 140726059922646 140726059925445 0
/proc/15037/statm: 17902 13852 341 28 0 14142 0
[pid=15022/tid=15023] ppid=15004 vsize=8068220 memory=928 CPUtime=0.74 cores=1,3,5,7
/proc/15022/task/15023/stat : 15023 (java) S 15004 15004 14305 0 -1 1077944384 14470 0 0 0 70 4 0 0 20 0 19 0 230971010 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157645410192 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15024] ppid=15004 vsize=8068220 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15024/stat : 15024 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230971011 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157677812112 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15025] ppid=15004 vsize=8068220 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15025/stat : 15025 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230971011 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157477980432 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15026] ppid=15004 vsize=8068220 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15026/stat : 15026 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230971011 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157476928144 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15027] ppid=15004 vsize=8068220 memory=62792 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15027/stat : 15027 (java) S 15004 15004 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230971011 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157475875344 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15028] ppid=15004 vsize=8068220 memory=1236 CPUtime=0.01 cores=1,3,5,7
/proc/15022/task/15028/stat : 15028 (java) S 15004 15004 14305 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 19 0 230971013 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157052852848 140157673581186 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15029] ppid=15004 vsize=8068220 memory=2444 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15029/stat : 15029 (java) S 15004 15004 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230971013 8261857280 29671 33554432000 4194304 4196468 140728295553680 140156526912800 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15030] ppid=15004 vsize=8068220 memory=1832 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15030/stat : 15030 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230971014 8261857280 29671 33554432000 4194304 4196468 140728295553680 140156258477680 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15031] ppid=15004 vsize=8068220 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15031/stat : 15031 (java) S 15004 15004 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140155883969104 140157673588635 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15032] ppid=15004 vsize=8068220 memory=1192 CPUtime=0.1 cores=1,3,5,7
/proc/15022/task/15032/stat : 15032 (java) S 15004 15004 14305 0 -1 1077944384 753 0 0 0 10 0 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157051799664 140157673581186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15033] ppid=15004 vsize=8068220 memory=55408 CPUtime=0.08 cores=1,3,5,7
/proc/15022/task/15033/stat : 15033 (java) S 15004 15004 14305 0 -1 1077944384 203 0 0 0 8 0 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157050746864 140157673581186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15034] ppid=15004 vsize=8068220 memory=-7824251494390913899 CPUtime=0.2 cores=1,3,5,7
/proc/15022/task/15034/stat : 15034 (java) S 15004 15004 14305 0 -1 1077944384 562 0 0 0 20 0 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157049694576 140157673581186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15035] ppid=15004 vsize=8068220 memory=3296 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15035/stat : 15035 (java) S 15004 15004 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140155386063328 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15036] ppid=15004 vsize=8068220 memory=1472 CPUtime=0.59 cores=1,3,5,7
/proc/15022/task/15036/stat : 15036 (java) S 15004 15004 14305 0 -1 1077944384 97 0 0 0 27 32 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157048642480 140157673581186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15038] ppid=15004 vsize=8068220 memory=118600 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15038/stat : 15038 (java) S 15004 15004 14305 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230971082 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157040833984 140157673594649 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15040] ppid=15004 vsize=8068220 memory=164536 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15040/stat : 15040 (java) S 15004 15004 14305 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 230971083 8261857280 29671 33554432000 4194304 4196468 140728295553680 140154849177648 140157673591965 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15041] ppid=15004 vsize=8068220 memory=-7824251494390781802 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15041/stat : 15041 (java) S 15004 15004 14305 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 230971083 8261857280 29671 33554432000 4194304 4196468 140728295553680 140154580745648 140157673591965 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15042] ppid=15004 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15042/stat : 15042 (java) S 15004 15004 14305 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 230971085 8261857280 29671 33554432000 4194304 4196468 140728295553680 140154983406496 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
Current children cumulated CPU time: 1430.89 s
Current children cumulated vsize: 8252956 KiB
Current children cumulated memory: 175560 KiB
[startup+1426 s]*
/proc/loadavg: 2.10 2.06 2.02 3/232 15186
/proc/meminfo: memFree=17318140/32770624 swapFree=67108860/67108860
[pid=15004] ppid=15001 vsize=113128 memory=1468 CPUtime=7.14 cores=1,3,5,7
/proc/15004/stat : 15004 (scop.sh) S 15001 15004 14305 0 -1 4202496 589 26829 0 0 0 0 698 16 20 0 1 0 230970720 115843072 367 33554432000 4194304 5098028 140724700995456 140724700992200 139880678535804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33374208 140724700996673 140724700996871 140724700996871 140724700999629 0
/proc/15004/statm: 28282 367 311 221 0 87 0
[pid=15022] ppid=15004 vsize=8068220 memory=118684 CPUtime=1.78 cores=1,3,5,7
/proc/15022/stat : 15022 (java) S 15004 15004 14305 0 -1 1077944320 17480 0 0 0 142 36 0 0 20 0 19 0 230971010 8261857280 29671 33554432000 4194304 4196468 140728295553680 140728295536224 140157673570039 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
/proc/15022/statm: 2017055 29671 3149 1 0 1978454 0
[pid=15037] ppid=15022 vsize=71608 memory=55408 CPUtime=1422.38 cores=1,3,5,7
/proc/15037/stat : 15037 (minisat_release) R 15022 15004 14305 0 -1 4202496 105127 0 0 0 142228 10 0 0 20 0 1 0 230971082 73326592 13852 33554432000 4194304 4308513 140726059918864 140726059915864 4276465 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 33316864 140726059922548 140726059922646 140726059922646 140726059925445 0
/proc/15037/statm: 17902 13852 341 28 0 14142 0
[pid=15022/tid=15023] ppid=15004 vsize=8068220 memory=-7824251494390781802 CPUtime=0.74 cores=1,3,5,7
/proc/15022/task/15023/stat : 15023 (java) S 15004 15004 14305 0 -1 1077944384 14470 0 0 0 70 4 0 0 20 0 19 0 230971010 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157645410192 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15024] ppid=15004 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15024/stat : 15024 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230971011 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157677812112 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15025] ppid=15004 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15025/stat : 15025 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230971011 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157477980432 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15026] ppid=15004 vsize=8068220 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15026/stat : 15026 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230971011 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157476928144 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15027] ppid=15004 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15027/stat : 15027 (java) S 15004 15004 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230971011 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157475875344 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15028] ppid=15004 vsize=8068220 memory=62792 CPUtime=0.01 cores=1,3,5,7
/proc/15022/task/15028/stat : 15028 (java) S 15004 15004 14305 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 19 0 230971013 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157052852848 140157673581186 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15029] ppid=15004 vsize=8068220 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15029/stat : 15029 (java) S 15004 15004 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230971013 8261857280 29671 33554432000 4194304 4196468 140728295553680 140156526912800 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15030] ppid=15004 vsize=8068220 memory=2444 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15030/stat : 15030 (java) S 15004 15004 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230971014 8261857280 29671 33554432000 4194304 4196468 140728295553680 140156258477680 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15031] ppid=15004 vsize=8068220 memory=1832 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15031/stat : 15031 (java) S 15004 15004 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140155883969104 140157673588635 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15032] ppid=15004 vsize=8068220 memory=1920 CPUtime=0.1 cores=1,3,5,7
/proc/15022/task/15032/stat : 15032 (java) S 15004 15004 14305 0 -1 1077944384 753 0 0 0 10 0 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157051799664 140157673581186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15033] ppid=15004 vsize=8068220 memory=-7824251494390913899 CPUtime=0.08 cores=1,3,5,7
/proc/15022/task/15033/stat : 15033 (java) S 15004 15004 14305 0 -1 1077944384 203 0 0 0 8 0 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157050746864 140157673581186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15034] ppid=15004 vsize=8068220 memory=1616 CPUtime=0.2 cores=1,3,5,7
/proc/15022/task/15034/stat : 15034 (java) S 15004 15004 14305 0 -1 1077944384 562 0 0 0 20 0 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157049694576 140157673581186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15035] ppid=15004 vsize=8068220 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15035/stat : 15035 (java) S 15004 15004 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140155386063328 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15036] ppid=15004 vsize=8068220 memory=290763849282617370 CPUtime=0.59 cores=1,3,5,7
/proc/15022/task/15036/stat : 15036 (java) S 15004 15004 14305 0 -1 1077944384 97 0 0 0 27 32 0 0 20 0 19 0 230971016 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157048642480 140157673581186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15038] ppid=15004 vsize=8068220 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15038/stat : 15038 (java) S 15004 15004 14305 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230971082 8261857280 29671 33554432000 4194304 4196468 140728295553680 140157040833984 140157673594649 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15040] ppid=15004 vsize=8068220 memory=14133333755955770 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15040/stat : 15040 (java) S 15004 15004 14305 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 230971083 8261857280 29671 33554432000 4194304 4196468 140728295553680 140154849177648 140157673591965 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15041] ppid=15004 vsize=8068220 memory=1108 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15041/stat : 15041 (java) S 15004 15004 14305 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 230971083 8261857280 29671 33554432000 4194304 4196468 140728295553680 140154580745648 140157673591965 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
[pid=15022/tid=15042] ppid=15004 vsize=8068220 memory=10784 CPUtime=0 cores=1,3,5,7
/proc/15022/task/15042/stat : 15042 (java) S 15004 15004 14305 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 230971085 8261857280 29671 33554432000 4194304 4196468 140728295553680 140154983406496 140157673580245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18849792 140728295560373 140728295560497 140728295560497 140728295563215 0
Current children cumulated CPU time: 1431.3 s
Current children cumulated vsize: 8252956 KiB
Current children cumulated memory: 175560 KiB
Child status: 0
Real time (s): 1426.1
CPU time (s): 1431.43
CPU user time (s): 1430.78
CPU system time (s): 0.653212
CPU usage (%): 100.374
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 498340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1430.78
system time used= 0.653212
maximum resident set size= 505148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150110
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36482
involuntary context switches= 488
# summary of solver processes directly reported to runsolver:
# pid: 15004
# total CPU time (s): 1431.43
# total CPU user time (s): 1430.78
# total CPU system time (s): 0.653212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.34885 second user time and 15.8036 second system time
The end