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-26296-serial-file.bin HOME/instance-4305601-1534088247.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: Sun Aug 12 17:37:27 CEST 2018
0.66/0.55 c PID: 26299
0.66/0.55 c IP: 172.20.3.135
0.66/0.55 c HOST: node135.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.18/0.86 c (0,0) Parsing End
1.18/0.86 c (0,0) CSP: 37 int (0 aux), 0 bool (0 aux), 28 ctr, max domain size 37
1.18/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.86 c (0,0) Constraint Name Generate Begin
1.18/0.87 c (0,0) Ctr:HOME/instance-4305601-1534088247.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.18/0.87 c (0,0) Constraint Name Generate End
1.18/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.87 c (0,0) CSP to CSPinCNF Begin
2.13/1.23 c (0,0) translated 3 (10%) constraints
2.13/1.24 c (0,0) translated 6 (20%) constraints
2.13/1.24 c (0,0) translated 9 (30%) constraints
2.13/1.24 c (0,0) translated 12 (40%) constraints
2.13/1.24 c (0,0) translated 14 (50%) constraints
2.13/1.25 c (0,0) translated 17 (60%) constraints
2.13/1.25 c (0,0) translated 20 (70%) constraints
2.13/1.25 c (0,0) translated 23 (80%) constraints
2.13/1.25 c (0,0) translated 26 (90%) constraints
2.13/1.25 c (0,0) translated 28 (100%) constraints
2.38/1.31 c (0,0) STATISTICS1:HOME/instance-4305601-1534088247.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,37,695,2428912656,37,37,7,2428912656:2;2361442860:4;69343957:12;1874161:12;47952:4;46620:8;37:465;36:133;35:74,37:1271;36:172;35:86,37:2;2:666;1:27,7:6;6:12;5:12;4:12;2:672;1:74,
2.38/1.31 c (0,0) ==========================================
2.38/1.31 c (0,0) Both Encoding selects:
2.38/1.31 c (0,0) Order
2.38/1.31 c (0,0) ==========================================
2.38/1.33 c (0,0) translated 70 (10%) constraints
2.38/1.35 c (0,0) translated 139 (20%) constraints
2.38/1.36 c (0,0) translated 209 (30%) constraints
2.38/1.37 c (0,0) translated 278 (40%) constraints
2.38/1.38 c (0,0) translated 348 (50%) constraints
2.38/1.38 c (0,0) translated 417 (60%) constraints
2.38/1.39 c (0,0) translated 487 (70%) constraints
2.65/1.40 c (0,0) translated 556 (80%) constraints
2.65/1.40 c (0,0) translated 626 (90%) constraints
2.65/1.45 c (0,0) translated 695 (100%) constraints
2.65/1.46 c (0,0) CSP to CSPinCNF End
2.65/1.46 c (0,0) CSP: 85 int (48 aux), 0 bool (0 aux), 812 ctr, max domain size 90
2.65/1.46 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.65/1.46 c (0,0) CSPinCNF Propagation Begin
2.65/1.49 c (0,0) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
2.65/1.49 c (0,0) CSPinCNF Propagation End
2.65/1.49 c (0,0) CSP: 85 int (48 aux), 0 bool (0 aux), 812 ctr, max domain size 90
2.65/1.49 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.65/1.49 c (0,0) Simplify CSPinCNF Begin
2.96/1.58 c (1,1) Simplify CSPinCNF End
2.96/1.58 c (1,1) CSP: 85 int (48 aux), 1332 bool (1332 aux), 2144 ctr, max domain size 90
2.96/1.58 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.96/1.58 c (1,1) Calculate Precise Domain Begin
2.96/1.60 c (1,1) 1 values are removed by re-calculation
2.96/1.60 c (1,1) Calculate Precise Domain End
3.26/1.60 c (1,1) CSP: 85 int (48 aux), 1332 bool (1332 aux), 2144 ctr, max domain size 90
3.26/1.60 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.26/1.60 c (1,1) CSPinCNF to SatSolver Begin
3.58/1.73 c (1,1) 215 (10 %) CSP clauses are encoded (5984 SAT variables, 9723 SAT clauses)
3.58/1.77 c (1,1) 429 (20 %) CSP clauses are encoded (5984 SAT variables, 14935 SAT clauses)
3.91/1.81 c (1,1) 644 (30 %) CSP clauses are encoded (5984 SAT variables, 20254 SAT clauses)
3.91/1.83 c (1,1) 858 (40 %) CSP clauses are encoded (5984 SAT variables, 25564 SAT clauses)
3.91/1.85 c (1,1) 1072 (50 %) CSP clauses are encoded (5984 SAT variables, 30904 SAT clauses)
3.91/1.88 c (1,1) 1287 (60 %) CSP clauses are encoded (5984 SAT variables, 36243 SAT clauses)
3.91/1.89 c (1,1) 1501 (70 %) CSP clauses are encoded (5984 SAT variables, 41575 SAT clauses)
4.21/1.91 c (1,1) 1716 (80 %) CSP clauses are encoded (5984 SAT variables, 46855 SAT clauses)
4.21/1.93 c (1,1) 1930 (90 %) CSP clauses are encoded (5984 SAT variables, 52178 SAT clauses)
5.73/2.57 c (2,2) 2144 (100 %) CSP clauses are encoded (5984 SAT variables, 293090 SAT clauses)
5.73/2.57 c (2,2) Launch Command will be: minisat_release
5.73/2.57 c (2,2) CSPinCNF to SatSolver End
5.73/2.57 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.93/2.60 c (2,2) STATISTICS2:HOME/instance-4305601-1534088247.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,1417,2144,5329,90,35,3,5329:12;5256:6;2701:12;2627:6;1369:66;1332:18;1295:18;37:930;36:192;35:216,90:4;89:4;88:4;73:132;72:12;71:12;46:12;45:8;44:4;37:2480;36:240;35:245;2:2664,35:1;32:1;2:1998;1:144,3:138;2:1338;1:2731,
5.93/2.60 c (2,2) 5984 bool, 293124 clause
5.93/2.60 c (2,2) Export Begin
5.93/2.68 c (2,2) Export to HOME/scop-26296-serial-file.bin
5.93/2.68 c (2,2) Export End
5.93/2.68 c (2,2) Export File Size: 0.01 MB
5.93/2.68 c (2,2) 0,0,0,0,1,1,2,STOP-AFTER(DIMACS)
5.93/2.68 c END-Prog: Sun Aug 12 17:37:29 CEST 2018
5.93/2.69 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-26296-serial-file.bin
6.63/3.18 c (0,0) Read Serial File Begin
6.63/3.18 c (0,0) HOME/scop-26296-serial-file.bin
6.90/3.33 c (0,0) Read Serial File End
6.90/3.35
6.90/3.35 scop order+minisat_release (2018-07-31)
6.90/3.35 (Solving Process)
6.90/3.35
6.90/3.37 c BEGIN-Prog: Sun Aug 12 17:37:30 CEST 2018
6.90/3.37 c PID: 26314
6.90/3.37 c IP: 172.20.3.135
6.90/3.37 c HOST: node135.alineos.net
6.90/3.37 c (0,0) SatSolver.solve Begin
6.90/3.37 c (0,0) 0 bool, 0 clause
6.90/3.37 c (0,0) minisat_release HOME/instance-4305601-1534088247.xml-scop-26299.cnf
266.97/263.12 c (260,0) c This is COMiniSatPS.
266.97/263.12 c (260,0) c WARNING: for repeatability, setting FPU to use double precision
266.97/263.12 c (260,0) c ============================[ Problem Statistics ]=============================
266.97/263.12 c (260,0) c | |
266.97/263.12 c (260,0) c | Number of variables: 5984 |
266.97/263.12 c (260,0) c | Number of clauses: 293065 |
266.97/263.12 c (260,0) c | Parse time: 0.06 s |
266.97/263.12 c (260,0) c | Eliminated clauses: 0.01 Mb |
266.97/263.12 c (260,0) c Reduced to 5310 vars, 291991 cls (grow=0)
266.97/263.12 c (260,0) c No iterative elimination performed. (vars=5310, c/v ratio=55.0)
266.97/263.12 c (260,0) c | Simplification time: 0.32 s |
266.97/263.12 c (260,0) c | |
266.97/263.12 c (260,0) c ============================[ Search Statistics ]==============================
266.97/263.12 c (260,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
266.97/263.12 c (260,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
266.97/263.12 c (260,0) c ===============================================================================
266.97/263.12 c (260,0) c ===============================================================================
266.97/263.12 c (260,0) c restarts : 1639
266.97/263.12 c (260,0) c conflicts : 773889 (2981 /sec)
266.97/263.12 c (260,0) c decisions : 965034 (0.00 % random) (3717 /sec)
266.97/263.12 c (260,0) c propagations : 635180838 (2446576 /sec)
266.97/263.12 c (260,0) c conflict literals : 18004003 (33.04 % deleted)
266.97/263.12 c (260,0) c CPU time : 259.62 s
266.97/263.12 c (260,0)
266.97/263.12 c (260,0) s SATISFIABLE
266.97/263.15 c (260,0) SatSolver.solve End
266.97/263.15 c (260,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
266.97/263.15 c (260,0) Show results Begin
267.16/263.21 s SATISFIABLE
267.16/263.21 v <instantiation>
267.16/263.21 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[6][0] x[6][1] x[6][2] x[6][3]</list>
267.16/263.21 v <values>16 30 37 28 38 15 25 21 12 26 13 4 14 18 36 31 19 9 6 8 3 35 34 7 5 10 23 32 29 20 24 27 11 17 39 22 33</values>
267.16/263.21 v </instantiation>
267.16/263.21 c (260,0) Show results End
267.16/263.21 c (260,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
267.16/263.21 c (260,0) 260,260,STOP-AFTER(ALL)
267.16/263.22 c END-Prog: Sun Aug 12 17:41:50 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 (7623 MiB free)
memory of node 1: 16384 MiB (4751 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305601-1534088247/watcher-4305601-1534088247 -o /tmp/evaluation-result-4305601-1534088247/solver-4305601-1534088247 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305601-1534088247.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26296, runsolver pid=26293
Current StackSize limit: 8192 KiB
[startup+0.100123 s]*
/proc/loadavg: 2.21 2.06 2.06 4/227 26313
/proc/meminfo: memFree=12610976/32770624 swapFree=67108860/67108860
[pid=26296] ppid=26293 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (scop.sh) S 26293 26296 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226387839 115843072 349 33554432000 4194304 5098028 140733460396736 140733460393992 140367445140092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16797696 140733460403265 140733460403463 140733460403463 140733460406221 0
/proc/26296/statm: 28282 349 296 221 0 87 0
[pid=26299] ppid=26296 vsize=15012476 memory=72864 CPUtime=0.11 cores=0,2,4,6
/proc/26299/stat : 26299 (java) S 26296 26296 19383 0 -1 1077944320 6913 0 0 0 9 2 0 0 20 0 15 0 226387840 15372775424 18216 33554432000 4194304 4196468 140735650266400 140735650248944 139732034170615 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
/proc/26299/statm: 3753119 18216 2740 1 0 3715579 0
[pid=26299/tid=26300] ppid=26296 vsize=15012476 memory=-6220453793737523143 CPUtime=0.09 cores=0,2,4,6
/proc/26299/task/26300/stat : 26300 (java) R 26296 26296 19383 0 -1 4202560 5021 0 0 0 7 2 0 0 20 0 15 0 226387840 15372775424 18216 33554432000 4194304 4196468 140735650266400 139732005996944 139732014446375 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26301] ppid=26296 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26301/stat : 26301 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226387841 15372775424 18282 33554432000 4194304 4196468 140735650266400 139732038413072 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26302] ppid=26296 vsize=15012476 memory=140079727441536 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26302/stat : 26302 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226387842 15372775424 18282 33554432000 4194304 4196468 140735650266400 139731494316944 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26303] ppid=26296 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26303/stat : 26303 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226387842 15372775424 18282 33554432000 4194304 4196468 140735650266400 139731493264400 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26304] ppid=26296 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26304/stat : 26304 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226387842 15372775424 18347 33554432000 4194304 4196468 140735650266400 139731492211856 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26305] ppid=26296 vsize=15012476 memory=140079727441536 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26305/stat : 26305 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226387843 15372775424 18347 33554432000 4194304 4196468 140735650266400 139731071715312 139732034181762 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26306] ppid=26296 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26306/stat : 26306 (java) S 26296 26296 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226387844 15372775424 18347 33554432000 4194304 4196468 140735650266400 139730586952608 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26307] ppid=26296 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26307/stat : 26307 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226387844 15372775424 18347 33554432000 4194304 4196468 140735650266400 139730318517232 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26308] ppid=26296 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26308/stat : 26308 (java) S 26296 26296 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226387846 15372775424 18347 33554432000 4194304 4196468 140735650266400 139729944008912 139732034189211 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26309] ppid=26296 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26309/stat : 26309 (java) S 26296 26296 19383 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 226387846 15372775424 18347 33554432000 4194304 4196468 140735650266400 139731070663152 139732034181762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26310] ppid=26296 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26310/stat : 26310 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226387846 15372775424 18347 33554432000 4194304 4196468 140735650266400 139731069610608 139732034181762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26311] ppid=26296 vsize=15012476 memory=140079727441536 CPUtime=0.01 cores=0,2,4,6
/proc/26299/task/26311/stat : 26311 (java) R 26296 26296 19383 0 -1 4202560 280 0 0 0 1 0 0 0 20 0 15 0 226387846 15372775424 18347 33554432000 4194304 4196468 140735650266400 139731068558064 139732027267451 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26312] ppid=26296 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26312/stat : 26312 (java) S 26296 26296 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226387846 15372775424 18347 33554432000 4194304 4196468 140735650266400 139729446104160 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26313] ppid=26296 vsize=15012476 memory=140079727441536 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26313/stat : 26313 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226387847 15372775424 18347 33554432000 4194304 4196468 140735650266400 139731067504944 139732034181762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74260 KiB
[startup+0.210984 s]*
/proc/loadavg: 2.21 2.06 2.06 3/227 26313
/proc/meminfo: memFree=12597272/32770624 swapFree=67108860/67108860
[pid=26296] ppid=26293 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (scop.sh) S 26293 26296 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226387839 115843072 349 33554432000 4194304 5098028 140733460396736 140733460393992 140367445140092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16797696 140733460403265 140733460403463 140733460403463 140733460406221 0
/proc/26296/statm: 28282 349 296 221 0 87 0
[pid=26299] ppid=26296 vsize=15012476 memory=86428 CPUtime=0.26 cores=0,2,4,6
/proc/26299/stat : 26299 (java) S 26296 26296 19383 0 -1 1077944320 10467 0 0 0 22 4 0 0 20 0 15 0 226387840 15372775424 21607 33554432000 4194304 4196468 140735650266400 140735650248944 139732034170615 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
/proc/26299/statm: 3753119 21607 2875 1 0 3715579 0
[pid=26299/tid=26300] ppid=26296 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/26299/task/26300/stat : 26300 (java) R 26296 26296 19383 0 -1 4202560 8365 0 0 0 17 3 0 0 20 0 15 0 226387840 15372775424 21607 33554432000 4194304 4196468 140735650266400 139732005997008 139732034191962 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26301] ppid=26296 vsize=15012476 memory=550 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26301/stat : 26301 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226387841 15372775424 21607 33554432000 4194304 4196468 140735650266400 139732038413072 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26302] ppid=26296 vsize=15012476 memory=140079727465499 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26302/stat : 26302 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226387842 15372775424 21607 33554432000 4194304 4196468 140735650266400 139731494316944 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26303] ppid=26296 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26303/stat : 26303 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226387842 15372775424 21607 33554432000 4194304 4196468 140735650266400 139731493264400 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26304] ppid=26296 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26304/stat : 26304 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226387842 15372775424 21607 33554432000 4194304 4196468 140735650266400 139731492211856 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26305] ppid=26296 vsize=15012476 memory=140079727441536 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26305/stat : 26305 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226387843 15372775424 21607 33554432000 4194304 4196468 140735650266400 139731071715312 139732034181762 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26306] ppid=26296 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26306/stat : 26306 (java) S 26296 26296 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226387844 15372775424 21607 33554432000 4194304 4196468 140735650266400 139730586952608 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26307] ppid=26296 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26307/stat : 26307 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226387844 15372775424 21607 33554432000 4194304 4196468 140735650266400 139730318517232 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26308] ppid=26296 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26308/stat : 26308 (java) S 26296 26296 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226387846 15372775424 21607 33554432000 4194304 4196468 140735650266400 139729944008912 139732034189211 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26309] ppid=26296 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26309/stat : 26309 (java) S 26296 26296 19383 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 226387846 15372775424 21607 33554432000 4194304 4196468 140735650266400 139731070663152 139732034181762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26310] ppid=26296 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26310/stat : 26310 (java) R 26296 26296 19383 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 226387846 15372775424 21607 33554432000 4194304 4196468 140735650266400 139731069610608 139732034181762 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26311] ppid=26296 vsize=15012476 memory=140079727441536 CPUtime=0.03 cores=0,2,4,6
/proc/26299/task/26311/stat : 26311 (java) S 26296 26296 19383 0 -1 1077944384 301 0 0 0 3 0 0 0 20 0 15 0 226387846 15372775424 21607 33554432000 4194304 4196468 140735650266400 139731068558064 139732034181762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26312] ppid=26296 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26312/stat : 26312 (java) S 26296 26296 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226387846 15372775424 21607 33554432000 4194304 4196468 140735650266400 139729446104160 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26313] ppid=26296 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26313/stat : 26313 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226387847 15372775424 21607 33554432000 4194304 4196468 140735650266400 139731067504944 139732034181762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87824 KiB
[startup+0.310925 s]*
/proc/loadavg: 2.21 2.06 2.06 3/227 26313
/proc/meminfo: memFree=12593412/32770624 swapFree=67108860/67108860
[pid=26296] ppid=26293 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (scop.sh) S 26293 26296 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226387839 115843072 349 33554432000 4194304 5098028 140733460396736 140733460393992 140367445140092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16797696 140733460403265 140733460403463 140733460403463 140733460406221 0
/proc/26296/statm: 28282 349 296 221 0 87 0
[pid=26299] ppid=26296 vsize=15012476 memory=89948 CPUtime=0.43 cores=0,2,4,6
/proc/26299/stat : 26299 (java) S 26296 26296 19383 0 -1 1077944320 10982 0 0 0 39 4 0 0 20 0 15 0 226387840 15372775424 22487 33554432000 4194304 4196468 140735650266400 140735650248944 139732034170615 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
/proc/26299/statm: 3753119 22487 2972 1 0 3715579 0
[pid=26299/tid=26300] ppid=26296 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/26299/task/26300/stat : 26300 (java) R 26296 26296 19383 0 -1 4202560 8735 0 0 0 26 3 0 0 20 0 15 0 226387840 15372775424 22487 33554432000 4194304 4196468 140735650266400 139732005961296 139732019865675 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26301] ppid=26296 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26301/stat : 26301 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226387841 15372775424 22487 33554432000 4194304 4196468 140735650266400 139732038413072 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26302] ppid=26296 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26302/stat : 26302 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226387842 15372775424 22487 33554432000 4194304 4196468 140735650266400 139731494316944 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26303] ppid=26296 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26303/stat : 26303 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226387842 15372775424 22487 33554432000 4194304 4196468 140735650266400 139731493264400 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26304] ppid=26296 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26304/stat : 26304 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226387842 15372775424 22487 33554432000 4194304 4196468 140735650266400 139731492211856 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26305] ppid=26296 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26305/stat : 26305 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226387843 15372775424 22487 33554432000 4194304 4196468 140735650266400 139731071715312 139732034181762 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26306] ppid=26296 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26306/stat : 26306 (java) S 26296 26296 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226387844 15372775424 22487 33554432000 4194304 4196468 140735650266400 139730586952608 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26307] ppid=26296 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26307/stat : 26307 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226387844 15372775424 22487 33554432000 4194304 4196468 140735650266400 139730318517232 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26308] ppid=26296 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26308/stat : 26308 (java) S 26296 26296 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226387846 15372775424 22487 33554432000 4194304 4196468 140735650266400 139729944008912 139732034189211 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26309] ppid=26296 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26299/task/26309/stat : 26309 (java) S 26296 26296 19383 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 15 0 226387846 15372775424 22487 33554432000 4194304 4196468 140735650266400 139731070663152 139732034181762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26310] ppid=26296 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26299/task/26310/stat : 26310 (java) S 26296 26296 19383 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 15 0 226387846 15372775424 22487 33554432000 4194304 4196468 140735650266400 139731069610608 139732034181762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26311] ppid=26296 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26299/task/26311/stat : 26311 (java) S 26296 26296 19383 0 -1 1077944384 321 0 0 0 7 0 0 0 20 0 15 0 226387846 15372775424 22487 33554432000 4194304 4196468 140735650266400 139731068558064 139732034181762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26312] ppid=26296 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26312/stat : 26312 (java) S 26296 26296 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226387846 15372775424 22487 33554432000 4194304 4196468 140735650266400 139729446104160 139732034180821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26313] ppid=26296 vsize=15012476 memory=3617014130905522225 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26313/stat : 26313 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226387847 15372775424 22487 33554432000 4194304 4196468 140735650266400 139731067504944 139732034181762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91344 KiB
[startup+0.702202 s]
/proc/loadavg: 2.21 2.06 2.06 3/227 26313
/proc/meminfo: memFree=12569352/32770624 swapFree=67108860/67108860
[pid=26296] ppid=26293 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (scop.sh) S 26293 26296 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226387839 115843072 349 33554432000 4194304 5098028 140733460396736 140733460393992 140367445140092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16797696 140733460403265 140733460403463 140733460403463 140733460406221 0
/proc/26296/statm: 28282 349 296 221 0 87 0
[pid=26299] ppid=26296 vsize=15020872 memory=129496 CPUtime=1 cores=0,2,4,6
/proc/26299/stat : 26299 (java) S 26296 26296 19383 0 -1 1077944320 18030 0 0 0 95 5 0 0 20 0 15 0 226387840 15381372928 32374 33554432000 4194304 4196468 140735650266400 140735650248944 139732034170615 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
/proc/26299/statm: 3755218 32374 3145 1 0 3716603 0
[pid=26299/tid=26300] ppid=26296 vsize=15020872 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/26299/task/26300/stat : 26300 (java) R 26296 26296 19383 0 -1 4202560 15418 0 0 0 62 5 0 0 20 0 15 0 226387840 15381372928 32374 33554432000 4194304 4196468 140735650266400 139732005999248 139732018214245 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26301] ppid=26296 vsize=15020872 memory=288230377057958153 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26301/stat : 26301 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226387841 15381372928 32374 33554432000 4194304 4196468 140735650266400 139732038413072 139732034180821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26302] ppid=26296 vsize=15020872 memory=14975555351106623 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26302/stat : 26302 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226387842 15381372928 32374 33554432000 4194304 4196468 140735650266400 139731494316944 139732034180821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26303] ppid=26296 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26303/stat : 26303 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226387842 15381372928 32374 33554432000 4194304 4196468 140735650266400 139731493264400 139732034180821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26304] ppid=26296 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26304/stat : 26304 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226387842 15381372928 32374 33554432000 4194304 4196468 140735650266400 139731492211856 139732034180821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26305] ppid=26296 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26305/stat : 26305 (java) S 26296 26296 19383 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 226387843 15381372928 32374 33554432000 4194304 4196468 140735650266400 139731071715312 139732034181762 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26306] ppid=26296 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26306/stat : 26306 (java) S 26296 26296 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226387844 15381372928 32374 33554432000 4194304 4196468 140735650266400 139730586952608 139732034180821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26307] ppid=26296 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26307/stat : 26307 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226387844 15381372928 32374 33554432000 4194304 4196468 140735650266400 139730318517232 139732034180821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26308] ppid=26296 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26308/stat : 26308 (java) S 26296 26296 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226387846 15381372928 32374 33554432000 4194304 4196468 140735650266400 139729944008912 139732034189211 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26309] ppid=26296 vsize=15020872 memory=280159240323312 CPUtime=0.06 cores=0,2,4,6
/proc/26299/task/26309/stat : 26309 (java) R 26296 26296 19383 0 -1 4202560 532 0 0 0 6 0 0 0 20 0 15 0 226387846 15381372928 32374 33554432000 4194304 4196468 140735650266400 139731070663152 139732015697122 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26310] ppid=26296 vsize=15020872 memory=7234030490512222553 CPUtime=0.1 cores=0,2,4,6
/proc/26299/task/26310/stat : 26310 (java) R 26296 26296 19383 0 -1 4202560 362 0 0 0 10 0 0 0 20 0 15 0 226387846 15381372928 32374 33554432000 4194304 4196468 140735650266400 139731069598288 139732013887751 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26311] ppid=26296 vsize=15020872 memory=7883944108235712103 CPUtime=0.15 cores=0,2,4,6
/proc/26299/task/26311/stat : 26311 (java) S 26296 26296 19383 0 -1 1077944384 381 0 0 0 15 0 0 0 20 0 15 0 226387846 15381372928 32374 33554432000 4194304 4196468 140735650266400 139731068558064 139732034181762 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26312] ppid=26296 vsize=15020872 memory=7649399362739713586 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26312/stat : 26312 (java) S 26296 26296 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226387846 15381372928 32374 33554432000 4194304 4196468 140735650266400 139729446104160 139732034180821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
[pid=26299/tid=26313] ppid=26296 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26299/task/26313/stat : 26313 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226387847 15381372928 32374 33554432000 4194304 4196468 140735650266400 139731067504944 139732034181762 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21094400 140735650272263 140735650272561 140735650272561 140735650275279 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130892 KiB
[startup+1.50321 s]
/proc/loadavg: 2.21 2.06 2.06 6/227 26313
/proc/meminfo: memFree=12539636/32770624 swapFree=67108860/67108860
[pid=26296] ppid=26293 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (scop.sh) S 26293 26296 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226387839 115843072 349 33554432000 4194304 5098028 140733460396736 140733460393992 140367445140092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16797696 140733460403265 140733460403463 140733460403463 140733460406221 0
/proc/26296/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/26314/task/26330/stat : 26330 (java) S 26296 26296 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226388179 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414459024320 140415091920665 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26332] ppid=26296 vsize=8068220 memory=62368 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26332/stat : 26332 (java) S 26296 26296 19383 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 226388180 8261857280 29125 33554432000 4194304 4196468 140722681628768 140412412997136 140415091917981 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26333] ppid=26296 vsize=8068220 memory=-7824251494390783080 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26333/stat : 26333 (java) S 26296 26296 19383 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 226388180 8261857280 29125 33554432000 4194304 4196468 140722681628768 140412144566160 140415091917981 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26334] ppid=26296 vsize=8068220 memory=792 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26334/stat : 26334 (java) S 26296 26296 19383 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 226388182 8261857280 29125 33554432000 4194304 4196468 140722681628768 140412547227040 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
Current children cumulated CPU time: 264.66 s
Current children cumulated vsize: 8268128 KiB
Current children cumulated memory: 180340 KiB
[startup+262.401 s]
/proc/loadavg: 2.01 2.04 2.05 3/231 26346
/proc/meminfo: memFree=12487972/32770624 swapFree=67108860/67108860
[pid=26296] ppid=26293 vsize=113128 memory=1472 CPUtime=6.09 cores=0,2,4,6
/proc/26296/stat : 26296 (scop.sh) S 26293 26296 19383 0 -1 4202496 591 26098 0 0 0 0 592 17 20 0 1 0 226387839 115843072 368 33554432000 4194304 5098028 140733460396736 140733460393480 140367445140092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16797696 140733460403265 140733460403463 140733460403463 140733460406221 0
/proc/26296/statm: 28282 368 311 221 0 87 0
[pid=26314] ppid=26296 vsize=8068220 memory=116500 CPUtime=1.21 cores=0,2,4,6
/proc/26314/stat : 26314 (java) S 26296 26296 19383 0 -1 1077944320 17855 0 0 0 110 11 0 0 20 0 19 0 226388109 8261857280 29125 33554432000 4194304 4196468 140722681628768 140722681611312 140415091896055 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
/proc/26314/statm: 2017055 29125 3152 1 0 1978454 0
[pid=26329] ppid=26314 vsize=86780 memory=62368 CPUtime=258.96 cores=0,2,4,6
/proc/26329/stat : 26329 (minisat_release) R 26314 26296 19383 0 -1 4202496 54004 0 0 0 25889 7 0 0 20 0 1 0 226388179 88862720 15592 33554432000 4194304 4308513 140734321475600 140734321472504 4276036 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 32595968 140734321476724 140734321476822 140734321476822 140734321479621 0
/proc/26329/statm: 21695 15592 341 28 0 17935 0
[pid=26314/tid=26315] ppid=26296 vsize=8068220 memory=-7824251494390783080 CPUtime=0.72 cores=0,2,4,6
/proc/26314/task/26315/stat : 26315 (java) S 26296 26296 19383 0 -1 1077944384 14982 0 0 0 68 4 0 0 20 0 19 0 226388109 8261857280 29125 33554432000 4194304 4196468 140722681628768 140415063736208 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26316] ppid=26296 vsize=8068220 memory=644 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26316/stat : 26316 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226388110 8261857280 29125 33554432000 4194304 4196468 140722681628768 140415096138640 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26317] ppid=26296 vsize=8068220 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26317/stat : 26317 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226388110 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414577273616 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26318] ppid=26296 vsize=8068220 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26318/stat : 26318 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226388110 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414576221328 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26319] ppid=26296 vsize=8068220 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26319/stat : 26319 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226388110 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414575168528 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26320] ppid=26296 vsize=8068220 memory=-7824251494390783080 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26320/stat : 26320 (java) S 26296 26296 19383 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 226388112 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414471043184 140415091907202 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26321] ppid=26296 vsize=8068220 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26321/stat : 26321 (java) S 26296 26296 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226388112 8261857280 29125 33554432000 4194304 4196468 140722681628768 140413956514592 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26322] ppid=26296 vsize=8068220 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26322/stat : 26322 (java) S 26296 26296 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226388112 8261857280 29125 33554432000 4194304 4196468 140722681628768 140413822293104 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26323] ppid=26296 vsize=8068220 memory=792 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26323/stat : 26323 (java) S 26296 26296 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226388115 8261857280 29125 33554432000 4194304 4196468 140722681628768 140413447788624 140415091914651 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26324] ppid=26296 vsize=8068220 memory=1224 CPUtime=0.08 cores=0,2,4,6
/proc/26314/task/26324/stat : 26324 (java) S 26296 26296 19383 0 -1 1077944384 729 0 0 0 8 0 0 0 20 0 19 0 226388115 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414469991024 140415091907202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26325] ppid=26296 vsize=8068220 memory=18220 CPUtime=0.07 cores=0,2,4,6
/proc/26314/task/26325/stat : 26325 (java) S 26296 26296 19383 0 -1 1077944384 213 0 0 0 7 0 0 0 20 0 19 0 226388115 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414468938224 140415091907202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26326] ppid=26296 vsize=8068220 memory=1788 CPUtime=0.18 cores=0,2,4,6
/proc/26314/task/26326/stat : 26326 (java) S 26296 26296 19383 0 -1 1077944384 497 0 0 0 18 0 0 0 20 0 19 0 226388115 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414467885936 140415091907202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26327] ppid=26296 vsize=8068220 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26327/stat : 26327 (java) S 26296 26296 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226388115 8261857280 29125 33554432000 4194304 4196468 140722681628768 140412949883872 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26328] ppid=26296 vsize=8068220 memory=644 CPUtime=0.11 cores=0,2,4,6
/proc/26314/task/26328/stat : 26328 (java) S 26296 26296 19383 0 -1 1077944384 19 0 0 0 5 6 0 0 20 0 19 0 226388115 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414466832816 140415091907202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26330] ppid=26296 vsize=8068220 memory=952 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26330/stat : 26330 (java) S 26296 26296 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226388179 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414459024320 140415091920665 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26332] ppid=26296 vsize=8068220 memory=-7824251494390783080 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26332/stat : 26332 (java) S 26296 26296 19383 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 226388180 8261857280 29125 33554432000 4194304 4196468 140722681628768 140412412997136 140415091917981 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26333] ppid=26296 vsize=8068220 memory=116500 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26333/stat : 26333 (java) S 26296 26296 19383 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 226388180 8261857280 29125 33554432000 4194304 4196468 140722681628768 140412144566160 140415091917981 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26334] ppid=26296 vsize=8068220 memory=62368 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26334/stat : 26334 (java) S 26296 26296 19383 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 226388182 8261857280 29125 33554432000 4194304 4196468 140722681628768 140412547227040 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
Current children cumulated CPU time: 266.26 s
Current children cumulated vsize: 8268128 KiB
Current children cumulated memory: 180340 KiB
[startup+262.801 s]
/proc/loadavg: 2.01 2.04 2.05 3/231 26346
/proc/meminfo: memFree=12487972/32770624 swapFree=67108860/67108860
[pid=26296] ppid=26293 vsize=113128 memory=1472 CPUtime=6.09 cores=0,2,4,6
/proc/26296/stat : 26296 (scop.sh) S 26293 26296 19383 0 -1 4202496 591 26098 0 0 0 0 592 17 20 0 1 0 226387839 115843072 368 33554432000 4194304 5098028 140733460396736 140733460393480 140367445140092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16797696 140733460403265 140733460403463 140733460403463 140733460406221 0
/proc/26296/statm: 28282 368 311 221 0 87 0
[pid=26314] ppid=26296 vsize=8068220 memory=116500 CPUtime=1.21 cores=0,2,4,6
/proc/26314/stat : 26314 (java) S 26296 26296 19383 0 -1 1077944320 17855 0 0 0 110 11 0 0 20 0 19 0 226388109 8261857280 29125 33554432000 4194304 4196468 140722681628768 140722681611312 140415091896055 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
/proc/26314/statm: 2017055 29125 3152 1 0 1978454 0
[pid=26329] ppid=26314 vsize=86780 memory=62368 CPUtime=259.36 cores=0,2,4,6
/proc/26329/stat : 26329 (minisat_release) R 26314 26296 19383 0 -1 4202496 54004 0 0 0 25929 7 0 0 20 0 1 0 226388179 88862720 15592 33554432000 4194304 4308513 140734321475600 140734321472504 4276436 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 32595968 140734321476724 140734321476822 140734321476822 140734321479621 0
/proc/26329/statm: 21695 15592 341 28 0 17935 0
[pid=26314/tid=26315] ppid=26296 vsize=8068220 memory=62368 CPUtime=0.72 cores=0,2,4,6
/proc/26314/task/26315/stat : 26315 (java) S 26296 26296 19383 0 -1 1077944384 14982 0 0 0 68 4 0 0 20 0 19 0 226388109 8261857280 29125 33554432000 4194304 4196468 140722681628768 140415063736208 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26316] ppid=26296 vsize=8068220 memory=3560 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26316/stat : 26316 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226388110 8261857280 29125 33554432000 4194304 4196468 140722681628768 140415096138640 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26317] ppid=26296 vsize=8068220 memory=61540 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26317/stat : 26317 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226388110 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414577273616 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26318] ppid=26296 vsize=8068220 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26318/stat : 26318 (java) S 26296 26296 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226388110 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414576221328 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26319] ppid=26296 vsize=8068220 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26319/stat : 26319 (java) S 26296 26296 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226388110 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414575168528 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26320] ppid=26296 vsize=8068220 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26320/stat : 26320 (java) S 26296 26296 19383 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 226388112 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414471043184 140415091907202 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26321] ppid=26296 vsize=8068220 memory=792 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26321/stat : 26321 (java) S 26296 26296 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226388112 8261857280 29125 33554432000 4194304 4196468 140722681628768 140413956514592 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26322] ppid=26296 vsize=8068220 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26322/stat : 26322 (java) S 26296 26296 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226388112 8261857280 29125 33554432000 4194304 4196468 140722681628768 140413822293104 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26323] ppid=26296 vsize=8068220 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26323/stat : 26323 (java) S 26296 26296 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226388115 8261857280 29125 33554432000 4194304 4196468 140722681628768 140413447788624 140415091914651 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26324] ppid=26296 vsize=8068220 memory=1828 CPUtime=0.08 cores=0,2,4,6
/proc/26314/task/26324/stat : 26324 (java) S 26296 26296 19383 0 -1 1077944384 729 0 0 0 8 0 0 0 20 0 19 0 226388115 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414469991024 140415091907202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26325] ppid=26296 vsize=8068220 memory=792 CPUtime=0.07 cores=0,2,4,6
/proc/26314/task/26325/stat : 26325 (java) S 26296 26296 19383 0 -1 1077944384 213 0 0 0 7 0 0 0 20 0 19 0 226388115 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414468938224 140415091907202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26326] ppid=26296 vsize=8068220 memory=1224 CPUtime=0.18 cores=0,2,4,6
/proc/26314/task/26326/stat : 26326 (java) S 26296 26296 19383 0 -1 1077944384 497 0 0 0 18 0 0 0 20 0 19 0 226388115 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414467885936 140415091907202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26327] ppid=26296 vsize=8068220 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26327/stat : 26327 (java) S 26296 26296 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226388115 8261857280 29125 33554432000 4194304 4196468 140722681628768 140412949883872 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26328] ppid=26296 vsize=8068220 memory=5772 CPUtime=0.11 cores=0,2,4,6
/proc/26314/task/26328/stat : 26328 (java) S 26296 26296 19383 0 -1 1077944384 19 0 0 0 5 6 0 0 20 0 19 0 226388115 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414466832816 140415091907202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26330] ppid=26296 vsize=8068220 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26330/stat : 26330 (java) S 26296 26296 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226388179 8261857280 29125 33554432000 4194304 4196468 140722681628768 140414459024320 140415091920665 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26332] ppid=26296 vsize=8068220 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26332/stat : 26332 (java) S 26296 26296 19383 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 226388180 8261857280 29125 33554432000 4194304 4196468 140722681628768 140412412997136 140415091917981 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26333] ppid=26296 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26333/stat : 26333 (java) S 26296 26296 19383 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 226388180 8261857280 29125 33554432000 4194304 4196468 140722681628768 140412144566160 140415091917981 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26334] ppid=26296 vsize=8068220 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/26314/task/26334/stat : 26334 (java) S 26296 26296 19383 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 226388182 8261857280 29125 33554432000 4194304 4196468 140722681628768 140412547227040 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
Current children cumulated CPU time: 266.66 s
Current children cumulated vsize: 8268128 KiB
Current children cumulated memory: 180340 KiB
[startup+263.201 s]
/proc/loadavg: 2.01 2.04 2.05 3/231 26346
/proc/meminfo: memFree=12487728/32770624 swapFree=67108860/67108860
[pid=26296] ppid=26293 vsize=113128 memory=1472 CPUtime=6.09 cores=0,2,4,6
/proc/26296/stat : 26296 (scop.sh) S 26293 26296 19383 0 -1 4202496 591 26098 0 0 0 0 592 17 20 0 1 0 226387839 115843072 368 33554432000 4194304 5098028 140733460396736 140733460393480 140367445140092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16797696 140733460403265 140733460403463 140733460403463 140733460406221 0
/proc/26296/statm: 28282 368 311 221 0 87 0
[pid=26314] ppid=26296 vsize=7937144 memory=116112 CPUtime=261.07 cores=0,2,4,6
/proc/26314/stat : 26314 (java) S 26296 26296 19383 0 -1 1077944320 18375 54031 0 0 126 12 25962 7 20 0 17 0 226388109 8127635456 29028 33554432000 4194304 4196468 140722681628768 140722681611312 140415091896055 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
/proc/26314/statm: 1984286 29028 3158 1 0 1945685 0
[pid=26314/tid=26315] ppid=26296 vsize=7937144 memory=116500 CPUtime=260.46 cores=0,2,4,6
/proc/26314/task/26315/stat : 26315 (java) R 26296 26296 19383 0 -1 4202560 15177 54031 0 0 73 4 25962 7 20 0 17 0 226388109 8127635456 29028 33554432000 4194304 4196468 140722681628768 140415063731248 140414578916800 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26316] ppid=26296 vsize=7937144 memory=-7824251494390783080 CPUtime=259.69 cores=0,2,4,6
/proc/26314/task/26316/stat : 26316 (java) S 26296 26296 19383 0 -1 1077944384 1 54031 0 0 0 0 25962 7 20 0 17 0 226388110 8127635456 29028 33554432000 4194304 4196468 140722681628768 140415096138640 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26317] ppid=26296 vsize=7937144 memory=644 CPUtime=259.69 cores=0,2,4,6
/proc/26314/task/26317/stat : 26317 (java) S 26296 26296 19383 0 -1 1077944384 1 54031 0 0 0 0 25962 7 20 0 17 0 226388110 8127635456 29028 33554432000 4194304 4196468 140722681628768 140414577273616 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26318] ppid=26296 vsize=7937144 memory=952 CPUtime=259.69 cores=0,2,4,6
/proc/26314/task/26318/stat : 26318 (java) S 26296 26296 19383 0 -1 1077944384 1 54031 0 0 0 0 25962 7 20 0 17 0 226388110 8127635456 29028 33554432000 4194304 4196468 140722681628768 140414576221328 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26319] ppid=26296 vsize=7937144 memory=2416 CPUtime=259.69 cores=0,2,4,6
/proc/26314/task/26319/stat : 26319 (java) S 26296 26296 19383 0 -1 1077944384 2 54031 0 0 0 0 25962 7 20 0 17 0 226388110 8127635456 29028 33554432000 4194304 4196468 140722681628768 140414575168528 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26320] ppid=26296 vsize=7937144 memory=62368 CPUtime=259.69 cores=0,2,4,6
/proc/26314/task/26320/stat : 26320 (java) S 26296 26296 19383 0 -1 1077944384 7 54031 0 0 0 0 25962 7 20 0 17 0 226388112 8127635456 29028 33554432000 4194304 4196468 140722681628768 140414471043184 140415091907202 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26321] ppid=26296 vsize=7937144 memory=288230596050944315 CPUtime=259.69 cores=0,2,4,6
/proc/26314/task/26321/stat : 26321 (java) S 26296 26296 19383 0 -1 1077944384 13 54031 0 0 0 0 25962 7 20 0 17 0 226388112 8127635456 29028 33554432000 4194304 4196468 140722681628768 140413956514592 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26322] ppid=26296 vsize=7937144 memory=3560 CPUtime=259.69 cores=0,2,4,6
/proc/26314/task/26322/stat : 26322 (java) S 26296 26296 19383 0 -1 1077944384 21 54031 0 0 0 0 25962 7 20 0 17 0 226388112 8127635456 29028 33554432000 4194304 4196468 140722681628768 140413822293104 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26323] ppid=26296 vsize=7937144 memory=1472 CPUtime=259.69 cores=0,2,4,6
/proc/26314/task/26323/stat : 26323 (java) S 26296 26296 19383 0 -1 1077944384 3 54031 0 0 0 0 25962 7 20 0 17 0 226388115 8127635456 29028 33554432000 4194304 4196468 140722681628768 140413447788624 140415091914651 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26324] ppid=26296 vsize=7937144 memory=116500 CPUtime=259.8 cores=0,2,4,6
/proc/26314/task/26324/stat : 26324 (java) S 26296 26296 19383 0 -1 1077944384 762 54031 0 0 11 0 25962 7 20 0 17 0 226388115 8127635456 29028 33554432000 4194304 4196468 140722681628768 140414469991024 140415091907202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26325] ppid=26296 vsize=7937144 memory=62368 CPUtime=259.78 cores=0,2,4,6
/proc/26314/task/26325/stat : 26325 (java) S 26296 26296 19383 0 -1 1077944384 291 54031 0 0 9 0 25962 7 20 0 17 0 226388115 8127635456 29028 33554432000 4194304 4196468 140722681628768 140414468938224 140415091907202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26326] ppid=26296 vsize=7937144 memory=62368 CPUtime=259.91 cores=0,2,4,6
/proc/26314/task/26326/stat : 26326 (java) R 26296 26296 19383 0 -1 4202560 617 54031 0 0 22 0 25962 7 20 0 17 0 226388115 8127635456 29028 33554432000 4194304 4196468 140722681628768 140414467885936 140415070499470 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26327] ppid=26296 vsize=7937144 memory=3560 CPUtime=259.69 cores=0,2,4,6
/proc/26314/task/26327/stat : 26327 (java) S 26296 26296 19383 0 -1 1077944384 3 54031 0 0 0 0 25962 7 20 0 17 0 226388115 8127635456 29028 33554432000 4194304 4196468 140722681628768 140412949883872 140415091906261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26328] ppid=26296 vsize=7937144 memory=1472 CPUtime=259.8 cores=0,2,4,6
/proc/26314/task/26328/stat : 26328 (java) S 26296 26296 19383 0 -1 1077944384 19 54031 0 0 5 6 25962 7 20 0 17 0 226388115 8127635456 29028 33554432000 4194304 4196468 140722681628768 140414466832816 140415091907202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26330] ppid=26296 vsize=7937144 memory=116500 CPUtime=259.69 cores=0,2,4,6
/proc/26314/task/26330/stat : 26330 (java) S 26296 26296 19383 0 -1 1077944384 30 54031 0 0 0 0 25962 7 20 0 17 0 226388179 8127635456 29028 33554432000 4194304 4196468 140722681628768 140414459023504 140415091907202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
[pid=26314/tid=26334] ppid=26296 vsize=7937144 memory=-7824251494390783080 CPUtime=259.69 cores=0,2,4,6
/proc/26314/task/26334/stat : 26334 (java) S 26296 26296 19383 0 -1 1077944384 31 54031 0 0 0 0 25962 7 20 0 17 0 226388182 8127635456 29028 33554432000 4194304 4196468 140722681628768 140412547228848 140415091907202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140722681631925 140722681632049 140722681632049 140722681634767 0
Current children cumulated CPU time: 267.16 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 117584 KiB
Child status: 0
Real time (s): 263.228
CPU time (s): 267.223
CPU user time (s): 266.838
CPU system time (s): 0.385122
CPU usage (%): 101.518
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 599484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 266.838
system time used= 0.385122
maximum resident set size= 604660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10906
involuntary context switches= 308
# summary of solver processes directly reported to runsolver:
# pid: 26296
# total CPU time (s): 267.223
# total CPU user time (s): 266.838
# total CPU system time (s): 0.385122
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.81786 second user time and 2.96169 second system time
The end