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-27159-serial-file.bin HOME/instance-4305537-1534072116.xml
0.55/0.51
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 13:08:37 CEST 2018
0.67/0.54 c PID: 27162
0.67/0.54 c IP: 172.20.3.106
0.67/0.54 c HOST: node106.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.65/1.04 c (0,0) Parsing End
1.65/1.04 c (0,0) CSP: 0 int (0 aux), 196 bool (0 aux), 183 ctr, max domain size 2
1.65/1.04 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.65/1.04 c (0,0) Constraint Name Generate Begin
1.65/1.05 c (0,0) Ctr:HOME/instance-4305537-1534072116.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum
1.65/1.05 c (0,0) Constraint Name Generate End
1.65/1.05 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.65/1.05 c (0,0) CSP to CSPinCNF Begin
2.05/1.20 c (0,0) translated 19 (10%) constraints
2.05/1.25 c (0,0) translated 37 (20%) constraints
2.05/1.29 c (0,0) translated 55 (30%) constraints
2.36/1.32 c (0,0) translated 74 (40%) constraints
2.36/1.35 c (0,0) translated 92 (50%) constraints
2.36/1.38 c (0,0) translated 110 (60%) constraints
2.65/1.40 c (0,0) translated 129 (70%) constraints
2.65/1.43 c (0,0) translated 147 (80%) constraints
2.65/1.44 c (0,0) translated 165 (90%) constraints
2.65/1.45 c (0,0) translated 183 (100%) constraints
2.98/1.57 c (1,1) STATISTICS1:HOME/instance-4305537-1534072116.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,550,914,64,2,4,7,64:70;2:450,2:2354,4:60;3:306;2:354;1:194,7:70;2:450;1:1650,
2.98/1.57 c (1,1) ==========================================
2.98/1.57 c (1,1) Both Encoding selects:
2.98/1.57 c (1,1) Order
2.98/1.57 c (1,1) ==========================================
3.30/1.60 c (1,1) translated 92 (10%) constraints
3.30/1.62 c (1,1) translated 183 (20%) constraints
3.30/1.63 c (1,1) translated 275 (30%) constraints
3.30/1.64 c (1,1) translated 366 (40%) constraints
3.30/1.65 c (1,1) translated 457 (50%) constraints
3.30/1.66 c (1,1) translated 549 (60%) constraints
3.30/1.67 c (1,1) translated 640 (70%) constraints
3.30/1.68 c (1,1) translated 732 (80%) constraints
3.30/1.69 c (1,1) translated 823 (90%) constraints
3.30/1.70 c (1,1) translated 914 (100%) constraints
3.64/1.70 c (1,1) CSP to CSPinCNF End
3.64/1.71 c (1,1) CSP: 0 int (0 aux), 697 bool (501 aux), 1390 ctr, max domain size 2
3.64/1.71 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.64/1.71 c (1,1) CSPinCNF Propagation Begin
3.64/1.75 c (1,1) 0 values, 147 unsatisfiable literals, and 147 valid clauses are removed
3.64/1.75 c (1,1) CSPinCNF Propagation End
3.64/1.75 c (1,1) CSP: 0 int (0 aux), 697 bool (501 aux), 1243 ctr, max domain size 2
3.64/1.75 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.64/1.75 c (1,1) Simplify CSPinCNF Begin
3.64/1.77 c (1,1) Simplify CSPinCNF End
3.64/1.77 c (1,1) CSP: 0 int (0 aux), 853 bool (657 aux), 1399 ctr, max domain size 2
3.64/1.77 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.64/1.77 c (1,1) Calculate Precise Domain Begin
3.64/1.77 c (1,1) 0 values are removed by re-calculation
3.64/1.77 c (1,1) Calculate Precise Domain End
3.64/1.77 c (1,1) CSP: 0 int (0 aux), 853 bool (657 aux), 1399 ctr, max domain size 2
3.64/1.77 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.64/1.77 c (1,1) CSPinCNF to SatSolver Begin
3.96/1.89 c (1,1) 140 (10 %) CSP clauses are encoded (853 SAT variables, 895 SAT clauses)
3.96/1.89 c (1,1) 280 (20 %) CSP clauses are encoded (853 SAT variables, 1035 SAT clauses)
4.25/1.90 c (1,1) 420 (30 %) CSP clauses are encoded (853 SAT variables, 1175 SAT clauses)
4.25/1.90 c (1,1) 560 (40 %) CSP clauses are encoded (853 SAT variables, 1315 SAT clauses)
4.25/1.90 c (1,1) 700 (50 %) CSP clauses are encoded (853 SAT variables, 1455 SAT clauses)
4.25/1.91 c (1,1) 840 (60 %) CSP clauses are encoded (853 SAT variables, 1595 SAT clauses)
4.25/1.91 c (1,1) 980 (70 %) CSP clauses are encoded (853 SAT variables, 1735 SAT clauses)
4.25/1.92 c (1,1) 1120 (80 %) CSP clauses are encoded (853 SAT variables, 2305 SAT clauses)
4.25/1.93 c (1,1) 1260 (90 %) CSP clauses are encoded (853 SAT variables, 2511 SAT clauses)
4.25/1.94 c (1,1) 1399 (100 %) CSP clauses are encoded (853 SAT variables, 2718 SAT clauses)
4.25/1.94 c (1,1) Launch Command will be: minisat_release
4.25/1.94 c (1,1) CSPinCNF to SatSolver End
4.25/1.94 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.25/1.96 c (1,1) STATISTICS2:HOME/instance-4305537-1534072116.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,853,1399,64,2,4,7,64:70;2:522,2:3643,4:60;3:159;2:804;1:376,7:70;2:522;1:2109,
4.25/1.96 c (1,1) 853 bool, 2719 clause
4.25/1.96 c (1,1) Export Begin
4.57/2.06 c (1,1) Export to HOME/scop-27159-serial-file.bin
4.57/2.06 c (1,1) Export End
4.57/2.06 c (1,1) Export File Size: 0.03 MB
4.57/2.06 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
4.57/2.06 c END-Prog: Sun Aug 12 13:08:38 CEST 2018
4.57/2.08 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-27159-serial-file.bin
4.75/2.57 c (0,0) Read Serial File Begin
4.75/2.57 c (0,0) HOME/scop-27159-serial-file.bin
4.75/2.74 c (0,0) Read Serial File End
4.75/2.77
4.75/2.77 scop order+minisat_release (2018-07-31)
4.75/2.77 (Solving Process)
4.75/2.77
4.75/2.78 c BEGIN-Prog: Sun Aug 12 13:08:39 CEST 2018
4.75/2.78 c PID: 27177
4.75/2.78 c IP: 172.20.3.106
4.75/2.78 c HOST: node106.alineos.net
4.75/2.78 c (0,0) SatSolver.solve Begin
4.75/2.78 c (0,0) 0 bool, 0 clause
4.75/2.78 c (0,0) minisat_release HOME/instance-4305537-1534072116.xml-scop-27162.cnf
4.75/2.81 c (0,0) c This is COMiniSatPS.
4.75/2.81 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.75/2.81 c (0,0) c ============================[ Problem Statistics ]=============================
4.75/2.81 c (0,0) c | |
4.75/2.81 c (0,0) c | Number of variables: 853 |
4.75/2.81 c (0,0) c | Number of clauses: 2719 |
4.75/2.81 c (0,0) c | Parse time: 0.00 s |
4.75/2.81 c (0,0) c | Eliminated clauses: 0.01 Mb |
4.75/2.81 c (0,0) c Reduced to 27 vars, 139 cls (grow=0)
4.75/2.81 c (0,0) c No iterative elimination performed. (vars=27, c/v ratio=5.1)
4.75/2.81 c (0,0) c | Simplification time: 0.00 s |
4.75/2.81 c (0,0) c | |
4.75/2.81 c (0,0) c ============================[ Search Statistics ]==============================
4.75/2.81 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
4.75/2.81 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.75/2.81 c (0,0) c ===============================================================================
4.75/2.81 c (0,0) c ===============================================================================
4.75/2.81 c (0,0) c restarts : 1
4.75/2.81 c (0,0) c conflicts : 1 (235 /sec)
4.75/2.81 c (0,0) c decisions : 2 (0.00 % random) (470 /sec)
4.75/2.81 c (0,0) c propagations : 483 (113434 /sec)
4.75/2.81 c (0,0) c conflict literals : 1 (0.00 % deleted)
4.75/2.81 c (0,0) c CPU time : 0.004258 s
4.75/2.81 c (0,0)
4.75/2.82 c (0,0) s SATISFIABLE
4.75/2.85 c (0,0) SatSolver.solve End
4.75/2.85 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.75/2.85 c (0,0) Show results Begin
4.75/2.92 s SATISFIABLE
4.75/2.94 v <instantiation>
4.75/2.94 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] 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[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] s[0][1][0] s[0][1][1] s[0][1][2] s[0][1][3] s[0][1][4] s[0][1][5] s[0][1][6] s[0][2][0] s[0][2][1] s[0][2][2] s[0][2][3] s[0][2][4] s[0][2][5] s[0][2][6] s[0][3][0] s[0][3][1] s[0][3][2] s[0][3][3] s[0][3][4] s[0][3][5] s[0][3][6] s[0][4][0] s[0][4][1] s[0][4][2] s[0][4][3] s[0][4][4] s[0][4][5] s[0][4][6] s[0][5][0] s[0][5][1] s[0][5][2] s[0][5][3] s[0][5][4] s[0][5][5] s[0][5][6] s[0][6][0] s[0][6][1] s[0][6][2] s[0][6][3] s[0][6][4] s[0][6][5] s[0][6][6] s[1][2][0] s[1][2][1] s[1][2][2] s[1][2][3] s[1][2][4] s[1][2][5] s[1][2][6] s[1][3][0] s[1][3][1] s[1][3][2] s[1][3][3] s[1][3][4] s[1][3][5] s[1][3][6] s[1][4][0] s[1][4][1] s[1][4][2] s[1][4][3] s[1][4][4] s[1][4][5] s[1][4][6] s[1][5][0] s[1][5][1] s[1][5][2] s[1][5][3] s[1][5][4] s[1][5][5] s[1][5][6] s[1][6][0] s[1][6][1] s[1][6][2] s[1][6][3] s[1][6][4] s[1][6][5] s[1][6][6] s[2][3][0] s[2][3][1] s[2][3][2] s[2][3][3] s[2][3][4] s[2][3][5] s[2][3][6] s[2][4][0] s[2][4][1] s[2][4][2] s[2][4][3] s[2][4][4] s[2][4][5] s[2][4][6] s[2][5][0] s[2][5][1] s[2][5][2] s[2][5][3] s[2][5][4] s[2][5][5] s[2][5][6] s[2][6][0] s[2][6][1] s[2][6][2] s[2][6][3] s[2][6][4] s[2][6][5] s[2][6][6] s[3][4][0] s[3][4][1] s[3][4][2] s[3][4][3] s[3][4][4] s[3][4][5] s[3][4][6] s[3][5][0] s[3][5][1] s[3][5][2] s[3][5][3] s[3][5][4] s[3][5][5] s[3][5][6] s[3][6][0] s[3][6][1] s[3][6][2] s[3][6][3] s[3][6][4] s[3][6][5] s[3][6][6] s[4][5][0] s[4][5][1] s[4][5][2] s[4][5][3] s[4][5][4] s[4][5][5] s[4][5][6] s[4][6][0] s[4][6][1] s[4][6][2] s[4][6][3] s[4][6][4] s[4][6][5] s[4][6][6] s[5][6][0] s[5][6][1] s[5][6][2] s[5][6][3] s[5][6][4] s[5][6][5] s[5][6][6]</list>
4.75/2.94 v <values>0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0</values>
4.75/2.94 v </instantiation>
4.75/2.94 c (0,0) Show results End
4.75/2.94 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
4.75/2.94 c (0,0) 0,0,STOP-AFTER(ALL)
4.75/2.94 c END-Prog: Sun Aug 12 13:08:39 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 (7477 MiB free)
memory of node 1: 16384 MiB (11645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305537-1534072116/watcher-4305537-1534072116 -o /tmp/evaluation-result-4305537-1534072116/solver-4305537-1534072116 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23199 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305537-1534072116.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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=27159, runsolver pid=27156
Current StackSize limit: 8192 KiB
[startup+0.10014 s]*
/proc/loadavg: 2.18 2.08 2.06 4/222 27176
/proc/meminfo: memFree=19521648/32770624 swapFree=67108688/67108860
[pid=27159] ppid=27156 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/27159/stat : 27159 (scop.sh) S 27156 27159 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224774490 115843072 348 33554432000 4194304 5098028 140731655512064 140731655509320 140506872877692 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11960320 140731655513153 140731655513351 140731655513351 140731655516109 0
/proc/27159/statm: 28282 348 296 221 0 87 0
[pid=27162] ppid=27159 vsize=15012476 memory=72656 CPUtime=0.11 cores=1,3,5,7
/proc/27162/stat : 27162 (java) S 27159 27159 23167 0 -1 1077944320 6258 0 0 0 9 2 0 0 20 0 15 0 224774490 15372775424 18164 33554432000 4194304 4196468 140734297154912 140734297137456 139950683565815 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
/proc/27162/statm: 3753119 18164 2767 1 0 3715579 0
[pid=27162/tid=27163] ppid=27159 vsize=15012476 memory=-6222985969016291263 CPUtime=0.08 cores=1,3,5,7
/proc/27162/task/27163/stat : 27163 (java) R 27159 27159 23167 0 -1 4202560 4384 0 0 0 7 1 0 0 20 0 15 0 224774491 15372775424 18164 33554432000 4194304 4196468 140734297154912 139950655392144 139950675802942 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27164] ppid=27159 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27164/stat : 27164 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774492 15372775424 18164 33554432000 4194304 4196468 140734297154912 139950687808400 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27165] ppid=27159 vsize=15012476 memory=140645114742400 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27165/stat : 27165 (java) S 27159 27159 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224774492 15372775424 18230 33554432000 4194304 4196468 140734297154912 139950505896720 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27166] ppid=27159 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27166/stat : 27166 (java) S 27159 27159 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224774492 15372775424 18230 33554432000 4194304 4196468 140734297154912 139950504844432 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27167] ppid=27159 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27167/stat : 27167 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774492 15372775424 18230 33554432000 4194304 4196468 140734297154912 139950503791632 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27168] ppid=27159 vsize=15012476 memory=140645114742400 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27168/stat : 27168 (java) S 27159 27159 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224774494 15372775424 18230 33554432000 4194304 4196468 140734297154912 139949653969008 139950683576962 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27169] ppid=27159 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27169/stat : 27169 (java) S 27159 27159 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224774494 15372775424 18230 33554432000 4194304 4196468 140734297154912 139949294740256 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27170] ppid=27159 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27170/stat : 27170 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774494 15372775424 18230 33554432000 4194304 4196468 140734297154912 139949026305136 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27171] ppid=27159 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27171/stat : 27171 (java) S 27159 27159 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224774497 15372775424 18230 33554432000 4194304 4196468 140734297154912 139948651796560 139950683584411 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27172] ppid=27159 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27172/stat : 27172 (java) S 27159 27159 23167 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 224774497 15372775424 18230 33554432000 4194304 4196468 140734297154912 139949652916848 139950683576962 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27173] ppid=27159 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27173/stat : 27173 (java) S 27159 27159 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224774497 15372775424 18230 33554432000 4194304 4196468 140734297154912 139949651864048 139950683576962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27174] ppid=27159 vsize=15012476 memory=140645114742400 CPUtime=0.01 cores=1,3,5,7
/proc/27162/task/27174/stat : 27174 (java) S 27159 27159 23167 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 224774497 15372775424 18230 33554432000 4194304 4196468 140734297154912 139949650811760 139950683576962 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27175] ppid=27159 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27175/stat : 27175 (java) S 27159 27159 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224774497 15372775424 18230 33554432000 4194304 4196468 140734297154912 139948153891808 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27176] ppid=27159 vsize=15012476 memory=140645114742400 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27176/stat : 27176 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774497 15372775424 18230 33554432000 4194304 4196468 140734297154912 139949649758640 139950683576962 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74048 KiB
[startup+0.210726 s]*
/proc/loadavg: 2.18 2.08 2.06 3/222 27176
/proc/meminfo: memFree=19507572/32770624 swapFree=67108688/67108860
[pid=27159] ppid=27156 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/27159/stat : 27159 (scop.sh) S 27156 27159 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224774490 115843072 348 33554432000 4194304 5098028 140731655512064 140731655509320 140506872877692 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11960320 140731655513153 140731655513351 140731655513351 140731655516109 0
/proc/27159/statm: 28282 348 296 221 0 87 0
[pid=27162] ppid=27159 vsize=15012476 memory=85720 CPUtime=0.26 cores=1,3,5,7
/proc/27162/stat : 27162 (java) S 27159 27159 23167 0 -1 1077944320 9761 0 0 0 23 3 0 0 20 0 15 0 224774490 15372775424 21430 33554432000 4194304 4196468 140734297154912 140734297137456 139950683565815 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
/proc/27162/statm: 3753119 21430 2871 1 0 3715579 0
[pid=27162/tid=27163] ppid=27159 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/27162/task/27163/stat : 27163 (java) R 27159 27159 23167 0 -1 4202560 7664 0 0 0 17 2 0 0 20 0 15 0 224774491 15372775424 21430 33554432000 4194304 4196468 140734297154912 139950655390624 139950683577750 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27164] ppid=27159 vsize=15012476 memory=546 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27164/stat : 27164 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774492 15372775424 21430 33554432000 4194304 4196468 140734297154912 139950687808400 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27165] ppid=27159 vsize=15012476 memory=140645115941747 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27165/stat : 27165 (java) S 27159 27159 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224774492 15372775424 21430 33554432000 4194304 4196468 140734297154912 139950505896720 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27166] ppid=27159 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27166/stat : 27166 (java) S 27159 27159 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224774492 15372775424 21430 33554432000 4194304 4196468 140734297154912 139950504844432 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27167] ppid=27159 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27167/stat : 27167 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774492 15372775424 21430 33554432000 4194304 4196468 140734297154912 139950503791632 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27168] ppid=27159 vsize=15012476 memory=140645114742400 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27168/stat : 27168 (java) S 27159 27159 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224774494 15372775424 21430 33554432000 4194304 4196468 140734297154912 139949653969008 139950683576962 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27169] ppid=27159 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27169/stat : 27169 (java) S 27159 27159 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224774494 15372775424 21430 33554432000 4194304 4196468 140734297154912 139949294740256 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27170] ppid=27159 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27170/stat : 27170 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774494 15372775424 21430 33554432000 4194304 4196468 140734297154912 139949026305136 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27171] ppid=27159 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27171/stat : 27171 (java) S 27159 27159 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224774497 15372775424 21430 33554432000 4194304 4196468 140734297154912 139948651796560 139950683584411 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27172] ppid=27159 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27172/stat : 27172 (java) R 27159 27159 23167 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 224774497 15372775424 21430 33554432000 4194304 4196468 140734297154912 139949652916848 139950683576962 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27173] ppid=27159 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27173/stat : 27173 (java) R 27159 27159 23167 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 15 0 224774497 15372775424 21430 33554432000 4194304 4196468 140734297154912 139949651864048 139950663402803 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27174] ppid=27159 vsize=15012476 memory=140645114742400 CPUtime=0.03 cores=1,3,5,7
/proc/27162/task/27174/stat : 27174 (java) S 27159 27159 23167 0 -1 1077944384 290 0 0 0 3 0 0 0 20 0 15 0 224774497 15372775424 21430 33554432000 4194304 4196468 140734297154912 139949650811760 139950683576962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27175] ppid=27159 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27175/stat : 27175 (java) S 27159 27159 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224774497 15372775424 21430 33554432000 4194304 4196468 140734297154912 139948153891808 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27176] ppid=27159 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27176/stat : 27176 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774497 15372775424 21430 33554432000 4194304 4196468 140734297154912 139949649758640 139950683576962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87112 KiB
[startup+0.310636 s]*
/proc/loadavg: 2.18 2.08 2.06 3/222 27176
/proc/meminfo: memFree=19502360/32770624 swapFree=67108688/67108860
[pid=27159] ppid=27156 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/27159/stat : 27159 (scop.sh) S 27156 27159 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224774490 115843072 348 33554432000 4194304 5098028 140731655512064 140731655509320 140506872877692 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11960320 140731655513153 140731655513351 140731655513351 140731655516109 0
/proc/27159/statm: 28282 348 296 221 0 87 0
[pid=27162] ppid=27159 vsize=15012476 memory=89672 CPUtime=0.43 cores=1,3,5,7
/proc/27162/stat : 27162 (java) S 27159 27159 23167 0 -1 1077944320 10377 0 0 0 39 4 0 0 20 0 15 0 224774490 15372775424 22418 33554432000 4194304 4196468 140734297154912 140734297137456 139950683565815 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
/proc/27162/statm: 3753119 22418 3014 1 0 3715579 0
[pid=27162/tid=27163] ppid=27159 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/27162/task/27163/stat : 27163 (java) R 27159 27159 23167 0 -1 4202560 8106 0 0 0 27 3 0 0 20 0 15 0 224774491 15372775424 22418 33554432000 4194304 4196468 140734297154912 139950655361264 139950667646302 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27164] ppid=27159 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27164/stat : 27164 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774492 15372775424 22418 33554432000 4194304 4196468 140734297154912 139950687808400 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27165] ppid=27159 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27165/stat : 27165 (java) S 27159 27159 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224774492 15372775424 22418 33554432000 4194304 4196468 140734297154912 139950505896720 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27166] ppid=27159 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27166/stat : 27166 (java) S 27159 27159 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224774492 15372775424 22418 33554432000 4194304 4196468 140734297154912 139950504844432 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27167] ppid=27159 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27167/stat : 27167 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774492 15372775424 22418 33554432000 4194304 4196468 140734297154912 139950503791632 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27168] ppid=27159 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27168/stat : 27168 (java) S 27159 27159 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224774494 15372775424 22418 33554432000 4194304 4196468 140734297154912 139949653969008 139950683576962 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27169] ppid=27159 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27169/stat : 27169 (java) S 27159 27159 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224774494 15372775424 22418 33554432000 4194304 4196468 140734297154912 139949294740256 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27170] ppid=27159 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27170/stat : 27170 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774494 15372775424 22418 33554432000 4194304 4196468 140734297154912 139949026305136 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27171] ppid=27159 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27171/stat : 27171 (java) S 27159 27159 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224774497 15372775424 22418 33554432000 4194304 4196468 140734297154912 139948651796560 139950683584411 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27172] ppid=27159 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27162/task/27172/stat : 27172 (java) R 27159 27159 23167 0 -1 4202560 467 0 0 0 1 0 0 0 20 0 15 0 224774497 15372775424 22418 33554432000 4194304 4196468 140734297154912 139949652916848 139950667124801 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27173] ppid=27159 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27162/task/27173/stat : 27173 (java) R 27159 27159 23167 0 -1 1077944384 149 0 0 0 2 0 0 0 20 0 15 0 224774497 15372775424 22418 33554432000 4194304 4196468 140734297154912 139949651864048 139950683576962 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27174] ppid=27159 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27162/task/27174/stat : 27174 (java) R 27159 27159 23167 0 -1 4202560 327 0 0 0 7 0 0 0 20 0 15 0 224774497 15372775424 22418 33554432000 4194304 4196468 140734297154912 139949650811760 139950662364592 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27175] ppid=27159 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27175/stat : 27175 (java) S 27159 27159 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224774497 15372775424 22418 33554432000 4194304 4196468 140734297154912 139948153891808 139950683576021 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27176] ppid=27159 vsize=15012476 memory=3473180417806377009 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27176/stat : 27176 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774497 15372775424 22418 33554432000 4194304 4196468 140734297154912 139949649758640 139950683576962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91064 KiB
[startup+0.70416 s]
/proc/loadavg: 2.18 2.08 2.06 3/222 27176
/proc/meminfo: memFree=19477184/32770624 swapFree=67108688/67108860
[pid=27159] ppid=27156 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/27159/stat : 27159 (scop.sh) S 27156 27159 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224774490 115843072 348 33554432000 4194304 5098028 140731655512064 140731655509320 140506872877692 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11960320 140731655513153 140731655513351 140731655513351 140731655516109 0
/proc/27159/statm: 28282 348 296 221 0 87 0
[pid=27162] ppid=27159 vsize=15020872 memory=129772 CPUtime=1.03 cores=1,3,5,7
/proc/27162/stat : 27162 (java) S 27159 27159 23167 0 -1 1077944320 17638 0 0 0 96 7 0 0 20 0 15 0 224774490 15381372928 32443 33554432000 4194304 4196468 140734297154912 140734297137456 139950683565815 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
/proc/27162/statm: 3755218 32443 3153 1 0 3716603 0
[pid=27162/tid=27163] ppid=27159 vsize=15020872 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/27162/task/27163/stat : 27163 (java) R 27159 27159 23167 0 -1 4202560 14877 0 0 0 63 5 0 0 20 0 15 0 224774491 15381372928 32443 33554432000 4194304 4196468 140734297154912 139950655403008 139950667609445 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27164] ppid=27159 vsize=15020872 memory=116 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27164/stat : 27164 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774492 15381372928 32443 33554432000 4194304 4196468 140734297154912 139950687808400 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27165] ppid=27159 vsize=15020872 memory=12868 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27165/stat : 27165 (java) S 27159 27159 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224774492 15381372928 32443 33554432000 4194304 4196468 140734297154912 139950505896720 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27166] ppid=27159 vsize=15020872 memory=26497 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27166/stat : 27166 (java) S 27159 27159 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224774492 15381372928 32443 33554432000 4194304 4196468 140734297154912 139950504844432 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27167] ppid=27159 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27167/stat : 27167 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774492 15381372928 32443 33554432000 4194304 4196468 140734297154912 139950503791632 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27168] ppid=27159 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27168/stat : 27168 (java) S 27159 27159 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224774494 15381372928 32443 33554432000 4194304 4196468 140734297154912 139949653969008 139950683576962 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27169] ppid=27159 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27169/stat : 27169 (java) S 27159 27159 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224774494 15381372928 32443 33554432000 4194304 4196468 140734297154912 139949294740256 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27170] ppid=27159 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27170/stat : 27170 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774494 15381372928 32443 33554432000 4194304 4196468 140734297154912 139949026305136 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27171] ppid=27159 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27171/stat : 27171 (java) S 27159 27159 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224774497 15381372928 32443 33554432000 4194304 4196468 140734297154912 139948651796560 139950683584411 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27172] ppid=27159 vsize=15020872 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27162/task/27172/stat : 27172 (java) S 27159 27159 23167 0 -1 1077944384 720 0 0 0 10 0 0 0 20 0 15 0 224774497 15381372928 32443 33554432000 4194304 4196468 140734297154912 139949652916848 139950683576962 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27173] ppid=27159 vsize=15020872 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/27162/task/27173/stat : 27173 (java) R 27159 27159 23167 0 -1 4202560 213 0 0 0 6 0 0 0 20 0 15 0 224774497 15381372928 32443 33554432000 4194304 4196468 140734297154912 139949651857072 139950668689731 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27174] ppid=27159 vsize=15020872 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/27162/task/27174/stat : 27174 (java) R 27159 27159 23167 0 -1 4202560 493 0 0 0 16 0 0 0 20 0 15 0 224774497 15381372928 32443 33554432000 4194304 4196468 140734297154912 139949650811760 139950662234488 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27175] ppid=27159 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27175/stat : 27175 (java) S 27159 27159 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224774497 15381372928 32443 33554432000 4194304 4196468 140734297154912 139948153891808 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27176] ppid=27159 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27176/stat : 27176 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774497 15381372928 32443 33554432000 4194304 4196468 140734297154912 139949649758640 139950683576962 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131164 KiB
[startup+1.50883 s]
/proc/loadavg: 2.18 2.08 2.06 5/222 27176
/proc/meminfo: memFree=19449148/32770624 swapFree=67108688/67108860
[pid=27159] ppid=27156 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/27159/stat : 27159 (scop.sh) S 27156 27159 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224774490 115843072 348 33554432000 4194304 5098028 140731655512064 140731655509320 140506872877692 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11960320 140731655513153 140731655513351 140731655513351 140731655516109 0
/proc/27159/statm: 28282 348 296 221 0 87 0
[pid=27162] ppid=27159 vsize=15022920 memory=178684 CPUtime=2.98 cores=1,3,5,7
/proc/27162/stat : 27162 (java) S 27159 27159 23167 0 -1 1077944320 21566 0 0 0 288 10 0 0 20 0 15 0 224774490 15383470080 44671 33554432000 4194304 4196468 140734297154912 140734297137456 139950683565815 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
/proc/27162/statm: 3755730 44671 3190 1 0 3717115 0
[pid=27162/tid=27163] ppid=27159 vsize=15022920 memory=281290024684944 CPUtime=1.47 cores=1,3,5,7
/proc/27162/task/27163/stat : 27163 (java) R 27159 27159 23167 0 -1 1077944384 15881 0 0 0 141 6 0 0 20 0 15 0 224774491 15383470080 44671 33554432000 4194304 4196468 140734297154912 139950655395696 139950683576021 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27164] ppid=27159 vsize=15022920 memory=7284 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27164/stat : 27164 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774492 15383470080 44671 33554432000 4194304 4196468 140734297154912 139950687808400 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27165] ppid=27159 vsize=15022920 memory=804 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27165/stat : 27165 (java) S 27159 27159 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224774492 15383470080 44671 33554432000 4194304 4196468 140734297154912 139950505896720 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27166] ppid=27159 vsize=15022920 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27166/stat : 27166 (java) S 27159 27159 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224774492 15383470080 44671 33554432000 4194304 4196468 140734297154912 139950504844432 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27167] ppid=27159 vsize=15022920 memory=912 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27167/stat : 27167 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774492 15383470080 44671 33554432000 4194304 4196468 140734297154912 139950503791632 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27168] ppid=27159 vsize=15022920 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27168/stat : 27168 (java) S 27159 27159 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224774494 15383470080 44671 33554432000 4194304 4196468 140734297154912 139949653969008 139950683576962 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27169] ppid=27159 vsize=15022920 memory=2972 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27169/stat : 27169 (java) S 27159 27159 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224774494 15383470080 44671 33554432000 4194304 4196468 140734297154912 139949294740256 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27170] ppid=27159 vsize=15022920 memory=3416 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27170/stat : 27170 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774494 15383470080 44671 33554432000 4194304 4196468 140734297154912 139949026305136 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27171] ppid=27159 vsize=15022920 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27171/stat : 27171 (java) S 27159 27159 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224774497 15383470080 44671 33554432000 4194304 4196468 140734297154912 139948651796560 139950683584411 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27172] ppid=27159 vsize=15022920 memory=1408 CPUtime=0.38 cores=1,3,5,7
/proc/27162/task/27172/stat : 27172 (java) R 27159 27159 23167 0 -1 4202560 888 0 0 0 37 1 0 0 20 0 15 0 224774497 15383470080 44671 33554432000 4194304 4196468 140734297154912 139949652904160 139950665089150 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27173] ppid=27159 vsize=15022920 memory=3488 CPUtime=0.36 cores=1,3,5,7
/proc/27162/task/27173/stat : 27173 (java) R 27159 27159 23167 0 -1 4202560 700 0 0 0 36 0 0 0 20 0 15 0 224774497 15383470080 44671 33554432000 4194304 4196468 140734297154912 139949651853872 139950664302589 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27174] ppid=27159 vsize=15022920 memory=1472 CPUtime=0.73 cores=1,3,5,7
/proc/27162/task/27174/stat : 27174 (java) R 27159 27159 23167 0 -1 4202560 2764 0 0 0 72 1 0 0 20 0 15 0 224774497 15383470080 44671 33554432000 4194304 4196468 140734297154912 139949650811760 139950663280612 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27175] ppid=27159 vsize=15022920 memory=362764 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27175/stat : 27175 (java) S 27159 27159 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224774497 15383470080 44671 33554432000 4194304 4196468 140734297154912 139948153891808 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27176] ppid=27159 vsize=15022920 memory=672340 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27176/stat : 27176 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774497 15383470080 44671 33554432000 4194304 4196468 140734297154912 139949649758640 139950683576962 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 15136048 KiB
Current children cumulated memory: 180076 KiB
[startup+2.94875 s]
# the end of solver process 27159 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.86883 s, system=0.240998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60163 s]
/proc/loadavg: 2.18 2.08 2.06 5/222 27176
/proc/meminfo: memFree=19449148/32770624 swapFree=67108688/67108860
[pid=27159] ppid=27156 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/27159/stat : 27159 (scop.sh) S 27156 27159 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224774490 115843072 348 33554432000 4194304 5098028 140731655512064 140731655509320 140506872877692 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11960320 140731655513153 140731655513351 140731655513351 140731655516109 0
/proc/27159/statm: 28282 348 296 221 0 87 0
[pid=27162] ppid=27159 vsize=15024968 memory=188400 CPUtime=3.3 cores=1,3,5,7
/proc/27162/stat : 27162 (java) S 27159 27159 23167 0 -1 1077944320 22030 0 0 0 319 11 0 0 20 0 15 0 224774490 15385567232 47100 33554432000 4194304 4196468 140734297154912 140734297137456 139950683565815 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
/proc/27162/statm: 3756242 47100 3196 1 0 3717627 0
[pid=27162/tid=27163] ppid=27159 vsize=15024968 memory=1392 CPUtime=1.57 cores=1,3,5,7
/proc/27162/task/27163/stat : 27163 (java) R 27159 27159 23167 0 -1 4202560 15999 0 0 0 150 7 0 0 20 0 15 0 224774491 15385567232 47100 33554432000 4194304 4196468 140734297154912 139950655402824 139950187215639 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27164] ppid=27159 vsize=15024968 memory=143148 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27164/stat : 27164 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774492 15385567232 47100 33554432000 4194304 4196468 140734297154912 139950687808400 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27165] ppid=27159 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27165/stat : 27165 (java) S 27159 27159 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224774492 15385567232 47100 33554432000 4194304 4196468 140734297154912 139950505896720 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27166] ppid=27159 vsize=15024968 memory=56 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27166/stat : 27166 (java) S 27159 27159 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224774492 15385567232 47100 33554432000 4194304 4196468 140734297154912 139950504844432 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27167] ppid=27159 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27167/stat : 27167 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774492 15385567232 47100 33554432000 4194304 4196468 140734297154912 139950503791632 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27168] ppid=27159 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27168/stat : 27168 (java) S 27159 27159 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224774494 15385567232 47100 33554432000 4194304 4196468 140734297154912 139949653969008 139950683576962 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27169] ppid=27159 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27169/stat : 27169 (java) S 27159 27159 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224774494 15385567232 47100 33554432000 4194304 4196468 140734297154912 139949294740256 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27170] ppid=27159 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27170/stat : 27170 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774494 15385567232 47100 33554432000 4194304 4196468 140734297154912 139949026305136 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27171] ppid=27159 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27171/stat : 27171 (java) S 27159 27159 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224774497 15385567232 47100 33554432000 4194304 4196468 140734297154912 139948651796560 139950683584411 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27172] ppid=27159 vsize=15024968 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/27162/task/27172/stat : 27172 (java) R 27159 27159 23167 0 -1 4202560 1081 0 0 0 45 1 0 0 20 0 15 0 224774497 15385567232 47100 33554432000 4194304 4196468 140734297154912 139949652903040 139950661802201 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27173] ppid=27159 vsize=15024968 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/27162/task/27173/stat : 27173 (java) R 27159 27159 23167 0 -1 4202560 726 0 0 0 44 0 0 0 20 0 15 0 224774497 15385567232 47100 33554432000 4194304 4196468 140734297154912 139949651864048 139950668690941 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27174] ppid=27159 vsize=15024968 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/27162/task/27174/stat : 27174 (java) R 27159 27159 23167 0 -1 4202560 2892 0 0 0 78 1 0 0 20 0 15 0 224774497 15385567232 47100 33554432000 4194304 4196468 140734297154912 139949650811760 139950683577750 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27175] ppid=27159 vsize=15024968 memory=7 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27175/stat : 27175 (java) S 27159 27159 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224774497 15385567232 47100 33554432000 4194304 4196468 140734297154912 139948153891808 139950683576021 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
[pid=27162/tid=27176] ppid=27159 vsize=15024968 memory=1 CPUtime=0 cores=1,3,5,7
/proc/27162/task/27176/stat : 27176 (java) S 27159 27159 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224774497 15385567232 47100 33554432000 4194304 4196468 140734297154912 139949649758640 139950683576962 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140734297162759 140734297163057 140734297163057 140734297165775 0
Current children cumulated CPU time: 3.3 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 189792 KiB
[startup+2.40031 s]
/proc/loadavg: 2.18 2.08 2.06 4/222 27176
/proc/meminfo: memFree=19357192/32770624 swapFree=67108688/67108860
[pid=27159] ppid=27156 vsize=113128 memory=1468 CPUtime=4.75 cores=1,3,5,7
/proc/27159/stat : 27159 (scop.sh) S 27156 27159 23167 0 -1 4202496 589 24334 0 0 0 0 461 14 20 0 1 0 224774490 115843072 367 33554432000 4194304 5098028 140731655512064 140731655508808 140506872877692 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11960320 140731655513153 140731655513351 140731655513351 140731655516109 0
/proc/27159/statm: 28282 367 311 221 0 87 0
Current children cumulated CPU time: 4.75 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1468 KiB
[startup+2.80258 s]
/proc/loadavg: 2.18 2.08 2.06 4/222 27176
/proc/meminfo: memFree=19357192/32770624 swapFree=67108688/67108860
[pid=27159] ppid=27156 vsize=113128 memory=1468 CPUtime=4.75 cores=1,3,5,7
/proc/27159/stat : 27159 (scop.sh) S 27156 27159 23167 0 -1 4202496 589 24334 0 0 0 0 461 14 20 0 1 0 224774490 115843072 367 33554432000 4194304 5098028 140731655512064 140731655508808 140506872877692 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11960320 140731655513153 140731655513351 140731655513351 140731655516109 0
/proc/27159/statm: 28282 367 311 221 0 87 0
Current children cumulated CPU time: 4.75 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1468 KiB
[startup+2.90082 s]
/proc/loadavg: 2.18 2.08 2.06 4/222 27176
/proc/meminfo: memFree=19357192/32770624 swapFree=67108688/67108860
[pid=27159] ppid=27156 vsize=113128 memory=1468 CPUtime=4.75 cores=1,3,5,7
/proc/27159/stat : 27159 (scop.sh) S 27156 27159 23167 0 -1 4202496 589 24334 0 0 0 0 461 14 20 0 1 0 224774490 115843072 367 33554432000 4194304 5098028 140731655512064 140731655508808 140506872877692 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11960320 140731655513153 140731655513351 140731655513351 140731655516109 0
/proc/27159/statm: 28282 367 311 221 0 87 0
Current children cumulated CPU time: 4.75 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1468 KiB
Child status: 0
Real time (s): 2.94881
CPU time (s): 6.10983
CPU user time (s): 5.86883
CPU system time (s): 0.240998
CPU usage (%): 207.197
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 235048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.86883
system time used= 0.240998
maximum resident set size= 239684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43906
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5683
involuntary context switches= 38
# summary of solver processes directly reported to runsolver:
# pid: 27159
# total CPU time (s): 6.10983
# total CPU user time (s): 5.86883
# total CPU system time (s): 0.240998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036406 second user time and 0.073539 second system time
The end