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-23649-serial-file.bin HOME/instance-4305752-1534075234.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 14:00:35 CEST 2018
0.66/0.55 c PID: 23652
0.66/0.55 c IP: 172.20.3.103
0.66/0.55 c HOST: node103.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.02/1.10 c (0,0) Parsing End
2.40/1.11 c (0,0) CSP: 384 int (0 aux), 0 bool (0 aux), 257 ctr, max domain size 24
2.40/1.11 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.40/1.11 c (0,0) Constraint Name Generate Begin
2.40/1.12 c (0,0) Ctr:HOME/instance-4305752-1534075234.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
2.40/1.12 c (0,0) Constraint Name Generate End
2.40/1.12 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.40/1.12 c (0,0) CSP to CSPinCNF Begin
3.40/1.56 c (1,1) translated 26 (10%) constraints
3.40/1.58 c (1,1) translated 52 (20%) constraints
5.97/2.33 c (1,1) translated 78 (30%) constraints
6.08/2.44 c (1,1) translated 103 (40%) constraints
6.44/2.51 c (1,1) translated 129 (50%) constraints
6.44/2.56 c (2,2) translated 155 (60%) constraints
6.78/2.62 c (2,2) translated 180 (70%) constraints
6.78/2.67 c (2,2) translated 206 (80%) constraints
7.10/2.72 c (2,2) translated 232 (90%) constraints
7.10/2.77 c (2,2) translated 257 (100%) constraints
7.73/2.91 c (2,2) STATISTICS1:HOME/instance-4305752-1534075234.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,1360,10768,24,24,24,2,24:2094;23:116;22:101;21:211;5:144;4:144,24:15766;23:461;22:374;21:731;5:1248;4:1056;2:4272,24:16;6:96;5:96;4:208;3:5594;2:4720;1:38,2:2810;1:22896;0:192,
7.73/2.91 c (2,2) ==========================================
7.73/2.91 c (2,2) Both Encoding selects:
7.73/2.91 c (2,2) Order
7.73/2.91 c (2,2) ==========================================
7.73/2.98 c (2,2) translated 1077 (10%) constraints
8.10/3.04 c (2,2) translated 2154 (20%) constraints
8.44/3.14 c (2,2) translated 3231 (30%) constraints
8.71/3.26 c (2,2) translated 4308 (40%) constraints
9.01/3.37 c (2,2) translated 5384 (50%) constraints
9.35/3.49 c (2,2) translated 6461 (60%) constraints
9.69/3.58 c (3,3) translated 7538 (70%) constraints
10.00/3.61 c (3,3) translated 8615 (80%) constraints
10.00/3.64 c (3,3) translated 9692 (90%) constraints
10.00/3.66 c (3,3) translated 10768 (100%) constraints
10.00/3.66 c (3,3) CSP to CSPinCNF End
10.00/3.67 c (3,3) CSP: 384 int (0 aux), 5584 bool (5584 aux), 19984 ctr, max domain size 24
10.00/3.67 c (3,3) Heap : 619 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
10.00/3.67 c (3,3) CSPinCNF Propagation Begin
10.64/3.87 c (3,3) 95 values, 827 unsatisfiable literals, and 597 valid clauses are removed
10.64/3.87 c (3,3) CSPinCNF Propagation End
10.64/3.87 c (3,3) CSP: 455 int (71 aux), 5513 bool (5513 aux), 19387 ctr, max domain size 24
10.64/3.87 c (3,3) Heap : 675 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
10.64/3.87 c (3,3) Simplify CSPinCNF Begin
11.26/4.04 c (3,3) Simplify CSPinCNF End
11.26/4.04 c (3,3) CSP: 455 int (71 aux), 10669 bool (10669 aux), 24543 ctr, max domain size 24
11.26/4.04 c (3,3) Heap : 732 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
11.26/4.04 c (3,3) Calculate Precise Domain Begin
11.26/4.05 c (3,3) 0 values are removed by re-calculation
11.26/4.05 c (3,3) Calculate Precise Domain End
11.26/4.05 c (3,3) CSP: 455 int (71 aux), 10669 bool (10669 aux), 24543 ctr, max domain size 24
11.26/4.05 c (3,3) Heap : 732 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
11.26/4.05 c (3,3) CSPinCNF to SatSolver Begin
12.21/4.34 c (3,3) 2455 (10 %) CSP clauses are encoded (15686 SAT variables, 43137 SAT clauses)
12.47/4.47 c (3,3) 4909 (20 %) CSP clauses are encoded (15686 SAT variables, 82020 SAT clauses)
12.61/4.57 c (4,4) 7363 (30 %) CSP clauses are encoded (15686 SAT variables, 111855 SAT clauses)
12.61/4.59 c (4,4) 9818 (40 %) CSP clauses are encoded (15686 SAT variables, 114882 SAT clauses)
12.73/4.60 c (4,4) 12272 (50 %) CSP clauses are encoded (15686 SAT variables, 117336 SAT clauses)
12.73/4.61 c (4,4) 14726 (60 %) CSP clauses are encoded (15686 SAT variables, 119790 SAT clauses)
12.73/4.63 c (4,4) 17181 (70 %) CSP clauses are encoded (15686 SAT variables, 122245 SAT clauses)
12.73/4.64 c (4,4) 19635 (80 %) CSP clauses are encoded (15686 SAT variables, 124699 SAT clauses)
12.73/4.68 c (4,4) 22089 (90 %) CSP clauses are encoded (15686 SAT variables, 134027 SAT clauses)
12.90/4.70 c (4,4) 24543 (100 %) CSP clauses are encoded (15686 SAT variables, 136481 SAT clauses)
12.90/4.70 c (4,4) Launch Command will be: minisat_release
12.90/4.70 c (4,4) CSPinCNF to SatSolver End
12.90/4.70 c (4,4) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
13.23/4.85 c (4,4) STATISTICS2:HOME/instance-4305752-1534075234.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,11124,24543,24,24,24,2,24:3374;23:208;22:391;21:757;5:288;4:288,24:25466;23:756;22:1338;21:2314;5:1536;4:1344;2:27926,24:4;21:11;19:1;5:96;4:304;3:5116;2:18973;1:38,2:5306;1:50068,
13.23/4.85 c (4,4) 15686 bool, 136482 clause
13.23/4.85 c (4,4) Export Begin
13.54/4.97 c (4,4) Export to HOME/scop-23649-serial-file.bin
13.54/4.97 c (4,4) Export End
13.54/4.97 c (4,4) Export File Size: 0.08 MB
13.54/4.97 c (4,4) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS)
13.54/4.97 c END-Prog: Sun Aug 12 14:00:40 CEST 2018
13.54/4.99 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23649-serial-file.bin
14.34/5.48 c (0,0) Read Serial File Begin
14.34/5.48 c (0,0) HOME/scop-23649-serial-file.bin
14.62/5.68 c (0,0) Read Serial File End
14.62/5.70
14.62/5.70 scop order+minisat_release (2018-07-31)
14.62/5.70 (Solving Process)
14.62/5.70
14.87/5.72 c BEGIN-Prog: Sun Aug 12 14:00:40 CEST 2018
14.87/5.72 c PID: 23667
14.87/5.72 c IP: 172.20.3.103
14.87/5.72 c HOST: node103.alineos.net
14.87/5.72 c (0,0) SatSolver.solve Begin
14.87/5.72 c (0,0) 0 bool, 0 clause
14.87/5.72 c (0,0) minisat_release HOME/instance-4305752-1534075234.xml-scop-23652.cnf
15.07/5.94 c (0,0) c This is COMiniSatPS.
15.07/5.94 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
15.07/5.94 c (0,0) c ============================[ Problem Statistics ]=============================
15.07/5.94 c (0,0) c | |
15.07/5.94 c (0,0) c | Number of variables: 15686 |
15.07/5.94 c (0,0) c | Number of clauses: 136126 |
15.07/5.94 c (0,0) c | Parse time: 0.04 s |
15.07/5.94 c (0,0) c | Eliminated clauses: 0.17 Mb |
15.07/5.94 c (0,0) c Reduced to 7193 vars, 115965 cls (grow=0)
15.07/5.94 c (0,0) c No iterative elimination performed. (vars=7193, c/v ratio=16.1)
15.07/5.94 c (0,0) c | Simplification time: 0.12 s |
15.07/5.94 c (0,0) c | |
15.07/5.94 c (0,0) c ============================[ Search Statistics ]==============================
15.07/5.94 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
15.07/5.94 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
15.07/5.94 c (0,0) c ===============================================================================
15.07/5.94 c (0,0) c ===============================================================================
15.07/5.95 c (0,0) c restarts : 5
15.07/5.95 c (0,0) c conflicts : 431 (2313 /sec)
15.07/5.95 c (0,0) c decisions : 3481 (0.00 % random) (18681 /sec)
15.07/5.95 c (0,0) c propagations : 141377 (758692 /sec)
15.07/5.95 c (0,0) c conflict literals : 3387 (8.39 % deleted)
15.07/5.95 c (0,0) c CPU time : 0.186343 s
15.07/5.95 c (0,0)
15.07/5.95 c (0,0) s SATISFIABLE
15.07/5.98 c (0,0) SatSolver.solve End
15.07/5.98 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
15.07/5.98 c (0,0) Show results Begin
15.42/6.06 s SATISFIABLE
15.42/6.08 v <instantiation>
15.42/6.08 v <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[23][0] vr[23][1] vr[23][2] vr[23][3] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[23][0] ve[23][1] ve[23][2] ve[23][3] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[23][0] gve[23][1] gve[23][2] gve[23][3]</list>
15.42/6.08 v <values>0 11 16 19 1 13 18 8 2 20 7 17 3 14 23 9 4 21 10 12 5 16 9 18 6 17 1 23 7 3 19 15 8 22 4 13 9 23 3 16 10 19 17 2 11 15 0 20 12 7 22 1 13 4 8 21 14 18 6 5 15 6 20 3 16 9 21 4 17 10 5 22 18 12 11 0 19 8 2 14 20 0 12 6 21 1 13 7 22 2 14 10 23 5 15 11 0 20 11 18 1 21 6 12 2 22 19 10 3 7 9 15 4 13 8 16 5 23 17 14 6 15 14 20 7 12 2 21 8 19 13 1 9 16 5 3 10 17 4 22 11 0 18 23 12 18 20 4 13 1 21 8 14 3 22 19 15 11 23 7 16 5 0 9 17 6 10 2 18 14 1 5 19 10 7 0 20 2 15 11 21 4 16 13 22 8 12 17 23 9 3 6 0 1 2 3 0 2 3 1 0 3 1 2 0 2 3 1 0 3 1 2 0 2 1 3 1 2 0 3 1 0 3 2 1 3 0 2 1 3 0 2 1 3 2 0 1 2 0 3 2 1 3 0 2 0 1 3 2 3 1 0 2 1 3 0 2 1 3 0 2 1 0 3 3 2 1 0 3 1 0 2 3 0 2 1 3 0 2 1 3 0 2 1 3 0 2 1 0 4 2 3 0 4 1 2 0 4 3 2 0 1 2 3 0 2 1 3 1 4 3 2 1 3 2 4 1 2 0 4 1 3 2 0 2 3 1 0 2 3 0 4 2 0 3 4 2 3 4 0 2 0 4 1 2 0 4 3 3 2 4 1 3 1 0 2 3 1 2 0 3 2 0 1 3 2 1 0 4 0 3 2 4 0 3 2 4 1 2 3 4 2 0 1</values>
15.42/6.08 v </instantiation>
15.42/6.08 c (0,0) Show results End
15.42/6.08 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
15.42/6.09 c (0,0) 0,0,STOP-AFTER(ALL)
15.42/6.09 c END-Prog: Sun Aug 12 14:00:41 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 (8033 MiB free)
memory of node 1: 16384 MiB (8595 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305752-1534075234/watcher-4305752-1534075234 -o /tmp/evaluation-result-4305752-1534075234/solver-4305752-1534075234 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20637 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305752-1534075234.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23649, runsolver pid=23646
[startup+0.100093 s]*
/proc/loadavg: 2.25 2.16 2.11 3/224 23666
/proc/meminfo: memFree=16968124/32770624 swapFree=67058744/67108860
[pid=23649] ppid=23646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23649/stat : 23649 (scop.sh) S 23646 23649 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225086640 115843072 349 33554432000 4194304 5098028 140727067252016 140727067249272 140385795736188 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15675392 140727067255873 140727067256071 140727067256071 140727067258829 0
/proc/23649/statm: 28282 349 296 221 0 87 0
[pid=23652] ppid=23649 vsize=15012476 memory=72268 CPUtime=0.11 cores=0,2,4,6
/proc/23652/stat : 23652 (java) S 23649 23649 20606 0 -1 1077944320 6673 0 0 0 10 1 0 0 20 0 15 0 225086640 15372775424 18067 33554432000 4194304 4196468 140729546005952 140729545988496 140508572114679 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
/proc/23652/statm: 3753119 18067 2768 1 0 3715579 0
[pid=23652/tid=23653] ppid=23649 vsize=15012476 memory=-6150928374978363333 CPUtime=0.09 cores=0,2,4,6
/proc/23652/task/23653/stat : 23653 (java) R 23649 23649 20606 0 -1 4202560 4767 0 0 0 8 1 0 0 20 0 15 0 225086641 15372775424 18067 33554432000 4194304 4196468 140729546005952 140508543926664 140508555301488 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23654] ppid=23649 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23654/stat : 23654 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15372775424 18067 33554432000 4194304 4196468 140729546005952 140508576357008 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23655] ppid=23649 vsize=15012476 memory=140055805781632 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23655/stat : 23655 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15372775424 18067 33554432000 4194304 4196468 140729546005952 140508390513168 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23656] ppid=23649 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23656/stat : 23656 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15372775424 18067 33554432000 4194304 4196468 140729546005952 140508389460368 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23657] ppid=23649 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23657/stat : 23657 (java) S 23649 23649 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086642 15372775424 18067 33554432000 4194304 4196468 140729546005952 140508388407568 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23658] ppid=23649 vsize=15012476 memory=140055805781632 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23658/stat : 23658 (java) S 23649 23649 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086644 15372775424 18067 33554432000 4194304 4196468 140729546005952 140507978808176 140508572125826 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23659] ppid=23649 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23659/stat : 23659 (java) S 23649 23649 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225086644 15372775424 18067 33554432000 4194304 4196468 140729546005952 140507137173024 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23660] ppid=23649 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23660/stat : 23660 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086645 15372775424 18067 33554432000 4194304 4196468 140729546005952 140506902291824 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23661] ppid=23649 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23661/stat : 23661 (java) S 23649 23649 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086647 15372775424 18067 33554432000 4194304 4196468 140729546005952 140506527783248 140508572133275 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23662] ppid=23649 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23662/stat : 23662 (java) S 23649 23649 20606 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 225086647 15372775424 18067 33554432000 4194304 4196468 140729546005952 140507977754992 140508572125826 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23663] ppid=23649 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23663/stat : 23663 (java) S 23649 23649 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225086647 15372775424 18067 33554432000 4194304 4196468 140729546005952 140507908925680 140508572125826 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23664] ppid=23649 vsize=15012476 memory=140055805781632 CPUtime=0.01 cores=0,2,4,6
/proc/23652/task/23664/stat : 23664 (java) R 23649 23649 20606 0 -1 4202560 275 0 0 0 1 0 0 0 20 0 15 0 225086647 15372775424 18067 33554432000 4194304 4196468 140729546005952 140507907872880 140508552441504 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23665] ppid=23649 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23665/stat : 23665 (java) S 23649 23649 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086647 15372775424 18067 33554432000 4194304 4196468 140729546005952 140506029877472 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23666] ppid=23649 vsize=15012476 memory=140055805781632 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23666/stat : 23666 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086647 15372775424 18067 33554432000 4194304 4196468 140729546005952 140507906821296 140508572125826 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73664 KiB
[startup+0.210714 s]*
/proc/loadavg: 2.25 2.16 2.11 3/224 23666
/proc/meminfo: memFree=16953892/32770624 swapFree=67058744/67108860
[pid=23649] ppid=23646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23649/stat : 23649 (scop.sh) S 23646 23649 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225086640 115843072 349 33554432000 4194304 5098028 140727067252016 140727067249272 140385795736188 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15675392 140727067255873 140727067256071 140727067256071 140727067258829 0
/proc/23649/statm: 28282 349 296 221 0 87 0
[pid=23652] ppid=23649 vsize=15012476 memory=85548 CPUtime=0.25 cores=0,2,4,6
/proc/23652/stat : 23652 (java) S 23649 23649 20606 0 -1 1077944320 10262 0 0 0 23 2 0 0 20 0 15 0 225086640 15372775424 21387 33554432000 4194304 4196468 140729546005952 140729545988496 140508572114679 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
/proc/23652/statm: 3753119 21387 2898 1 0 3715579 0
[pid=23652/tid=23653] ppid=23649 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/23652/task/23653/stat : 23653 (java) R 23649 23649 20606 0 -1 4202560 8171 0 0 0 18 2 0 0 20 0 15 0 225086641 15372775424 21387 33554432000 4194304 4196468 140729546005952 140508543927552 140508572126614 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23654] ppid=23649 vsize=15012476 memory=545 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23654/stat : 23654 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15372775424 21387 33554432000 4194304 4196468 140729546005952 140508576357008 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23655] ppid=23649 vsize=15012476 memory=140055806944866 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23655/stat : 23655 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15372775424 21387 33554432000 4194304 4196468 140729546005952 140508390513168 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23656] ppid=23649 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23656/stat : 23656 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15372775424 21387 33554432000 4194304 4196468 140729546005952 140508389460368 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23657] ppid=23649 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23657/stat : 23657 (java) S 23649 23649 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086642 15372775424 21387 33554432000 4194304 4196468 140729546005952 140508388407568 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23658] ppid=23649 vsize=15012476 memory=140055805781632 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23658/stat : 23658 (java) S 23649 23649 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086644 15372775424 21387 33554432000 4194304 4196468 140729546005952 140507978808176 140508572125826 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23659] ppid=23649 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23659/stat : 23659 (java) S 23649 23649 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225086644 15372775424 21387 33554432000 4194304 4196468 140729546005952 140507137173024 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23660] ppid=23649 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23660/stat : 23660 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086645 15372775424 21387 33554432000 4194304 4196468 140729546005952 140506902291824 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23661] ppid=23649 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23661/stat : 23661 (java) S 23649 23649 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086647 15372775424 21387 33554432000 4194304 4196468 140729546005952 140506527783248 140508572133275 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23662] ppid=23649 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23652/task/23662/stat : 23662 (java) S 23649 23649 20606 0 -1 1077944384 308 0 0 0 1 0 0 0 20 0 15 0 225086647 15372775424 21387 33554432000 4194304 4196468 140729546005952 140507977754992 140508572125826 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23663] ppid=23649 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23663/stat : 23663 (java) S 23649 23649 20606 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 225086647 15372775424 21387 33554432000 4194304 4196468 140729546005952 140507908925680 140508572125826 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23664] ppid=23649 vsize=15012476 memory=140055805781632 CPUtime=0.03 cores=0,2,4,6
/proc/23652/task/23664/stat : 23664 (java) R 23649 23649 20606 0 -1 4202560 294 0 0 0 3 0 0 0 20 0 15 0 225086647 15372775424 21387 33554432000 4194304 4196468 140729546005952 140507907872880 140508572128561 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23665] ppid=23649 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23665/stat : 23665 (java) S 23649 23649 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086647 15372775424 21387 33554432000 4194304 4196468 140729546005952 140506029877472 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23666] ppid=23649 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23666/stat : 23666 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086647 15372775424 21387 33554432000 4194304 4196468 140729546005952 140507906821296 140508572125826 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86944 KiB
[startup+0.310621 s]*
/proc/loadavg: 2.25 2.16 2.11 4/224 23666
/proc/meminfo: memFree=16949552/32770624 swapFree=67058744/67108860
[pid=23649] ppid=23646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23649/stat : 23649 (scop.sh) S 23646 23649 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225086640 115843072 349 33554432000 4194304 5098028 140727067252016 140727067249272 140385795736188 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15675392 140727067255873 140727067256071 140727067256071 140727067258829 0
/proc/23649/statm: 28282 349 296 221 0 87 0
[pid=23652] ppid=23649 vsize=15012476 memory=89940 CPUtime=0.43 cores=0,2,4,6
/proc/23652/stat : 23652 (java) S 23649 23649 20606 0 -1 1077944320 10877 0 0 0 40 3 0 0 20 0 15 0 225086640 15372775424 22485 33554432000 4194304 4196468 140729546005952 140729545988496 140508572114679 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
/proc/23652/statm: 3753119 22485 3024 1 0 3715579 0
[pid=23652/tid=23653] ppid=23649 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/23652/task/23653/stat : 23653 (java) R 23649 23649 20606 0 -1 4202560 8608 0 0 0 27 2 0 0 20 0 15 0 225086641 15372775424 22485 33554432000 4194304 4196468 140729546005952 140508543905936 140508556195166 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23654] ppid=23649 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23654/stat : 23654 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15372775424 22485 33554432000 4194304 4196468 140729546005952 140508576357008 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23655] ppid=23649 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23655/stat : 23655 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15372775424 22485 33554432000 4194304 4196468 140729546005952 140508390513168 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23656] ppid=23649 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23656/stat : 23656 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15372775424 22485 33554432000 4194304 4196468 140729546005952 140508389460368 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23657] ppid=23649 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23657/stat : 23657 (java) S 23649 23649 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086642 15372775424 22485 33554432000 4194304 4196468 140729546005952 140508388407568 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23658] ppid=23649 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23658/stat : 23658 (java) S 23649 23649 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086644 15372775424 22485 33554432000 4194304 4196468 140729546005952 140507978808176 140508572125826 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23659] ppid=23649 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23659/stat : 23659 (java) S 23649 23649 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225086644 15372775424 22485 33554432000 4194304 4196468 140729546005952 140507137173024 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23660] ppid=23649 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23660/stat : 23660 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086645 15372775424 22485 33554432000 4194304 4196468 140729546005952 140506902291824 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23661] ppid=23649 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23661/stat : 23661 (java) S 23649 23649 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086647 15372775424 22485 33554432000 4194304 4196468 140729546005952 140506527783248 140508572133275 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23662] ppid=23649 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23652/task/23662/stat : 23662 (java) S 23649 23649 20606 0 -1 1077944384 331 0 0 0 2 0 0 0 20 0 15 0 225086647 15372775424 22485 33554432000 4194304 4196468 140729546005952 140507977754992 140508572125826 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23663] ppid=23649 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23652/task/23663/stat : 23663 (java) S 23649 23649 20606 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 15 0 225086647 15372775424 22485 33554432000 4194304 4196468 140729546005952 140507908925680 140508572125826 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23664] ppid=23649 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23652/task/23664/stat : 23664 (java) S 23649 23649 20606 0 -1 1077944384 334 0 0 0 7 0 0 0 20 0 15 0 225086647 15372775424 22485 33554432000 4194304 4196468 140729546005952 140507907872880 140508572125826 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23665] ppid=23649 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23665/stat : 23665 (java) S 23649 23649 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086647 15372775424 22485 33554432000 4194304 4196468 140729546005952 140506029877472 140508572124885 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23666] ppid=23649 vsize=15012476 memory=4049359695133089841 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23666/stat : 23666 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086647 15372775424 22485 33554432000 4194304 4196468 140729546005952 140507906821296 140508572125826 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91336 KiB
[startup+0.700761 s]
/proc/loadavg: 2.25 2.16 2.11 3/224 23666
/proc/meminfo: memFree=16925492/32770624 swapFree=67058744/67108860
[pid=23649] ppid=23646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23649/stat : 23649 (scop.sh) S 23646 23649 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225086640 115843072 349 33554432000 4194304 5098028 140727067252016 140727067249272 140385795736188 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15675392 140727067255873 140727067256071 140727067256071 140727067258829 0
/proc/23649/statm: 28282 349 296 221 0 87 0
[pid=23652] ppid=23649 vsize=15020872 memory=127468 CPUtime=1 cores=0,2,4,6
/proc/23652/stat : 23652 (java) S 23649 23649 20606 0 -1 1077944320 17982 0 0 0 96 4 0 0 20 0 15 0 225086640 15381372928 31867 33554432000 4194304 4196468 140729546005952 140729545988496 140508572114679 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
/proc/23652/statm: 3755218 31867 3147 1 0 3716603 0
[pid=23652/tid=23653] ppid=23649 vsize=15020872 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/23652/task/23653/stat : 23653 (java) R 23649 23649 20606 0 -1 4202560 15251 0 0 0 64 3 0 0 20 0 15 0 225086641 15381372928 31867 33554432000 4194304 4196468 140729546005952 140508543946576 140508556195166 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23654] ppid=23649 vsize=15020872 memory=288230377057956186 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23654/stat : 23654 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15381372928 31867 33554432000 4194304 4196468 140729546005952 140508576357008 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23655] ppid=23649 vsize=15020872 memory=14408211646139281 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23655/stat : 23655 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15381372928 31867 33554432000 4194304 4196468 140729546005952 140508390513168 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23656] ppid=23649 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23656/stat : 23656 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15381372928 31867 33554432000 4194304 4196468 140729546005952 140508389460368 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23657] ppid=23649 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23657/stat : 23657 (java) S 23649 23649 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086642 15381372928 31867 33554432000 4194304 4196468 140729546005952 140508388407568 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23658] ppid=23649 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23658/stat : 23658 (java) S 23649 23649 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225086644 15381372928 31867 33554432000 4194304 4196468 140729546005952 140507978808176 140508572125826 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23659] ppid=23649 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23659/stat : 23659 (java) S 23649 23649 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225086644 15381372928 31867 33554432000 4194304 4196468 140729546005952 140507137173024 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23660] ppid=23649 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23660/stat : 23660 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086645 15381372928 31867 33554432000 4194304 4196468 140729546005952 140506902291824 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23661] ppid=23649 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23661/stat : 23661 (java) S 23649 23649 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086647 15381372928 31867 33554432000 4194304 4196468 140729546005952 140506527783248 140508572133275 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23662] ppid=23649 vsize=15020872 memory=280111324594416 CPUtime=0.09 cores=0,2,4,6
/proc/23652/task/23662/stat : 23662 (java) S 23649 23649 20606 0 -1 1077944384 590 0 0 0 9 0 0 0 20 0 15 0 225086647 15381372928 31867 33554432000 4194304 4196468 140729546005952 140507977754992 140508572125826 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23663] ppid=23649 vsize=15020872 memory=7234030490512222553 CPUtime=0.06 cores=0,2,4,6
/proc/23652/task/23663/stat : 23663 (java) S 23649 23649 20606 0 -1 1077944384 330 0 0 0 6 0 0 0 20 0 15 0 225086647 15381372928 31867 33554432000 4194304 4196468 140729546005952 140507908925680 140508572125826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23664] ppid=23649 vsize=15020872 memory=7594587674001172330 CPUtime=0.16 cores=0,2,4,6
/proc/23652/task/23664/stat : 23664 (java) S 23649 23649 20606 0 -1 1077944384 476 0 0 0 16 0 0 0 20 0 15 0 225086647 15381372928 31867 33554432000 4194304 4196468 140729546005952 140507907872880 140508572125826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23665] ppid=23649 vsize=15020872 memory=7649399375708697394 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23665/stat : 23665 (java) S 23649 23649 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086647 15381372928 31867 33554432000 4194304 4196468 140729546005952 140506029877472 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23666] ppid=23649 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23666/stat : 23666 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086647 15381372928 31867 33554432000 4194304 4196468 140729546005952 140507906821296 140508572125826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128864 KiB
[startup+1.50566 s]
/proc/loadavg: 2.25 2.16 2.11 5/224 23666
/proc/meminfo: memFree=16888768/32770624 swapFree=67058744/67108860
[pid=23649] ppid=23646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23649/stat : 23649 (scop.sh) S 23646 23649 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225086640 115843072 349 33554432000 4194304 5098028 140727067252016 140727067249272 140385795736188 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15675392 140727067255873 140727067256071 140727067256071 140727067258829 0
/proc/23649/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated memory: 486488 KiB
[startup+6.10924 s]
# the end of solver process 23649 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.2395 s, system=0.404969 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20096 s]
/proc/loadavg: 2.25 2.16 2.11 6/224 23666
/proc/meminfo: memFree=16580336/32770624 swapFree=67058744/67108860
[pid=23649] ppid=23646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23649/stat : 23649 (scop.sh) S 23646 23649 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225086640 115843072 349 33554432000 4194304 5098028 140727067252016 140727067249272 140385795736188 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15675392 140727067255873 140727067256071 140727067256071 140727067258829 0
/proc/23649/statm: 28282 349 296 221 0 87 0
[pid=23652] ppid=23649 vsize=15024968 memory=507952 CPUtime=8.71 cores=0,2,4,6
/proc/23652/stat : 23652 (java) S 23649 23649 20606 0 -1 1077944320 28417 0 0 0 857 14 0 0 20 0 15 0 225086640 15385567232 126988 33554432000 4194304 4196468 140729546005952 140729545988496 140508572114679 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
/proc/23652/statm: 3756242 126988 3201 1 0 3717627 0
[pid=23652/tid=23653] ppid=23649 vsize=15024968 memory=1024 CPUtime=3.15 cores=0,2,4,6
/proc/23652/task/23653/stat : 23653 (java) R 23649 23649 20606 0 -1 4202560 17688 0 0 0 305 10 0 0 20 0 15 0 225086641 15385567232 126988 33554432000 4194304 4196468 140729546005952 140508543944880 140508072175431 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23654] ppid=23649 vsize=15024968 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23654/stat : 23654 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15385567232 126988 33554432000 4194304 4196468 140729546005952 140508576357008 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23655] ppid=23649 vsize=15024968 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23655/stat : 23655 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15385567232 126988 33554432000 4194304 4196468 140729546005952 140508390513168 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23656] ppid=23649 vsize=15024968 memory=9004 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23656/stat : 23656 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15385567232 126988 33554432000 4194304 4196468 140729546005952 140508389460368 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23657] ppid=23649 vsize=15024968 memory=768 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23657/stat : 23657 (java) S 23649 23649 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086642 15385567232 126988 33554432000 4194304 4196468 140729546005952 140508388407568 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23658] ppid=23649 vsize=15024968 memory=736 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23658/stat : 23658 (java) S 23649 23649 20606 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225086644 15385567232 126988 33554432000 4194304 4196468 140729546005952 140507978808176 140508572125826 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23659] ppid=23649 vsize=15024968 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23659/stat : 23659 (java) S 23649 23649 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225086644 15385567232 126988 33554432000 4194304 4196468 140729546005952 140507137173024 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23660] ppid=23649 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23660/stat : 23660 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086645 15385567232 126988 33554432000 4194304 4196468 140729546005952 140506902291824 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23661] ppid=23649 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23661/stat : 23661 (java) S 23649 23649 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086647 15385567232 126988 33554432000 4194304 4196468 140729546005952 140506527783248 140508572133275 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23662] ppid=23649 vsize=15024968 memory=0 CPUtime=2.13 cores=0,2,4,6
/proc/23652/task/23662/stat : 23662 (java) R 23649 23649 20606 0 -1 4202560 2050 0 0 0 213 0 0 0 20 0 15 0 225086647 15385567232 126988 33554432000 4194304 4196468 140729546005952 140507977735824 140508551958287 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23663] ppid=23649 vsize=15024968 memory=0 CPUtime=2.15 cores=0,2,4,6
/proc/23652/task/23663/stat : 23663 (java) R 23649 23649 20606 0 -1 4202560 3319 0 0 0 214 1 0 0 20 0 15 0 225086647 15385567232 126988 33554432000 4194304 4196468 140729546005952 140507908904208 140508564404133 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23664] ppid=23649 vsize=15024968 memory=6656426216303648864 CPUtime=1.23 cores=0,2,4,6
/proc/23652/task/23664/stat : 23664 (java) S 23649 23649 20606 0 -1 1077944384 4022 0 0 0 122 1 0 0 20 0 15 0 225086647 15385567232 126988 33554432000 4194304 4196468 140729546005952 140507907872880 140508572125826 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23665] ppid=23649 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23665/stat : 23665 (java) S 23649 23649 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086647 15385567232 126988 33554432000 4194304 4196468 140729546005952 140506029877472 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23666] ppid=23649 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23666/stat : 23666 (java) S 23649 23649 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086647 15385567232 126988 33554432000 4194304 4196468 140729546005952 140507906821296 140508572125826 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
Current children cumulated CPU time: 8.71 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 509348 KiB
[startup+4.80076 s]
/proc/loadavg: 2.47 2.21 2.12 5/224 23666
/proc/meminfo: memFree=16277980/32770624 swapFree=67058744/67108860
[pid=23649] ppid=23646 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23649/stat : 23649 (scop.sh) S 23646 23649 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225086640 115843072 349 33554432000 4194304 5098028 140727067252016 140727067249272 140385795736188 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15675392 140727067255873 140727067256071 140727067256071 140727067258829 0
/proc/23649/statm: 28282 349 296 221 0 87 0
[pid=23652] ppid=23649 vsize=15029132 memory=1179092 CPUtime=13.23 cores=0,2,4,6
/proc/23652/stat : 23652 (java) S 23649 23649 20606 0 -1 1077944320 32128 0 0 0 1298 25 0 0 20 0 15 0 225086640 15389831168 294261 33554432000 4194304 4196468 140729546005952 140729545988496 140508572114679 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
/proc/23652/statm: 3757283 294773 3218 1 0 3718139 0
[pid=23652/tid=23653] ppid=23649 vsize=15029132 memory=6656426216303648864 CPUtime=4.75 cores=0,2,4,6
/proc/23652/task/23653/stat : 23653 (java) R 23649 23649 20606 0 -1 4202560 18230 0 0 0 455 20 0 0 20 0 15 0 225086641 15389831168 294773 33554432000 4194304 4196468 140729546005952 140508543949824 140508069323845 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23654] ppid=23649 vsize=15029132 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23654/stat : 23654 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15389831168 294773 33554432000 4194304 4196468 140729546005952 140508576357008 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23655] ppid=23649 vsize=15029132 memory=4638778398333162340 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23655/stat : 23655 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15389831168 294773 33554432000 4194304 4196468 140729546005952 140508390513168 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23656] ppid=23649 vsize=15029132 memory=5787798780117544535 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23656/stat : 23656 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086642 15389831168 294773 33554432000 4194304 4196468 140729546005952 140508389460368 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23657] ppid=23649 vsize=15029132 memory=7883621938795930720 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23657/stat : 23657 (java) S 23649 23649 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086642 15389831168 294773 33554432000 4194304 4196468 140729546005952 140508388407568 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23658] ppid=23649 vsize=15029132 memory=5859572709063742053 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23658/stat : 23658 (java) S 23649 23649 20606 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225086644 15389831168 294773 33554432000 4194304 4196468 140729546005952 140507978808176 140508572125826 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23659] ppid=23649 vsize=15029132 memory=7379241917922437975 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23659/stat : 23659 (java) S 23649 23649 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225086644 15389831168 294773 33554432000 4194304 4196468 140729546005952 140507137173024 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23660] ppid=23649 vsize=15029132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23660/stat : 23660 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086645 15389831168 294773 33554432000 4194304 4196468 140729546005952 140506902291824 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23661] ppid=23649 vsize=15029132 memory=6940157411812659813 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23661/stat : 23661 (java) S 23649 23649 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086647 15389831168 294773 33554432000 4194304 4196468 140729546005952 140506527783248 140508572133275 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23662] ppid=23649 vsize=15029132 memory=996284 CPUtime=3.47 cores=0,2,4,6
/proc/23652/task/23662/stat : 23662 (java) R 23649 23649 20606 0 -1 4202560 2654 0 0 0 347 0 0 0 20 0 15 0 225086647 15389831168 294773 33554432000 4194304 4196468 140729546005952 140507977755120 140508558138588 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23663] ppid=23649 vsize=15029132 memory=0 CPUtime=3.41 cores=0,2,4,6
/proc/23652/task/23663/stat : 23663 (java) R 23649 23649 20606 0 -1 4202560 5267 0 0 0 340 1 0 0 20 0 15 0 225086647 15389831168 294773 33554432000 4194304 4196468 140729546005952 140507908915392 140508555501149 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23664] ppid=23649 vsize=15029132 memory=241626270185671 CPUtime=1.55 cores=0,2,4,6
/proc/23652/task/23664/stat : 23664 (java) S 23649 23649 20606 0 -1 1077944384 4640 0 0 0 154 1 0 0 20 0 15 0 225086647 15389831168 294773 33554432000 4194304 4196468 140729546005952 140507907872880 140508572125826 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23665] ppid=23649 vsize=15029132 memory=241626270185672 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23665/stat : 23665 (java) S 23649 23649 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086647 15389831168 294773 33554432000 4194304 4196468 140729546005952 140506029877472 140508572124885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
[pid=23652/tid=23666] ppid=23649 vsize=15029132 memory=241626270185673 CPUtime=0 cores=0,2,4,6
/proc/23652/task/23666/stat : 23666 (java) S 23649 23649 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086647 15389831168 294773 33554432000 4194304 4196468 140729546005952 140507906821296 140508572125826 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 18718720 140729546011655 140729546011953 140729546011953 140729546014671 0
Current children cumulated CPU time: 13.23 s
Current children cumulated vsize: 15142260 KiB
Current children cumulated memory: 1180488 KiB
[startup+5.60165 s]
/proc/loadavg: 2.47 2.21 2.12 2/211 23668
/proc/meminfo: memFree=17023116/32770624 swapFree=67058744/67108860
[pid=23649] ppid=23646 vsize=113128 memory=1472 CPUtime=13.8 cores=0,2,4,6
/proc/23649/stat : 23649 (scop.sh) S 23646 23649 20606 0 -1 4202496 590 33099 0 0 0 0 1351 29 20 0 1 0 225086640 115843072 368 33554432000 4194304 5098028 140727067252016 140727067248760 140385795736188 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15675392 140727067255873 140727067256071 140727067256071 140727067258829 0
/proc/23649/statm: 28282 368 311 221 0 87 0
[pid=23667] ppid=23649 vsize=7406384 memory=95040 CPUtime=0.82 cores=0,2,4,6
/proc/23667/stat : 23667 (java) S 23649 23649 20606 0 -1 1077944320 16477 0 0 0 77 5 0 0 20 0 15 0 225087139 7584137216 23760 33554432000 4194304 4196468 140726178278416 140726178260960 139941148942071 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
/proc/23667/statm: 1851596 23760 3042 1 0 1813530 0
[pid=23667/tid=23668] ppid=23649 vsize=7406384 memory=1024 CPUtime=0.58 cores=0,2,4,6
/proc/23667/task/23668/stat : 23668 (java) R 23649 23649 20606 0 -1 4202560 14080 0 0 0 54 4 0 0 20 0 15 0 225087140 7584137216 23760 33554432000 4194304 4196468 140726178278416 139941120756368 139940652373479 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23669] ppid=23649 vsize=7406384 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/23667/task/23669/stat : 23669 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225087141 7584137216 23760 33554432000 4194304 4196468 140726178278416 139941153184528 139941148952277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23670] ppid=23649 vsize=7406384 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/23667/task/23670/stat : 23670 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225087141 7584137216 23760 33554432000 4194304 4196468 140726178278416 139940634348432 139941148952277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23671] ppid=23649 vsize=7406384 memory=9004 CPUtime=0 cores=0,2,4,6
/proc/23667/task/23671/stat : 23671 (java) S 23649 23649 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225087141 7584137216 23760 33554432000 4194304 4196468 140726178278416 139940633295888 139941148952277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23672] ppid=23649 vsize=7406384 memory=768 CPUtime=0 cores=0,2,4,6
/proc/23667/task/23672/stat : 23672 (java) S 23649 23649 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225087141 7584137216 23760 33554432000 4194304 4196468 140726178278416 139940632243344 139941148952277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
Current children cumulated CPU time: 14.62 s
Current children cumulated vsize: 7519512 KiB
Current children cumulated memory: 96512 KiB
[startup+6.00086 s]*
/proc/loadavg: 2.47 2.21 2.12 3/226 23687
/proc/meminfo: memFree=16915712/32770624 swapFree=67058744/67108860
[pid=23649] ppid=23646 vsize=113128 memory=1472 CPUtime=13.8 cores=0,2,4,6
/proc/23649/stat : 23649 (scop.sh) S 23646 23649 20606 0 -1 4202496 590 33099 0 0 0 0 1351 29 20 0 1 0 225086640 115843072 368 33554432000 4194304 5098028 140727067252016 140727067248760 140385795736188 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15675392 140727067255873 140727067256071 140727067256071 140727067258829 0
/proc/23649/statm: 28282 368 311 221 0 87 0
[pid=23667] ppid=23649 vsize=7937144 memory=121296 CPUtime=1.62 cores=0,2,4,6
/proc/23667/stat : 23667 (java) S 23649 23649 20606 0 -1 1077944320 18609 5363 0 0 134 8 19 1 20 0 17 0 225087139 8127635456 30324 33554432000 4194304 4196468 140726178278416 140726178260960 139941148942071 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
/proc/23667/statm: 1984286 30324 3163 1 0 1945685 0
[pid=23667/tid=23668] ppid=23649 vsize=7937144 memory=6944656592455360604 CPUtime=1 cores=0,2,4,6
/proc/23667/task/23668/stat : 23668 (java) R 23649 23649 20606 0 -1 4202560 15157 5363 0 0 74 6 19 1 20 0 17 0 225087140 8127635456 30324 33554432000 4194304 4196468 140726178278416 139941120753232 139941133022558 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23669] ppid=23649 vsize=7937144 memory=8319679319876133167 CPUtime=0.2 cores=0,2,4,6
/proc/23667/task/23669/stat : 23669 (java) S 23649 23649 20606 0 -1 1077944384 1 5363 0 0 0 0 19 1 20 0 17 0 225087141 8127635456 30324 33554432000 4194304 4196468 140726178278416 139941153184528 139941148952277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23670] ppid=23649 vsize=7937144 memory=3533559710281552607 CPUtime=0.2 cores=0,2,4,6
/proc/23667/task/23670/stat : 23670 (java) S 23649 23649 20606 0 -1 1077944384 1 5363 0 0 0 0 19 1 20 0 17 0 225087141 8127635456 30324 33554432000 4194304 4196468 140726178278416 139940634348432 139941148952277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23671] ppid=23649 vsize=7937144 memory=-7361183220417256819 CPUtime=0.2 cores=0,2,4,6
/proc/23667/task/23671/stat : 23671 (java) S 23649 23649 20606 0 -1 1077944384 2 5363 0 0 0 0 19 1 20 0 17 0 225087141 8127635456 30324 33554432000 4194304 4196468 140726178278416 139940633295888 139941148952277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23672] ppid=23649 vsize=7937144 memory=4830726551013175343 CPUtime=0.2 cores=0,2,4,6
/proc/23667/task/23672/stat : 23672 (java) S 23649 23649 20606 0 -1 1077944384 1 5363 0 0 0 0 19 1 20 0 17 0 225087141 8127635456 30324 33554432000 4194304 4196468 140726178278416 139940632243344 139941148952277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23673] ppid=23649 vsize=7937144 memory=3472468352033461936 CPUtime=0.2 cores=0,2,4,6
/proc/23667/task/23673/stat : 23673 (java) S 23649 23649 20606 0 -1 1077944384 6 5363 0 0 0 0 19 1 20 0 17 0 225087142 8127635456 30324 33554432000 4194304 4196468 140726178278416 139940595337200 139941148953218 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23674] ppid=23649 vsize=7937144 memory=6877970180946408756 CPUtime=0.2 cores=0,2,4,6
/proc/23667/task/23674/stat : 23674 (java) S 23649 23649 20606 0 -1 1077944384 13 5363 0 0 0 0 19 1 20 0 17 0 225087143 8127635456 30324 33554432000 4194304 4196468 140726178278416 139939966608288 139941148952277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23675] ppid=23649 vsize=7937144 memory=4206186544037388384 CPUtime=0.2 cores=0,2,4,6
/proc/23667/task/23675/stat : 23675 (java) S 23649 23649 20606 0 -1 1077944384 21 5363 0 0 0 0 19 1 20 0 17 0 225087143 8127635456 30324 33554432000 4194304 4196468 140726178278416 139939832386544 139941148952277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23676] ppid=23649 vsize=7937144 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/23667/task/23676/stat : 23676 (java) S 23649 23649 20606 0 -1 1077944384 3 5363 0 0 0 0 19 1 20 0 17 0 225087145 8127635456 30324 33554432000 4194304 4196468 140726178278416 139939457882320 139941148960667 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23677] ppid=23649 vsize=7937144 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/23667/task/23677/stat : 23677 (java) S 23649 23649 20606 0 -1 1077944384 920 5363 0 0 19 0 19 1 20 0 17 0 225087145 8127635456 30324 33554432000 4194304 4196468 140726178278416 139940594285040 139941148953218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23678] ppid=23649 vsize=7937144 memory=-1 CPUtime=0.32 cores=0,2,4,6
/proc/23667/task/23678/stat : 23678 (java) S 23649 23649 20606 0 -1 1077944384 379 5363 0 0 12 0 19 1 20 0 17 0 225087145 8127635456 30324 33554432000 4194304 4196468 140726178278416 139940593232496 139941148953218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23679] ppid=23649 vsize=7937144 memory=140055805781632 CPUtime=0.44 cores=0,2,4,6
/proc/23667/task/23679/stat : 23679 (java) S 23649 23649 20606 0 -1 1077944384 656 5363 0 0 24 0 19 1 20 0 17 0 225087145 8127635456 30324 33554432000 4194304 4196468 140726178278416 139940592179952 139941148953218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23680] ppid=23649 vsize=7937144 memory=140055662297207 CPUtime=0.2 cores=0,2,4,6
/proc/23667/task/23680/stat : 23680 (java) S 23649 23649 20606 0 -1 1077944384 3 5363 0 0 0 0 19 1 20 0 17 0 225087146 8127635456 30324 33554432000 4194304 4196468 140726178278416 139938959977568 139941148952277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23681] ppid=23649 vsize=7937144 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/23667/task/23681/stat : 23681 (java) S 23649 23649 20606 0 -1 1077944384 1 5363 0 0 0 0 19 1 20 0 17 0 225087146 8127635456 30324 33554432000 4194304 4196468 140726178278416 139940591126832 139941148953218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23683] ppid=23649 vsize=7937144 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/23667/task/23683/stat : 23683 (java) S 23649 23649 20606 0 -1 1077944384 29 5363 0 0 0 0 19 1 20 0 17 0 225087215 8127635456 30324 33554432000 4194304 4196468 140726178278416 139940583317776 139941148953218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
[pid=23667/tid=23687] ppid=23649 vsize=7937144 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/23667/task/23687/stat : 23687 (java) S 23649 23649 20606 0 -1 1077944384 35 5363 0 0 0 0 19 1 20 0 17 0 225087218 8127635456 30324 33554432000 4194304 4196468 140726178278416 139938154665264 139941148953218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39260160 140726178280629 140726178280753 140726178280753 140726178283471 0
Current children cumulated CPU time: 15.42 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 122768 KiB
Child status: 0
Real time (s): 6.10928
CPU time (s): 15.6444
CPU user time (s): 15.2395
CPU system time (s): 0.404969
CPU usage (%): 256.077
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1223064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.2395
system time used= 0.404969
maximum resident set size= 1226888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58021
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6212
involuntary context switches= 94
# summary of solver processes directly reported to runsolver:
# pid: 23649
# total CPU time (s): 15.6444
# total CPU user time (s): 15.2395
# total CPU system time (s): 0.404969
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062902 second user time and 0.110247 second system time
The end