0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-12723-serial-file.bin HOME/instance-4305406-1534093325.xml
0.64/0.53
0.64/0.53 scop order+minisat_release (2018-07-31)
0.64/0.53 (Encoding Process)
0.64/0.53
0.64/0.56 c BEGIN-Prog: Sun Aug 12 19:02:05 CEST 2018
0.64/0.56 c PID: 12726
0.64/0.56 c IP: 172.20.3.151
0.64/0.56 c HOST: node151.alineos.net
0.64/0.56 c (0,0) Parsing Begin
2.00/1.13 c (0,0) Parsing End
2.00/1.14 c (0,0) CSP: 276 int (0 aux), 0 bool (0 aux), 266 ctr, max domain size 144
2.00/1.14 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.00/1.14 c (0,0) Constraint Name Generate Begin
2.00/1.16 c (0,0) Ctr:HOME/instance-4305406-1534093325.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num
2.00/1.16 c (0,0) Constraint Name Generate End
2.00/1.16 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.00/1.16 c (0,0) CSP to CSPinCNF Begin
3.96/1.80 c (1,1) translated 27 (10%) constraints
4.25/2.00 c (1,1) translated 54 (20%) constraints
4.88/2.13 c (1,1) translated 80 (30%) constraints
5.17/2.26 c (1,1) translated 107 (40%) constraints
5.41/2.37 c (1,1) translated 133 (50%) constraints
5.41/2.38 c (1,1) translated 160 (60%) constraints
5.41/2.40 c (1,1) translated 187 (70%) constraints
5.41/2.40 c (1,1) translated 213 (80%) constraints
5.41/2.40 c (1,1) translated 240 (90%) constraints
5.58/2.40 c (1,1) translated 266 (100%) constraints
5.92/2.59 c (2,2) STATISTICS1:HOME/instance-4305406-1534093325.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,276,20784,144,144,12,3,144:264;12:1320;1:264,144:19140;12:21120;1:1908,12:48;3:19008;2:1584;1:144,3:264;2:1584;1:57624,
5.92/2.59 c (2,2) ==========================================
5.92/2.59 c (2,2) Order
5.92/2.59 c (2,2) ==========================================
6.62/2.78 c (2,2) translated 2079 (10%) constraints
7.26/2.95 c (2,2) translated 4157 (20%) constraints
7.83/3.14 c (2,2) translated 6236 (30%) constraints
8.40/3.31 c (2,2) translated 8314 (40%) constraints
8.70/3.44 c (2,2) translated 10392 (50%) constraints
8.92/3.56 c (3,3) translated 12471 (60%) constraints
9.13/3.67 c (3,3) translated 14549 (70%) constraints
9.23/3.78 c (3,3) translated 16628 (80%) constraints
9.34/3.89 c (3,3) translated 18706 (90%) constraints
9.56/4.01 c (3,3) translated 20784 (100%) constraints
9.56/4.02 c (3,3) CSP to CSPinCNF End
9.56/4.02 c (3,3) CSP: 276 int (0 aux), 1728 bool (1728 aux), 58944 ctr, max domain size 144
9.56/4.02 c (3,3) Heap : 901 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
9.56/4.02 c (3,3) CSPinCNF Propagation Begin
11.04/4.53 c (3,3) 492 values, 5292 unsatisfiable literals, and 8112 valid clauses are removed
11.04/4.53 c (3,3) CSPinCNF Propagation End
11.04/4.53 c (3,3) CSP: 456 int (180 aux), 1548 bool (1548 aux), 50832 ctr, max domain size 142
11.04/4.53 c (3,3) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.04/4.53 c (3,3) Simplify CSPinCNF Begin
11.59/4.72 c (4,4) Simplify CSPinCNF End
11.59/4.72 c (4,4) CSP: 456 int (180 aux), 4620 bool (4620 aux), 53904 ctr, max domain size 142
11.59/4.72 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.59/4.72 c (4,4) Calculate Precise Domain Begin
11.59/4.72 c (4,4) 0 values are removed by re-calculation
11.59/4.72 c (4,4) Calculate Precise Domain End
11.59/4.72 c (4,4) CSP: 456 int (180 aux), 4620 bool (4620 aux), 53904 ctr, max domain size 142
11.59/4.72 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.59/4.72 c (4,4) CSPinCNF to SatSolver Begin
12.61/5.07 c (4,4) 5391 (10 %) CSP clauses are encoded (23992 SAT variables, 52058 SAT clauses)
12.91/5.12 c (4,4) 10781 (20 %) CSP clauses are encoded (23992 SAT variables, 57448 SAT clauses)
12.91/5.16 c (4,4) 16172 (30 %) CSP clauses are encoded (23992 SAT variables, 62839 SAT clauses)
12.91/5.19 c (4,4) 21562 (40 %) CSP clauses are encoded (23992 SAT variables, 68229 SAT clauses)
13.17/5.22 c (4,4) 26952 (50 %) CSP clauses are encoded (23992 SAT variables, 73619 SAT clauses)
13.17/5.24 c (4,4) 32343 (60 %) CSP clauses are encoded (23992 SAT variables, 79010 SAT clauses)
13.17/5.27 c (4,4) 37733 (70 %) CSP clauses are encoded (23992 SAT variables, 84400 SAT clauses)
13.27/5.30 c (4,4) 43124 (80 %) CSP clauses are encoded (23992 SAT variables, 89791 SAT clauses)
13.27/5.32 c (4,4) 48514 (90 %) CSP clauses are encoded (23992 SAT variables, 95181 SAT clauses)
13.47/5.44 c (4,4) 53904 (100 %) CSP clauses are encoded (23992 SAT variables, 135474 SAT clauses)
13.47/5.44 c (4,4) Launch Command will be: minisat_release
13.47/5.44 c (4,4) CSPinCNF to SatSolver End
13.47/5.44 c (4,4) Heap : 1520 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.08/5.70 c (5,5) STATISTICS2:HOME/instance-4305406-1534093325.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,5076,53904,144,142,10,3,144:180;121:72;100:12;12:1440;11:968;10:232;1:432,142:20448;141:5076;129:8772;128:512;116:1392;12:26460;11:9648;10:1460;2:53732;1:432,10:44;3:16436;2:37160;1:264,3:264;2:3072;1:120996,
14.08/5.70 c (5,5) 23992 bool, 135572 clause
14.08/5.70 c (5,5) Export Begin
14.74/5.80 c (5,5) Export to HOME/scop-12723-serial-file.bin
14.74/5.80 c (5,5) Export End
14.74/5.80 c (5,5) Export File Size: 0.05 MB
14.74/5.80 c (5,5) 0,0,3,3,4,4,4,STOP-AFTER(DIMACS)
14.74/5.80 c END-Prog: Sun Aug 12 19:02:11 CEST 2018
14.74/5.84 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-12723-serial-file.bin
15.38/6.33 c (0,0) Read Serial File Begin
15.38/6.33 c (0,0) HOME/scop-12723-serial-file.bin
15.70/6.51 c (0,0) Read Serial File End
15.70/6.52
15.70/6.52 scop order+minisat_release (2018-07-31)
15.70/6.52 (Solving Process)
15.70/6.52
15.70/6.54 c BEGIN-Prog: Sun Aug 12 19:02:11 CEST 2018
15.70/6.54 c PID: 12741
15.70/6.54 c IP: 172.20.3.151
15.70/6.54 c HOST: node151.alineos.net
15.70/6.55 c (0,0) SatSolver.solve Begin
15.70/6.55 c (0,0) 0 bool, 0 clause
15.70/6.55 c (0,0) minisat_release HOME/instance-4305406-1534093325.xml-scop-12726.cnf
1133.43/1123.37 c (1117,0) c This is COMiniSatPS.
1133.43/1123.37 c (1117,0) c WARNING: for repeatability, setting FPU to use double precision
1133.43/1123.37 c (1117,0) c ============================[ Problem Statistics ]=============================
1133.43/1123.37 c (1117,0) c | |
1133.43/1123.37 c (1117,0) c | Number of variables: 23992 |
1133.43/1123.37 c (1117,0) c | Number of clauses: 135572 |
1133.43/1123.37 c (1117,0) c | Parse time: 0.04 s |
1133.43/1123.37 c (1117,0) c | Eliminated clauses: 0.42 Mb |
1133.43/1123.37 c (1117,0) c Reduced to 13791 vars, 102909 cls (grow=0)
1133.43/1123.37 c (1117,0) c | Eliminated clauses: 0.65 Mb |
1133.43/1123.37 c (1117,0) c Reduced to 10512 vars, 105216 cls (grow=8)
1133.43/1123.37 c (1117,0) c cl_inc_rate=1.022, var_dec_rate=1.312
1133.43/1123.37 c (1117,0) c | Eliminated clauses: 0.80 Mb |
1133.43/1123.37 c (1117,0) c Reduced to 8762 vars, 110356 cls (grow=16)
1133.43/1123.37 c (1117,0) c cl_inc_rate=1.049, var_dec_rate=1.200
1133.43/1123.37 c (1117,0) c | Eliminated clauses: 0.93 Mb |
1133.43/1123.37 c (1117,0) c Reduced to 7554 vars, 119116 cls (grow=32)
1133.43/1123.38 c (1117,0) c cl_inc_rate=1.079, var_dec_rate=1.160
1133.43/1123.38 c (1117,0) c | Eliminated clauses: 1.14 Mb |
1133.43/1123.38 c (1117,0) c Reduced to 6171 vars, 145857 cls (grow=64)
1133.43/1123.38 c (1117,0) c cl_inc_rate=1.224, var_dec_rate=1.224
1133.43/1123.38 c (1117,0) c No. effective iterative eliminations: 4
1133.43/1123.38 c (1117,0) c | Simplification time: 1.03 s |
1133.43/1123.38 c (1117,0) c | |
1133.43/1123.38 c (1117,0) c ============================[ Search Statistics ]==============================
1133.43/1123.38 c (1117,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
1133.43/1123.38 c (1117,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1133.43/1123.38 c (1117,0) c ===============================================================================
1133.43/1123.38 c (1117,0) c ===============================================================================
1133.43/1123.38 c (1117,0) c restarts : 4147
1133.43/1123.38 c (1117,0) c conflicts : 2221508 (1989 /sec)
1133.43/1123.38 c (1117,0) c decisions : 2671747 (0.00 % random) (2393 /sec)
1133.43/1123.38 c (1117,0) c propagations : 2112986920 (1892259 /sec)
1133.43/1123.38 c (1117,0) c conflict literals : 215847109 (49.78 % deleted)
1133.43/1123.38 c (1117,0) c CPU time : 1116.65 s
1133.43/1123.38 c (1117,0)
1133.43/1123.38 c (1117,0) s SATISFIABLE
1133.58/1123.42 c (1117,0) SatSolver.solve End
1133.58/1123.42 c (1117,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1133.58/1123.42 c (1117,0) Show results Begin
1133.83/1123.50 s SATISFIABLE
1133.83/1123.52 v <instantiation>
1133.83/1123.52 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[1][0] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[2][0] y[2][1] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[3][0] y[3][1] y[3][2] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[4][0] y[4][1] y[4][2] y[4][3] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][8] y[7][9] y[7][10] y[7][11] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][9] y[8][10] y[8][11] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][10] y[9][11] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][11] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10]</list>
1133.83/1123.52 v <values>0 11 3 4 8 10 2 1 5 6 9 7 9 1 8 5 0 7 10 6 4 3 11 2 10 7 2 6 9 3 4 8 0 11 5 1 1 8 0 3 7 11 9 4 6 5 2 10 2 3 5 10 4 8 11 0 9 7 1 6 11 0 9 7 1 5 8 10 3 2 6 4 3 4 11 1 5 0 6 9 2 10 7 8 5 10 6 9 11 2 0 7 1 8 4 3 6 5 4 11 10 1 7 2 8 0 3 9 7 6 1 2 3 4 5 11 10 9 8 0 8 2 7 0 6 9 1 3 11 4 10 5 4 9 10 8 2 6 3 5 7 1 0 11 119 123 16 32 142 38 61 77 90 105 55 141 92 101 36 7 58 126 64 75 35 110 46 103 6 69 111 136 80 48 23 89 121 49 68 72 127 95 21 112 138 29 2 106 98 3 113 94 20 71 132 129 43 73 30 131 84 45 139 97 8 34 15 50 114 76 27 124 59 109 137 96 9 86 70 19 44 17 82 102 57 11 122 108 25 140 40 63 66 53 4 83 118 37 31 14 120 135 93 79 42 133 62 87 28 125 107 10 56 12 116 134 67 24 18 81 85 51 47 100 5 88 33 22 128 74 54 99 41 115 1 60</values>
1133.83/1123.52 v </instantiation>
1133.83/1123.52 c (1117,0) Show results End
1133.83/1123.52 c (1117,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1133.83/1123.52 c (1117,0) 1117,1117,STOP-AFTER(ALL)
1133.83/1123.52 c END-Prog: Sun Aug 12 19:20:48 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 (8727 MiB free)
memory of node 1: 16384 MiB (9600 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305406-1534093325/watcher-4305406-1534093325 -o /tmp/evaluation-result-4305406-1534093325/solver-4305406-1534093325 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305406-1534093325.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12723, runsolver pid=12720
Current StackSize limit: 8192 KiB
[startup+0.107798 s]*
/proc/loadavg: 1.05 1.04 1.06 4/196 12740
/proc/meminfo: memFree=18705588/32770624 swapFree=67108196/67108860
[pid=12723] ppid=12720 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12723/stat : 12723 (scop.sh) S 12720 12723 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226895667 115843072 349 33554432000 4194304 5098028 140720772784912 140720772782168 140159877399164 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16547840 140720772789312 140720772789511 140720772789511 140720772792269 0
/proc/12723/statm: 28282 349 296 221 0 87 0
[pid=12726] ppid=12723 vsize=15012476 memory=72260 CPUtime=0.1 cores=1,3,5,7
/proc/12726/stat : 12726 (java) S 12723 12723 3762 0 -1 1077944320 6214 0 0 0 8 2 0 0 20 0 15 0 226895667 15372775424 18065 33554432000 4194304 4196468 140728045204000 140728045186544 139848561200887 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
/proc/12726/statm: 3753119 18065 2740 1 0 3715579 0
[pid=12726/tid=12727] ppid=12723 vsize=15012476 memory=-6585224098751811940 CPUtime=0.08 cores=1,3,5,7
/proc/12726/task/12727/stat : 12727 (java) R 12723 12723 3762 0 -1 4202560 4509 0 0 0 6 2 0 0 20 0 15 0 226895668 15372775424 18263 33554432000 4194304 4196468 140728045204000 139848532988264 139848561222813 0 4 2 16800973 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12728] ppid=12723 vsize=15012476 memory=5767624228991285641 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12728/stat : 12728 (java) S 12723 12723 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226895669 15372775424 18263 33554432000 4194304 4196468 140728045204000 139848565442960 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12729] ppid=12723 vsize=15012476 memory=140150651094656 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12729/stat : 12729 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895669 15372775424 18263 33554432000 4194304 4196468 140728045204000 139848364218640 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12730] ppid=12723 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12730/stat : 12730 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895669 15372775424 18263 33554432000 4194304 4196468 140728045204000 139848021170832 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12731] ppid=12723 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12731/stat : 12731 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895669 15372775424 18263 33554432000 4194304 4196468 140728045204000 139848020118032 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12732] ppid=12723 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12732/stat : 12732 (java) S 12723 12723 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226895671 15372775424 18263 33554432000 4194304 4196468 140728045204000 139847330261616 139848561212034 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12733] ppid=12723 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12733/stat : 12733 (java) S 12723 12723 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226895671 15372775424 18263 33554432000 4194304 4196468 140728045204000 139847222158624 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12734] ppid=12723 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12734/stat : 12734 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895671 15372775424 18263 33554432000 4194304 4196468 140728045204000 139846953723504 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12735] ppid=12723 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12735/stat : 12735 (java) S 12723 12723 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226895674 15372775424 18263 33554432000 4194304 4196468 140728045204000 139846579214928 139848561219483 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12736] ppid=12723 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12736/stat : 12736 (java) S 12723 12723 3762 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 226895675 15372775424 18263 33554432000 4194304 4196468 140728045204000 139847329208432 139848561212034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12737] ppid=12723 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12737/stat : 12737 (java) S 12723 12723 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226895675 15372775424 18263 33554432000 4194304 4196468 140728045204000 139847328155632 139848561212034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12738] ppid=12723 vsize=15012476 memory=140150651094656 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12738/stat : 12738 (java) R 12723 12723 3762 0 -1 4202560 243 0 0 0 0 0 0 0 20 0 15 0 226895675 15372775424 18263 33554432000 4194304 4196468 140728045204000 139847327103344 139848540559234 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12739] ppid=12723 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12739/stat : 12739 (java) S 12723 12723 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226895675 15372775424 18263 33554432000 4194304 4196468 140728045204000 139846081309152 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12740] ppid=12723 vsize=15012476 memory=140150651094656 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12740/stat : 12740 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895675 15372775424 18263 33554432000 4194304 4196468 140728045204000 139847326051248 139848561212034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73656 KiB
[startup+0.210403 s]*
/proc/loadavg: 1.05 1.04 1.06 2/196 12740
/proc/meminfo: memFree=18691776/32770624 swapFree=67108196/67108860
[pid=12723] ppid=12720 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12723/stat : 12723 (scop.sh) S 12720 12723 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226895667 115843072 349 33554432000 4194304 5098028 140720772784912 140720772782168 140159877399164 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16547840 140720772789312 140720772789511 140720772789511 140720772792269 0
/proc/12723/statm: 28282 349 296 221 0 87 0
[pid=12726] ppid=12723 vsize=15012476 memory=86332 CPUtime=0.23 cores=1,3,5,7
/proc/12726/stat : 12726 (java) S 12723 12723 3762 0 -1 1077944320 9965 0 0 0 20 3 0 0 20 0 15 0 226895667 15372775424 21583 33554432000 4194304 4196468 140728045204000 140728045186544 139848561200887 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
/proc/12726/statm: 3753119 21583 2865 1 0 3715579 0
[pid=12726/tid=12727] ppid=12723 vsize=15012476 memory=8184899180908421017 CPUtime=0.19 cores=1,3,5,7
/proc/12726/task/12727/stat : 12727 (java) R 12723 12723 3762 0 -1 4202560 7869 0 0 0 16 3 0 0 20 0 15 0 226895668 15372775424 21583 33554432000 4194304 4196468 140728045204000 139848532990592 139848546926590 0 4 2 16800973 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12728] ppid=12723 vsize=15012476 memory=5767624228991285641 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12728/stat : 12728 (java) S 12723 12723 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226895669 15372775424 21583 33554432000 4194304 4196468 140728045204000 139848565442960 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12729] ppid=12723 vsize=15012476 memory=140150651094656 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12729/stat : 12729 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895669 15372775424 21583 33554432000 4194304 4196468 140728045204000 139848364218640 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12730] ppid=12723 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12730/stat : 12730 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895669 15372775424 21583 33554432000 4194304 4196468 140728045204000 139848021170832 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12731] ppid=12723 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12731/stat : 12731 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895669 15372775424 21583 33554432000 4194304 4196468 140728045204000 139848020118032 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12732] ppid=12723 vsize=15012476 memory=140150651094656 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12732/stat : 12732 (java) S 12723 12723 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226895671 15372775424 21583 33554432000 4194304 4196468 140728045204000 139847330261616 139848561212034 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12733] ppid=12723 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12733/stat : 12733 (java) S 12723 12723 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226895671 15372775424 21583 33554432000 4194304 4196468 140728045204000 139847222158624 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12734] ppid=12723 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12734/stat : 12734 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895671 15372775424 21583 33554432000 4194304 4196468 140728045204000 139846953723504 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12735] ppid=12723 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12735/stat : 12735 (java) S 12723 12723 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226895674 15372775424 21583 33554432000 4194304 4196468 140728045204000 139846579214928 139848561219483 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12736] ppid=12723 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12736/stat : 12736 (java) S 12723 12723 3762 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 15 0 226895675 15372775424 21583 33554432000 4194304 4196468 140728045204000 139847329208432 139848561212034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12737] ppid=12723 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12737/stat : 12737 (java) S 12723 12723 3762 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 226895675 15372775424 21583 33554432000 4194304 4196468 140728045204000 139847328155632 139848561212034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12738] ppid=12723 vsize=15012476 memory=140150651094656 CPUtime=0.02 cores=1,3,5,7
/proc/12726/task/12738/stat : 12738 (java) S 12723 12723 3762 0 -1 1077944384 292 0 0 0 2 0 0 0 20 0 15 0 226895675 15372775424 21583 33554432000 4194304 4196468 140728045204000 139847327103344 139848561212034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12739] ppid=12723 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12739/stat : 12739 (java) S 12723 12723 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226895675 15372775424 21583 33554432000 4194304 4196468 140728045204000 139846081309152 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12740] ppid=12723 vsize=15012476 memory=140150651094656 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12740/stat : 12740 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895675 15372775424 21583 33554432000 4194304 4196468 140728045204000 139847326051248 139848561212034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87728 KiB
[startup+0.310225 s]*
/proc/loadavg: 1.05 1.04 1.06 2/196 12740
/proc/meminfo: memFree=18688496/32770624 swapFree=67108196/67108860
[pid=12723] ppid=12720 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12723/stat : 12723 (scop.sh) S 12720 12723 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226895667 115843072 349 33554432000 4194304 5098028 140720772784912 140720772782168 140159877399164 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16547840 140720772789312 140720772789511 140720772789511 140720772792269 0
/proc/12723/statm: 28282 349 296 221 0 87 0
[pid=12726] ppid=12723 vsize=15012476 memory=90120 CPUtime=0.41 cores=1,3,5,7
/proc/12726/stat : 12726 (java) S 12723 12723 3762 0 -1 1077944320 10513 0 0 0 37 4 0 0 20 0 15 0 226895667 15372775424 22530 33554432000 4194304 4196468 140728045204000 140728045186544 139848561200887 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
/proc/12726/statm: 3753119 22530 2976 1 0 3715579 0
[pid=12726/tid=12727] ppid=12723 vsize=15012476 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/12726/task/12727/stat : 12727 (java) R 12723 12723 3762 0 -1 4202560 8254 0 0 0 25 3 0 0 20 0 15 0 226895668 15372775424 22530 33554432000 4194304 4196468 140728045204000 139848532996336 139848542764462 0 4 2 16800973 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12728] ppid=12723 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12728/stat : 12728 (java) S 12723 12723 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226895669 15372775424 22530 33554432000 4194304 4196468 140728045204000 139848565442960 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12729] ppid=12723 vsize=15012476 memory=280301108693536 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12729/stat : 12729 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895669 15372775424 22530 33554432000 4194304 4196468 140728045204000 139848364218640 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12730] ppid=12723 vsize=15012476 memory=280301108695840 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12730/stat : 12730 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895669 15372775424 22530 33554432000 4194304 4196468 140728045204000 139848021170832 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12731] ppid=12723 vsize=15012476 memory=140150554332943 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12731/stat : 12731 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895669 15372775424 22530 33554432000 4194304 4196468 140728045204000 139848020118032 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12732] ppid=12723 vsize=15012476 memory=280301205434496 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12732/stat : 12732 (java) S 12723 12723 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226895671 15372775424 22530 33554432000 4194304 4196468 140728045204000 139847330261616 139848561212034 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12733] ppid=12723 vsize=15012476 memory=140150554337551 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12733/stat : 12733 (java) S 12723 12723 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226895671 15372775424 22530 33554432000 4194304 4196468 140728045204000 139847222158624 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12734] ppid=12723 vsize=15012476 memory=140150554343618 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12734/stat : 12734 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895671 15372775424 22530 33554432000 4194304 4196468 140728045204000 139846953723504 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12735] ppid=12723 vsize=15012476 memory=140150554345948 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12735/stat : 12735 (java) S 12723 12723 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226895674 15372775424 22530 33554432000 4194304 4196468 140728045204000 139846579214928 139848561219483 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12736] ppid=12723 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12726/task/12736/stat : 12736 (java) S 12723 12723 3762 0 -1 1077944384 572 0 0 0 2 0 0 0 20 0 15 0 226895675 15372775424 22530 33554432000 4194304 4196468 140728045204000 139847329208432 139848561212034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12737] ppid=12723 vsize=15012476 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/12726/task/12737/stat : 12737 (java) S 12723 12723 3762 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 15 0 226895675 15372775424 22530 33554432000 4194304 4196468 140728045204000 139847328155632 139848561212034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12738] ppid=12723 vsize=15012476 memory=140150651094656 CPUtime=0.07 cores=1,3,5,7
/proc/12726/task/12738/stat : 12738 (java) S 12723 12723 3762 0 -1 1077944384 313 0 0 0 7 0 0 0 20 0 15 0 226895675 15372775424 22530 33554432000 4194304 4196468 140728045204000 139847327103344 139848561212034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12739] ppid=12723 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12739/stat : 12739 (java) S 12723 12723 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226895675 15372775424 22530 33554432000 4194304 4196468 140728045204000 139846081309152 139848561211093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12740] ppid=12723 vsize=15012476 memory=140150651096052 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12740/stat : 12740 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895675 15372775424 22530 33554432000 4194304 4196468 140728045204000 139847326051248 139848561212034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91516 KiB
[startup+0.700795 s]
/proc/loadavg: 1.05 1.04 1.06 2/196 12740
/proc/meminfo: memFree=18664436/32770624 swapFree=67108196/67108860
[pid=12723] ppid=12720 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12723/stat : 12723 (scop.sh) S 12720 12723 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226895667 115843072 349 33554432000 4194304 5098028 140720772784912 140720772782168 140159877399164 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16547840 140720772789312 140720772789511 140720772789511 140720772792269 0
/proc/12723/statm: 28282 349 296 221 0 87 0
[pid=12726] ppid=12723 vsize=15020872 memory=127316 CPUtime=0.98 cores=1,3,5,7
/proc/12726/stat : 12726 (java) S 12723 12723 3762 0 -1 1077944320 17451 0 0 0 92 6 0 0 20 0 15 0 226895667 15381372928 31829 33554432000 4194304 4196468 140728045204000 140728045186544 139848561200887 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
/proc/12726/statm: 3755218 31829 3167 1 0 3716603 0
[pid=12726/tid=12727] ppid=12723 vsize=15020872 memory=8751464017575360309 CPUtime=0.66 cores=1,3,5,7
/proc/12726/task/12727/stat : 12727 (java) R 12723 12723 3762 0 -1 4202560 14760 0 0 0 61 5 0 0 20 0 15 0 226895668 15381372928 31829 33554432000 4194304 4196468 140728045204000 139848533032784 139848545281374 0 4 2 25189581 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12728] ppid=12723 vsize=15020872 memory=7813587196152395573 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12728/stat : 12728 (java) S 12723 12723 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226895669 15381372928 31829 33554432000 4194304 4196468 140728045204000 139848565442960 139848561211093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12729] ppid=12723 vsize=15020872 memory=5789185273153740882 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12729/stat : 12729 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895669 15381372928 31829 33554432000 4194304 4196468 140728045204000 139848364218640 139848561211093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12730] ppid=12723 vsize=15020872 memory=7666631141572832339 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12730/stat : 12730 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895669 15381372928 31829 33554432000 4194304 4196468 140728045204000 139848021170832 139848561211093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12731] ppid=12723 vsize=15020872 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12731/stat : 12731 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895669 15381372928 31829 33554432000 4194304 4196468 140728045204000 139848020118032 139848561211093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12732] ppid=12723 vsize=15020872 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12732/stat : 12732 (java) S 12723 12723 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226895671 15381372928 31829 33554432000 4194304 4196468 140728045204000 139847330261616 139848561212034 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12733] ppid=12723 vsize=15020872 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12733/stat : 12733 (java) S 12723 12723 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226895671 15381372928 31829 33554432000 4194304 4196468 140728045204000 139847222158624 139848561211093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12734] ppid=12723 vsize=15020872 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12734/stat : 12734 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895671 15381372928 31829 33554432000 4194304 4196468 140728045204000 139846953723504 139848561211093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12735] ppid=12723 vsize=15020872 memory=7852 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12735/stat : 12735 (java) S 12723 12723 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226895674 15381372928 31829 33554432000 4194304 4196468 140728045204000 139846579214928 139848561219483 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12736] ppid=12723 vsize=15020872 memory=1628 CPUtime=0.08 cores=1,3,5,7
/proc/12726/task/12736/stat : 12736 (java) S 12723 12723 3762 0 -1 1077944384 796 0 0 0 8 0 0 0 20 0 15 0 226895675 15381372928 31829 33554432000 4194304 4196468 140728045204000 139847329208432 139848561212034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12737] ppid=12723 vsize=15020872 memory=1140 CPUtime=0.05 cores=1,3,5,7
/proc/12726/task/12737/stat : 12737 (java) S 12723 12723 3762 0 -1 1077944384 130 0 0 0 5 0 0 0 20 0 15 0 226895675 15381372928 31829 33554432000 4194304 4196468 140728045204000 139847328155632 139848561212034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12738] ppid=12723 vsize=15020872 memory=15244 CPUtime=0.16 cores=1,3,5,7
/proc/12726/task/12738/stat : 12738 (java) S 12723 12723 3762 0 -1 1077944384 432 0 0 0 16 0 0 0 20 0 15 0 226895675 15381372928 31829 33554432000 4194304 4196468 140728045204000 139847327103344 139848561212034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12739] ppid=12723 vsize=15020872 memory=35116 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12739/stat : 12739 (java) S 12723 12723 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226895675 15381372928 31829 33554432000 4194304 4196468 140728045204000 139846081309152 139848561211093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
[pid=12726/tid=12740] ppid=12723 vsize=15020872 memory=33 CPUtime=0 cores=1,3,5,7
/proc/12726/task/12740/stat : 12740 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226895675 15381372928 31829 33554432000 4194304 4196468 140728045204000 139847326051248 139848561212034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10342400 140728045212678 140728045212977 140728045212977 140728045215695 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128712 KiB
[startup+1.50176 s]
/proc/loadavg: 1.05 1.04 1.06 5/196 12740
/proc/meminfo: memFree=18633976/32770624 swapFree=67108196/67108860
[pid=12723] ppid=12720 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12723/stat : 12723 (scop.sh) S 12720 12723 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226895667 115843072 349 33554432000 4194304 5098028 140720772784912 140720772782168 140159877399164 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16547840 140720772789312 140720772789511 140720772789511 140720772792269 0
/proc/12723/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=12741/tid=12754] ppid=12723 vsize=8068220 memory=2092 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12754/stat : 12754 (java) S 12723 12723 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226896257 8261857280 29635 33554432000 4194304 4196468 140730921951856 139667034859872 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12755] ppid=12723 vsize=8068220 memory=8148 CPUtime=0.7 cores=1,3,5,7
/proc/12741/task/12755/stat : 12755 (java) S 12723 12723 3762 0 -1 1077944384 77 0 0 0 26 44 0 0 20 0 19 0 226896258 8261857280 29635 33554432000 4194304 4196468 140730921951856 139668671859760 139669229595266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12757] ppid=12723 vsize=8068220 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12757/stat : 12757 (java) S 12723 12723 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226896325 8261857280 29635 33554432000 4194304 4196468 140730921951856 139668664051520 139669229608729 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12759] ppid=12723 vsize=8068220 memory=61644 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12759/stat : 12759 (java) S 12723 12723 3762 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 226896325 8261857280 29635 33554432000 4194304 4196468 140730921951856 139666497974192 139669229606045 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12760] ppid=12723 vsize=8068220 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12760/stat : 12760 (java) S 12723 12723 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226896325 8261857280 29635 33554432000 4194304 4196468 140730921951856 139666632195632 139669229606045 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12761] ppid=12723 vsize=8068220 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12761/stat : 12761 (java) S 12723 12723 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226896327 8261857280 29635 33554432000 4194304 4196468 140730921951856 139666229550368 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
Current children cumulated CPU time: 1132.53 s
Current children cumulated vsize: 8258160 KiB
Current children cumulated memory: 179992 KiB
[startup+1123.2 s]
/proc/loadavg: 1.00 1.01 1.05 2/200 12794
/proc/meminfo: memFree=18596808/32770624 swapFree=67108196/67108860
[pid=12723] ppid=12720 vsize=113128 memory=1472 CPUtime=14.78 cores=1,3,5,7
/proc/12723/stat : 12723 (scop.sh) S 12720 12723 3762 0 -1 4202496 592 30674 0 0 0 0 1440 38 20 0 1 0 226895667 115843072 368 33554432000 4194304 5098028 140720772784912 140720772781656 140159877399164 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16547840 140720772789312 140720772789511 140720772789511 140720772792269 0
/proc/12723/statm: 28282 368 311 221 0 87 0
[pid=12741] ppid=12723 vsize=8068220 memory=118540 CPUtime=1.97 cores=1,3,5,7
/proc/12741/stat : 12741 (java) S 12723 12723 3762 0 -1 1077944320 18406 0 0 0 150 47 0 0 20 0 19 0 226896251 8261857280 29635 33554432000 4194304 4196468 140730921951856 140730921934400 139669229584119 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
/proc/12741/statm: 2017055 29635 3162 1 0 1978454 0
[pid=12756] ppid=12741 vsize=76812 memory=59980 CPUtime=1116.58 cores=1,3,5,7
/proc/12756/stat : 12756 (minisat_release) R 12741 12723 3762 0 -1 4202496 149766 0 0 0 111647 11 0 0 20 0 1 0 226896324 78655488 14995 33554432000 4194304 4308513 140725430084048 140725430080952 4276465 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 13791232 140725430088820 140725430088918 140725430088918 140725430091717 0
/proc/12756/statm: 19203 14995 340 28 0 15443 0
[pid=12741/tid=12742] ppid=12723 vsize=8068220 memory=1472 CPUtime=0.75 cores=1,3,5,7
/proc/12741/task/12742/stat : 12742 (java) S 12723 12723 3762 0 -1 1077944384 14931 0 0 0 70 5 0 0 20 0 19 0 226896252 8261857280 29635 33554432000 4194304 4196468 140730921951856 139669201424272 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12743] ppid=12723 vsize=8068220 memory=118540 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12743/stat : 12743 (java) S 12723 12723 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226896253 8261857280 29635 33554432000 4194304 4196468 140730921951856 139669233826320 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12744] ppid=12723 vsize=8068220 memory=59980 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12744/stat : 12744 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226896253 8261857280 29635 33554432000 4194304 4196468 140730921951856 139669051914896 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12745] ppid=12723 vsize=8068220 memory=-7824251494390978916 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12745/stat : 12745 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226896253 8261857280 29635 33554432000 4194304 4196468 140730921951856 139669050861840 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12746] ppid=12723 vsize=8068220 memory=118540 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12746/stat : 12746 (java) S 12723 12723 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226896253 8261857280 29635 33554432000 4194304 4196468 140730921951856 139669049809296 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12747] ppid=12723 vsize=8068220 memory=59980 CPUtime=0.02 cores=1,3,5,7
/proc/12741/task/12747/stat : 12747 (java) S 12723 12723 3762 0 -1 1077944384 7 0 0 0 1 1 0 0 20 0 19 0 226896254 8261857280 29635 33554432000 4194304 4196468 140730921951856 139668676070128 139669229595266 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12748] ppid=12723 vsize=8068220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12748/stat : 12748 (java) S 12723 12723 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226896255 8261857280 29635 33554432000 4194304 4196468 140730921951856 139668175709856 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12749] ppid=12723 vsize=8068220 memory=59980 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12749/stat : 12749 (java) S 12723 12723 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226896255 8261857280 29635 33554432000 4194304 4196468 140730921951856 139667907273968 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12750] ppid=12723 vsize=8068220 memory=640 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12750/stat : 12750 (java) S 12723 12723 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226896257 8261857280 29635 33554432000 4194304 4196468 140730921951856 139667532765648 139669229602715 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12751] ppid=12723 vsize=8068220 memory=1764 CPUtime=0.09 cores=1,3,5,7
/proc/12741/task/12751/stat : 12751 (java) S 12723 12723 3762 0 -1 1077944384 467 0 0 0 9 0 0 0 20 0 19 0 226896257 8261857280 29635 33554432000 4194304 4196468 140730921951856 139668675016944 139669229595266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12752] ppid=12723 vsize=8068220 memory=1236 CPUtime=0.14 cores=1,3,5,7
/proc/12741/task/12752/stat : 12752 (java) S 12723 12723 3762 0 -1 1077944384 905 0 0 0 14 0 0 0 20 0 19 0 226896257 8261857280 29635 33554432000 4194304 4196468 140730921951856 139668673964400 139669229595266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12753] ppid=12723 vsize=8068220 memory=960 CPUtime=0.2 cores=1,3,5,7
/proc/12741/task/12753/stat : 12753 (java) S 12723 12723 3762 0 -1 1077944384 615 0 0 0 20 0 0 0 20 0 19 0 226896257 8261857280 29635 33554432000 4194304 4196468 140730921951856 139668672911344 139669229595266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12754] ppid=12723 vsize=8068220 memory=-7824251494390978916 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12754/stat : 12754 (java) S 12723 12723 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226896257 8261857280 29635 33554432000 4194304 4196468 140730921951856 139667034859872 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12755] ppid=12723 vsize=8068220 memory=1384 CPUtime=0.7 cores=1,3,5,7
/proc/12741/task/12755/stat : 12755 (java) S 12723 12723 3762 0 -1 1077944384 77 0 0 0 26 44 0 0 20 0 19 0 226896258 8261857280 29635 33554432000 4194304 4196468 140730921951856 139668671859760 139669229595266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12757] ppid=12723 vsize=8068220 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12757/stat : 12757 (java) S 12723 12723 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226896325 8261857280 29635 33554432000 4194304 4196468 140730921951856 139668664051520 139669229608729 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12759] ppid=12723 vsize=8068220 memory=7852 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12759/stat : 12759 (java) S 12723 12723 3762 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 226896325 8261857280 29635 33554432000 4194304 4196468 140730921951856 139666497974192 139669229606045 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12760] ppid=12723 vsize=8068220 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12760/stat : 12760 (java) S 12723 12723 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226896325 8261857280 29635 33554432000 4194304 4196468 140730921951856 139666632195632 139669229606045 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12761] ppid=12723 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/12741/task/12761/stat : 12761 (java) S 12723 12723 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226896327 8261857280 29635 33554432000 4194304 4196468 140730921951856 139666229550368 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
Current children cumulated CPU time: 1133.33 s
Current children cumulated vsize: 8258160 KiB
Current children cumulated memory: 179992 KiB
[startup+1123.4 s]
/proc/loadavg: 1.00 1.01 1.05 2/200 12794
/proc/meminfo: memFree=18596808/32770624 swapFree=67108196/67108860
[pid=12723] ppid=12720 vsize=113128 memory=1472 CPUtime=14.78 cores=1,3,5,7
/proc/12723/stat : 12723 (scop.sh) S 12720 12723 3762 0 -1 4202496 592 30674 0 0 0 0 1440 38 20 0 1 0 226895667 115843072 368 33554432000 4194304 5098028 140720772784912 140720772781656 140159877399164 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16547840 140720772789312 140720772789511 140720772789511 140720772792269 0
/proc/12723/statm: 28282 368 311 221 0 87 0
[pid=12741] ppid=12723 vsize=8068220 memory=127644 CPUtime=1118.8 cores=1,3,5,7
/proc/12741/stat : 12741 (java) S 12723 12723 3762 0 -1 1077944320 19219 150078 0 0 157 47 111665 11 20 0 18 0 226896251 8261857280 31911 33554432000 4194304 4196468 140730921951856 140730921934400 139669229584119 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
/proc/12741/statm: 2017055 31911 3169 1 0 1978454 0
[pid=12741/tid=12742] ppid=12723 vsize=8068220 memory=59980 CPUtime=1117.51 cores=1,3,5,7
/proc/12741/task/12742/stat : 12742 (java) S 12723 12723 3762 0 -1 1077944384 14931 150078 0 0 70 5 111665 11 20 0 18 0 226896252 8261857280 31911 33554432000 4194304 4196468 140730921951856 139669201424272 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12743] ppid=12723 vsize=8068220 memory=640 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12743/stat : 12743 (java) S 12723 12723 3762 0 -1 1077944384 2 150078 0 0 0 0 111665 11 20 0 18 0 226896253 8261857280 31911 33554432000 4194304 4196468 140730921951856 139669233826320 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12744] ppid=12723 vsize=8068220 memory=1472 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12744/stat : 12744 (java) S 12723 12723 3762 0 -1 1077944384 1 150078 0 0 0 0 111665 11 20 0 18 0 226896253 8261857280 31911 33554432000 4194304 4196468 140730921951856 139669051914896 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12745] ppid=12723 vsize=8068220 memory=118540 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12745/stat : 12745 (java) S 12723 12723 3762 0 -1 1077944384 1 150078 0 0 0 0 111665 11 20 0 18 0 226896253 8261857280 31911 33554432000 4194304 4196468 140730921951856 139669050861840 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12746] ppid=12723 vsize=8068220 memory=59980 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12746/stat : 12746 (java) S 12723 12723 3762 0 -1 1077944384 2 150078 0 0 0 0 111665 11 20 0 18 0 226896253 8261857280 31911 33554432000 4194304 4196468 140730921951856 139669049809296 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12747] ppid=12723 vsize=8068220 memory=17816 CPUtime=1116.78 cores=1,3,5,7
/proc/12741/task/12747/stat : 12747 (java) S 12723 12723 3762 0 -1 1077944384 7 150078 0 0 1 1 111665 11 20 0 18 0 226896254 8261857280 31911 33554432000 4194304 4196468 140730921951856 139668676070128 139669229595266 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12748] ppid=12723 vsize=8068220 memory=640 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12748/stat : 12748 (java) S 12723 12723 3762 0 -1 1077944384 13 150078 0 0 0 0 111665 11 20 0 18 0 226896255 8261857280 31911 33554432000 4194304 4196468 140730921951856 139668175709856 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12749] ppid=12723 vsize=8068220 memory=1764 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12749/stat : 12749 (java) S 12723 12723 3762 0 -1 1077944384 1 150078 0 0 0 0 111665 11 20 0 18 0 226896255 8261857280 31911 33554432000 4194304 4196468 140730921951856 139667907273968 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12750] ppid=12723 vsize=8068220 memory=1236 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12750/stat : 12750 (java) S 12723 12723 3762 0 -1 1077944384 3 150078 0 0 0 0 111665 11 20 0 18 0 226896257 8261857280 31911 33554432000 4194304 4196468 140730921951856 139667532765648 139669229602715 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12751] ppid=12723 vsize=8068220 memory=-7824251494390978916 CPUtime=1116.87 cores=1,3,5,7
/proc/12741/task/12751/stat : 12751 (java) R 12723 12723 3762 0 -1 4202560 837 150078 0 0 11 0 111665 11 20 0 18 0 226896257 8261857280 31911 33554432000 4194304 4196468 140730921951856 139668674997976 139669222683819 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12752] ppid=12723 vsize=8068220 memory=844 CPUtime=1116.91 cores=1,3,5,7
/proc/12741/task/12752/stat : 12752 (java) R 12723 12723 3762 0 -1 1077944384 915 150078 0 0 15 0 111665 11 20 0 18 0 226896257 8261857280 31911 33554432000 4194304 4196468 140730921951856 139668673953072 139669229594325 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12753] ppid=12723 vsize=8068220 memory=1696 CPUtime=1116.97 cores=1,3,5,7
/proc/12741/task/12753/stat : 12753 (java) S 12723 12723 3762 0 -1 1077944384 1000 150078 0 0 21 0 111665 11 20 0 18 0 226896257 8261857280 31911 33554432000 4194304 4196468 140730921951856 139668672911344 139669229595266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12754] ppid=12723 vsize=8068220 memory=920 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12754/stat : 12754 (java) S 12723 12723 3762 0 -1 1077944384 3 150078 0 0 0 0 111665 11 20 0 18 0 226896257 8261857280 31911 33554432000 4194304 4196468 140730921951856 139667034859872 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12755] ppid=12723 vsize=8068220 memory=3848 CPUtime=1117.46 cores=1,3,5,7
/proc/12741/task/12755/stat : 12755 (java) S 12723 12723 3762 0 -1 1077944384 77 150078 0 0 26 44 111665 11 20 0 18 0 226896258 8261857280 31911 33554432000 4194304 4196468 140730921951856 139668671859760 139669229595266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12757] ppid=12723 vsize=8068220 memory=3428 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12757/stat : 12757 (java) S 12723 12723 3762 0 -1 1077944384 30 150078 0 0 0 0 111665 11 20 0 18 0 226896325 8261857280 31911 33554432000 4194304 4196468 140730921951856 139668664050704 139669229595266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12759] ppid=12723 vsize=8068220 memory=1408 CPUtime=1116.78 cores=1,3,5,7
/proc/12741/task/12759/stat : 12759 (java) R 12723 12723 3762 0 -1 4202560 67 150078 0 0 2 0 111665 11 20 0 18 0 226896325 8261857280 31911 33554432000 4194304 4196468 140730921951856 139666497981064 139669229596054 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12761] ppid=12723 vsize=8068220 memory=-7824251494390978916 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12761/stat : 12761 (java) S 12723 12723 3762 0 -1 1077944384 4 150078 0 0 0 0 111665 11 20 0 18 0 226896327 8261857280 31911 33554432000 4194304 4196468 140730921951856 139666229550128 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
Current children cumulated CPU time: 1133.58 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 129116 KiB
[startup+1123.5 s]
/proc/loadavg: 1.00 1.01 1.05 2/200 12794
/proc/meminfo: memFree=18596808/32770624 swapFree=67108196/67108860
[pid=12723] ppid=12720 vsize=113128 memory=1472 CPUtime=14.78 cores=1,3,5,7
/proc/12723/stat : 12723 (scop.sh) S 12720 12723 3762 0 -1 4202496 592 30674 0 0 0 0 1440 38 20 0 1 0 226895667 115843072 368 33554432000 4194304 5098028 140720772784912 140720772781656 140159877399164 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16547840 140720772789312 140720772789511 140720772789511 140720772792269 0
/proc/12723/statm: 28282 368 311 221 0 87 0
[pid=12741] ppid=12723 vsize=7937144 memory=131552 CPUtime=1119.05 cores=1,3,5,7
/proc/12741/stat : 12741 (java) S 12723 12723 3762 0 -1 1077944320 19673 150078 0 0 182 47 111665 11 20 0 17 0 226896251 8127635456 32888 33554432000 4194304 4196468 140730921951856 140730921934400 139669229584119 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
/proc/12741/statm: 1984286 32888 3178 1 0 1945685 0
[pid=12741/tid=12742] ppid=12723 vsize=7937144 memory=118540 CPUtime=1117.59 cores=1,3,5,7
/proc/12741/task/12742/stat : 12742 (java) R 12723 12723 3762 0 -1 4202560 15160 150078 0 0 77 6 111665 11 20 0 17 0 226896252 8127635456 32888 33554432000 4194304 4196468 140730921951856 139669201413296 139669229607709 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12743] ppid=12723 vsize=7937144 memory=1472 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12743/stat : 12743 (java) S 12723 12723 3762 0 -1 1077944384 2 150078 0 0 0 0 111665 11 20 0 17 0 226896253 8127635456 32888 33554432000 4194304 4196468 140730921951856 139669233826320 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12744] ppid=12723 vsize=7937144 memory=118540 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12744/stat : 12744 (java) S 12723 12723 3762 0 -1 1077944384 1 150078 0 0 0 0 111665 11 20 0 17 0 226896253 8127635456 32888 33554432000 4194304 4196468 140730921951856 139669051914896 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12745] ppid=12723 vsize=7937144 memory=118540 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12745/stat : 12745 (java) S 12723 12723 3762 0 -1 1077944384 1 150078 0 0 0 0 111665 11 20 0 17 0 226896253 8127635456 32888 33554432000 4194304 4196468 140730921951856 139669050861840 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12746] ppid=12723 vsize=7937144 memory=1472 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12746/stat : 12746 (java) S 12723 12723 3762 0 -1 1077944384 2 150078 0 0 0 0 111665 11 20 0 17 0 226896253 8127635456 32888 33554432000 4194304 4196468 140730921951856 139669049809296 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12747] ppid=12723 vsize=7937144 memory=118540 CPUtime=1116.78 cores=1,3,5,7
/proc/12741/task/12747/stat : 12747 (java) S 12723 12723 3762 0 -1 1077944384 7 150078 0 0 1 1 111665 11 20 0 17 0 226896254 8127635456 32888 33554432000 4194304 4196468 140730921951856 139668676070128 139669229595266 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12748] ppid=12723 vsize=7937144 memory=61644 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12748/stat : 12748 (java) S 12723 12723 3762 0 -1 1077944384 13 150078 0 0 0 0 111665 11 20 0 17 0 226896255 8127635456 32888 33554432000 4194304 4196468 140730921951856 139668175709856 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12749] ppid=12723 vsize=7937144 memory=1472 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12749/stat : 12749 (java) S 12723 12723 3762 0 -1 1077944384 1 150078 0 0 0 0 111665 11 20 0 17 0 226896255 8127635456 32888 33554432000 4194304 4196468 140730921951856 139667907273968 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12750] ppid=12723 vsize=7937144 memory=118540 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12750/stat : 12750 (java) S 12723 12723 3762 0 -1 1077944384 3 150078 0 0 0 0 111665 11 20 0 17 0 226896257 8127635456 32888 33554432000 4194304 4196468 140730921951856 139667532765648 139669229602715 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12751] ppid=12723 vsize=7937144 memory=1628 CPUtime=1116.92 cores=1,3,5,7
/proc/12741/task/12751/stat : 12751 (java) S 12723 12723 3762 0 -1 1077944384 885 150078 0 0 16 0 111665 11 20 0 17 0 226896257 8127635456 32888 33554432000 4194304 4196468 140730921951856 139668675016944 139669229595266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12752] ppid=12723 vsize=7937144 memory=1140 CPUtime=1116.96 cores=1,3,5,7
/proc/12741/task/12752/stat : 12752 (java) S 12723 12723 3762 0 -1 1077944384 943 150078 0 0 20 0 111665 11 20 0 17 0 226896257 8127635456 32888 33554432000 4194304 4196468 140730921951856 139668673964400 139669229595266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12753] ppid=12723 vsize=7937144 memory=1472 CPUtime=1117.02 cores=1,3,5,7
/proc/12741/task/12753/stat : 12753 (java) S 12723 12723 3762 0 -1 1077944384 1103 150078 0 0 26 0 111665 11 20 0 17 0 226896257 8127635456 32888 33554432000 4194304 4196468 140730921951856 139668672911344 139669229595266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12754] ppid=12723 vsize=7937144 memory=1472 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12754/stat : 12754 (java) S 12723 12723 3762 0 -1 1077944384 3 150078 0 0 0 0 111665 11 20 0 17 0 226896257 8127635456 32888 33554432000 4194304 4196468 140730921951856 139667034859872 139669229594325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12755] ppid=12723 vsize=7937144 memory=1472 CPUtime=1117.46 cores=1,3,5,7
/proc/12741/task/12755/stat : 12755 (java) S 12723 12723 3762 0 -1 1077944384 77 150078 0 0 26 44 111665 11 20 0 17 0 226896258 8127635456 32888 33554432000 4194304 4196468 140730921951856 139668671859760 139669229595266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12757] ppid=12723 vsize=7937144 memory=118540 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12757/stat : 12757 (java) S 12723 12723 3762 0 -1 1077944384 30 150078 0 0 0 0 111665 11 20 0 17 0 226896325 8127635456 32888 33554432000 4194304 4196468 140730921951856 139668664050704 139669229595266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
[pid=12741/tid=12761] ppid=12723 vsize=7937144 memory=1472 CPUtime=1116.76 cores=1,3,5,7
/proc/12741/task/12761/stat : 12761 (java) S 12723 12723 3762 0 -1 1077944384 9 150078 0 0 0 0 111665 11 20 0 17 0 226896327 8127635456 32888 33554432000 4194304 4196468 140730921951856 139666229552176 139669229595266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140730921960629 140730921960753 140730921960753 140730921963471 0
Current children cumulated CPU time: 1133.83 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 133024 KiB
Child status: 0
Real time (s): 1123.54
CPU time (s): 1133.94
CPU user time (s): 1132.95
CPU system time (s): 0.989438
CPU usage (%): 100.926
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1749860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1132.95
system time used= 0.989438
maximum resident set size= 1751224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201145
page faults= 0
swaps= 0
block input operations= 8
block output operations= 5224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30688
involuntary context switches= 381
# summary of solver processes directly reported to runsolver:
# pid: 12723
# total CPU time (s): 1133.94
# total CPU user time (s): 1132.95
# total CPU system time (s): 0.989438
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.2069 second user time and 11.8992 second system time
The end